Combining Texts

All the ideas for 'reports', 'Intro to I: Classical Logic' and 'Intro to 2nd ed of Principia Mathematica'

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

---

3 ideas

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]

7. Existence / C. Structure of Existence / 6. Fundamentals / d. Logical atoms

21681

Given all true atomic propositions, in theory every other truth can thereby be deduced [Russell]

10. Modality / A. Necessity / 8. Transcendental Necessity

3016	Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius]