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 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 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\rightarrow B$ , durch das „Aufheben“ (tollendo) des Satzes B, also durch das Setzen seiner Verneinung, $\neg B$ , einen anderen Satz, nämlich $A$ , ebenfalls „aufhebt“ (tollens), also zu seiner Verneinung, $\neg A$ , führt. Der Modus tollendo tollens ist damit ein Gegenstück zum Modus ponendo ponens.

Formen und Beispiel

Als Schlussform

Schema

Beispiel

	$A\rightarrow B$
	$\neg B$
modus tollens	$\neg A$

	Wenn es geregnet hat, ist die Straße nass.
	Die Straße ist nicht nass.
modus tollens	Es hat nicht geregnet.

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 der folgenden Gestalt verwendet:

$(\neg B\land (A\rightarrow B))\rightarrow \neg A$

Aussagen dieser Form sind in den meisten aussagenlogischen Kalkülen Tautologien, d. h. immer wahr. Da aber Schlussregeln und Aussagen unterschiedliche Konzepte sind, ist es wissenschaftlich betrachtet nicht glücklich, die beiden Begriffe mit derselben Bezeichnung zu benennen. Generell ist die Vermischung von Objekt- und Metasprache problematisch.

Beweis

Die logische Äquivalenz der Aussagen $A\rightarrow B$ und $\neg B\rightarrow \neg A$ folgt aus den Definitionen der Subjunktion und der Negation.

A	→	B	$\Leftrightarrow$	¬B	→	¬A
f	w	f	w	w	w	w
f	w	w	w	f	w	w
w	f	f	w	w	f	f
w	w	w	w	f	w	f

Bedeutung des Modus tollens für eine Falsifikation

Nach dem Kritischen Rationalismus entspricht dem Modus (tollendo) tollens eine grundlegende Schlussweise der wissenschaftlichen Forschung, nämlich die Falsifikation einer Annahme unter bestimmten Bedingungen. Dabei sei A eine hypothetisch angenommene Theorie, und B ein Beobachtungssatz, der zwingend aus der Theorie zu folgern wäre. Wissenschaftliche Experimente haben Bedeutung für die Aufgabe, durch Beobachtungen festzustellen, ob die Voraussage eines Beobachtungssatz erfüllt wird beziehungsweise dessen Aussage wahr oder falsch ist. Ist B falsch, dann auch die zugrundeliegende Theorie, die damit als falsifiziert gilt.

In der Forschungspraxis sind die für ein derart naives Verständnis vorausgesetzten Bedingungen allerdings selten so gegeben, dass eine Theorie anhand einzelner Beobachtungsdaten verifiziert oder falsiziert werden kann (siehe Duhem-Quine-These). Insbesondere ist oft unklar, wie ein Nichteintreten vorausgesagter Beobachtungsdaten zu interpretieren ist, da hierfür Verschiedenes in Frage kommen kann.

War die Hypothese falsch? War die abgeleitete Folgerung nicht zwingend? War der Beobachtungssatz nicht eindeutig formuliert? War die Beobachtungssituation ungeeignet?

War der Versuchsaufbau falsch gewählt? War eine Hilfsannahme unzutreffend? War das für die statistische Auswertung benutzte Modell unangemessen? Oder liegt es an Fehlern bei Erhebung und Dokumentation von Messdaten?

Duhem fasst die Problematik zu Beginn des 20. Jahrhunderts in der zugespitzten Formulierung zusammen: „The only thing the experiment teaches us is that among the propositions used to predict the phenomenon and to establish whether it would be produced, there is at least one error; but where the error lies is just what it does not tell us.“^[1]

Denn wissenschaftliche Forschung geht schrittweise und arbeitsteilig vor sich. Daher sind viele empirische Prüfungen mit verschiedenen Annahmen A und statistischen Modellen S nötig, um Hypothesen H mit hoher Wahrscheinlichkeit zu falsifizieren. Hierfür können A, S und H beispielsweise unterschiedliche a-priori-Wahrscheinlichkeiten zugewiesen und nach empirischen Versuchen entsprechend angepasst werden (siehe Bayessche Statistik).^[2]

Siehe auch

Modus ponens, eigentlich Modus ponendo ponens
Modus ponendo tollens
Modus tollendo ponens

Einzelnachweise

↑ Duhem, Pierre: The aim and structure of physical theory. Princeton University Press, New Jersey 1954, S. 185. google book online
↑ Deborah Mayo: Statistical Inference as Severe Testing: How to Get Beyond the Statistics Wars. Cambridge University Press, Cambridge 2018, ISBN 978-1-107-05413-4, S. 84 f., doi:10.1017/9781107286184 (cambridge.org [abgerufen am 18. Dezember 2021]).

[1] Duhem, Pierre: The aim and structure of physical theory. Princeton University Press, New Jersey 1954, S. 185. google book online

[2] Deborah Mayo: Statistical Inference as Severe Testing: How to Get Beyond the Statistics Wars. Cambridge University Press, Cambridge 2018, ISBN 978-1-107-05413-4, S. 84 f., doi:10.1017/9781107286184 (cambridge.org [abgerufen am 18. Dezember 2021]).

[1]

[2]