Questions: Affirming the Consequent: A Common Invalid Form

Question 1

A doctor knows that patients with disease X always have symptom Y. A patient presents with symptom Y, and the doctor concludes the patient has disease X. What is wrong with this reasoning?

• A. The doctor should have ordered additional tests before forming any hypothesis
• B. Symptom Y can be caused by other conditions — the inference runs backward from consequent to antecedent and is invalid
• C. The premise is only probably true, so the conclusion can only be probably valid
• D. Nothing — this is standard diagnostic reasoning and is logically sound

Answer: (B)

The doctor's reasoning has the form: 'If disease X, then symptom Y; symptom Y; therefore disease X' — affirming the consequent. It is invalid because symptom Y could have many causes other than disease X. The conditional 'If X then Y' only guarantees that X produces Y, not that Y can only come from X. Option D is the seductive wrong answer — this reasoning does feel like standard diagnostics, but it is only valid when combined with evidence that rules out all other causes of Y.

Question 2

Which of the following correctly distinguishes modus ponens from affirming the consequent?

• A. Modus ponens concludes Q from P; affirming the consequent concludes P from Q — but both are deductively valid
• B. Modus ponens uses a biconditional; affirming the consequent uses a one-way conditional
• C. Modus ponens concludes Q from P and 'If P then Q' (valid); affirming the consequent concludes P from Q and 'If P then Q' (invalid)
• D. Both are invalid forms that confuse necessary and sufficient conditions

Answer: (C)

Modus ponens runs with the conditional: P is true, and P guarantees Q, so Q is true. This is valid. Affirming the consequent runs against the conditional: Q is true, and P would guarantee Q, so P must be true. This is invalid because P is not the only way to get Q. The forms look similar but the direction of inference is the whole difference — modus ponens moves from antecedent to consequent (the guaranteed direction), while affirming the consequent moves backward.

Question 3

Observing that Q is true provides conclusive proof that P is true, when the conditional 'If P then Q' holds.

• T. True
• F. False

Answer: False

A conditional 'If P then Q' guarantees only that P's truth produces Q's truth. It says nothing about what else might produce Q. Observing Q tells you that something sufficient for Q has occurred — but P is only one possible cause. The ground being wet is consistent with rain, but doesn't prove it rained; the sprinkler, a spilled bucket, or condensation could explain it equally well. Conclusive proof of P requires ruling out all other causes of Q.

Question 4

Affirming the consequent is invalid because the conditional 'If P then Q' does not assert that P is the only possible cause of Q.

• T. True
• F. False

Answer: True

This is exactly why the fallacy fails: a conditional asserts a sufficient condition (P is enough to guarantee Q), not a necessary and exclusive one (P is the only way to get Q). If 'If P then Q' were a biconditional ('If and only if P then Q'), then Q would indeed imply P. The error in affirming the consequent is treating a one-way sufficient condition as though it were a two-way necessary-and-sufficient relationship.

Question 5

Why is affirming the consequent a formal fallacy even when the conclusion happens to be true?

Model answer: Logical validity concerns the argument's form, not the truth of its conclusion. An argument is valid if and only if there is no possible situation where the premises are true and the conclusion is false. For affirming the consequent, such situations exist: Q can be true (the ground is wet) and P false (it did not rain) simultaneously. When the conclusion happens to be true, it is true independently of the argument — the argument provides no logical support for it. A true conclusion reached through an invalid argument is true by coincidence, not by reasoning.

This distinction between validity and truth is fundamental to logic. An invalid argument with a true conclusion is still a bad argument — it doesn't show why the conclusion is true or give us reason to believe it based on the premises. Recognizing affirming the consequent lets you see when apparent evidence for a conclusion (Q is true) actually provides no logical support for it (P may or may not be true regardless).