PHIL 1200H Lecture Notes - Lecture 18: Modus Ponens, Conjunction Elimination, Disjunction Elimination

• School: Trent University
• Department: Philosophy
• Course: PHIL 1200H
• Professor: Stoyles Byron

Document Summary

The co(cid:374)clusio(cid:374) is there are _ pre(cid:373)ises a(cid:374)d they are a(cid:374)d theyre co(cid:374)(cid:448)erge(cid:374)t/li(cid:374)ked the pre(cid:373)ises are . 1n) ~(m v s) it is not the case that either the mystical is a recurrent theme in all cultures or we should embrace mysticism. Argument schemes can be used to construct simple proofs that demonstrate deductive validity. Concerning the structure or form of arguments. Arguments with identical schemes follow the same pattern of reasoning. If two arguments follow the same scheme, then if one is valid, so is the other (cid:862)proofs(cid:863) of deductive validity. To pro(cid:448)e the deducti(cid:448)e (cid:448)alidity of a(cid:374) argu(cid:373)e(cid:374)t, you (cid:374)eed o(cid:374)ly ge(cid:374)erate a (cid:862)proof(cid:863) Here is an example of a proof: a- apples are healthy foods b- eating an apple a day keeps the doctor away: a b p, a p, b 1,2 aa. If both x and y are true then x is true and so is y. Ex. s- crosby is strong f- crosby is fast.