Combining Texts

Ideas for 'Taking Rights Seriously', 'Essay on a Problem in the Doctrine of Chances' and 'Vagueness'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


1 idea

5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
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)