Professional Documents
Culture Documents
Rosnani Hashim
Centre for Philosophy in schools Malaysia
IIUM
Deductive Reasoning
• Logic – the study of rules for argument
• Argument – a group of stmts having a
number of premises (reasons) that lead to
a conclusion.
Premise 1. Premise 2 (etc) So, conclusion
Kitty is a cat. All cats are animals. So, Kitty is an
animal.
This move is also called inference.
Conclusion “follows from” the premises.
Does it really follow?
The whole question of logic is: does it really follow? Or in other
ways:
• are the reasons good enough?
• Do the premises support (justify, entail) the conclusions?
• Is the move/inference from premises to conclusions justified?
• If we are sure of the premises, does that mean we can be
sure of the conclusion?
• If we accept all the premises, do we have to accept the
conclusion?
• Is there any way that all the premises could be true and the
conclusion be false?
Truth vs Validity
• Premises and conclusions : True or false
• Argument: valid or invalid
• A valid deductive argument – truth perserving
i.e. conclusion is as true as premises
• A sound argument : an argument that is valid
and contain only true premises
• The validity of an argument has to be judged
independently from the truth or falsehood of
each premise.
Valid argument yet could be
rejected
Miko is a Republican So, Miko is conservative
(since: all Republicans are conservative)
Animals
Deductive argument patterns
Valid Patterns Invalid Patterns
All As are Bs All As are Bs
C is an A C is a B
Tfore, C is a B tfore, C is an A
If P, then Q If P, then Q
P Q
Tfore, Q Tfore, P
If P, then Q If P, then Q
Not Q Not P
Tfore, not P Tfore, not Q
Standardization
• Language doesn’t capture the complexity
of reality & logical systems don’t capture
the complexity of ordinary language
• Only 3 quantifiers: ‘all’, ‘some’, and ‘no’.
• So, many, almost all, quite a few, only a
few, almost none at all some
• Cats chase birds => ‘all’. So, if ‘all’ is not
meant, then quantify stmt accordingly.
Exercise
How would you draw circles to illustrate
sentences:
1. All As are Bs
2. All Bs are As
3. Some As are Bs
4. Some Bs are As
5. No As are Bs
6. No Bs are As
All and Only
“all” and “only” don’t mean the same thing, in
language or in logic.
Eg. All men are apes
Only men are apes
But “only” stmt can be converted into “all” stmts
“Only natural-born citizens can be President”
“All ……………………………………………..
Hypothetical (If-Then)
syllogisms
• It’s raining So, the street is wet
(since: if it’s raining, the street is wet)
The Premise “If P, then Q” means that P is
a sufficient cause or condition of Q,
which means that P is one thing – but not
necessarily the only thing- that will make
Q happen i.e. P is enough to make Q
happen, but there might be other causes
sufficient to make Q happen.
Sufficient causes
• If it’s raining, the street is wet
• If it’s snowing, the street is wet
• If the river is flooding, the street is wet
• If the dam is broken, the street is wet