Combining Texts

Ideas for 'Classical Cosmology (frags)', 'The Later Works (17 vols, ed Boydston)' and 'Investigations into Logical Deduction'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

2 ideas

5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic

22873

Liberalism should improve the system, and not just ameliorate it [Dewey]

5. Theory of Logic / H. Proof Systems / 4. Natural Deduction

13832

Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking]