Introductory Logic
Final Exam
Feb. 2, 2001
 
R. Hammack
Name: ________________________  
Score: _________

(1) Identify the following passages as arguments or nonarguments. If a passage is an argument, underline its conclusion.

(a) Automobiles powered by gasoline engines are very inefficient machines. Even under ideal conditions, less than 15% of the available energy in the fuel is used to power the vehicle. The situation is much worse under stop-and-go driving in the city.

(b) In debates about the environment the most important way of regarding living things collectively has been to regard them as species. Thus, when environmentalists worry about the future of the blue whale, they usually are thinking of the blue whale as a species, rather than of individual blue whales.


(c)
It is now generally agreed by scientists and philosophers of science that theories may have considerable evidence supporting them, but no theory can be said to be true. This is because many of the concepts and ideas in theories refer to entities that are not directly observable, which means they are not directly verifiable.


(d)
Freud argued that anxiety stemmed not just from external threats but also from internal ones, in the form of id impulses attempting to break through into consciousness. It is this latter type of anxiety that psychodynamic theory sees as the root of neurosis.


(e)
First, we know that brain processes cause mental phenomena. Mental states are caused by and realized in the structure of the brain. From this it follows that any system that produced mental states would have to have powers equivalent to those of the brain.


(2) Decide if the following arguments are deductive or inductive. Say if each argument is valid, invalid, weak, strong, and (if possible) sound, unsound, cogent, or uncogent.

(a) If Thanksgiving is in October, then Valentines Day is in February. If Valentines Day is in February, then February is the shortest month. Therefore, if Thanksgiving is in October, then February is the shortest month.


(b)
After Louis Armstrong discovered the theory of relativity, he donated his papers to Harvard University. Therefore, those papers are likely still at Harvard.


(c)
For the past 10 years, Randolph-Macon has had under 2000 full-time students. Therefore, next year Randolph-Macon will have fewer than 2000 full-time students.


(d)
If the Universe lacks sufficient mass, then it will continue to expand. The Universe does not lack sufficient mass. Therefore it will not continue to expand.

(3) Decide if the following pairs of statements are logically equivalent, contradictory, consistent, or inconsistent.

(a) A ≡ B ~(B • A)

 

 

 

(b) (A ∨ B) ⊃ C (B • ~C) ∨ (A • ~C)

 

 

 

 

 

 

(4) Decide if the following statements are consistent or inconsistent.

(a) ~(A ⊃ D)
/
(D ∨ C) ⊃ E
/
B • ~E
/
~C ∨ K

 

 

 

 

(b) A ⊃ (B • C)
/
A • D
/
B ⊃ (D • E)
/
C ⊃ (E • ~D)

 

 

 

 

 

(5) Use only the rules of implication and replacement (and UI, EI, UG, EG, CQ if necessary) to derive the conclusions of the following arguments.

(a) 1. A ⊃ B  
2. B ⊃ ~B / ~A

 

 

 

 

 

(b) 1. (Q ∨ ~R) ∨ S  
2. ~Q ∨ (R • ~Q) / R ⊃ S

 

 

 

 

 

 

 

(c) If the victim had money in his pockets, then robbery wasn't the motive for the crime. Either robbery or vengeance was the motive for the crime. The victim had money in his pockets. Therefore, vengeance was the motive for the crime. (M, R, V)

 

 

 

 

 

 

(d) Teachers are either enthusiastic or unsuccessful. Teachers are not all unsuccessful. Therefore, there are some enthusiastic teachers. (T, E, U)

 

 

 

 

 

 

(6) Decide if the following arguments are valid or invalid. You may use any appropriate method.

(a) (A • B) ⊃ (D ∨ C)
/
E ⊃ (A • ~D)
/
G ⊃ ~C
//
(E • G) ⊃ B

 

 

 

 

(b) (A • B) ⊃ (D ∨ C)
/
E ⊃ (A • ~D)
/
H ⊃ (G • ~C)
//
(H • E) ⊃ ~B

 

 

 

 

(c) Some diplomats are clever. Some diplomats are spies. Therefore, some diplomats are clever spies.

 

 

 

 

 

(7) Use the methods of conditional proof or indirect proof to derive the conclusions of the following arguments.

(a) If there are any voters, then all politicians are astute. If there are any politicians, then whoever is astute is clever. Therefore, if there are any voters, then all politicians are clever. (V, P, A, C)

 

 

 

 

 

 

 

 

 

 

 

(b) 1. (A ∨ B) ⊃ (C • D)  
2. (C ∨ P) ⊃ (D ⊃ ~A) / ~A

 

 

 

 

 

 

 

 

 

 

(8) Use the Finite Universe Method to show that the following argument is invalid.

  (x)(Jx ⊃ Hx)  
(∃x)(Jx • Hx) ⊃ (∃x)(Px • Ox) / (x)(Jx ⊃ Ox)

 

 

 

 

 

 

 

 

(9) Each of the following arguments is either valid or invalid. Decide which are valid and which are invalid. If an argument is valid, use the rules of implication and replacement to derive its conclusion. If an argument is invalid use any appropriate method to show this.

(a) (∃x)Px  
(∃x)Qx / (∃x)(Px • Qx)

 

 

 

 

(c) Some bad judges are lawyers, since some lawyers are prejudiced magistrates, and all good judges are unprejudiced magistrates.