PHIL 110 Lecture 19: Lecture 19
Document Summary
Combining hat we did for a-statements and for only if in statement logic, we can write: x (only if ax, bx) This can be re-written as follows: x (bx only if ax) But we saw that p only if q is just p > q. So, it"s equivalent to an a-statement: all b are a. The same holds for: nothing but a are b. Sometimes any means some . example: if anyone is evil, hitler is. That doe snot mean that following trivial thing: If there is an evil person, then hitler is evil . is too. Now, hitler is in some sense the archetype of evilness. But this is almost trivial, since hitler is a person. Symbolizing arguments is a huge part of deductions and should be understood as much as possible. Examples of symbolization of arguments is on the slides on canvas.