Unverträglichkeit (Logik)

Unverträglichkeit (Logik)

In der Logik bezeichnet man eine Aussage A als unverträglich mit einer Aussage B, wenn aus A und B ein Widerspruch folgt. Sind A und B nicht unverträglich, so nennt man sie verträglich oder vereinbar.

Beispiel: Wir betrachten die beiden Sätze:

A: Skolem war Norweger.
B: Skolem war Italiener.

Aus A und B folgt zunächst „Skolem war Norweger“ (trivialerweise, da dieser Satz bereits in den Prämissen enthalten ist). Außerdem folgt „Skolem war kein Norweger“. (Wir gehen dabei davon aus, dass niemand zwei Nationalitäten haben kann, aus „Skolem war Italiener“ folgt also, dass er kein Norweger ist.) Aus A und B folgt also ein bestimmter Satz und seine Negation, d. h. ein Widerspruch. A und B sind damit unverträglich.

Logische Gesetze der Unverträglichkeit

Ist A mit B unverträglich, so auch B mit A.

Dies ist klar, da aus beiden zusammen ein Widerspruch folgen muss. Unverträglichkeit ist also eine symmetrische Relation.


Sind zwei Aussagen unverträglich, muss mindestens eine von ihnen falsch sein. Es können jedoch auch beide falsch sein.

Es gilt, dass alles, was aus wahren Prämissen folgt, ebenfalls wahr ist. Wären also zwei unverträgliche Aussagen beide wahr, dann wäre ein Widerspruch wahr (da aus ihnen ein Widerspruch folgt). Widersprüche können aber niemals wahr sein, mindestens eine der Aussagen muss also falsch sein. Es können jedoch auch beide falsch sein, wie man an folgendem Beispiel sieht: „Skolem war Schwede“ und „Skolem war Italiener“ sind unverträglich und doch beide falsch.


A ist mit B genau dann unverträglich, wenn aus A nicht-B folgt

Ist A mit B unverträglich, so folgt aus der Annahme, dass A wahr ist, dass B falsch ist (dies wurde gerade oben gezeigt). A impliziert dann also nicht-B. Umgekehrt: Wenn aus A nicht-B folgt, dann folgt aus A und B immer noch nicht-B, gleichzeitig aber auch trivialerweise B, also der Widerspruch B und nicht-B. Dass „Skolem ist Norweger“ und „Skolem ist Italiener“ unverträglich sind, bedeutet also das Gleiche, wie dass „Skolem ist kein Italiener“ aus „Skolem ist Norweger“ folgt. Diesen Zusammenhang kann man daher auch zur Definition des Begriffs der Unverträglichkeit verwenden.


Ist A mit B unverträglich und folgt A aus C, dann ist auch C mit B unverträglich.

Ist A mit B unverträglich, so folgt (wie wir gesehen haben) aus A nicht-B. Wenn aber gilt: Aus C folgt A und: Aus A folgt nicht-B, dann gilt auch: Aus C folgt nicht-B. Damit sind aber C und B unverträglich. Da „Skolem ist Norweger“ und „Skolem ist Italiener“ unverträglich sind, ist auch ein Satz der „Skolem ist Norweger“ impliziert, z. B. „Skolem wurde in Sandsvaer (einem Dorf in Norwegen) geboren“ mit „Skolem ist Italiener“ unverträglich.


Ist A mit B unverträglich und folgt C aus A, dann ist C nicht in jedem Fall mit B unverträglich.

Aus „Skolem ist Norweger“ folgt beispielsweise „Skolem ist Europäer“ Dieser Satz ist aber offenbar nicht mit „Skolem ist Italiener“ unverträglich.


Ist A mit B unverträglich und B mit C, dann ist A nicht in jedem Fall mit C unverträglich.

Anders ausgedrückt: Die Relation der Unverträglichkeit ist nicht transitiv. Beispiel: B, „Skolem ist Italiener“ ist sowohl mit A „Skolem ist Norweger“ als auch mit C „Skolem ist Skandinavier“ unverträglich, dennoch sind A und C nicht unverträglich.


Ist eine Aussage inkonsistent, dann ist sie mit jeder Aussage unverträglich und umgekehrt.

Eine inkonsistente Aussage A ist ja eine, aus der allein schon ein Widerspruch folgt. D.h. egal, welche weitere Prämisse B wir noch hinzunehmen, es wird immer noch ein Widerspruch folgen, A und B sind also inkonsistent. Umgekehrt: Ist eine Aussage A mit jeder anderen Aussage unverträglich, dann insbesondere auch mit sich selbst. Damit folgt aber bereits aus der Prämissenmenge, die allein aus A besteht, ein Widerspruch, was nichts anderes heißt als, dass A inkonsistent ist. Die inkonsistente Aussage „Skolem ist ein norwegischer Schwede“ wäre damit mit jeder Aussage unverträglich.


Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Unverträglichkeit — bezeichnet in der Logik: eine Beziehung zwischen zwei Aussagen, siehe Unverträglichkeit (Logik) in der praktischen Modallogik: Zwei Zwecke sind unverträglich, wenn sie nicht zusammen erreichbar sind; in der Medizin eine enzymopathische… …   Deutsch Wikipedia

  • Unverträglich — Unverträglichkeit bezeichnet in der Logik: eine Beziehung zwischen zwei Aussagen, siehe Unverträglichkeit (Logik) in der praktischen Modallogik: Zwei Zwecke sind unverträglich, wenn sie nicht zusammen erreichbar sind; in der Medizin eine… …   Deutsch Wikipedia

  • Erfüllbare Aussage — Erfüllbarkeit ist in der Logik und Mathematik ein metasprachliches Prädikat für die Eigenschaft von Aussagen und Aussageformen, wahr sein zu können. Anders ausgedrückt ist ein Ausdruck genau dann erfüllbar, wenn es eine Belegung (Interpretation,… …   Deutsch Wikipedia

  • Erfüllbarkeit — ist in der Logik und Mathematik ein metasprachliches Prädikat für die Eigenschaft von logischen Aussagen und Aussageformen. Eine Aussage ist erfüllbar, wenn es eine Belegung (Interpretation, Bewertung) der Variablen gibt, für die der… …   Deutsch Wikipedia

  • Orthosprache — ist eine von Grund auf methodisch aufgebaute Wissenschaftssprache. Das Projekt, eine solche Sprache aufzubauen, in der die Verwendung der Worte normiert wird, stammt von Paul Lorenzen im Rahmen der Konstruktiven Wissenschaftstheorie des Erlanger… …   Deutsch Wikipedia

  • Abdankung Eduards VIII. — Die Abdankungsurkunde unterzeichnet von Edward VIII und seinen drei Brüdern Die Abdankung Eduards VIII. war der Höhepunkt einer Verfassungskrise im Jahre 1936 im Vereinigten Königreich und den anderen Königreichen des Commonwealths, die durch den …   Deutsch Wikipedia

  • Jerry Fodor — Jerry Alan Fodor (* 1935 in New York City) ist ein amerikanischer Philosoph und Kognitionswissenschaftler. Er lehrt an der Rutgers University in New Jersey. Inhaltsverzeichnis …   Deutsch Wikipedia

  • Alois Höfler — (* 6. April 1853 in Kirchdorf, Österreich); † 26. Februar 1922 in Wien) war ein österreichischer Philosoph und Psychologe. Leben Höfler studierte an der Universität Wien bei Ludwig Boltzmann und Franz Brentano sowie in Graz bei Alexius Meinong.… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”