6.6 argument forms
DESCRIPTION
6.6 Argument Forms. A sound deductive argument is valid and has true premises. A deductive argument is one in which it is claimed that the conclusion necessarily follows from the premises. That is, it is claimed that it is valid. . - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/1.jpg)
6.6 Argument Forms
![Page 2: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/2.jpg)
A sound deductive argument is valid and has true premises.
A deductive argument is one in which it is claimed that the conclusion necessarily follows from the premises. That is, it is claimed that it is valid.
![Page 3: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/3.jpg)
A valid argument is one in which it is impossible for the premises to be true and the conclusion false.
Or,
If the premises are true, the conclusion must be true.
Or,
There is no line on the truth table (no possible world) where the premises are true and the conclusion is false.
![Page 4: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/4.jpg)
Valid
If James does well on the LSAT, then he will go to law school. James does well on the LSAT; therefore, he will go to law school.
![Page 5: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/5.jpg)
Valid
If James does well on the LSAT, then he will go to law school. James does well on the LSAT; therefore, he will go to law school.
P1. J LP2. JC. L
![Page 6: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/6.jpg)
Valid
J L J L J LT T T T T
T F F T F
F T T F T
F F T F F
![Page 7: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/7.jpg)
Invalid
If James does well on the LSAT, then he will go to law school. James will go to law school; so he does well on the LSAT.
![Page 8: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/8.jpg)
Invalid
If James does well on the LSAT, then he will go to law school. James will go to law school; so he does well on the LSAT.
P1. J LP2. LC. J
![Page 9: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/9.jpg)
Invalid
B D J L L JT T T T T
T F F F T
F T T T F
F F T F F
![Page 10: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/10.jpg)
Valid
P1. J LP2. JC. L
Invalid
P1. J LP2. LC. J
![Page 11: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/11.jpg)
Valid
P1. J LP2. JC. L
Invalid
P1. J LP2. LC. J
![Page 12: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/12.jpg)
P1. If Renée is from CA, then she runs marathons.P2. Renée is from CA.So, she runs marathons.
P1. If God exists, then life has meaning. P2. God exists.C. Therefore, life has meaning.
P1. Monkeys eat tulips. P2. If monkeys eat tulips, then grape nuts are healthy.C. So, grape nuts are healthy.
![Page 13: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/13.jpg)
P1. If Renée is from CA, then she runs marathons.P2. Renée is from CA.C. So, she runs marathons.
P1. If God exists, then life has meaning. P2. God exists.C. Therefore, life has meaning.
P1. Monkeys eat tulips. P2. If monkeys eat tulips, then grape nuts are
healthy.C. So, grape nuts are healthy.
![Page 14: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/14.jpg)
Validity has to do with the form of the argument, not its content.
We can see the form by translating an argument into propositional logic.
Then, using a truth table we can see whether or not the argument is valid.
![Page 15: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/15.jpg)
Valid Argument Forms
Arguments with certain forms are always valid.
P QPQ
![Page 16: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/16.jpg)
Valid Argument Forms
Modus Ponens (MP)
P QPQVALID
![Page 17: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/17.jpg)
Valid Argument Forms
Arguments with certain forms are always invalid.
P QQP
![Page 18: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/18.jpg)
Valid Argument Forms
Affirming the consequent (AC)
P QQP INVALID
![Page 19: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/19.jpg)
Valid Argument Forms
Modus Tollens (MT)
P Q~Q~PVALID
![Page 20: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/20.jpg)
Valid Argument Forms
Modus Tollens (MT)
P Q / ~Q // ~P
![Page 21: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/21.jpg)
Valid Argument Forms
Denying the Antecedent (DA)
P Q~P~QINVALID
![Page 22: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/22.jpg)
Valid Argument Forms
Denying the Antecedent (DA)
P Q / ~P // ~Q
![Page 23: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/23.jpg)
Disjunctive Syllogism (DS)
P v Q P v Q~P ~QQ P
VALID
![Page 24: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/24.jpg)
Affirming a Disjunct (AD)
P v Q P v QP QQ (or ~Q)P (or ~P)
INVALID
![Page 25: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/25.jpg)
(Pure) Hypothetical Syllogism (HS)
P QQ RP R
![Page 26: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/26.jpg)
Constructive Dilemma (CD)
(P Q) • (R S)P v RQ v SVALID
![Page 27: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/27.jpg)
Constructive Dilemma (CD)
(P Q) • (R S)P v RQ v SVALID
![Page 28: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/28.jpg)
Constructive Dilemma (CD)
(P Q) • (R S)P v RQ v SVALID
![Page 29: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/29.jpg)
Constructive Dilemma (CD)
(P Q) • (R S)P v RQ v SVALID
![Page 30: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/30.jpg)
Destructive Dilemma (DD)
(P Q) • (R S)~Q v ~S~P v ~RVALID
![Page 31: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/31.jpg)
Destructive Dilemma (DD)
(P Q) • (R S)~Q v ~S~P v ~RVALID
![Page 32: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/32.jpg)
Destructive Dilemma (DD)
(P Q) • (R S)~Q v ~S~P v ~RVALID
![Page 33: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/33.jpg)
Destructive Dilemma (DD)
(P Q) • (R S)~Q v ~S~P v ~RVALID
![Page 34: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/34.jpg)
Recognize argument forms by recognizing types of statements, patterns
![Page 35: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/35.jpg)
Recognize argument forms by recognizing types of statements
(F v P) (G O)(F v P)(G O)
![Page 36: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/36.jpg)
Premises can be put in any order
D v (K • J)(D F) • [(K • J)
H]F v H
![Page 37: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/37.jpg)
Premises can be put in any order
D v (K • J)(D F) • [(K • J)
H]F v H
Given a conjunction of 2 conditionals and the disjunction of each of their antecedents, one can validly derive the disjunction of each of their consequents.
![Page 38: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/38.jpg)
Think of negations as “opposite truth value” or the “denial of P”
~A v B H ~S
A SB ~H
![Page 39: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/39.jpg)
1.
N C~C~N
![Page 40: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/40.jpg)
1. MT
N C~C~N
![Page 41: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/41.jpg)
2.
S FF ~LS ~L
![Page 42: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/42.jpg)
2. HS
S FF ~LS ~L
![Page 43: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/43.jpg)
3.
A v ~Z~ZA
![Page 44: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/44.jpg)
3. Invalid (AD)
A v ~Z~ZA
![Page 45: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/45.jpg)
4.
(S ~P) • (~S D)S v ~S ~P v D
![Page 46: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/46.jpg)
4. CD
(S ~P) • (~S D)S v ~S ~P v D
![Page 47: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/47.jpg)
5.
~N~N TT
![Page 48: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/48.jpg)
5. MP
~N~N TT
![Page 49: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/49.jpg)
6.
M v ~B~M~B
![Page 50: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/50.jpg)
6. DS
M v ~B~M~B
![Page 51: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/51.jpg)
7.
(E N) • (~L ~K)~N v K~E v L
![Page 52: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/52.jpg)
7. DD
(E N) • (~L ~K)~N v K~E v L
![Page 53: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/53.jpg)
8.
W ~M~MW
![Page 54: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/54.jpg)
8. INVALID (AC)
W ~M~MW
![Page 55: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/55.jpg)
9.
~B ~LG ~BG ~L
![Page 56: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/56.jpg)
9. HS
~B ~LG ~BG ~L
![Page 57: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/57.jpg)
10.
F O~F~O
![Page 58: 6.6 Argument Forms](https://reader036.vdocuments.net/reader036/viewer/2022062222/56815d74550346895dcb82d5/html5/thumbnails/58.jpg)
10. INVALID (DA)
F O~F~O