--- - title: Modus tollendo ponens - categories: [ [Logic](/check/logic/index.md) ] - synonyms: [MTP, disjunctive syllogism] - related: [ [Denying a conjunct](/check/logic/formal_fallacies/denying_a_conjunct.md), [Affirming a disjunct](/check/logic/formal_fallacies/affirming_a_disjunct.md), [Modus ponendo tollens](/check/logic/valid/modus_ponendo_tollens.md), [False dilemma](/check/relevance/false_dilemma.md) ] - main_article: - main_article_de: --- # 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. ## Applies when - 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. ## Notes - **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](/check/relevance/false_dilemma.md)) 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. ## Does NOT apply when - 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](/check/relevance/false_dilemma.md) 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. ## Commonly confused with - **[Modus ponendo tollens](/check/logic/valid/modus_ponendo_tollens.md)** – 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](/check/logic/formal_fallacies/denying_a_conjunct.md)** – 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](/check/logic/formal_fallacies/affirming_a_disjunct.md)** – 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](/check/relevance/false_dilemma.md)** – 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. ## Examples > **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](/check/relevance/false_dilemma.md) 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](/check/relevance/false_dilemma.md)** – "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.