Vertiefung
Modus tollens ist eine gültige Schlussform: Wenn P, dann Q; nicht Q; also nicht P. Ihre Gültigkeit hängt von der Form ab, nicht davon, ob die konkreten Prämissen tatsächlich wahr sind. Der Schluss nutzt die Unmöglichkeit, dass P gilt, Q aber trotz der vorausgesetzten Implikation ausbleibt. Besonders wichtig ist die Abgrenzung vom Fehlschluss der Verneinung des Antezedens: Aus „Wenn P, dann Q“ und „nicht P“ folgt nicht „nicht Q“. In empirischen Anwendungen muss außerdem geprüft werden, ob die Wenn-dann-Prämisse streng, defeasible oder nur wahrscheinlich gemeint ist. Die Denkbewegung formalisiert Aussagen und testet Struktur vor Inhalt.
Denkbewegung
1. Die bedingte Aussage wird eindeutig in Antezedens P und Konsequens Q zerlegt. 2. Die zweite Prämisse muss tatsächlich die Negation von Q und nicht nur Zweifel daran ausdrücken. 3. Aus beiden Prämissen wird die Negation von P formal abgeleitet. 4. Wahrheit der Prämissen wird anschließend getrennt von der Gültigkeit der Form geprüft. 5. Bei Alltagsargumenten wird geklärt, ob die Bedingung strikt, probabilistisch oder ausnahmefähig ist.
Wissenschaftlicher Anwendungsfall
Logik, Argumentationstheorie, Mathematik und Fehlerdiagnostik verwenden Modus tollens zum Prüfen von Konsequenzen. Wissenschaftliche Anwendung muss sicherstellen, dass die Konditionalprämisse hinreichend streng und Q zuverlässig beobachtet ist.
Beispiel
Wenn ein Gerät korrekt mit Strom versorgt wird, leuchtet die zwingend gekoppelte Kontrollanzeige. Die Anzeige leuchtet nicht; unter der gesicherten Kopplungsannahme folgt, dass korrekte Stromversorgung nicht vorliegt.
Gegenbeispiel
Aus „Wenn es regnet, wird die Straße nass“ und „Es regnet nicht“ folgt nicht, dass die Straße trocken ist; andere Ursachen können sie nässen. Dies wäre Verneinung des Antezedens, nicht Modus tollens.
Abgrenzung
Von Modus ponens, Kontraposition, Verneinung des Antezedens und probabilistischer Bestätigung unterscheiden. Modus tollens ist deduktiv gültig nur bei einer echten Implikation und verneinter Konsequenz.
Wirkung auf Denken und Wahrnehmung
Modus tollens macht Widerlegung strukturell präzise und zeigt, wie das Ausbleiben einer notwendigen Folge gegen eine Annahme spricht. Er unterstützt systematische Tests, kann aber bei schwachen Konditionalen überdehnt werden.
Resonanz
Eine Annahme wird an ihrer notwendigen Folge geprüft. Bleibt diese Folge aus, läuft die Schlussbewegung rückwärts und entzieht der Ausgangsannahme ihren logischen Halt.
Etymologie
Fachterminus; Etymologie im Quellenpass zu vertiefen
Provenienz
Argumentation/Logik → Schlussform → Quellenabgleich → ATLAS_134
Diesen Eintrag zitieren
Reich, Michael (Hrsg./ed.): „Modus tollens“. Atlas der Sprache, AT-134-027. ATLAS 260, Datenmodell 1.6.0. https://atlasdersprache.de/begriff/AT-134-027Die Adresse bleibt stabil; der Inhalt kann redaktionell fortgeschrieben werden. Redaktioneller Lesestand: 2026-10-15. Für genaue Nachweise zusätzlich das Abrufdatum angeben.
Historischer Hintergrund
Mill unterscheidet in Buch V, Kapitel VI die zulässige Verneinung des Antezedens bei falschem notwendigen Konsequens von der unzulässigen Bestätigung des Antezedens allein durch ein wahres Konsequens. Die Passage belegt diese logische Asymmetrie in englischer Darstellung. Sie datiert weder den lateinischen Namen Modus tollens noch seine deutsche Fachrezeption.
Was die Begriffsgeschichte für die Analyse verändert
Prüfe, aus welchen gemeinsamen Annahmen die Vorhersage folgt. Ein erfülltes Ergebnis bestätigt nicht eindeutig seine vorgeschlagene Erklärung.
Nachweise zum historischen Abschnitt
- 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.