Combining Texts

All the ideas for 'reports', 'New Foundations for Mathematical Logic' and 'Treatise of Freewill'

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


3 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett]
10. Modality / A. Necessity / 8. Transcendental Necessity
Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius]
23. Ethics / F. Existentialism / 6. Authentic Self
There is a self-determing power in each person, which makes them what they are [Cudworth]