The rule that seems unbreakable.
Modus Ponens: If P then Q. P is true. Therefore Q. It has been a bedrock of logic for two thousand years. In 1985, Vann McGee published a counterexample.
Every logic textbook teaches Modus Ponens as an ironclad rule of inference. If “P implies Q” is true, and P is true, then Q must be true. This is not a “usually works” kind of rule. It is supposed to be logically necessary — as certain as 2 + 2 = 4.
Then McGee published “A Counterexample to Modus Ponens” in the Journal of Philosophy. His example involved the 1980 US Presidential election — and has been debated ever since.
“If a Republican wins, then if Reagan doesn't win, Anderson will.”
Cases that work — and one that doesn't.
Let us look at some arguments in Modus Ponens form. Most are completely uncontroversial — until we reach nested conditionals.
Classic Modus Ponens — uncontroversial.
The first two examples work perfectly. If it is raining and rain implies wet ground, the ground is wet. No philosopher disputes this. But Example 3 — McGee's case — is different. Something about the nesting changes everything.
A walkthrough, step by step.
McGee's counterexample is set against the 1980 US Presidential Election. The steps are deceptively simple.
If a Republican wins, then if Reagan doesn't win, Anderson will.
A Republican will win.
If Reagan doesn't win, Anderson will.
The Setup: 1980 US Presidential Election
Three main candidates: Ronald Reagan (R), Jimmy Carter (D), and John Anderson (I, former R). Reagan was the clear frontrunner among Republicans.
The puzzle in brief: we have a valid logical form; we have true premises; yet the conclusion seems false. How can this be?
Where the complexity hides.
The key to understanding McGee's example is seeing how nested conditionals differ structurally from simple ones.
Simple Form
P → Q
Both P and Q are simple propositions.
Nested Form
R → (~Rg → A)
Q itself is a conditional — the problematic case.
In a simple conditional “If P then Q”, both P and Q are plain propositions — statements that are simply true or false.
In McGee's nested conditional, the consequent Q is itself a conditional: “If Reagan doesn't win, Anderson will.” This creates a more complex logical structure.
How probability shapes our intuition.
The intuition behind McGee's counterexample depends on the relative probabilities of each candidate winning. Let us explore how changing these probabilities affects our judgment.
Reagan + Anderson.
Conclusion seems FALSE.
The McGee Intuition
With current settings, if Reagan doesn't win, Carter (80.0%) is more likely than Anderson (20.0%). The Modus Ponens conclusion “If Reagan doesn't win, Anderson will” feels false.
Notice how the conclusion “If Reagan doesn't win, Anderson will” feels true or false depending on the relative probabilities. When Anderson is the second-most-likely winner, the conclusion seems true. When Carter is more likely than Anderson — the actual 1980 situation — it seems false.
Three competing interpretations.
The debate around McGee's counterexample hinges on what we mean by “if-then” statements. There are several competing interpretations.
Material Conditional · Classical Logic
“If P then Q” is defined as “not-P or Q”. It is TRUE whenever P is false OR Q is true.
| P | Q | P → Q | Status |
|---|---|---|---|
| T | T | T | ok |
| T | F | F | ok |
| F | T | T | vacuous |
| F | F | T | vacuous |
Under material conditional, Modus Ponens is ALWAYS valid. The issue: this doesn't match how we use “if-then” in everyday language.
The key insight is that everyday “if-then” statements (indicative conditionals) may not work the same way as the logical “if-then” (material conditional) studied in formal logic.
McGee's position: Modus Ponens is valid for the material conditional of classical logic, but fails for the indicative conditionals we use in natural language — at least when those conditionals are nested.
Try the form yourself.
Try constructing your own Modus Ponens arguments. Can you find other cases where nested conditionals lead to counterintuitive conclusions?
If the battery is dead, then the car won't start.
The battery is dead.
The car won't start.
Defenders and revisionists.
Not everyone accepts that McGee has genuinely refuted Modus Ponens. The debate has generated decades of philosophical literature.
Restrict Modus Ponens
Accept McGee's argument. Modus Ponens fails for nested indicative conditionals. It remains valid for non-nested cases and for the material conditional of formal logic.
Reject a Premise
Argue that one of McGee's premises is actually false on careful analysis. Various semantic theories suggest the nested conditional isn't really true.
Reanalyze the Logic
The surface grammar misleads us. When properly formalized, the argument either isn't Modus Ponens, or the conclusion isn't what we think it is.
McGee's example forces us to be more careful about what we mean by ‘if-then’ — and that alone makes it philosophically valuable.
Beyond philosophy seminars.
You might think this is just philosophers arguing about technicalities. But the implications are surprisingly far-reaching.
AI & Automated Reasoning
If Modus Ponens can fail for natural language conditionals, AI systems that reason about everyday statements need to be more sophisticated than simple rule application.
Legal Reasoning
Legal arguments often involve complex nested conditionals (“If the contract is valid, then if the defendant breached it, damages are owed”). Understanding their logical structure matters for sound legal reasoning.
Epistemology
Our knowledge of the world depends on conditional reasoning. If basic inference rules can fail, what does that mean for how we justify beliefs?
More editorial explainers.
Interactive, intuition-first explanations of deep concepts in logic, mathematics, and science.