Skip to main content
Back

Valid Patterns of Deductive Reasoning: Study Notes for Critical Thinking and Logic

Study Guide - Smart Notes

Tailored notes based on your materials, expanded with key definitions, examples, and context.

Valid Patterns of Deductive Reasoning

Introduction

Deductive reasoning is a fundamental aspect of logic and critical thinking, involving the derivation of conclusions from premises using valid argument forms. Recognizing valid patterns is essential for evaluating the soundness of arguments in academic and everyday contexts.

§1. Modus Ponens

Definition and Structure

Modus ponens is a basic valid argument form in logic. It allows us to infer a conclusion from a conditional statement and its antecedent.

  • Form: If P then Q. P. Therefore, Q.

  • Example: If an object is made of copper, it will conduct electricity. This object is made of copper. Therefore, it will conduct electricity.

Arguments of this form are valid because the conclusion necessarily follows from the premises.

Common Mistake: Affirming the Consequent

  • Form: If P then Q. Q. Therefore, P.

  • Explanation: This is a fallacy known as affirming the consequent. The conclusion does not necessarily follow from the premises.

  • Example: If Jane lives in Beijing, then Jane lives in China. Jane lives in China. Therefore, Jane lives in Beijing. (Invalid)

§2. Modus Tollens

Definition and Structure

Modus tollens is another valid pattern of deductive reasoning, allowing us to infer the negation of the antecedent from a conditional statement and the negation of its consequent.

  • Form: If P then Q. Not-Q. Therefore, not-P.

  • Example: If Lam is a Buddhist, then he should not eat pork. Lam eats pork. Therefore, Lam is not a Buddhist.

§3. Hypothetical Syllogism

Definition and Structure

A hypothetical syllogism combines two conditional statements to infer a third conditional relationship.

  • Form: If P then Q. If Q then R. Therefore, if P then R.

  • Example: If God created the universe, then the universe will be perfect. If the universe is perfect, then there will be no evil. Therefore, if God created the universe, there will be no evil.

§4. Disjunctive Syllogism

Definition and Structure

Disjunctive syllogism uses a disjunction ("or" statement) and the negation of one disjunct to infer the other.

  • Form: P or Q. Not-P. Therefore, Q. or P or Q. Not-Q. Therefore, P.

  • Example: Either the government brings about more sensible educational reforms, or only good schools will let private ones for rich kids. The government is not going to carry out sensible educational reforms. Therefore, only good schools will let private ones for rich kids.

§5. Dilemma

Definition and Structure

A dilemma presents two (or more) alternatives, each leading to a similar outcome.

  • Form: P or Q. If P then R. If Q then S. Therefore, R or S.

  • Simplified Form (if R = S): P or Q. If P then R. If Q then R. Therefore, R.

  • Example: Either we increase the tax rate or we don't. If we do, people will be unhappy. If we don't, people will also be unhappy. Therefore, people are going to be unhappy anyway.

§6. Arguing by Reductio ad Absurdum

Definition and Structure

Reductio ad absurdum is a method of argument that proves a statement false by showing that its assumption leads to a contradiction or absurdity.

  • 1. Assume that S is true.

  • 2. From the assumption, show that it leads to a contradiction or an absurd claim.

  • 3. Conclude that S must be false.

  • Example: Suppose someone claims that nothing is true for a given person. If the person is alive, then at least one thing is true (the person is alive). Therefore, the claim is false.

§7. Other Patterns

Additional Valid Patterns

Other valid patterns can be constructed by combining basic forms. For example:

  • Combined Hypothetical Syllogism: If P then Q. If Q then R. If R then S. Therefore, if P then S.

  • Simple Valid Patterns:

    • P and Q. Therefore Q.

    • P. Therefore P.

It is important to distinguish valid argument patterns from invalid ones, even if they appear similar.

Summary Table: Valid Argument Patterns

Pattern Name

Form (Symbolic)

Example

Modus Ponens

If P then Q. P. Therefore, Q.

If it rains, the ground gets wet. It rains. Therefore, the ground gets wet.

Modus Tollens

If P then Q. Not-Q. Therefore, not-P.

If the alarm is set, it will ring. It does not ring. Therefore, the alarm is not set.

Hypothetical Syllogism

If P then Q. If Q then R. Therefore, if P then R.

If you study, you will pass. If you pass, you will graduate. Therefore, if you study, you will graduate.

Disjunctive Syllogism

P or Q. Not-P. Therefore, Q.

Either the light is on or the room is dark. The light is not on. Therefore, the room is dark.

Dilemma

P or Q. If P then R. If Q then S. Therefore, R or S.

Either we travel by train or by car. If by train, we arrive early. If by car, we arrive late. Therefore, we arrive early or late.

Reductio ad Absurdum

Assume S. Show contradiction. Therefore, not S.

Assume all numbers are even. 1 is not even. Contradiction. Therefore, not all numbers are even.

Exercises and Applications

  • Identify valid argument forms in everyday reasoning and academic arguments.

  • Distinguish between valid and invalid patterns, such as affirming the consequent or denying the antecedent.

  • Apply reductio ad absurdum to test the validity of claims.

Key Terms and Definitions

  • Premise: A statement assumed to be true for the purpose of argument.

  • Conclusion: The statement that follows logically from the premises.

  • Conditional Statement: A statement of the form "If P then Q".

  • Disjunction: A statement of the form "P or Q".

  • Contradiction: A logical inconsistency that disproves an assumption.

Formulas and Symbolic Representations

  • Modus Ponens:

  • Modus Tollens:

  • Hypothetical Syllogism:

  • Disjunctive Syllogism:

  • Dilemma:

  • Reductio ad Absurdum:

Additional info: These patterns are foundational in logic and critical thinking, and are widely applicable in philosophy, mathematics, and scientific reasoning. Understanding them helps students avoid common logical fallacies and construct sound arguments.

Pearson Logo

Study Prep