Unanswered Questions
51 questions with no upvoted or accepted answers
9
votes
1
answer
326
views
What is the philosophical meaning of the Curry-Howard correspondence?
In 1934 Curry observes that the types of the combinators could be
seen as axiom-schemes for intuitionistic implicational logic.
In 1958 he observes that a certain kind of proof system, referred to as ...
CommunityBot
- 1
5
votes
5
answers
366
views
What are an object's properties?
What can we consider an object's properties, for example, when can we consider an object's properties as 'changing'? For example, if I move an object from my desk to my table, has it changed? If I ...
CommunityBot
- 1
4
votes
0
answers
109
views
Is Rule-Based Machine Learning an Example of Inductive Logic in the Philosophical Sense?
Human beings are capable of deciding upon rules based on intuitions and observations their neurons presumably provide (certainly metaphysical presumptuous). According to WP, this is inductive ...
- 39.2k
4
votes
0
answers
398
views
Which rational thinkers (theologians, philosophers, scientists, mathematicians etc.), prior to 1850, disagreed with Aristotle's logic?
Did any intellectual luminary ever articulate any major disagreement with Aristotle's logic prior to the inception of modern mathematical "classical" logic?
Which rational thinkers, such as ...
- 6,686
4
votes
0
answers
112
views
What questions or areas in the foundations of mathematics remain active research fields?
By foundations of mathematics I am referring to the mathematical, logical, and philosophical foundations of the subject. I'm interested in seeing which of these have active research going on within ...
3
votes
0
answers
64
views
In set theory: What is the motivation for transitioning from first-order language to plural logic language?
I am reading Burgess's paper titled "Plural Logic and Set Theory." In this work, the motivation for transitioning the language of set theory from first-order logic to plural logic is based ...
- 50.2k
3
votes
0
answers
83
views
Question about a presentation on substructural logic (negation modulo two kinds of residuation)
I've been reading through this slide-based presentation on substructural logic and I'm delightfully perplexed by the following section:
What is the use to which the two given flavors of negation can ...
- 39.2k
3
votes
0
answers
131
views
First-order semantics for plural logic
There are commonly thought to be two kinds of set-theoretic semantics for second-order logic: the standard one, where relation (and function) variables range over the entire power set of a model ...
- 292
3
votes
0
answers
76
views
How do dialetheists determine which contradiction is true?
I have been reading a lot about dialetheism lately. I know for a fact that dialetheists do not believe that every contradiction is true. (Surely there is a difference between asserting that Liar is ...
3
votes
0
answers
184
views
What is the relation between expressive completeness and semantic completeness
A formal system is expressively complete if and only if it is capable of expressing, as a formula, everything that is the subject of that formal system.
A deductive system is semantically complete if ...
3
votes
1
answer
143
views
Given the principle of innocence, how shall we explain logic's usefulness?
I have been reading Florian Steinberger's dissertation (Harmony and logical inferentialism) and I come across the following on p60:
...two fundamental assumptions (the other one being the principle ...
CommunityBot
- 1
3
votes
1
answer
116
views
Looking for references for some remark of Quine's
I'm looking for a comment I think I remember Quine having made. He's talking about our understanding of proofs. I think he says something along the following lines...
If you understand many different ...
2
votes
0
answers
52
views
Am I misinterpreting Grim's [93] paper about graphs of truth-value assignments to liar-like sentences?
Here's the "offending" graph (i.e. the one that's "confusing" me (see further below)):
This picture very strongly reminds me of something with frequently-crustacean features/...
- 2,637
2
votes
0
answers
99
views
What philosophers have to say as to what logic is and why it exists?
In my view, logic is just a native cognitive capacity which provides a selective advantage to the organism which has it. This seems a very reasonable theory. I have been unable to find much in way of ...
- 2,009
2
votes
0
answers
57
views
What did Bradley mean that it "may be true" that all trespassers will be prosecuted?
What exactly did F. H. Bradley mean when he wrote in his 1883 Principles of Logic that the statement that all trespassers will be prosecuted "may be true"?
Did he mean that the statement is ...
- 10.8k