Affirming the Consequent

Definition

Affirming the consequent is a formal logical error where one assumes that because a conditional statement is true and the consequent (the 'then' part) is true, the antecedent (the 'if' part) must also be true. This ignores the possibility that multiple antecedents could produce the same consequent. For instance, 'if it rains, the ground is wet' does not mean wet ground proves it rained -- a sprinkler could be the cause.

Formal Logic Pattern

FOL Pattern

The First-Order Logic formula representing this reasoning pattern's logical structure.

FOL (First-Order Logic) uses quantifiers (∀ = for all, ∃ = there exists), connectives (∧ = and, ∨ = or, ⇒ = implies, ¬ = not), and predicates to capture the essential form of a reasoning pattern. For example, the Ad Hominem fallacy: Person(x) ∧ HasFlaw(x) ⇒ Invalid(Claim(x)). These patterns allow automated verification of logical validity.

View in glossary →

(A ⇒ B) ∧ B ⇒ A

Formal Verification: Formally invalid

Verification Steps

Verification Steps

Binary yes/no questions that an AI must answer to detect a reasoning pattern in a text.

Each of the 452 aspects has verification steps — simple yes/no questions designed to systematically detect whether a pattern appears in a text. For ad hominem: "Does the argument attack a person rather than their claim?" For false dichotomy: "Are only two options presented when more exist?" This ensures consistent, reproducible analysis.

View in glossary →

Binary (yes/no) questions an LLM must answer to identify this aspect:

1

Does the argument have an 'If A then B' conditional structure?
Type: binary
2

Does the argument assert the consequent (B) is true?
Type: binary
3

Does it conclude the antecedent (A) must therefore be true?
Type: binary

Description

Affirming the consequent is a formal logical error where one assumes that because a conditional statement is true and the consequent (the 'then' part) is true, the antecedent (the 'if' part) must also be true. This ignores the possibility that multiple antecedents could produce the same consequent. For instance, 'if it rains, the ground is wet' does not mean wet ground proves it rained -- a sprinkler could be the cause.

Why It Works

People naturally conflate sufficient conditions with necessary ones, especially when the conditional relationship feels intuitively strong or familiar.

How to Counter

Point out that the consequent could have multiple causes and ask whether the stated antecedent is the only possible explanation.

Also Known As

Converse Error Fallacy of the Converse

Real-World Context

Common in medical self-diagnosis ('this disease causes headaches; I have headaches; therefore I have this disease') and in criminal investigations where circumstantial evidence is treated as proof.

Related Aspects

Denying the Antecedent False Causality (Post Hoc) Circular Reasoning Post Hoc Ergo Propter Hoc

Related Aspects

← related to

Denying a Conjunct

Denying a conjunct is a formal fallacy that occurs when, from the premise that a conjunction is false (not both A and B), and the premise that one conjunct is false, it is concluded that the other conjunct must be true. This confuses the logical conjunction (AND) with the exclusive disjunction (XOR). If 'not both A and B' is true, denying A only tells us the conjunction fails — it does not tell us anything about B, which could be either true or false.

← related to

Non Sequitur

Non sequitur (Latin: 'it does not follow') is the broad formal fallacy in which the conclusion does not logically follow from the premises. While many specific fallacies are technically non sequiturs, the term is applied when the logical gap is stark and cannot be classified under a more specific fallacy category. The conclusion may be true or false independently, but the argument provides no valid logical path from premises to conclusion, and the disconnect is too fundamental to be attributed to a missing premise.