Logic and Arguments: Deductive vs. Inductive Reasoning

Deductive Arguments

  • Definition: In a deductive argument, the conclusion makes explicit information already contained within the premises. If the premises are true, the conclusion must logically follow.
  • Conceptual Movement: Deductive arguments move from broad generalizations to narrower, specific conclusions (e.g., from "all fish" to "tuna").
  • Key Characteristic: Dependent Premises: Deductive arguments always have dependent premises. The truth of one premise relies on or is connected to the truth of another premise to establish the conclusion.
    • Venn Diagram Example: If a large circle represents "things that live underwater," and a smaller circle entirely inside it represents "fish" (because all fish live underwater), and an even smaller circle inside the "fish" circle represents "tuna" (because all tuna are fish), then the "tuna" circle is necessarily inside the "things that live underwater" circle. This visual shows how the conclusion (tuna live underwater) is already contained.

Validity and Soundness of Deductive Arguments

  • Valid: A deductive argument is valid if it is impossible for the premises to be true and the conclusion false. This means that if we assume the premises to be true, the conclusion must then also be true.
    • Assuming Truth: To assume a premise is true means to pretend it is true for the purpose of evaluating the argument's validity, without affirming its actual truth. After determining validity, one can then question the actual truth of the premises.
    • Example:
      1. All professors are female.
      2. Pettit is a professor.
      3. Therefore, Pettit is female.
      • This argument is valid. If we assume premises 1 and 2 are true, then premise 3 must logically follow.
  • Sound: A deductive argument is sound when it is valid and its premises are actually true.
    • Revisiting Example: The argument above, while valid, is not sound because premise 1 ("All professors are female") is factually false.
  • Distinction: Validity relates to the structure of an argument (does the conclusion follow necessarily from the premises, assuming they are true?). Soundness relates to both the structure and the actual truth of the premises.

Common Valid Deductive Argument Forms

These forms demonstrate how the structure, rather than content, can ensure validity using propositions P and Q:

  • Modus Ponens (Affirming the Antecedent): PoQP o QPPhereforeQherefore Q
    • Example: If you do your homework (P), then you can go to the movies (Q). You did your homework (P). Therefore, you can go to the movies (Q).
  • Modus Tollens (Denying the Consequent): PoQP o Q¬Q\neg Qherefore¬Pherefore \neg P
    • Example: If robbery was the motive (P), then the wallet would be empty (Q). The wallet was not empty ($
      eg$Q). Therefore, robbery was not the motive ($
      eg$P).
  • Disjunctive Syllogism: PextorQP ext{ or } Q¬Q\neg QhereforePherefore P
    • Example: In the shaker is either salt (P) or sugar (Q). It is not sugar ($
      eg$Q). Therefore, it is salt (P).
    • Also valid:
      PextorQP ext{ or } Q
      <br/>¬P<br />\neg P
      hereforeQherefore Q

Common Invalid Deductive Argument Forms

  • Affirming the Consequent: PoQP o QQQhereforePherefore P
    • Example: If I catch my significant other cheating (P), I will break up with them (Q). I broke up with my significant other (Q). Therefore, I caught my significant other cheating (P).
    • Why Invalid: Breaking up (Q) could happen for other reasons besides cheating (P).
  • Denying the Antecedent: PoQP o Q¬P\neg Pherefore¬Qherefore \neg Q
    • Example: If I catch my significant other cheating (P), I will break up with them (Q). I did not catch my significant other cheating ($
      eg$P). Therefore, I will not break up with my significant other ($
      eg$Q).
    • Why Invalid: Not catching them cheating ($
      eg$P) doesn't mean I won't break up for other reasons ($
      eg$Q might still be false if Q, breaking up, happens for a non-P reason).

Inductive Arguments

  • Definition: In an inductive argument, the conclusion is supported by the premises, but the conclusion is not necessarily true even if the premises are true.
  • Nature of Conclusion: Unlike deductive arguments, the conclusion of an inductive argument goes beyond the information contained in the premises. It is described as ampliative, meaning it adds to your knowledge rather than just clarifying what was already implied.
  • Example:
    1. Joe studies regularly for his critical thinking class.
    2. Joe comes to every class on time.
    3. Joe goes to office hours for more help.
    4. Therefore, Joe will get a good grade in the course.
    • Even if premises 1-3 are true, premise 4 doesn't necessarily follow. There could be other factors.
  • Key Characteristic: Independent Premises: Inductive arguments almost always have independent premises. Each premise offers support for the conclusion on its own, even if other premises are removed (though removing them might weaken the overall argument).

Strength and Cogency of Inductive Arguments

  • Strong: The premises of an inductive argument are judged by their strength. A strong set of premises provides significant support for a conclusion and limits the number of alternative explanations for that conclusion.
    • Weak Inductive Argument Example:
      1. Mary's car was stolen.
      2. Joe has stolen cars before.
      3. Therefore, Joe stole Mary's car.
      • This is weak; Joe's past behavior doesn't mean he stole this specific car, leaving many alternative explanations.
    • Strong Inductive Argument Example:
      1. Mary's car was stolen.
      2. Joe has stolen cars before.
      3. Mary's car was found near Joe's house.
      4. Joe's fingerprints were on Mary's car.
      5. Joe was seen getting out of the car.
      6. Therefore, Joe stole Mary's car.
      • While the conclusion (6) still doesn't necessarily follow (e.g., Joe could be framed), the premises (1-5) provide significantly more support and limit alternative explanations, making it a strong argument.
  • Cogent: An inductive argument is cogent when it is strong and its premises are actually true.
  • Analogy: For inductive arguments, 'strong' is analogous to 'valid' in deductive arguments, and 'cogent' is analogous to 'sound'.

Arguments From Analogy

  • Always Inductive: Arguments from analogy are always inductive, even though they sometimes feature dependent premises.
  • The Exception: This is the one significant exception to the rule that deductive arguments use dependent premises and inductive arguments use independent premises. Arguments from analogy have dependent premises but remain inductive because the truth of the conclusion does not necessarily follow from the truth of the premises, even if properly structured.
  • Identifying Features: These arguments establish a comparison. Look for clue phrases like "is like," "is similar to," or any other phrasing that draws a direct comparison between two things.
  • Example:
    1. The universe is like a country because it has laws that regulate it.
    2. All countries have lawmakers.
    3. Therefore, the universe has a lawmaker.
    • Because the argument uses the phrase "is like" in premise 1, it is an argument from analogy and is therefore inductive. Even if premises 1 and 2 are true, the conclusion does not necessarily follow with absolute certainty; it's a probable inference based on similarity, not a logical necessity.

Summary of Argument Types

  • Deductive Arguments:
    • Valid if the conclusion must be true given true premises.
    • Sound if valid and premises are true.
    • Always have dependent premises.
  • Inductive Arguments:
    • Conclusion is not necessarily true even if premises are true.
    • Strong if premises provide substantial support, limiting alternative explanations.
    • Cogent if strong and premises are true.
    • Almost always have independent premises.
  • Arguments from Analogy:
    • Always inductive.
    • Characterized by comparisons (e.g., "is like", "is similar to").
    • Possess dependent premises, but due to the nature of inference, they are classified as inductive. The conclusion does not necessarily follow.