Combining Philosophers

Ideas for Homer, Galen and Timothy Williamson

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

display all the ideas for this combination of philosophers

---

1 idea

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

21612

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