- Implikationsumkehrung
-
Modus tollens (lat. für: Modus des Aufhebens, wörtlich: aufhebender Modus), eigentlich Modus tollendo tollens (in Abgrenzung zum Modus ponendo tollens) ist eine Schlussfigur, die auch in etlichen Kalkülen der klassischen Logik als Schlussregel verwendet wird.
Er besagt, dass aus den Voraussetzungen nicht B und Wenn A, dann B auf nicht A geschlossen werden kann.
Der Modus tollendo tollens ist damit ein Gegenstück zum Modus ponendo ponens.
Die Prämissen
- A → B
- ¬B
lassen also die Conclusio
- ¬A
ziehen.
Der lateinische Name Modus tollendo tollens, „durch Aufheben aufhebende Schlussweise“ erklärt sich daraus, dass es sich um eine Schlussfigur (modus) handelt, die bei gegebener erster Prämisse, A → B, durch das „Aufheben“ (tollendo) des Satzes B, also durch das Setzen seiner Verneinung, ¬B, einen anderen Satz, nämlich A, ebenfalls „aufhebt“ (tollens), also zu seiner Verneinung, ¬A, führt.
Als Aussage
Obwohl der Modus tollendo tollens eine Schlussregel, also ein metasprachliches Konzept ist, wird die Bezeichnung "Modus tollens" gelegentlich auch für objektsprachliche Ausdrücke mit der folgenden Gestalt verwendet:
- (¬B ∧ (A → B)) → ¬A
Da aber Schlussregeln und Aussagen ganz unterschiedliche Konzepte sind, ist es wissenschaftlich eher unglücklich, sie mit derselben Bezeichnung zu benennen. Generell ist die Vermischung von Objekt- und Metasprache problematisch und sollte normalerweise unterbleiben.
Beispiel
Aus den Voraussetzungen Wenn es regnet, ist die Straße nass und Die Straße ist nicht nass lässt sich der logische Schluss Es regnet nicht ziehen. Hingegen ist die Schlussrichtung Die Straße ist nass, daher regnet es unzulässig und falsch.
Siehe auch
Wikimedia Foundation.
