Combining Philosophers

Ideas for Michael Williams, Lloyd Morgan and Ian Rumfitt

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 / 2. Axiomatic Proof

12198

Geometrical axioms in logic are nowadays replaced by inference rules (which imply the logical truths) [Rumfitt]

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

18800

Introduction rules give deduction conditions, and Elimination says what can be deduced [Rumfitt]