Kurs:Einführung in die mathematische Logik (Osnabrück 2016)/Vorlesung 25/kontrolle

Weitere Axiomenschemata

Definition Referenznummer erstellen

Das modallogische Axiomenschema

$\Box \alpha \rightarrow \alpha$

nennt man Reflexivitätsaxiom.

Durch das Reflexivitätsaxiom wird die eigene Welt bei Möglichkeitsüberlegungen mitberücksichtigt.

Definition Referenznummer erstellen

Das modallogische Axiomenschema

$\alpha \rightarrow \Box \alpha$

nennt man Autismusaxiom.

Durch das Autismusaxiom werden andere Welten bei Möglichkeitsüberlegungen nicht berücksichtigt, eventuell noch nicht einmal die eigene Welt. Wenn das Leerheitsaxiom gilt, so auch das Autismusaxiom.

Definition Referenznummer erstellen

Das modallogische Axiomenschema

$\alpha \leftrightarrow \Box \alpha$

nennt man Fatalismusaxiom.

In diesem Fall gilt auch

$\alpha \leftrightarrow \Diamond \alpha$

und damit auch

$\Box \alpha \leftrightarrow \Diamond \alpha .$

Es gilt als auch das Ideologieaxiom. Im Fatalismus wird die Realität zur Ideologie gemacht.

Die folgenden Axiomenschemata sind sinnvoller, die Bezeichnungen werden sich später erklären, wenn wir die semantische Interpretation zur Verfügung haben.

Definition Referenznummer erstellen

Das modallogische Axiomenschema

$\alpha \rightarrow \Box \Diamond \alpha$

nennt man Symmetrieaxiom.

Definition Referenznummer erstellen

Das modallogische Axiomenschema

$\Box \alpha \rightarrow \Box \Box \alpha$

nennt man Transitivitätsaxiom.

Definition Referenznummer erstellen

Das modallogische Axiomenschema

$\Diamond \alpha \rightarrow \Box \Diamond \alpha$

nennt man euklidisches Axiom (oder Axiom ${}5$).

Lemma Lemma 25.7 ändern

In einem modallogischen ${}K$- System, in dem das Symmetrieaxiom und das euklidische Axiom gelten,

gilt auch das Transitivitätsaxiom.

Beweis

Es sei ${}S$ das in Frage stehende System. Eine spezielle Instanz des Symmetrieaxioms liefert

$S\vdash \Box \alpha \rightarrow \Box \Diamond \Box \alpha .$

Eine Umformulierung des euklidischen Axioms ist

$S\vdash \Diamond \Box \alpha \rightarrow \Box \alpha .$

Mit Lemma 24.5  (1) folgt daraus

$S\vdash \Box \Diamond \Box \alpha \rightarrow \Box \Box \alpha$

und insgesamt mit dem Kettenschluss

$S\vdash \Box \alpha \rightarrow \Box \Box \alpha .$

$\Box$

Paradoxe Axiome

Einen modallogischen Ausdruck nennen wir paradox, wenn er, wenn man alle darin auftretenden ${}\Box$ (und somit auch alle ${}\Diamond$) weglässt, einen aussagenlogischen Widerspruch ergibt. Ein modallogisches Axiomenschema heißt paradox, wenn es davon eine paradoxe Instanz gibt.

Definition Referenznummer erstellen

Das modallogische Axiomenschema

$\Box \alpha \leftrightarrow \neg \alpha$

nennt man Antiaxiom.

Wenn das Antiaxiom gilt, so ist auch

$\Diamond \alpha \leftrightarrow \neg \Box \neg \alpha \leftrightarrow \neg \neg \neg \alpha \leftrightarrow \neg \alpha \leftrightarrow \Box \alpha ,$

das Antiaxiom ist also ideologisch. In einer ${}K$- Modallogik führt das Antiaxiom zu einem Widerspruch, da ja dann zu einer aussagenlogischen Tautologie ${}\alpha$ wegen der Nezessisierungsregel auch ${}\Box \alpha$ und somit der Widerspruch ${}\neg \alpha$ gilt. Wenn man dagegen das Antiaxiom auf Aussagenvariablen beschränkt, also

$\Box p\leftrightarrow \neg p$

betrachtet, so ergibt sich ein sinnvolles ${}K$-System.

Definition Referenznummer erstellen

Das modallogische Axiomenschema

$\Box (\Box \alpha \rightarrow \alpha )\rightarrow \Box \alpha$

nennt man Löb-Axiom.

Bemerkung   Referenznummer erstellen

Für das Ableitungsprädikat

${}\alpha (y)=\exists x(\delta _{\Gamma }(x,y))\,$

zu einer die Peano-Arithmetik umfassenden entscheidbaren Satzmenge ${}\Gamma$ gilt neben den in Bemerkung 23.7 angeführten Eigenschaften auch der Satz von Löb, nämlich

$\alpha (GN(\alpha (GN(s))\rightarrow s))\rightarrow \alpha (GN(s)).$

Wenn man

${}\Box s=\alpha (GN(s))\,$

setzt, so kann man dies als

$\Box (\Box s\rightarrow s)\rightarrow \Box s$

schreiben, es liegt also genau das Löb-Axiom vor (daher der Name des Axioms). Unter der modallogischen Beweisbarkeitslogik versteht man die ${}K$- Modallogik, die durch das Löb-Axiom gegeben ist (das Transitivitätsaxiom lässt sich daraus ableiten, siehe Lemma 25.18). Es handelt sich um eine paradoxe Modallogik, in der man die Unvollständigkeit nachbbilden kann.

Es sei ${}\bot =p\wedge \neg p$ (gesprochen Falsum) eine Abkürzung für einen Widerspruch. Im Kontext der Beweisbarkeitslogik bedeutet dann ${}\neg \Box \bot$ die Nichtableitbarkeit eines Widerspruchs, also die Widerspruchsfreiheit des Systems. Aus dem Löb-Axiom (also der ${}K$-Modallogik ${}L$, die durch das Löbaxiom gegeben ist) lässt sich ableiten, dass diese Widerspruchsfreiheit ein Fixpunkt der Nichtableitbarkeit ist, d.h. es gilt

$L\vdash \neg \Box \neg \Box \bot \leftrightarrow \neg \Box \bot ,$

siehe Aufgabe 25.6. Dies bedeutet insbesondere, dass weder ${}\Box \bot$ noch ${}\neg \Box \bot$ aus ${}L$ ableitbar ist (die Widerspruchsfreiheit des Systems ergibt sich aus Satz 26.10  (6)). Insbesondere ist dieses Ableitungssystem unvollständig, was dem ersten Gödelschen Fixpunktsatz entspricht. Darüber hinaus ist die letzte Unableitbarkeit gerade die Aussage des zweiten Gödelschen Fixpunktsatzes, den man also so modallogisch nachbilden kann (die Hauptarbeit liegt aber darin, zu zeigen, dass das arithmetische Ableitungsprädikat das Löb-Axiom erfüllt).

Einige klassische modallogische Systeme

Definition Referenznummer erstellen

Das modallogische ${}K$- System, in dem das Möglichkeitsaxiom gilt, heißt System.

Definition Referenznummer erstellen

Das modallogische ${}K$- System, in dem das Reflexivitätsaxiom gilt, heißt System.

Lemma Lemma 25.13 ändern

Im modallogischen ${}T$- System gelten die folgenden Aussagen.

Es ist

$T\vdash \alpha \rightarrow \Diamond \alpha .$

Insbesondere ist

$T\vdash \Box \alpha \rightarrow \Diamond \alpha$

und damit ist ein ${}T$-System auch ein ${}D$- System.

Beweis

Die Kontraposition des Reflexivitätsaxioms ergibt direkt

$T\vdash \neg \alpha \rightarrow \neg \Box \alpha ,$

also

$T\vdash \neg \alpha \rightarrow \Diamond \neg \alpha .$

Da dies für alle ${}\alpha$ gilt, gilt nach Lemma 24.5  (5) auch

$T\vdash \alpha \rightarrow \Diamond \alpha .$

Der Zusatz folgt aus

$T\vdash \Box \alpha \rightarrow \alpha {\text{ und }}T\vdash \alpha \rightarrow \Diamond \alpha .$

$\Box$

Definition Referenznummer erstellen

Das modallogische ${}K$- System, in dem das Reflexivitätsaxiom und das Symmetrieaxiom gilt, heißt System.

Definition Referenznummer erstellen

Das modallogische ${}K$- System, in dem das Reflexivitätsaxiom und das Transitivitätsaxiom gilt, heißt System.

Definition Referenznummer erstellen

Das modallogische ${}K$- System, in dem das Reflexivitätsaxiom, das Symmetrieaxiom und das Transitivitätsaxiom gilt, heißt System.

Lemma Referenznummer erstellen

Für ein modallogisches ${}K$- System ${}S$ sind folgende Aussagen äquivalent.

1. Es gilt das Reflexivitätsaxiom und das euklidische Axiom
2. Es gilt das Möglichkeitsaxiom, das Symmetrieaxiom und das Transitivitätsaxiom
3. Es handelt sich um das ${}S5$- System.

Beweis

Aus (1) folgt (2). Es sei ${}\Gamma _{1}$ das modallogische System, das durch die Gültigkeit von Reflexivitätsaxiom und euklidischem Axiom festgelegt ist. Nach Lemma 25.13 gilt mit dem Reflexivitätsaxiom auch das Möglichkeitsaxiom. Durch das Reflexivitätsaxiom gilt

$\Gamma _{1}\vdash \alpha \rightarrow \Diamond \alpha$

und mit dem euklidischen Axiom gilt

$\Gamma _{1}\vdash \Diamond \alpha \rightarrow \Box \Diamond \alpha ,$

was mit dem Kettenschluss

$\Gamma _{1}\vdash \alpha \rightarrow \Box \Diamond \alpha ,$

also die Symmetrie ergibt. Aus dem euklidischen Axiom und der Symmetrie ergibt sich nach Lemma 25.7 auch die Transitivität.

Aus (2) folgt (3). Es sei ${}\Gamma _{2}$ die Vereinigung aus dem Möglichkeitsaxiom, dem Symmetrieaxiom und dem Transitivitätsaxiom. Das Symmetrieaxiom ergibt

$\Gamma _{2}\vdash \alpha \rightarrow \Box \Diamond \alpha ,$

das Möglichkeitsaxiom liefert

$\Gamma _{2}\vdash \Box \Diamond \alpha \rightarrow \Diamond \Diamond \alpha$

und das Transitivitätsaxiom liefert

$\Gamma _{2}\vdash \Diamond \Diamond \alpha \rightarrow \Diamond \alpha .$

Der Kettenschluss darauf angewendet liefert

$\Gamma _{2}\vdash \alpha \rightarrow \Diamond \alpha ,$

also das Reflexivitätsaxiom.

Aus (3) folgt (1). Aus dem Transitivitätsaxiom

$S_{5}\vdash \Box \alpha \rightarrow \Box \Box \alpha$

ergibt sich mit Lemma 24.5  (2)

$S_{5}\vdash \Diamond \Box \alpha \rightarrow \Diamond \Box \Box \alpha .$

Aufgrund des Symmetrieaxioms gilt

$S_{5}\vdash \Diamond \Box \beta \rightarrow \beta .$

Angewendet auf ${}\beta =\Box \alpha$ ergibt dies

$S_{5}\vdash \Diamond \Box \alpha \rightarrow \Box \alpha .$

Dies ist gleichwertig zum euklidischen Axiom.

$\Box$

Lemma Lemma 25.18 ändern

In einem modallogischen ${}K$- System, in dem das Löb-Axiom gilt,

gilt auch das Transitivitätsaxiom.

Beweis

Wir wenden das Löb-Axiom auf den Ausdruck ${}\Box \alpha \wedge \alpha$ an und erhalten (${}L$ steht für dieses modallogische System)

$L\vdash \Box (\Box (\Box \alpha \wedge \alpha )\rightarrow (\Box \alpha \wedge \alpha ))\rightarrow \Box (\Box \alpha \wedge \alpha ).$

Wegen Lemma 24.5  (3) ist

$\vdash \Box (\Box \alpha \wedge \alpha )\rightarrow \Box \Box \alpha$

und

$\vdash \Box (\Box \alpha \wedge \alpha )\rightarrow \Box \alpha .$

Wegen der zuletzt angeführten Ableitung erhält man

$\vdash \alpha \rightarrow (\Box (\Box \alpha \wedge \alpha )\rightarrow (\Box \alpha \wedge \alpha ))$

und daraus mit Lemma 24.5  (1) auch

$\vdash \Box \alpha \rightarrow \Box ((\Box (\Box \alpha \wedge \alpha )\rightarrow (\Box \alpha \wedge \alpha ))).$

Ein zweifacher Kettenschluss liefert

$L\vdash \Box \alpha \rightarrow \Box \Box \alpha .$

$\Box$

Gerichtete Graphen

Für die Modelltheorie der Modallogik benötigen wir gerichtete Graphen. Dies ist mathematisch betrachtet einfach eine zweistellige Relation auf einer Menge.

Definition Referenznummer erstellen

Ein gerichteter Graph ist eine Menge ${}M$ versehen mit einer fixierten Relation ${}R\subseteq M\times M$.

Die Menge der Punkte ${}x\in M$ nennt man auch die Knoten des Graphen und man sagt, dass ein Pfeil von ${}x$ nach ${}y$ geht, wenn ${}(x,y)\in R$ ist. In dieser Weise werden gerichtete Graphen veranschaulicht. Ein Pfeil von einem Knoten zu sich selbst heißt Schleife.

Im Kontext von Ordnungsrelationen und Äquivalenzrelationen haben wir schon die Eigenschaften reflexiv, symmetrisch, transitiv kennengelernt. Einen symmetrischen gerichteten Graphen nennt man auch einen ungerichteten Graphen. In diesem Fall nennt man einen verbindenden Pfeil eine Kante. Wir besprechen einige weitere Begrifflichkeiten und Eigenschaften.

Definition Referenznummer erstellen

Es sei ${}(M,R)$ ein gerichteter Graph. Zu einer Teilmenge ${}T\subseteq M$ nennt man

${}\operatorname {Vorg} {\left(T\right)}={\left\{x\in M\mid {\text{ es gibt }}y\in T{\text{ mit }}xRy\right\}}\,$

die Vorgängermenge zu ${}T$.

Definition Referenznummer erstellen

Es sei ${}(M,R)$ ein gerichteter Graph. Zu einer Teilmenge ${}T\subseteq M$ nennt man

${}\operatorname {Nachf} {\left(T\right)}={\left\{z\in M\mid {\text{ es gibt }}y\in T{\text{ mit }}yRz\right\}}\,$

die Nachfolgermenge zu ${}T$.

Ein Knoten ohne Nachfolger, also ohne abgehenden Pfeil (also auch keine Schleife), heißt Sackgasse.

Definition Referenznummer erstellen

Eine Relation auf einer Menge ${}M$ heißt euklidisch, wenn zu ${}x,y,z\in M$ mit ${}xRy$ und ${}xRz$ stets ${}yRz$ gilt.