Eine Schlussregel: aus 'Wenn P dann Q' (P → Q) und 'nicht Q' (¬Q) folgt 'nicht P' (¬P). Sie ist die Standardmethode, Antezedens durch Scheitern des Konsequens abzulehnen.

Prinzip

Die organisierende Idee ist kontrapositionales Zurückweisen: Ein Konditional, das Q garantiert, wenn P gilt, erlaubt die Negation von P, wenn Q fehlschlägt, in Logiken, die kontrapositive Schlussführung erlauben.

Demonstration

Illustratives Szenario: Wenn 'Wenn der Alarm Rauch entdeckt, dann löst der Alarm aus' und 'Der Alarm hat nicht ausgelöst' angenommen werden, erlaubt Modus tollens die Schlussfolgerung 'Der Alarm hat keinen Rauch entdeckt'. Im wissenschaftlichen Testkontext schwächt das Ausbleiben des erwarteten Konsequens die Hypothese oder widerlegt sie.

Fehlanwendung

Anwendung von Modus tollens dort, wo das Konditional probabilistisch, revidierbar, kausal oder kontextabhängig ist (z. B. 'Wenn P, dann gewöhnlich Q') ohne Qualifizierung führt zu überstürzten oder falschen Zurückweisungen von Hypothesen.

Konsequenz

Ermöglicht falsifikationsähnliches Schließen: Es ist ein grundlegendes Werkzeug zum Widerlegen von Hypothesen, Eliminieren von Kandidaten und Konstruieren kontrapositionaler Beweise in vielen formalen Systemen.

Umkehrung

Die falsche Umkehrung ist die Verneinung des Antezedens (aus P → Q und ¬P ¬Q folgern), die ungültig ist. Modus ponens ist das komplementäre bestätigende Gegenstück.

Abgrenzung

Beruht darauf, dass das Konditional hinreichend stark (materiell oder stärker) ist, um Kontraposition zu tragen; in Logiken, die Kontraposition nicht validieren, oder wenn Konditionale nicht materiell sind, kann Modus tollens versagen oder eine Umformulierung erfordern.

Semantische Spannung

Spannung zwischen der kontrapositionalen Gültigkeit und Kontexten, in denen Konsequenzen aus Gründen unabhängig vom Antezedens ausfallen können (mehrere Ursachen, Hintergrundbedingungen); die Spannung ist praktisch wie formal.

Synthese

Modus tollens ist die kontrapositionale Schlussregel: wenn ein Konditional akzeptiert ist und sein Konsequens falsch ist, kann das Antezedens abgelehnt werden; er liegt der Falsifikation zugrunde, muss aber in Bezug auf die Natur des Konditionals angewandt werden.