Lesson 4.3 — Modus Ponens

The most common valid argument shape in the world. You use it millions of times without naming it.

The Shape

That's it. You have an IF-THEN sentence. You confirm the IF part. You conclude the THEN part.

The Latin name "modus ponens" means "the method of putting." We've put the IF part in place, and the THEN part follows.

Why It Works

Remember the IF truth table:

Suppose you know two things:

• IF X THEN Y is TRUE (so we're in rows 1, 3, or 4 — not row 2)
• X is TRUE (so we're in rows 1 or 2)

Both must be true at once, so we're in row 1. And in row 1, Y is TRUE.

That's Modus Ponens in one sentence: when the IF holds and the antecedent is true, the consequent must be true.

Apply It Yourself

Pre-set premise: "IF I miss the bus, I'll be late." (assumed TRUE)

Confirm or deny the antecedent. Watch what Modus Ponens does — and doesn't — let you conclude.

When you confirm the antecedent, the IF-truth requirement narrows the truth table to exactly one row — and that row tells you the consequent. When you deny the antecedent, you're in the "vacuous" rows where Y can be either value. No conclusion follows.

Everyday Examples

"If it snows, school is canceled. It's snowing. So school is canceled."

"If you don't water the plant, it dies. You didn't water it. So it dies."

"If she texts me, I'll know she's safe. She texted. I know she's safe."

You use this constantly without naming it.

A Real-World Trap

The argument shape is valid. But the conclusion is only as good as the premises. If the IF-THEN itself is wrong, the conclusion is wrong even though the inference is valid.

The argument is VALID — the logic is correct. But Premise 1 is FALSE (not all tall people play basketball). The conclusion is unreliable, even though the shape is right.

Always check the premises before trusting a Modus Ponens conclusion. Lesson 4.2's distinction applies here: valid logic + true premises = sound.

Practice

For each, decide: is this Modus Ponens? Is it valid?

1. "If I study, I'll pass. I studied. So I'll pass."
2. "If I study, I'll pass. I passed. So I studied."
3. "If it rains, the picnic is canceled. It's raining. So the picnic is canceled."
4. "If the alarm goes off, the cat hides. The alarm went off. So the cat is hiding."

Answers:

1. Yes — Modus Ponens. Valid.
2. NO — this is "affirming the consequent," a fallacy we'll cover in Lesson 5.1. Different shape. Invalid.
3. Yes — Modus Ponens. Valid.
4. Yes — Modus Ponens. Valid.

Recap

• Modus Ponens: IF X THEN Y, plus X, gives you Y.
• The most common valid argument shape. You use it constantly.
• Confirming the IF part lets you conclude the THEN part.
• The shape is valid; the conclusion still depends on the premises being true.
• Watch out for look-alikes — "affirming the consequent" is the invalid twin (Lesson 5.1).