Explanation
Modus tollens is a valid inference form: if P, then Q; not Q; therefore not P. Its validity depends on form, not on whether the particular premises are actually true. The inference exploits the impossibility of P holding while Q fails under the assumed implication. A crucial contrast is the fallacy of denying the antecedent: from “if P then Q” and “not P,” “not Q” does not follow. In empirical applications one must also ask whether the conditional is strict, defeasible, or merely probable. The conceptual movement formalises statements and tests structure before content.
Movement of thought
1. The conditional is divided unambiguously into antecedent P and consequent Q. 2. The second premise must genuinely negate Q rather than merely express doubt. 3. The negation of P is formally derived from the two premises. 4. Truth of the premises is then assessed separately from validity of the form. 5. Everyday arguments require deciding whether the conditional is strict, probable, or defeasible.
Scientific use case
Logic, argumentation theory, mathematics, and fault diagnosis use modus tollens to test consequences. Scientific application must ensure that the conditional is sufficiently strict and Q has been observed reliably.
Example
If a device receives power correctly, a necessarily linked indicator lights. The indicator does not light; given the secure linkage, correct power supply is absent.
Counterexample
From “If it rains, the road becomes wet” and “It is not raining,” it does not follow that the road is dry; other causes may wet it. That is denying the antecedent, not modus tollens.
Distinction
Distinguish modus tollens from modus ponens, contraposition as an equivalence, denying the antecedent, and probabilistic confirmation. It is deductively valid only with genuine implication and negated consequent.
Effect on thought and perception
Modus tollens makes refutation structurally precise and shows how absence of a necessary consequence counts against an assumption. It supports systematic testing but can be overextended with weak conditionals.
Resonance
An assumption is tested against its necessary consequence. When that consequence fails, inference travels backward and removes the logical support of the starting point.
Cite this entry
Reich, Michael (Hrsg./ed.): „Modus tollens“. Atlas der Sprache, AT-134-027. ATLAS 260, data model 1.6.0. https://atlasoflanguage.com/concept/AT-134-027The address remains stable; editorial content may evolve. Editorial reading state: 2026-10-15. Include your access date for precise references.
Historical background
Book V, chapter VI distinguishes a warranted inference from a false necessary consequent to a false antecedent from the unwarranted inference that a true consequent establishes its antecedent. This witnesses the logical asymmetry in an English historical discussion. It does not date the Latin name modus tollens or establish its German disciplinary reception.
How conceptual history changes the analysis
Check the joint assumptions from which a prediction follows. An expected result does not uniquely confirm its proposed explanation.
References for the historical section
- John Stuart Mill, A System of Logic, Ratiocinative and Inductive, eighth edition, New York: Harper & Brothers, 1882; Project Gutenberg ebook 27942 · Book V, Chapter VI, §2: denying the consequent versus affirming it
Selected passage, not a complete genealogy or an English first-attestation claim. Original Atlas applications are editorial interpretations, not reported experiments. Selected named passages read in the transcription. The title page identifies an 1882 printing of the eighth edition, not the first edition. No claim that these passages were present unchanged in the first edition; no first-attestation or exhaustive reception claim.