Combining Texts

Ideas for 'Leibniz: Guide for the Perplexed', 'Begriffsschrift' and 'fragments/reports'

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 / H. Proof Systems / 1. Proof Systems

13824

Proof theory began with Frege's definition of derivability [Frege, by Prawitz]

5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof

13609

Frege produced axioms for logic, though that does not now seem the natural basis for logic [Frege, by Kaplan]