Combining Philosophers

Ideas for Hermarchus, Timothy Williamson and Christian Wolff

unexpand 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]
	Full Idea: Argument by Cases (or or-elimination) is the standard way of using disjunctive premises. If one can argue from A and some premises to C, and from B and some premises to C, one can argue from 'A or B' and the combined premises to C.
	From: Timothy Williamson (Vagueness [1994], 5.3)