Quelltext der Seite Paradoxien der materialen Implikation

Die '''Paradoxien der [[Implikation#Wahrheitsfunktionale Implikation|materialen Implikation]]''' oder '''[[Subjunktion]]''' sind eine Gruppe von Formeln der [[Aussagenlogik]], die zwar [[Tautologie (Logik)|Tautologien]], aber intuitiv problematisch sind. Die Ursache der Paradoxien liegt darin, dass die Interpretation der Wahrheit einer Implikation in der [[Natürliche Sprache|natürlichen Sprache]] nicht ihrer formalen Interpretation in der klassischen Logik durch Wahrheitstabellen entspricht.

== Beispiel ==
Die Aussage „Wenn es jetzt regnet, dann nehme ich einen Regenschirm mit“ wird in der klassischen Aussagenlogik mit <math>p\rightarrow q</math> formalisiert. Diese Aussage ist nach Definition der Subjunktion falsch, wenn <math>p</math> wahr ist und <math>q</math> falsch, ansonsten wahr (– wenn <math>p</math> falsch und <math>q</math> wahr, wenn <math>p</math> und <math>q</math> beide wahr, wenn <math>p</math> und <math>q</math> beide falsch). Das folgt aus der Interpretation der Subjunktion als einer [[Wahrheitswertefunktion]] durch die [[Wahrheitstabelle]] der [[seq]]-funktion. Wenn es also nicht regnet, ist die Aussage „Wenn es jetzt regnet, dann nehme ich einen Regenschirm mit“ in beiden Fällen wahr: gleich, ob ich dann einen Regenschirm mitnehme oder aber nicht.

{|class="wikitable centered hintergrundfarbe2" style="text-align:center"
! <math>p</math>  || <math>q</math>  || <math>p \rightarrow q</math>
|-
!w||w
|w
|-
!w||f
|f
|-
!f||w
|w
|-
!f||f
|w
|}

Auch die Aussage „Wenn es morgen regnet, dann ist <math>2\times 2=4</math>“ ist aussagenlogisch richtig, denn „<math>2\times 2=4</math>“ ist ja stets richtig – unabhängig davon, ob es morgen regnet oder nicht. Dieses Beispiel deutet schon auf den problematischen Punkt der Implikation hin: <math>p \rightarrow q</math> kann wahr sein, ohne dass zwischen <math>p</math> und <math>q</math> irgendein inhaltlicher Zusammenhang besteht – denn der Wahrheitswert der Subjunktion hängt ja nur von den Wahrheitswerten von <math>p</math> und <math>q</math> ab.

== Paradoxien der materialen Implikation ==

Die folgende Liste gibt einen Überblick über die wichtigsten Paradoxien der materialen Implikation:

# <math>(\neg p \land p) \to q</math>
# <math>p \to (q \to p)</math>
# <math>\neg p \to (p \to q)</math>
# <math>p \to (q \lor \neg q)</math>
# <math>(p \to \neg p) \lor (\neg p \to p)</math>
# <math>(p\to q) \lor (q \to p)</math>

Dass alle diese Formeln Tautologien sind, kann man mit der Methode der Wahrheitstabelle überprüfen. Man kann sie aber auch schneller einsehen, wenn man die Beziehung
:<math>p\to q = \neg p \lor q</math>
benutzt: beispielsweise im Falle der 6. Formel oben ist der erste Teil der Disjunktion nur dann nicht wahr, wenn <math>p</math> wahr, aber <math>q</math> falsch ist. In diesem Fall ist aber der zweite Teil der Disjunktion wahr.

Der Philosoph [[Charles Sanders Peirce]] hat die oben aufgeführte 6. Variante einmal so illustriert: Wenn man eine Zeitung Satz für Satz zerschneidet, alle Sätze in einen Hut schüttet und zwei beliebige zufällig wieder herausholt, dann ist der erste dieser Sätze eine Folgerung des zweiten oder umgekehrt. Auch an diesem Beispiel sieht man, dass die materiale Implikation überhaupt nichts mit dem Inhalt der beteiligten Aussagen zu tun hat (sondern nur mit den Wahrheitswerten).

== Vermeidung der Paradoxien ==

Seit langem wird versucht, die klassische Logik so zu modifizieren, dass die Paradoxien der materialen Implikation nicht mehr auftreten. Ein Ansatz ist der der [[Relevanzlogik]]. Die Idee dabei ist es, dass man für eine wahre Implikation fordert, dass zwischen Antezedens und Sukzedens eine „inhaltliche Verbindung“ besteht, oder dass das Antezedens für das Sukzedenz ''relevant'' ist.<ref>Anderson/Belnap, 1975</ref>

Eine andere [[nichtklassische Logik]], die die Paradoxien der Implikation vermeidet, ist die Connexive Logic,<ref>S. McCall: ''Connexive Implication''. In: The Journal of Symbolic Logic, Vol. 31, No. 3 (1966), pp. 415 – 433.</ref> die dadurch charakterisiert ist, dass sie ''Aristoteles’ These'', d.&nbsp;h. die Formel

:<math>\neg \left(\neg p \to p\right)</math>

als logische Wahrheit (Tautologie) akzeptiert. Aristoteles’ These besagt, dass keine Aussage aus ihrer eigenen Verneinung folgen kann.<ref>An. Pr. ii 4.57b3</ref> Die Formel ~(~p → p) ist in der klassischen Aussagenlogik ''keine'' Tautologie (s. die untere Wahrheitstabelle), obwohl sie intuitiv richtig erscheint.
{|class="wikitable centered hintergrundfarbe2" style="text-align:center"
! <math>p</math> || <math>\neg p</math> || <math>\neg p \to p</math> || <math>\neg\left(\neg p \to p\right)</math>
|-----
! w 
| f || w || f
|-----
! f 
| w || f || w
|}

Pragmatische Ansätze zur Vermeidung der Paradoxien unterscheiden zwischen der Wahrheit eines Konditionals und seiner Übereinstimmung mit Kommunikationsregeln bzw. seiner Akzeptanz: Wenn ich weiß, dass p falsch ist, dann wäre meine Äußerung „Wenn p dann q“ weniger informativ als die Äußerung, die ich stattdessen machen könnte, nämlich einfach „Nicht p“. Ich würde damit gegen eine Kommunikationsmaxime verstoßen. Meine Äußerung wäre zwar wahr, aber doch irreführend, insofern mein Gegenüber davon ausgehen müsste, dass ich nicht mehr zu sagen vermag.<ref>P. Grice: ''Studies in the Way of Words'', Harvard University Press 1991. ISBN 0-674-85271-0.</ref>

== Literatur ==
* Alan Ross Anderson, Nuel Belnap: ''Entailment: The Logic of Relevance and Necessity, Vol. I''. Princeton University Press 1975. ISBN 978-0-691-07192-3
* Jonathan Bennett: ''A Philosophical Guide to Conditionals'', Clarendon Press 2003. ISBN 978-0199258871
* Dorothy Edgington: ''On Conditionals''. In: Mind, Vol. 104, No 414 (1995), pp. 235–329
* Frank Jackson (Hrsg.): ''Conditionals'', Oxford University Press 1991. ISBN 0-19-875095-1

== Einzelnachweise ==
<references/>

[[Kategorie:Aussagenlogik]]
[[Kategorie:Paradoxon]]