Combining Philosophers

Ideas for Lynch,MP/Glasgow,JM, Timothy Williamson and Ian Rumfitt

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

display all the ideas for this combination of philosophers

---

3 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]

21612

Or-elimination is 'Argument by Cases'; it shows how to derive C from 'A or B' [Williamson]