Combining Texts

All the ideas for 'Letters to Antoine Arnauld', 'Set Theory and its Logic' and 'From Stimulus to Science'

expand these ideas     |    start again     |     specify just one area for these texts

---

3 ideas

2. Reason / B. Laws of Thought / 3. Non-Contradiction

6564	To affirm 'p and not-p' is to have mislearned 'and' or 'not' [Quine]

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]

6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism

21963

It is possible that an omnipotent God might make one and two fail to equal three [Descartes]