Affirming the consequent
Affirming the consequent, sometimes called converse error or fallacy of the converse, is a formal fallacy of inferring the converse from the original statement. The corresponding argument has the general form:
- If P, then Q.
- Therefore, P.
An argument of this form is invalid, i.e., the conclusion can be false even when statements 1 and 2 are true. Since P was never asserted as the only sufficient condition for Q, other factors could account for Q (while P was false). 
To put it differently, if P implies Q, the only inference that can be made is non-Q implies non-P. (Non-P and non-Q designate the opposite propositions to P and Q.) Symbolically:
(P ⇒ Q) ⇔ (non-Q ⇒ non-P)
One way to demonstrate the invalidity of this argument form is with a counterexample with true premises but an obviously false conclusion. For example:
- If Bill Gates owns Fort Knox, then he is rich.
- Bill Gates is rich.
- Therefore, Bill Gates owns Fort Knox.
Owning Fort Knox is not the only way to be rich. Any number of other ways exist to be rich.
However, one can affirm with certainty that "if Bill Gates is not rich" (non-Q) then "Bill Gates does not own Fort Knox" (non-P).
Arguments of the same form can sometimes seem superficially convincing, as in the following example:
See also 
- Modus ponens
- Modus tollens
- Post hoc ergo propter hoc
- Denying the antecedent
- Fallacy of the undistributed middle
- Inference to the best explanation
- ELIZA effect
- Confusion of the inverse
|This logic-related article is a stub. You can help Wikipedia by expanding it.|