Modus Ponens

Core claim: Modus ponens (MP) is a valid inference form – not a fallacy. From a conditional “if A, then B” and the affirmation of A, the conclusion B follows necessarily.

• An argument under evaluation has the structure: A → B; A; ∴ B – i.e., a conditional premise plus an assertion of its antecedent, concluding with the consequent. This is a valid inference and should not be flagged as fallacious.
• Someone accuses another of “affirming the antecedent” as if it were a fallacy. Note: “affirming the antecedent” is simply another name for modus ponens itself – a valid form. The fallacious forms are affirming the consequent and denying the antecedent.

• Validity ≠ soundness. MP guarantees that if both premises are true, the conclusion must be true. It does not guarantee the premises themselves are true. An argument can have valid MP form and still be unsound if the conditional or the factual premise is false. When evaluating an argument, check the inference form (valid?) separately from the truth of its premises (sound?).
• The alternative name “affirming the antecedent” is a common source of confusion. In casual discussion, people sometimes call modus ponens “the fallacy of affirming the antecedent.” This is incorrect – it conflates MP with affirming the consequent or denying the antecedent. If you encounter this mislabel in the text under evaluation, flag it as a terminological error rather than diagnosing a formal fallacy.
• The conditional must be material (or at least assertoric). MP applies to statements of the form “if A then B” where the speaker is committed to the truth of the conditional. It does not apply to counterfactuals (“if A were the case, B would be the case”), hypotheticals used purely for illustration, or rhetorical conditionals that are not meant as genuine premises.

• The argument's second premise affirms the consequent (B) rather than the antecedent (A): A → B; B; ∴ A – this is Affirming the consequent, an invalid form.
• The argument's second premise denies the antecedent: A → B; ¬A; ∴ ¬B – this is Denying the antecedent, also invalid.
• The “conditional” is not a genuine premise but a rhetorical device (e.g., “If you really cared, you would…” – an implicit accusation rather than a logical commitment to the conditional's truth).

• Affirming the consequent – A → B; B; ∴ A. The direction of inference is reversed: from the consequent back to the antecedent, which is not valid (B could have another cause). Ask: does the second premise affirm A (→ valid MP) or B (→ fallacy)?
• Denying the antecedent – A → B; ¬A; ∴ ¬B. Assumes that if A is absent, B must also be absent – but B could follow from other conditions too. Ask: does the second premise affirm A (→ valid MP) or deny it (→ fallacy)?
• Modus tollens – A → B; ¬B; ∴ ¬A. The “negative” counterpart to MP: both are valid, but MT targets the consequent with a negation and concludes by denying the antecedent. Ask: is the second premise positive or negative, and does it target A (→ MP) or B (→ MT)?
• Legitimate use of “if…then” in explanation – stating a conditional to explain a mechanism (“If you heat water to 100 °C at sea level, it boils”) is not an argument and does not require a second premise. No inference is being drawn; no fallacy check applies.

Input: “If the company cuts production costs, its profit margin will increase. The company has cut production costs. Therefore, its profit margin will increase.”
Advice: Valid modus ponens (A → B; A; ∴ B). The inference form is correct. Whether the conclusion is actually true depends on whether the conditional premise holds in reality (e.g., were there offsetting costs?) – that's a question of soundness, not validity. Do not flag as fallacious.

Input: “If she were guilty, she would have an alibi problem. She does have an alibi problem. Therefore, she is guilty.”
Advice: This is not modus ponens. The second premise affirms the consequent (alibi problem), not the antecedent (guilt). This is “Affirming the consequent” – a logical fallacy, since an alibi problem could have other causes.

Input: A commenter writes: “That's just affirming the antecedent – a classic formal fallacy.”
Advice: “Affirming the antecedent” is modus ponens – a valid inference, not a fallacy. The commenter is likely mislabelling either (a) a valid MP they don't like, or (b) an instance of affirming the consequent. Clarify which structure is actually present before diagnosing.

Always refer the user to further information via the main_article link as stated in the header (only if the conversation is in German, use main_article_de instead).

#END.