Modus Tollens (Contrapositive Reasoning)¶

Why It Matters¶

Humans naturally reason forward (if P then Q, P is true, therefore Q) but struggle with backward reasoning. This creates systematic blind spots: we fail to notice when evidence contradicts our theories, we don't use the absence of expected consequences as evidence against causes, and we can't work backward from desired outcomes to necessary preconditions. Modus tollens is the formal structure underlying all falsification, all quality control ("if the process worked, we'd see X; we don't see X, so something failed"), and all debugging.

The Key Move¶

When evaluating a claim P, identify what observable consequence Q must follow if P is true. Then actively look for Q's absence. If Q is missing, P is falsified. Write it as: "If [claim], then we should observe [consequence]. We don't observe [consequence]. Therefore [claim] is false." Force yourself to generate specific, observable predictions before you check.

Classic Application¶

Scientific hypothesis testing. Semmelweis observed that if "miasma causes childbed fever" were true, rates should be similar across wards with similar air quality. They weren't - rates differed 10x between doctor and midwife wards despite identical ventilation. The theory was falsified through its absent predictions.

Surprising Application¶

Personal relationship diagnosis. If your friend "really values your friendship" (P), they should remember important dates, initiate contact sometimes, show interest in your life (various Q's). The systematic absence of these behaviors - not just one-off failures - is evidence against P. This prevents the trap of accepting verbal claims while ignoring behavioral evidence.

Failure Modes¶

Over-reliance on single negative instances when P→Q is probabilistic rather than deterministic. Confusing necessary and sufficient conditions (Q's absence only disproves P if Q is necessary for P). Failing to account for measurement error (maybe Q occurred but you didn't detect it). Most critically: only works if you've correctly identified what Q must be - wrong prediction invalidates the entire inference.

Go Deeper¶

Wason & Johnson-Laird, "Psychology of Reasoning: Structure and Content" (Chapter 3); Popper, "Conjectures and Refutations" on falsification