Combining Philosophers

Ideas for Benjamin Constant, Terence Horgan and Gottlob Frege

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

display all the ideas for this combination of philosophers

---

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]