Affirming the consequent

In propositional logic, affirming the consequent, sometimes called converse error, fallacy of the converse, or confusion of necessity and sufficiency, is a formal fallacy of taking a true conditional statement (e.g., "if the lamp was broken, then the room would be dark") under certain assumptions (there are no other lights in the room, it is nighttime and the windows are closed), and invalidly inferring its converse ("the room is dark, so the lamp must be broken"), even though that statement may not be true under the same assumptions. This arises when the consequent ("the room would be dark") has other possible antecedents (for example, "the lamp is in working order, but is switched off" or "there is no lamp in the room").^[1]

Converse errors are common in everyday thinking and communication and can result from, among other causes, communication issues, misconceptions about logic, and failure to consider other causes.^[2]

The opposite statement, denying the consequent, is called modus tollens and is a valid form of argument.^[3]

Formal description

There are four possible forms of mixed hypothetical syllogisms, two of which are valid, while two of which are invalid. Considering a very simple example may help you understand why these forms are valid or invalid. If "p" represents "Candiru is a fish" and "q" represents "Candiru can swim," try to convince yourself by replacing these statements with p and q in the above table.^[4]

Affirming the consequent is the action of taking a true statement $P\to Q$ and invalidly concluding its converse $Q\to P$ . The name affirming the consequent derives from using the consequent, Q, of $P\to Q$ , to conclude the antecedent P. This fallacy can be summarized formally as $(P\to Q,Q)\to P$ or, alternatively, ${\frac {P\to Q,Q}{\therefore P}}$ .^[5] The root cause of such a logical error is sometimes failure to realize that just because P is a possible condition for Q, P may not be the only condition for Q, i.e. Q may follow from another condition as well.^[6]^[7]

Affirming the consequent can also result from overgeneralizing the experience of many statements having true converses. If P and Q are "equivalent" statements, i.e. $P\leftrightarrow Q$ , it is possible to infer P under the condition Q. For example, the statements "It is August 13, so it is my birthday" $P\to Q$ and "It is my birthday, so it is August 13" $Q\to P$ are equivalent and both true consequences of the statement "August 13 is my birthday" (an abbreviated form of $P\leftrightarrow Q$ ).

Of the possible forms of "mixed hypothetical syllogisms," two are valid and two are invalid. Affirming the antecedent (modus ponens) and denying the consequent (modus tollens) are valid. Affirming the consequent and denying the antecedent are invalid.^[8]

Additional examples

Example 1

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 someone lives in San Diego, then they live in California.

Joe lives in California.

Therefore, Joe lives in San Diego.

There are many places to live in California other than San Diego. On the other hand, one can affirm with certainty that "if someone does not live in California" (non-Q), then "this person does not live in San Diego" (non-P). This is the contrapositive of the first statement, and it must be true if and only if the original statement is true.

Example 2

If an animal is a dog, then it has four legs.

My cat has four legs.

Therefore, my cat is a dog.

Here, it is immediately intuitive that any number of other antecedents ("If an animal is a deer...", "If an animal is an elephant...", "If an animal is a moose...", etc.) can give rise to the consequent ("then it has four legs"), and that it is preposterous to suppose that having four legs must imply that the animal is a dog and nothing else. This is useful as a teaching example since most people can immediately recognize that the conclusion reached must be wrong (intuitively, a cat cannot be a dog), and that the method by which it was reached must therefore be fallacious.

Example 3

In Catch-22,^[9] the chaplain is interrogated for supposedly being "Washington Irving"/"Irving Washington", who has been blocking out large portions of soldiers' letters home. The colonel has found such a letter, but with the chaplain's name signed.

"You can read, though, can't you?" the colonel persevered sarcastically. "The author signed his name."

"That's my name there."

"Then you wrote it. Q.E.D."

P in this case is 'The chaplain signs his own name', and Q 'The chaplain's name is written'. The chaplain's name may be written, but he did not necessarily write it, as the colonel falsely concludes.^[9]

References

^ Rosen, Kenneth H. (2019). Discrete Mathematics and its Applications: Kenneth H. Rosen. McGraw-Hill. ISBN 978-1260091991.
^ Lay, Steven (2014). Introduction to Analysis with Proof, 5th edition. Pearson. ISBN 978-0321747471.
^ Hurley, Patrick J. (2012). A Concise Introduction to Logic (11th ed.). Boston, Massachusetts: Cengage Learning. p. 362. ISBN 9781111346232. OCLC 711774631.
^ Kashef, Arman (2023), In Quest of Univeral Logic: A brief overview of formal logic's evolution, doi:10.13140/RG.2.2.24043.82724/1
^ Hurley, Patrick J. (2010), A Concise Introduction to Logic (11th edition). Wadsworth Cengage Learning, pp. 362–63.
^ "Affirming the Consequent". Fallacy Files. Retrieved 9 May 2013.
^ Damer, T. Edward (2001). "Confusion of a Necessary with a Sufficient Condition". Attacking Faulty Reasoning (4th ed.). Wadsworth. p. 150. ISBN 0-534-60516-8.
^ Kelley, David (1998), The Art of Reasoning (3rd edition). Norton, pp. 290–94.
^ ^a ^b Heller, Joseph (1994). Catch-22. Vintage. pp. 438, 8. ISBN 0-09-947731-9.

[1] Rosen, Kenneth H. (2019). Discrete Mathematics and its Applications: Kenneth H. Rosen. McGraw-Hill. ISBN 978-1260091991.

[2] Lay, Steven (2014). Introduction to Analysis with Proof, 5th edition. Pearson. ISBN 978-0321747471.

[Hurley2012-3] Hurley, Patrick J. (2012). A Concise Introduction to Logic (11th ed.). Boston, Massachusetts: Cengage Learning. p. 362. ISBN 9781111346232. OCLC 711774631.

[Kashef2023-4] Kashef, Arman (2023), In Quest of Univeral Logic: A brief overview of formal logic's evolution, doi:10.13140/RG.2.2.24043.82724/1

[5] Hurley, Patrick J. (2010), A Concise Introduction to Logic (11th edition). Wadsworth Cengage Learning, pp. 362–63.

[6] "Affirming the Consequent". Fallacy Files. Retrieved 9 May 2013.

[7] Damer, T. Edward (2001). "Confusion of a Necessary with a Sufficient Condition". Attacking Faulty Reasoning (4th ed.). Wadsworth. p. 150. ISBN 0-534-60516-8.

[8] Kelley, David (1998), The Art of Reasoning (3rd edition). Norton, pp. 290–94.

[:0-9] Heller, Joseph (1994). Catch-22. Vintage. pp. 438, 8. ISBN 0-09-947731-9.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

Affirming the consequent

Contents

Formal description

Additional examples

See also

References