Skip to main content

Patterns of Valid Logical Inferences

In formal logic, there are certain patterns of argumentation that are always valid. These patterns form the basis for logically correct reasoning and can be applied in various contexts.

Modus Ponens (Affirming the Antecedent)​

Form:

  1. If A, then B.
  2. A.
  3. Therefore B.

Example:

  1. If it rains, the street becomes wet.
  2. It is raining.
  3. Therefore the street becomes wet.

Modus Tollens (Denying the Consequent)​

Form:

  1. If A, then B.
  2. Not B.
  3. Therefore not A.

Example:

  1. If Peter is guilty, there are fingerprints at the crime scene.
  2. There are no fingerprints at the crime scene.
  3. Therefore Peter is not guilty.

Hypothetical Syllogism (Chain Argument)​

Form:

  1. If A, then B.
  2. If B, then C.
  3. Therefore: If A, then C.

Example:

  1. If it rains, the street becomes wet.
  2. If the street is wet, it becomes slippery.
  3. Therefore: If it rains, the street becomes slippery.

Disjunctive Syllogism (Process of Elimination)​

Form:

  1. Either A or B.
  2. Not A.
  3. Therefore B.

Example:

  1. Either Hans broke the window or Maria did.
  2. Hans did not break the window.
  3. Therefore Maria broke the window.

Conjunctive Simplification​

Form:

  1. A and B.
  2. Therefore A.

Example:

  1. It is raining and it is cold.
  2. Therefore it is raining.

Conjunctive Addition​

Form:

  1. A.
  2. B.
  3. Therefore A and B.

Example:

  1. It is raining.
  2. It is cold.
  3. Therefore it is raining and it is cold.

Disjunctive Addition​

Form:

  1. A.
  2. Therefore A or B.

Example:

  1. It is raining.
  2. Therefore it is raining or it is snowing.

Application in Critical Thinking​

Understanding these patterns of argumentation is important for critical thinking for several reasons:

  1. It enables the identification of valid argument structures in complex texts.
  1. It helps to recognize errors in the logical structure of arguments when they deviate from these patterns.
  1. It provides tools for constructing one's own valid arguments.
  1. It fosters a deeper understanding of the logical relationships between statements.