Modus tollens - LinkFang.de





Modus tollens


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 Wenn A, dann B und nicht 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.

Beweis

Die logische Äquivalenz der Aussagen A → B und ¬B → ¬A folgt aus den Definitionen der Subjunktion und der Negation.

linke Seite:

A B A → B
f f w
f w w
w f f
w w w

rechte Seite:

A B ¬A ¬B ¬B → ¬A
f f w w w
f w w f w
w f f w f
w w f f w

Bedeutung des Modus tollens

Nach dem Kritischen Rationalismus ist der Modus tollens die Grundlage der wissenschaftlichen Forschung. Dabei ist A eine abstrakte hypothetische Theorie, B ein Beobachtungssatz, der aus der Theorie folgt. Wissenschaftliche Experimente haben die Funktion, durch Beobachtung festzustellen, ob B wahr oder falsch ist. Ist B falsch, dann auch die ihm zugrundeliegende Theorie, diese ist dann falsifiziert.

Siehe auch


Kategorien: Lateinische Phrase | Logik

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Modus tollens (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.