PHIL 213: Deductive Logic
Larkin: Fall 2003
First Test Review Problems
I. True/False Questions: 1.1 B
1. FALSE. A valid argument can have all true premises (making it sound as well as valid).
2. TRUE. This is just the definition of an argument.
3. FALSE. A valid argument can have false premises.
4. TRUE. Definition of logic.
5. FALSE. An individual statement is not the kind of thing that can be valid or invalid. Only arguments have a structure/form that can be called ‘valid’ or ‘invalid’. Statements are either true or false, but validity is not the same thing as truth.
6. FALSE. A valid argument can have false premises; and it can have a false conclusion. But if a valid argument has all true premises, then it must have a true conclusion.
7. FALSE. A sound argument is both valid and has all true premises. Since a sound argument is valid, it is such that if all the premises are true then the conclusion must be true. Since a sound argument also has all true premises, it follows that a sound argument must have a true conclusion.
8. TRUE. Definition of deductive logic.
9. TRUE. By definition of validity. A valid argument cannot have all true premises but a false conclusion.
10. FALSE. Arguments are not the kinds of things that can be true or false. Only individual statements have a truth value, and arguments are sets of statements.
11. FALSE. A valid argument can have all false premises and a true conclusion. Example:
P1: If Lassie is a frog, then she is a mammal.
P2: Lassie is a frog.
C: Lassie is a mammal.
12. TRUE. All invalid arguments are such that it is possible for them to have true premises and a false conclusion; and some invalid arguments actually do have all true premises and a false conclusion.
13. TRUE. Validity is a necessary condition for being sound.
14. FALSE. A valid argument can have a true conclusion and false premises (see #11); and if an argument does not have all true premises, then it is not sound.
15. TRUE. By definition, a valid argument cannot have a false conclusion and all true premises. So if a valid argument has a false conclusion it must have some false premise.
16. FALSE. Some unsound arguments are valid. They are unsound because they do not have all true premises.
17. FALSE. Premises are individual statements and individual statements are simply not the kinds of things that can be valid (in our sense of the term).
18. FALSE. All true premises is a necessary but not a sufficient condition for being a sound argument. It is also necessary that the argument be valid.
19. TRUE. If an argument does in fact have all true premises and a false conclusion, then it is obviously possible for an argument with that form to have true premises and a false conclusion; and by definition an argument with a form that can have all true premises but a false conclusion is invalid.
20. TRUE. If an argument has even one false premise, then not all the premises are true; but having all true premises is a necessary condition for being sound.
II. Argument Form Recognition/Counter-Examples: 1.3 B
1. See book.
2. W = Abortion in the case of ectopic pregnancy is wrong.
A = It is always wrong to kill an innocent human being.
P2: If A, then W.
Form = Modus Tollens, VALID
3. W = Kidnapping is wrong.
D = Society disapproves of kidnapping.
P1: W, if D. P1: If D, then W.
P2: W. P2: W.
C: D. C: D
Form = Affirming the consequent, INVALID
4. See book.
5. L = Principle is interpreted literally.
F = Principle is interpreted figuratively
S = State should…
D = Principle necessarily demands death for murderers
P1: Either L or F.
P2: If L, then S.
P3: If F, then not-D.
C: So either S or not-D.
FORM = Constructive Dilemma, VALID
6. P = Affirmative action is preferential treatment of disadvantaged groups.
R = Preferential treatment for disadvantaged groups is reverse discrimination.
W = Affirmative action is wrong.
P1: P, and R.
P2: If P and R, then W.
FORM = Modus Ponens, VALID
7. See book.
8. S = Mary is a psychiatrist.
H = Mary is a physician
P1: If S, then H.
Not one of our famous forms.
P1: If Lassie is a lizard, then she is a reptile.
P2: Lassie is not a reptile.
C: Lassie is a lizard.
III. Truth-Functional Translations: 7.1 E
1. D = Fido is a dog
A = Fido is an animal
F ® A
2. M = Josey is a mammal.
C = Josey is a cat.
C ® M
3. C = Physical laws can be changed.
N = Physical laws are necessary.
E = Physical laws are eternal.
(N v E) ® ~ C
4. M = Snakes are mammals.
N = Snakes nourish their young with milk.
(M ® N) · ~ N
5. E = Evil exists
G = God exists
~(E ® ~G)
6. G = Smith is guilty.
B = Smith’s blood is on the murder weapon.
(G ® B) ® (~B ® ~G)