Combining Texts

All the ideas for 'fragments/reports', 'New Foundations for Mathematical Logic' and 'works'

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

---

4 ideas

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]

9. Objects / E. Objects over Time / 8. Continuity of Rivers

579	Cratylus said you couldn't even step into the same river once [Cratylus, by Aristotle]

10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals

10994

Conditionals are true if minimal revision of the antecedent verifies the consequent [Stalnaker, by Read]

13. Knowledge Criteria / D. Scepticism / 1. Scepticism

578	Cratylus decided speech was hopeless, and his only expression was the movement of a finger [Cratylus, by Aristotle]