Wenn das Falsche alles beweist – Die Paradoxien der materialen Implikation
Es gibt Dinge, die sind so absurd, dass man sie eigentlich nicht glauben sollte. In der klassischen Aussagenlogik gehören sie dennoch zu den unumstößlichen Wahrheiten. Beispielsweise lässt sich aus einer falschen Aussage logisch ableiten, dass der Mond aus Käse besteht. Und wenn man behauptet, dass die Erde eine Scheibe ist, folgt daraus unter bestimmten Bedingungen sogar, dass Napoleon ein Einhorn war.
Willkommen in der wunderbaren Welt der materialen Implikation. Hier darf das Falsche alles behaupten, das Wahre braucht keine Begründung und zwischen zwei Aussagen kann eine logische Beziehung bestehen, obwohl sie inhaltlich ungefähr so viel miteinander zu tun haben wie ein Kühlschrank und die Französische Revolution.
Das ist kein Fehler der Logik. Es ist eine Konsequenz ihrer mathematischen Präzision. Allerdings eine Konsequenz, die regelmäßig den gesunden Menschenverstand beleidigt.
Was bedeutet materiale Implikation überhaupt?
In der klassischen Aussagenlogik bezeichnet die materiale Implikation eine zweistellige logische Verknüpfung. Sie wird mit dem Symbol → dargestellt.
Eine Implikation hat die allgemeine Form:
A → B
Gelesen wird das als: „Wenn A, dann B.“
Dabei bezeichnet A das Antezedens (Vordersatz) und B das Sukzedens (Nachsatz).
Die materiale Implikation ist genau dann falsch, wenn A wahr und B falsch ist. In allen anderen Fällen ist sie wahr.
Ihre Wahrheitstafel sieht folgendermaßen aus:
A | B | A → B |
W | W | W |
W | F | F |
F | W | W |
F | F | W |
Die mathematische Grundlage dieser Verknüpfung lautet:
A → B ≡ ¬A ∨ B
Eine Implikation ist also logisch äquivalent zur Disjunktion „Nicht A oder B“.
Die klassische Aussagenlogik behandelt die Implikation als wahrheitsfunktionale Verknüpfung. Eine ausführliche mathematische Darstellung dieser Grundlagen findet sich bei Herbert B. Enderton in seinem Standardwerk A Mathematical Introduction to Logic (2001). Dort werden insbesondere die Zusammenhänge zwischen logischer Äquivalenz, Wahrheitsfunktionen und Folgerungsbeziehungen systematisch entwickelt.
Die Logik prüft nicht, ob eine Aussage vernünftig klingt. Sie prüft, ob ihre Wahrheitsbedingungen erfüllt sind. Ein bemerkenswert nüchterner Umgang mit menschlicher Kommunikation.
Das erste Paradoxon: Aus Falschem folgt alles
Nehmen wir folgende Aussagen:
A: Der Mond besteht aus Käse.
B: Berlin liegt in Deutschland.
Die erste Aussage ist falsch, die zweite wahr.
Damit ergibt sich:
A → B = W
Aus der falschen Behauptung, der Mond bestehe aus Käse, folgt nach den Regeln der materialen Implikation also die wahre Aussage, dass Berlin in Deutschland liegt.
Das wirkt zunächst wie ein intellektueller Verkehrsunfall. Es wird noch absurder, wenn wir eine andere Aussage einsetzen:
C: Alle Menschen sind unsterblich.
Auch hier gilt:
A → C = W
Die falsche Aussage über den Mond impliziert ebenso die falsche Behauptung über die Unsterblichkeit aller Menschen.
Das ist das erste klassische Paradoxon der materialen Implikation: Eine falsche Antezedens-Aussage impliziert jede beliebige Aussage.
Formal:
¬A ⊨ (A → B)
Genauer gesagt ist A → B bei falschem A unabhängig vom Wahrheitswert von B wahr.
Diese Eigenschaft wird in der klassischen Logik als Ex falso quodlibet bezeichnet: Aus einer falschen beziehungsweise widersprüchlichen Voraussetzung lässt sich im klassischen logischen System jede beliebige Aussage ableiten. Das ist kein Betriebsunfall der Aussagenlogik, sondern eine Konsequenz ihrer Folgerungsregeln. Eine systematische Behandlung dieser Zusammenhänge bietet auch Willard Van Orman Quine in seinem Werk Methods of Logic.
Die Konsequenz ist allerdings weniger dramatisch, als sie zunächst erscheint. Die Implikation behauptet nicht, dass der Mond aus Käse die Ursache für die geografische Lage Berlins wäre. Sie behauptet lediglich, dass die Wahrheitsbedingungen der materialen Implikation erfüllt sind.
Wer daraus einen sachlichen Zusammenhang konstruiert, verwechselt formale Wahrheit mit inhaltlicher Relevanz.
Das zweite Paradoxon: Wahres braucht keine Begründung
Das zweite Paradoxon dreht die Sache um.
Nehmen wir an:
A: Die Erde existiert.
B: Zwei plus zwei ergibt vier.
Beide Aussagen sind wahr.
Daraus folgt:
A → B = W
Das ist wenig überraschend. Interessanter wird es, wenn wir A durch eine vollkommen beliebige falsche Aussage ersetzen.
A: Der Weihnachtsmann regiert Deutschland.
B: Zwei plus zwei ergibt vier.
Dann gilt ebenfalls:
A → B = W
Warum?
Weil das Antezedens falsch ist und die materiale Implikation deshalb unabhängig vom Wahrheitswert des Sukzedens wahr wird.
Das zweite klassische Paradoxon lautet daher: Jede beliebige Aussage impliziert eine wahre Aussage.
Formal:
B ⊨ (A → B)
Das klingt, als hätte man einen Freibrief für intellektuelle Faulheit erfunden. Tatsächlich beschreibt es lediglich eine Eigenschaft der klassischen Wahrheitsfunktion.
Warum sind das überhaupt Paradoxien?
Zunächst muss man einen wichtigen Unterschied verstehen: Ein logisches Paradoxon ist nicht zwangsläufig ein formaler Widerspruch.
Die beiden Paradoxien widersprechen weder der Definition der materialen Implikation noch den Regeln der klassischen Aussagenlogik. Sie sind vielmehr kontraintuitive Konsequenzen einer bestimmten formalen Definition.
Das Problem entsteht, weil wir im Alltag mit „Wenn A, dann B“ normalerweise mehr verbinden als eine reine Wahrheitswertbeziehung.
Wenn jemand sagt:
„Wenn es regnet, wird die Straße nass“,
erwarten wir einen sachlichen Zusammenhang. Wir verstehen die Aussage kausal, zumindest aber als inhaltlich relevante Beziehung.
Die materiale Implikation verlangt das nicht.
Sie kennt weder Ursache noch Wirkung, weder Absicht noch Wahrscheinlichkeit, weder Bedeutung noch Relevanz.
Sie ist ein mathematisches Instrument, kein Übersetzungsprogramm für sämtliche Bedeutungsnuancen menschlicher Sprache.
Wer das vergisst, kann mit formal korrekten Aussagen einen bemerkenswerten Unsinn produzieren.
Der eigentliche Denkfehler: Logische Folgerung ist keine Kausalität
Hier liegt der philosophisch interessante Punkt.
Aus:
A → B
folgt nicht, dass A die Ursache von B ist.
Ebenso wenig folgt daraus, dass A einen sachlichen Grund für B liefert.
Die materiale Implikation beschreibt ausschließlich eine Wahrheitsbedingung. Sie sagt nichts darüber aus, warum etwas geschieht oder weshalb eine Aussage begründet sein sollte.
Man muss deshalb drei Ebenen auseinanderhalten:
Materiale Implikation: Eine wahrheitsfunktionale Verknüpfung zweier Aussagen.
Logische Folgerung: Eine Relation, bei der die Prämissen die Konklusion zwingend bestimmen.
Kausale Beziehung: Ein Zusammenhang zwischen Ursache und Wirkung.
Diese Beziehungen können zusammenfallen, müssen es aber nicht.
Ein Beispiel: Aus der Aussage „Wenn jemand Politiker ist, dann ist er vernünftig“ folgt bei wahrer Implikation nicht, dass die politische Tätigkeit Vernunft hervorbringt. Die Aussage kann schlicht deshalb wahr sein, weil niemand in der betrachteten Situation Politiker ist.
Die Logik ist unschuldig. Für die politischen Konsequenzen übernimmt sie keine Verantwortung.
Gibt es Alternativen zur materialen Implikation?
Ja. Und sie sind philosophisch durchaus interessant.
Die Kritik an der materialen Implikation ist keineswegs neu. Bereits Clarence Irving Lewis entwickelte eine Alternative, die sogenannte strikte Implikation. In seinem Werk A Survey of Symbolic Logic (1918) setzte er sich mit den Grenzen der klassischen Implikation auseinander. Statt lediglich die tatsächlichen Wahrheitswerte zweier Aussagen zu betrachten, sollte eine notwendige Beziehung zwischen Antezedens und Sukzedens verlangt werden. Damit begann eine wichtige Entwicklung der modernen Modallogik.
Vereinfacht wird sie modal dargestellt:
A □→ B
Dabei steht □ für Notwendigkeit. Die strikte Implikation lässt sich als notwendige materiale Implikation formulieren:
□(A → B)
Damit wird nicht nur gefragt, ob die Implikation tatsächlich wahr ist, sondern ob sie notwendigerweise wahr ist.
Eine weitere Alternative bieten Relevanzlogiken. Sie verlangen, dass Antezedens und Sukzedens einen inhaltlich relevanten Zusammenhang besitzen. Damit soll insbesondere verhindert werden, dass aus einer beliebigen falschen Aussage jede beliebige andere Aussage folgt.
Auch kontrafaktische Konditionale beschäftigen sich mit Aussagen der Form:
„Wenn A geschehen wäre, dann wäre B geschehen.“
Solche Aussagen lassen sich nicht angemessen durch eine einfache Wahrheitstafel erfassen.
Sie benötigen zusätzliche semantische Voraussetzungen, beispielsweise die Betrachtung möglicher Welten.
Was uns die Paradoxien tatsächlich lehren
Die Paradoxien der materialen Implikation zeigen eine fundamentale Grenze formaler Sprache: Ein mathematisch präzises Instrument muss nicht sämtliche Bedeutungen abbilden, die Menschen mit denselben sprachlichen Ausdrücken verbinden.
Die materiale Implikation ist weder unsinnig noch fehlerhaft. Sie erfüllt ihre Aufgabe innerhalb der klassischen Aussagenlogik zuverlässig.
Problematisch wird es erst, wenn man ihre formalen Eigenschaften unkritisch auf alltägliche Argumentationen überträgt.
Wer aus einer falschen Voraussetzung eine beliebige Schlussfolgerung ableitet und das anschließend als sachlichen Beweis verkauft, hat möglicherweise die Wahrheitstafel verstanden, aber das Denken noch nicht.
Die eigentliche Lektion lautet deshalb:
Formale Korrektheit ist nicht dasselbe wie inhaltliche Vernünftigkeit.
Oder etwas respektloser formuliert: Nur weil die Logik etwas erlaubt, muss man es noch lange nicht für einen intelligenten Gedanken halten.
Die materiale Implikation beweist nämlich nicht, dass aus Unsinn Wahrheit wird. Sie beweist lediglich, dass man sehr genau wissen sollte, was man eigentlich behauptet, bevor man mit logischen Symbolen um sich wirft.
Und das ist bekanntlich eine Fähigkeit, die nicht einmal bei Menschen mit Hochschulabschluss zuverlässig vorausgesetzt werden kann.
Wissenschaftliche Quellen und weiterführende Literatur
Clarence Irving Lewis (1918): A Survey of Symbolic Logic. University of California Press.Grundlegendes Werk zur Entwicklung der symbolischen Logik und zur Kritik an der materialen Implikation. Lewis entwickelte die Theorie der strikten Implikation als Alternative zur klassischen materialen Implikation.
Willard Van Orman Quine (1950): Methods of Logic. Harvard University Press.Eine systematische Einführung in die klassische Aussagenlogik, ihre Wahrheitsfunktionen und die Eigenschaften der materialen Implikation.
Herbert B. Enderton (2001): A Mathematical Introduction to Logic. 2. Auflage, Academic Press.Wissenschaftliche Darstellung der klassischen Logik, insbesondere der Aussagenlogik, logischen Äquivalenz und Folgerungsbeziehungen.
Graham Priest (2008): An Introduction to Non-Classical Logic: From If to Is. 2. Auflage, Cambridge University Press.Behandelt alternative Implikationsbegriffe, Relevanzlogiken und nichtklassische Logiksysteme. Besonders geeignet zur Vertiefung der Kritik an der materialen Implikation.
Brian F. Chellas (1980): Modal Logic: An Introduction. Cambridge University Press.Einführung in die Modallogik und die formalen Grundlagen der strikten Implikation sowie der Notwendigkeitsoperatoren.
FAQ
Was ist die materiale Implikation?
Die materiale Implikation ist eine logische Verknüpfung zweier Aussagen. Sie ist genau dann falsch, wenn das Antezedens wahr und das Sukzedens falsch ist.
Warum folgt aus Falschem alles?
Weil bei falschem Antezedens die materiale Implikation unabhängig vom Wahrheitswert des Sukzedens wahr ist. In der klassischen Logik wird dieses Prinzip auch mit Ex falso quodlibet in Verbindung gebracht.
Was ist das Paradoxon der materialen Implikation?
Es bezeichnet die kontraintuitiven Konsequenzen, dass eine falsche Aussage jede beliebige Aussage materiell impliziert und jede wahre Aussage von jeder beliebigen Aussage materiell impliziert wird.
Was ist der Unterschied zwischen materialer und strikter Implikation?
Die materiale Implikation ist wahrheitsfunktional. Die strikte Implikation verlangt dagegen die notwendige Wahrheit der entsprechenden Implikation.
Was ist Relevanzlogik?
Relevanzlogik ist eine Familie nichtklassischer Logiksysteme, die einen inhaltlichen Zusammenhang zwischen Voraussetzung und Schlussfolgerung verlangen.
Kommentare