210 likes | 218 Views
Understand the validity of syllogisms - basic patterns of reasoning - with examples like Modus Ponens, Disjunctive Syllogism, and Modus Tollens. Explore how to analyze arguments step by step in the context of premises. Learn the art of justifying each logical step to reach conclusions effectively.
E N D
Demonstrating the validity of an argument using syllogisms
A SYLLOGISM is a valid argument – usually a basic pattern of reasoning that is frequently used. The following are examples of syllogisms. MODUS PONENS P Q P Q DISJUNCTIVE SYLLOGISM P Q ~ P Q MODUS TOLLENS P Q ~ Q ~ P < An argument can be analyzed two premises at a time.
p r ~ r p s < s q q
~ p Modus Tollens p r P Q ~ r ~ Q p s < ~ P s q Each premise is a piece of information. The first two premises yield a new piece of information, ~p. This can now be used with the third premise. q
p r ~ p ~ r p s < s q q
s p r Disjunctive Syllogism ~ p P Q < ~ r ~ P p s < Q s q q
p r ~ p ~ r s p s < s q q
q Modus Ponens p r P Q ~ p ~ r s P p s < Q s q q
p r ~ r p s < The premises will not necessarily be arranged in order, with premises that fit together placed together. s q q
p s < p r s q ~ r ~ r p s < s q p r q
p s p s < < s q s q ~ r ~ r p r p r q
p s < s q ~ r Number the premises for reference. p r q
1. s q 2. ~ r 3. p s < 4. p r q
1. s q 2. ~ r Move the conclusion 3. p s < 4. p r q q
1. s q 2. ~ r 3. p s < 4. p r q q
1. s q Modus Tollens P Q 2. ~ r ~ Q 3. p s < ~ P 4. p r Every step of the process must be justified. The reason for writing statement 5 is clear when you combine statements 2 and 4 using the syllogism Modus Tollens. 5. ~ p 2 , 4 , MT q
1. s q 2. ~ r 3. p s < 4. p r 5. ~ p 2 , 4 , MT q
1. s q Disjunctive Syllogism P Q < 2. ~ r ~ P 3. p s < Q 4. p r 5. ~ p 2 , 4 , MT 6. s 3 , 5 , DS q
1. s q 2. ~ r 3. p s < 4. p r 5. ~ p 2 , 4 , MT 6. s 3 , 5 , DS q
1. s q Modus Ponens P Q 2. ~ r P 3. p s < Q 4. p r 5. ~ p 2 , 4 , MT 6. s 3 , 5 , DS 7. q 1 , 6 , MP q
1. s q 2. ~ r You are finished when you reach the given conclusion ( in this case “q” ). There is a reason given for each statement that is deduced from the given premises. 3. p s < 4. p r 5. ~ p 2 , 4 , MT 6. s 3 , 5 , DS 7. q 1 , 6 , MP q