F002 • Formal - Propositional Logic
Also known as: Inverse Error, Fallacy of the Inverse
A guarantee in one direction does not create a guarantee in the opposite direction.
We learn that if A happens, B follows -- and then we flip it: since A did not happen, B cannot have happened either. It feels like tidying up. If the cause is absent, the effect should be absent too. But conditionals only tell us what happens when the condition is met. They are silent about what happens when it is not.
Loading examples...
Pattern: If P then Q; observe not P; conclude not Q
Terms:
P = the stated conditionQ = the guaranteed outcome when P holdsSteps:
P, then Q followsP did not happenQ cannot have happenedOur brains love symmetry. When we learn a rule -- "if you study, you pass" -- we naturally want the rule to work in both directions, including the negative one: "if you do not study, you do not pass." That impulse toward symmetry is deeply useful; it helps us build mental models of how the world works. The trouble is that most real-world conditionals are not symmetric. "If P then Q" guarantees Q when P is present, but it says nothing about Q when P is absent. The consequent can be true for reasons that have nothing to do with the antecedent. You might pass without studying because you already knew the material, because the test was straightforward, or because you got lucky. Denying the antecedent feels like careful reasoning -- ruling out the cause to rule out the effect -- but it only works when the cause is the only possible path to the effect, and that is rarely the case.
| When you have genuine reason to believe the conditional is biconditional -- that is, the antecedent is the only way the consequent can be true -- then denying the antecedent does give you a valid conclusion. "If and only if the key is turned, the engine starts" supports "the key was not turned, so the engine did not start." The question is always whether the "only if" part actually holds. |
| In everyday conversation, many conditionals carry an implied exclusivity that makes the inverse inference reasonable as a practical bet, even if it is not logically guaranteed. The skill is knowing when you are making a bet and when you are drawing a conclusion. |
| You might notice the symmetry impulse: your mind hears a rule and immediately constructs its mirror image. That mirror image feels true, but it was never stated. |
| Watch for reasoning that takes the form "since the condition was not met, the result cannot occur." Ask yourself: is this the only way that result could happen? |
| Notice when you feel relief at ruling something out. "It did not rain, so the picnic is safe" feels reassuring -- but the reassurance comes from the symmetry, not from the logic. |
| Pay attention to how you handle disappointment. "I did not get X, so I will not get Y" can feel like bracing for reality, when it is actually narrowing reality more than the evidence supports. |
| Confusing this with modus tollens, which is valid: if P then Q, Q is false, therefore P is false. Modus tollens denies the consequent; this fallacy denies the antecedent. The difference matters. |
| Assuming that every if-then statement is really a biconditional (if and only if). In conversation, "if you study, you will pass" often implies "and if you do not study, you will not," but that implication is pragmatic, not logical. The statement alone does not guarantee it. |
| Treating the backward negative inference as always wrong. Sometimes the antecedent really is the only path to the consequent, and in those cases, denying it does validly deny the consequent. The error is in assuming exclusivity without verifying it. |
| Denying the Antecedent |
|---|
| Inferring the falsehood of the consequent from the falsehood of the antecedent in a conditional statement. |
| The consequent can be true even when the antecedent is false. The conditional only tells us what happens when P is true. |
Hover to see definition, click to view full details