Modus Ponens and Modus Tollens
The two most basic valid forms of conditional reasoning, and the fallacies that mimic them.
Modus ponens and modus tollens are the two most fundamental valid argument forms involving conditionals — statements of the form "if P then Q." Modus ponens (Latin: "mode that affirms") reasons from the conditional and its antecedent to its consequent; modus tollens ("mode that denies") reasons from the conditional and the denial of its consequent to the denial of its antecedent:
Modus ponens: Modus tollens:
If P then Q If P then Q
P Not Q
Therefore Q Therefore not P
Both forms are valid: it is impossible for the premises to be true and the conclusion false. This can be seen from the truth table of the conditional, which is false in exactly one case — true antecedent, false consequent. Modus ponens never leads from true premises to that case, because it asserts the antecedent; modus tollens never leads to it, because it denies the consequent. Everyday examples: "If it rains, the ground gets wet. It is raining. Therefore the ground is wet" (ponens), and "If it rains, the ground gets wet. The ground is not wet. Therefore it did not rain" (tollens).
Two similar-looking forms are invalid, and confusing them with the valid ones is a standard source of error. Affirming the consequent — "If P then Q; Q; therefore P" — mistakes a necessary condition for a sufficient one: rain makes the ground wet, but the ground can be wet for other reasons (a hose, dew). Denying the antecedent — "If P then Q; not P; therefore not Q" — makes the same error in reverse. Both are catalogued among logical fallacies.
A useful distinction separates validity from soundness. An argument is valid when its form guarantees the conclusion given the premises; it is sound when it is valid and its premises are in fact true. Modus ponens with a false premise — "If it is 2050, the sky is green" — remains valid in form but unsound, and its conclusion carries no warrant. Logic certifies the move from premises to conclusion; it does not certify the premises.
Modus tollens has a celebrated scientific application. Karl Popper's falsificationism is, in skeletal form, an insistence on modus tollens in hypothesis testing: a theory implies a prediction; the prediction fails; therefore the theory (as stated) is rejected. Real science is more complex, because a failed prediction may indict any of the auxiliary assumptions used to derive it — the point made by the Duhem–Quine underdetermination arguments, which is why experiments are designed to control auxiliaries one at a time. The logical form, however, remains the same: modus tollens is the deductive skeleton of empirical testing.