Modus ponens
from 300 BCE Stated by the Stoics; formalised in the nineteenth century
If the first thing is true, and the second follows from it, then the second is true — the plainest valid move in all of logic.
- Active
- from 300 BCE
- Where
- Athens
- Also
- modus ponendo ponens
- Status
- In use
- Tradition
- Forms of inference
What it is
Modus ponens is the rule that lets you detach a conclusion from a conditional. Given a claim of the form *if P then Q*, and given P, you may write down Q.
It looks too obvious to name. It is named because almost every other form of argument reduces to it, and because the interesting question is not whether the rule is valid but whether you were entitled to the conditional in the first place.
How it works
Establish a conditional. Establish its antecedent. Detach the consequent.
All the work is in the first two steps. The third is free, which is what people mean when they call an argument valid but unsound: the machinery ran correctly on material that was never checked.
The form of the inference
- If P, then Q
- P
- Therefore Q
The argument
Proposition The bridge should be closed to heavy vehicles.
- If a bridge's load rating has fallen below the weight of the vehicles crossing it, it should be closed to those vehicles.
- The engineer's report puts this bridge's rating at 12 tonnes.
- The quarry lorries using it weigh 26 tonnes loaded.
- So its rating has fallen below the weight of the vehicles crossing it.
Therefore The bridge should be closed to heavy vehicles.
Note where the argument can actually be attacked. Nobody will dispute the detachment; they will dispute the conditional in the first line, or the engineer's number in the second.
What it is good for
Settling what follows once the premises are agreed. It is the move that turns a shared principle plus a particular fact into an obligation, which is why it is the backbone of legal, engineering and medical reasoning alike.
Where it fails
It fails by being used where the conditional was never earned. A valid detachment from a smuggled premise produces a confident conclusion with nothing behind it, and because the logic is impeccable the argument feels stronger than it is.
Its twin failure is the sorites: chain enough individually plausible conditionals together and you arrive somewhere absurd without any single step looking wrong.
Common misconceptions
That it is the same as *affirming the consequent* — the fallacy that runs the rule backwards, from Q to P. Also that its validity says anything at all about whether the conclusion is true.
Where it came from
The Stoics listed it first among their five indemonstrables, arguments so basic that nothing simpler could be used to prove them. Chrysippus is usually credited with the systematic treatment.
What became of it
Absorbed into propositional logic in the nineteenth century and now simply part of the furniture.
Lasting influence
Every formal system that came after assumes it. Frege, Russell and Whitehead all build on it, and it is the rule any automated theorem prover runs first.
Why it still matters
It remains the most common single move in argument of any kind, philosophical or otherwise.
Put another way
It is the hinge, not the door. Useless on its own and nothing swings without it.
Texts
Sextus Empiricus, Outlines of Pyrrhonism
The main surviving source for the Stoic indemonstrables, preserved by a sceptic who was arguing against them.
Where to start
Any introductory logic text. The rule takes five minutes; recognising when the conditional has been smuggled in takes years.
The surprising bit
The Stoics had a full propositional logic centuries before Aristotle's term logic was superseded, and it was lost for so long that the nineteenth century thought it was inventing it.
In their own words
If the first, then the second; but the first; therefore the second
Who held it
Sextus Empiricus
Connections
- Influenced
- Reductio ad absurdum, Hypothetical syllogism
- Parallel to
- Modus tollens
The verdict
The rule is beyond dispute. Everything interesting happens in the premises it is applied to.