Sitzung 3 (Parakonsistente Logik II)

Eigenschaften der Logik LP

Wir haben uns Eigenschaften der Logik LP zu Gemüte geführt. Hier zunächst ein Überblick:

Das Deduktionstheorem

Das Deduktionstheorem

$\mathrm{Falls}~ \Gamma \cup {A} \vDash_{\mathrm{LP}} B, \mathrm{so}~ \Gamma \vDash_{\mathrm{LP}} A \rightarrow B.$

gilt in der Logik LP. Der Beweis ist sehr einfach.

• Angenommen in jedem Modell von $\Gamma$ und $A$ gilt $B$.

• Es sei $M$ ein beliebiges Modell von $\Gamma$.

  • Fall 1: $M \models A$. Dann gilt mit der Annahme auch $M \models B$. Damit $M \models \neg A \vee B$. Somit $M \models A \rightarrow B$.

  • Fall 2: Es gilt nicht $M \models A$. Das heißt, $A$ hat den Wert $0$. Das heißt, $\neg A$ hat den Wert 1. Also, $M \models \neg A$. Damit auch $M \models \neg A \vee B$ und somit $M \models A \rightarrow B$.

Die andere Richtung, oft auch Resolutionstheorem genannt,

$\mathrm{Falls}~ \Gamma \vDash_{\mathrm{LP}} A \rightarrow B, \mathrm{so}~ \Gamma \cup {A} \vDash_{\mathrm{LP}} B.$

gilt nicht in LP.

Ein Gegenbeispiel ist: ${\neg p} \vDash_{\mathrm{LP}} p \rightarrow q$, jedoch $\lbrace p, \neg p \rbrace \nvDash_{\mathrm{LP}} q$.

Kein disjunktiver Syllogismus

In der Logik LP gilt das Prinzip des disjunktiven Syllogismus nicht:

${p, \neg p \vee q} \nvDash_{\mathrm{LP}} q$

Ein Gegenmodell ist mit folgender Belegung $v$ gegeben:

• $v(p) = i$ und $v(q) = 0$.

Beachte, dass unter dieser Belegung die beiden Prämissen gültig sind während $q$ falsch ist.

Da die Implikation in LP wie folgt definiert ist:

$A \rightarrow B =_{\mathrm{def}} \neg A \vee B$

gilt auch des Schlußprinzip des Modus Ponens nicht in LP:

${p, p \rightarrow q} \nvDash_{\mathrm{LP}} q$

In der Übung haben wir auch gezeigt, dass das Resolutionsprinzip

${ p \vee q, \neg q \vee s} \nvDash_{\mathrm{LP}} p \vee s$

auch nicht gilt in LP. Eine passende Belegung für ein Gegenmodell ist mit $v(q) = i$ und $v(p) = v(s) = 0$ gegeben.

In ähnlicher Weise kann man zeigen, dass Modus Tollens nicht gilt in LP:

${\neg q, p \rightarrow q} \nvDash_{\mathrm{LP}} \neg p$

Die Belegung für ein Gegenmodell ist mit $v(q) = i$ und $v(p) = 0$ gegeben.

Grundierung von Widersprüchen und die Verbreitung von Widersprüchen

Falls eine Formel $A$ in einem Modell den Wahrheitswert $i$ hat, so gibt es ein Atom in $A$ das den Wahrheitswert $i$ hat. Wir hatten folgendes Beispiel im Seminar:

Der Grund für diese Eigenschaft offenbart sich bei einem genauen Blick auf die Wahrheitstabellen: falls eine komplexe Formel den Wert $i$ hat, so muss eine ihrer Komponenten den Wert $i$ haben.

Eine Widersprüchlichkeit in einer komplexen Formel basiert also immer auf Widersprüchlichkeiten in einem oder mehreren Atomen und ist so nicht isoliert.

Widersprüche breiten sich auch entsprechend von Atomen immer auf komplexe Formeln aus.

• Etwa, falls $p$ den Wert $i$ hat, so auch $\neg p$ und so auch $\neg\neg p$, etc.
• Ebenso, falls $p$ den Wert $i$ hat so hat auch $p \vee q$ den Wert $i$ oder $p \vee \neg q$ hat den Wert $i$. (Übung: überprüfen Sie das mit Hilfe der Wahrheitstabellen).

Alles in allem heißt das, dass in LP Widersprüche nicht radikal isoliert werden: ein Widerspruch in einer Formel generiert immer auch Widersprüche in anderen Formel. Widersprüche stecken an, in LP.

Die De Morgen Gesetze und Doppelnegation

Die folgenden Prinzipien gelten in LP:

• $\neg( A \wedge B) \vDash_{\mathrm{LP}} \neg A \vee \neg B$
• $\neg(A \vee B) \vDash_{\mathrm{LP}} \neg A \wedge \neg B$
• $\neg\neg A \vDash_{\mathrm{LP}} A$

und jeweils die Richtungen von rechts nach links.

Die Logik CLuNs: LP plus klassische Implikation und klassische Negation

Wie wir gesehen haben, hat die Logik LP keine Implikation, die Modus Ponens zulässt. Man kann eine solche Implikation hinzufügen:

Überprüfen Sie als Übung, ob diese Implikation Modus Ponens zulässt.

Eine andere Negation lässt sich definieren durch:

Fügt man diese beiden Junktoren zu LP hinzu landet man bei der Logik CLuNs. Diese Logik wird uns noch mehr in den Übungen für nächste Woche beschäftigen.

Die Logik CLuN

LP und CLuNs geben jeweils das 2-Wertigkeitsprinzip der klassischen Logik auf, sind aber beide wahrheitsfunktional: d.h., der Wahrheitswert eine komplexen Formel ist in einer gegeben Interpretation determiniert durch den Wahrheitswert der Komponenten der Formel. Dies wird genau durch die Wahrheitstabellen ausgedrückt.

Ein alternatives Vorgehen um eine parakonsistente Logik zu definieren ist es, die Wahrheitsfunktionalität aufzugeben, aber an der 2-Wertigkeit festzuhalten. So etwa wird die Negation der Logik CLuN wie folgt definiert:

Die Wahrheitstabelle erlaubt, gegeben eine Formel $A$, die wahr ist, diese als $o$ zu interpretieren, oder aber auch als $1$. In der Logik CLuN sind übrigens die Wahrheitstabellen für $\vee$, $\wedge$ und $\rightarrow$ identisch zur klassischen Logik.

Dieses Verfahren erlaubt es Widersprüche maximal zu isolieren. Etwa könnte $p$ in einer gegebenen Interpretation widersprüchlich sein (also der Wahrheitswert von $p$ und von $\neg p$ sind beides 1), jedoch könnte $\neg \neg p$ in derselben Interpretation falsch sein. Beachte: dies ist nicht möglich in LP. Somit:

${p, \neg p} \nvDash_{\mathrm{CLuN}} \neg p \wedge \neg\neg p$

während

${p, \neg p} \vDash_{\mathrm{LP}} \neg p \wedge \neg\neg p$

Prima facie scheint es eine gute Eigenschaft einer parakonsistenten Logik zu sein, Widersprüche zu isolieren. Fraglich ist nur, ob in der Logik CLuN diese Isolation nicht zu radikal ist. Falls $p$ widersprüchlich ist, sollte nicht auch $\neg p$ widersprüchlich sein?