Combining Texts

All the ideas for 'fragments/reports', 'Intro to I: Classical Logic' and 'Later Letters to Dedekind'

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

17831

Cantor gives informal versions of ZF axioms as ways of getting from one set to another [Cantor, by Lake]

5. Theory of Logic / A. Overview of Logic / 6. Classical Logic

9463	Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette]

28. God / C. Attitudes to God / 3. Deism

1558	Clearly the gods ignore human affairs, or they would have given us justice [Thrasymachus]