Eine gültige Schlussregel, die aus den Prämissen A → B und ¬B das ¬A zulässt; oft formuliert als ‚wenn A dann B; nicht B; also nicht A.‘

Prinzip

Kontrapositives Detachment: Durch die Anwendung der Kontrapositiven einer Implikation rechtfertigt die Verneinung des Konsequenten die Verneinung des Antezedens und liefert so eine zulässige indirekte Schlussfolgerung in klassischer und vielen nicht-klassischen Logiken.

Demonstration

Aus »Wenn das Gerät mit Strom versorgt ist, dann leuchtet die Anzeige« und der Beobachtung »Die Anzeige leuchtet nicht« erlaubt Modus Tollens die Schlussfolgerung »Das Gerät ist nicht mit Strom versorgt«.

Fehlanwendung

Modus Tollens mit dem Bestreiten des Antezedens verwechseln (‚aus ¬A ¬B folgern‘) oder ihn auf Konditionale anwenden, die keine materiellen Implikationen sind (z. B. kausale Regeln mit Ausnahmen), ohne die kontextuellen Annahmen zu prüfen.

Konsequenz

Ermöglicht kontrapositive und reductio-style Beweise, unterstützt Falsifikationsstrategien im empirischen Denken und ergänzt Modus Ponens als Kernmuster logischer Deduktion.

Umkehrung

Die Umkehr ist Modus Ponens (mit A und A → B B folgern); im Unterschied zu fehlerhaften inversen oder konversen Schlüssen ist Modus Tollens eine gültige Kombination von Negation und Implikation.

Abgrenzung

Gültig in klassischer Logik und in vielen konstruktiven Systemen, wo kontrapositive Argumentation über Negation erlaubt ist; in bestimmten parakonsistenten oder Relevanzlogiken kann sie abhängig vom Negationsbegriff versagen oder umformuliert werden müssen.

Semantische Spannung

Spannung zwischen der formalen Gültigkeit von Modus Tollens und intuitiven kausalen oder probabilistischen Interpretationen, bei denen das Ausbleiben einer Wirkung nicht notwendigerweise das Fehlen einer Ursache bedeutet, etwa wegen Hintergrundrauschen oder alternativer Ursachen.

Synthese

Modus Tollens fasst kontrapositive Argumentation in einer praktischen Detachierungsregel zusammen: Durch die Verneinung des Konsequenten wird legitim die Verneinung des Antezedens erzielt, sofern Implikation und Negation klassisch zusammenspielen; empirische Anwendungen verlangen jedoch die Prüfung zusätzlicher Annahmen.