Combining Philosophers
Ideas for Samuel Alexander, Mozi and Willard Quine
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
14 ideas
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / a. Symbols of PL
22435
|
The logician's '→' does not mean the English if-then [Quine]
|
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
9013
|
We can eliminate 'or' from our basic theory, by paraphrasing 'p or q' as 'not(not-p and not-q)' [Quine]
|
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
10928
|
Maybe we can quantify modally if the objects are intensional, but it seems unlikely [Quine]
|
5745
|
Quine says quantified modal logic creates nonsense, bad ontology, and false essentialism [Melia on Quine]
|
13591
|
Quantified modal logic collapses if essence is withdrawn [Quine]
|
4. Formal Logic / D. Modal Logic ML / 6. Temporal Logic
22433
|
It is important that the quantification over temporal entities is timeless [Quine]
|
4. Formal Logic / F. Set Theory ST / 1. Set Theory
3302
|
Set theory is full of Platonist metaphysics, so Quine aimed to keep it separate from logic [Quine, by Benardete,JA]
|
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
9879
|
NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett]
|
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
10211
|
Quine wants V = L for a cleaner theory, despite the scepticism of most theorists [Quine, by Shapiro]
|
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
21717
|
Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B]
|
18170
|
The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine]
|
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
21695
|
The set scheme discredited by paradoxes is actually the most natural one [Quine]
|
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
21693
|
Russell's antinomy challenged the idea that any condition can produce a set [Quine]
|
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
3336
|
Two things can never entail three things [Quine, by Benardete,JA]
|