Deductive logic
description
Transcript of Deductive logic
![Page 1: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/1.jpg)
Deductive logic•What is it?
•How does it work?•Why does it matter?
All generalization
s are false, including this
one
You do not reason a man out
something that he was
not reasoned into
Critical reason is the
only alternative to violence
so far discovered.
Logic is the beginning of wisdom, not
the end
![Page 2: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/2.jpg)
An example..Sherlock Holmes (the master of deductive logic) speakingto a police officer about the theft of an expensive racehorse…Police Officer: “Holmes, does any one aspect of the crime strike you as significant?”Holmes: “Yes, the curious incident of the dog in the night time”Police Officer: “But the dog did nothing in the night time!”Holmes: “That was the curious incident!”
![Page 3: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/3.jpg)
The deductive reasoning..
Watchdogs bark at strangersThe Watchdog did not bark at the
thiefTherefore the thief was not a
stranger
![Page 4: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/4.jpg)
More examples..• You know that you left your mobile phone
either in your pocket or on your desk• Your mobile isn’t in your pocket• Therefore it must be on your desk
![Page 5: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/5.jpg)
• You know that The West Lake in Hangzhou is a fresh water lake
• You know that sharks cannot live in fresh water
• Therefore there cannot be any sharks in the West Lake
![Page 6: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/6.jpg)
The benefits?• You don’t have to check every single fresh
water lake to know that there aren’t any sharks in it: deductive logic tells you that there are no sharks in any freshwater lakes.
![Page 7: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/7.jpg)
So what is deductive reasoning?
• Any form of reasoning that moves from the general to the particular e.g.
• “All dogs are mammals• Fido is a dog• Therefore Fido….Is a mammal
![Page 8: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/8.jpg)
Syllogisms• The kind of deductive argument that we just
looked at is known as a syllogism• A syllogism consists of:
1. Two premises and a conclusion2. Three terms, each of which occurs twice
(dogs, mammals, fido)3. Quantifiers such as ‘all, some or no’
![Page 9: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/9.jpg)
Truth Vs Valid – which is this?
• All rocket scientists are stupid• Bill Gates is a rocket scientist• Therefore Bill Gates is stupid
![Page 10: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/10.jpg)
It is Valid!• Both the PREMISES are false• The CONCLUSION is false• Yet the ARGUMENT ITSELF IS VALID!
![Page 11: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/11.jpg)
WHAT ABOUT THIS ONE..
• All tacos are teachers• Mr. Wright is a taco• Therefore Mr. Wright is a Teacher
![Page 12: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/12.jpg)
Valid• Both the premises are false• But the conclusion is true• However the argument is still VALID
![Page 13: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/13.jpg)
This one?...• All projectors require electricity• This classroom has a projector• Therefore this this classroom does not have a
projector
![Page 14: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/14.jpg)
INVALID• The premises are both true• The conclusion is false• This is the one combination where the
argument MUST be invalid
![Page 15: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/15.jpg)
DIY – make your own valid syllogisms
1. Two true premises and a true conclusion2. One true premise, one false premise and a
true conclusion3. One true premise, one false premise and a
false conclusion4. Two false premises and a true conclusion5. Two false premises and a false conclusion
![Page 16: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/16.jpg)
Pure logic• Concerned merely with the structure of
arguments, it doesn’t matter if the premises are false, or even meaningless!
• All that matters is does the conclusion follow logically from the premises.
• E.g. : • All blims are blams• Some blims are bloms• Therefore some blams are bloms
![Page 17: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/17.jpg)
Aghhhh – my head hurts! Algebra in TOK!
• All A’s are B’s• Some A’s are C’s• Therefore some B’s are C’s
![Page 18: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/18.jpg)
What’s the point?• Removes ‘belief bias’• Sometimes we tend to believe an argument is
valid because we already agree with the conclusion
• E.g. Democrats are in favour of free speech
• Dictators are not Democrats• Therefore all dictators are opposed to
free speech• This is NOT a valid argument
![Page 19: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/19.jpg)
Using Venn diagrams• Refer to the photocopied information… Venn
diagrams can be useful way of picturing a Syllogism and determining whether an argument if valid
![Page 20: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/20.jpg)
Enthymeme’s• Incomplete arguments that exclude a premise
because it is considered obvious/assumed.
![Page 21: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/21.jpg)
Supply the missing premise for these enthymemes
1. Jenny goes to Oxford University, so she must be very intelligent
2. Drugs should be legalised because they only harm the addict
3. Graham is a politician, so he is probably lying.4. Cheerleading should be an olympic event
becauses cheerleaders compete, train and have a high level of physical fitness
5. Since it is natural to eat meat, there is nothing morally wrong with it
![Page 22: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/22.jpg)
But where do our premises come from?
• INDUCTIVE REASONING…!• To be continued….
![Page 23: Deductive logic](https://reader036.fdocuments.us/reader036/viewer/2022062222/56816103550346895dd04881/html5/thumbnails/23.jpg)
Bibliography• Much of this presentation is shamelessly
based upon material from the excellent TOK book by Richard van de Lagemaat – thanks go to him!