Modus tollendo ponens

Core claim: Modus tollendo ponens (MTP), also known as disjunctive syllogism, is a valid inference form – not a fallacy. From a disjunction “A or B” and the denial of one option (¬A), the affirmation of the other (B) follows necessarily.

• An argument under evaluation has the structure: A ∨ B; ¬A; ∴ B – i.e., “at least one of A or B holds” + “A does not hold” → “therefore B holds.” This is a valid inference and should not be flagged as fallacious.
• The commutative form: A ∨ B; ¬B; ∴ A – equally valid.
• Someone dismisses an argument of this form as “just picking one option” or confuses it with a fallacious pattern. The inference is structurally sound provided the disjunction premise genuinely holds.

• Works with inclusive OR. MTP is valid whether “A ∨ B” means “at least one (possibly both)” (inclusive) or “exactly one” (exclusive). In both cases, eliminating one option forces the other. You do not need mutual exclusivity for this inference – only that at least one holds.
• The critical assumption is exhaustiveness of the stated options. The inference is only as good as the disjunction premise. If there are options beyond A and B (a “C” that nobody mentioned), then ¬A does not force B – C might be the case. In practice, most errors in MTP's neighbourhood are really errors in asserting the disjunction (see: False dilemma) rather than errors in the inference step itself.
• Beware the and/or swap in natural language. Everyday phrasing often crosses the formal mapping: “not both A or B” expresses ¬(A ∧ B) (a negated conjunction – the domain of MPT), while “one of A and B” or “either A or B” expresses A ∨ B (a disjunction – the domain of MTP). When evaluating an argument, identify the logical structure by what is actually claimed – “at least one must hold” vs. “these can't both hold” – rather than trusting the connective word used.
• The name is easily mixed up with modus ponens, modus tollens, and modus ponendo tollens. When you encounter one of the “modus” labels in a text, check the actual logical structure rather than trusting the label.

• The disjunction is not genuinely exhaustive: there are options beyond A and B that were not stated. The inference form is still valid, but the argument is unsound because the first premise (A ∨ B) doesn't actually cover reality. This is typically a False dilemma in the premise rather than a formal error in the inference.
• The “disjunction” is rhetorical or illustrative rather than assertoric (e.g., “You could go left or right [and I'm just describing the road layout]” – not claiming that one must be the case).
• The denial (¬A) is itself unsupported or based on a separate fallacy – the MTP step may be valid, but the argument as a whole is weakened by how ¬A was established.

• Modus ponendo tollens – the conjunction counterpart: ¬(A ∧ B); A; ∴ ¬B. Operates on “not both” rather than “at least one.” Ask: is the first premise a negated conjunction – “these can't both be true” (→ MPT), or a positive disjunction – “at least one must be true” (→ MTP)?
• Denying a conjunct – incorrectly inferring that one member of a pair must fail based on the failure of the pair or the other member, without proper justification for which one is eliminated. Ask: is there a genuine disjunction premise (“at least one of A, B holds”) being combined with an independent denial (→ valid MTP), or is the elimination being asserted without that structural support (→ denying a conjunct)?
• Affirming a disjunct – from A ∨ B and the affirmation of one disjunct (A), incorrectly concluding ¬B. The positive counterpart error to MTP: affirming one option doesn't eliminate the other (both could hold under inclusive OR). Ask: is one option being denied to force the other (→ valid MTP), or affirmed to exclude the other (→ affirming a disjunct)?
• False dilemma – presenting two options as exhaustive when a third exists. MTP is valid given its premises; a false dilemma is the error in the premise itself. Ask: is the inference step structurally correct but resting on an unjustified binary (→ false dilemma in premise 1), or is the inference structure itself malformed (→ formal fallacy)?
• Legitimate elimination in constrained choices – “The train goes to Munich or Nuremberg; it's not going to Munich; therefore it's going to Nuremberg.” In situations with genuinely bounded option sets (schedules, multiple-choice questions, binary states), MTP is routine and unproblematic.

Input: “The package was delivered by DHL or by FedEx. DHL's tracking shows no delivery. Therefore, FedEx delivered it.”
Advice: Valid modus tollendo ponens (disjunctive syllogism). If the premise “DHL or FedEx” is exhaustive (no other courier was involved), then eliminating DHL forces FedEx. The inference form is correct. Whether the conclusion is true depends on whether the disjunction premise accurately reflects reality – but that's a factual question, not a logical one. Do not flag as fallacious.

Input: “The disease is caused by a virus or a bacterium. Antibiotics didn't help, so it's not bacterial. Therefore, it must be viral.”
Advice: The MTP structure is present (virus ∨ bacterium; ¬bacterial; ∴ viral) and valid in form. However, the disjunction premise is questionable – fungal infections, autoimmune responses, and other causes exist. This hints to a false dilemma in the first premise rather than a formal error in the inference step. Flag the exhaustiveness assumption, not the logic.

Input: “You're either with us or against us. You haven't signed the petition, so you're not with us. Therefore, you're against us.”
Advice: Valid MTP structure, but the disjunction premise is a textbook false dilemma – “neutral,” “uninformed,” and “haven't decided yet” are all options beyond the stated binary. The inference form isn't the problem; the forced binary in premise 1 is.

Input: A commenter writes: “That's a false disjunctive syllogism!”
Advice: “Disjunctive syllogism” is modus tollendo ponens – a valid inference form. The commenter may be (a) objecting to the premises (especially exhaustiveness) while mislabelling it as a formal error, or (b) confusing it with affirming a disjunct (A ∨ B; A; ∴ ¬B), which is invalid. Clarify which structure is actually present.

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.