Chapter 3. Thinking About Our Thinking: An Introduction to Logic
Practice Exercises: Chapter 3
Group 1: Identifying Deduction and Induction
Identify whether each of the following arguments is Deductive (aiming for certainty) or Inductive (aiming for probability).
-
If it is a square, it has four sides. This shape is a square. Therefore, it has four sides.
-
Every time I have eaten at that restaurant, the food has been excellent. Therefore, the next time I eat there, the food will likely be excellent.
-
Eighty percent of the registered voters in this district support the new bond. Maria is a registered voter in this district. Therefore, Maria supports the bond.
-
All humans are mortal. Socrates is a human. Therefore, Socrates is mortal.
-
The last three movies by this director were thrillers. I bet the one coming out next month is a thriller too.
Group 2: Evaluating Validity and Soundness
For these Deductive arguments, determine if they are Valid or Invalid. If valid, determine if they are Sound or Unsound.
-
All birds can fly. Penguins are birds. Therefore, penguins can fly.
-
If the battery is dead, the car won’t start. The car won’t start. Therefore, the battery is dead.
-
Either the cat is on the mat or it is in the garden. The cat is not in the garden. Therefore, the cat is on the mat.
-
All cats are mammals. All mammals are animals. Therefore, all cats are animals.
-
If I am in Seattle, I am in Washington. I am in Washington. Therefore, I am in Seattle.
Group 3: Evaluating Strength and Cogency
For these Inductive arguments, determine if they are Strong or Weak. If strong, determine if they are Cogent or Uncogent.
-
Most people in the United States speak English. John is a person in the United States. Therefore, John speaks English.
-
I saw a black cat today, and then I stubbed my toe. Therefore, black cats cause bad luck.
-
Statistics show that 99% of people who take this vaccine do not get the virus. Sarah took the vaccine. Therefore, Sarah will not get the virus.
-
Every swan I have ever seen is white. Therefore, all swans in existence are white.
Group 4: Identifying Logical Patterns and Fallacies
Identify the specific form or fallacy (Modus Ponens, Modus Tollens, Disjunctive Syllogism, Affirming the Consequent, or Denying the Antecedent).
-
If it rains, the game is canceled. It is raining. Therefore, the game is canceled.
-
If I win the lottery, I will buy a boat. I didn’t buy a boat. Therefore, I didn’t win the lottery.
-
If you are a doctor, you went to medical school. You went to medical school. Therefore, you are a doctor.
-
Either we take the stairs or the elevator. We aren’t taking the stairs. Therefore, we are taking the elevator.
-
If it snows, the roads are slippery. It didn’t snow. Therefore, the roads are not slippery.
Group 5: Argument Mapping & Venn Diagrams
-
In an Argument Map, what is the difference between a co-premise and an independent reason?
-
When using a Venn Diagram to test a categorical statement like “No A are B,” what visual action do you take within the overlapping circles?
Answer Key
Group 1
-
Deductive (The conclusion follows necessarily from the definitions).
-
Inductive (Based on past experience/probability).
-
Inductive (Based on a statistical majority).
-
Deductive (Classic syllogistic form).
-
Inductive (Predicting the future based on a pattern).
Group 2
-
Valid but Unsound (The structure is perfect, but the premise “All birds can fly” is factually false).
-
Invalid (Fallacy of Affirming the Consequent; the car might not start for other reasons).
-
Valid (Disjunctive Syllogism). If the premises are true, it is Sound.
-
Valid and Sound (The structure is correct and the premises are true).
-
Invalid (Fallacy of Affirming the Consequent; you could be in Spokane).
Group 3
-
Strong and Cogent (The statistical probability is high and the premises are true).
-
Weak (Hasty generalization based on a single, likely coincidental event).
-
Strong and Cogent (High probability based on established data).
-
Strong but Uncogent (It is strong based on the evidence available to the speaker, but technically uncogent because black swans do exist).
Group 4
-
Modus Ponens (Valid).
-
Modus Tollens (Valid).
-
Affirming the Consequent (Invalid).
-
Disjunctive Syllogism (Valid).
-
Denying the Antecedent (Invalid).
Group 5
-
Co-premises work together as a single unit to support a conclusion; if one is removed, the support fails. Independent reasons each provide support on their own, regardless of the other.
-
You shade the overlapping area between circle A and circle B to show that the set of things that are both A and B is empty.