Combining Philosophers
Ideas for H.Putnam/P.Oppenheim, Lucretius and Willard Quine
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
8 ideas
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]
|