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

\setcounter{section}{24}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Aristotle Altemps Inv8575.jpg} }
\end{center}
\bildtext {Aristoteles (384-322 v.u.Z) ist der Begründer der Modallogik. Das achte Kapitel seiner ersten Analytik leitet die modallogische Problematik ein: \anfuehrung{Da das einfache Sein und das nothwendige Sein und das statthafte Sein verschieden sind (denn Vieles ist zwar, aber nicht aus Nothwendigkeit und Anderes ist weder aus Nothwendigkeit, noch ist es überhaupt, aber das Sein desselben ist statthaft), so erhellt, dass auch die aus diesen unterschiedenen Arten zu sein gebildeten Schlüsse von einander verschieden sein werden, und zwar auch dann, wenn die beiden Vordersätze in einem Schlüsse nicht gleichartig lauten, sondern der eine das nothwendige, der andere das einfache Sein oder das blos statthafte Sein ausdrückt.}{}} }

\bildlizenz { Aristotle Altemps Inv8575.jpg } {} {Jastrow} {Commons} {gemeinfrei} {}







\zwischenueberschrift{Modallogik}

Die \stichwort {Modallogik} {} beschäftigt sich mit der Logik der Notwendigkeit und Möglichkeit und allgemeiner mit Modalitäten von Aussagen. Sie baut auf der Aussagenlogik auf. Während diese die logische Abhängigkeit von mittels aussagenlogischer Junktoren definierten Ausdrücken in den Aussagenvariablen studiert, und für eine Aussagenvariable nur die beiden Wahrheitswerte wahr oder falsch kennt, erlaubt die Modallogik, auch modalisierte Aussagenvariablen zu untersuchen. Modalisierte Aussagen kommen häufig vor, typische Beispiele sind:

\aufzaehlungsechs{$p$ gilt notwendigerweise. }{Es ist moralisch geboten, dass $p$ gilt. }{Ich möchte, dass $p$ gilt. }{Ich weiß, dass $p$ gilt. }{$p$ ist beweisbar. }{$p$ gilt überall (in allen Fällen, in allen Welten). }

Die Negationen dieser Aussagen sind \zusatzklammer {es ist nicht der Fall, dass ...} {} {}

\aufzaehlungsechs{$p$ gilt nicht notwendigerweise. }{Es ist moralisch nicht geboten, dass $p$ gilt. }{Ich möchte nicht, dass $p$ gilt \zusatzklammer {im Sinne von, es ist mir egal} {} {.} }{Ich weiß nicht, ob $p$ gilt. }{$p$ ist nicht beweisbar. }{$p$ gilt nicht überall (nicht in allen Fällen, nicht in allen Welten). }

Man kann aber auch die gleiche Modalität auf die Negation zu $p$ anwenden, das ergibt.

\aufzaehlungsechs{$\neg p$ gilt notwendigerweise. }{Es ist moralisch geboten, dass $\neg p$ gilt \zusatzklammer {also $p$ ist moralisch verwerflich/verboten} {} {.} }{Ich möchte, dass $\neg p$ gilt. }{Ich weiß, dass $\neg p$ gilt. }{$\neg p$ ist beweisbar. }{$\neg p$ gilt überall (in allen Fällen, in allen Welten), also $p$ gilt nirgendwo. }

Diesen Aussagen können wiederum als Ganzes negiert werden.

\aufzaehlungsechs{Es ist nicht der Fall, dass $\neg p$ notwendigerweise gilt. }{Es ist nicht moralisch geboten, dass $\neg p$ gilt. }{Ich möchte nicht, dass $\neg p$ gilt. }{Ich weiß nicht, dass $\neg p$ gilt. }{$\neg p$ ist nicht beweisbar. }{$\neg p$ gilt nicht überall (nicht in allen Fällen). }

Davon sind die folgenden Aussagen Paraphrasierungen. \aufzaehlungsechs{$p$ gilt möglicherweise. }{$p$ ist (moralisch) erlaubt. }{Ich kann $p$ akzeptieren. }{Ich kann von meinem Wissen her nicht ausschließen, dass $p$ gilt \zusatzklammer {$p$ ist denkbar} {} {.} }{$p$ ist nicht ausschließbar. }{Es gibt Fälle bzw. Welten, wo $p$ gilt. }

Wenn man die zu Beginn genannten Modalitäten mit
\mathl{\Box p}{} \zusatzklammer {Notwendigkeit} {} {} bezeichnet, so haben wir nach $\Box p$ die Varianten $\neg \Box p$,
\mathl{\Box \neg p}{,}
\mathl{\neg \Box \neg p}{} aufgelistet, und die letzte Variante konnten wir durch eine neue Modalität \zusatzklammer {Möglichkeit} {} {} ausdrücken, nämlich
\mathdisp {\Diamond p \Leftrightarrow \neg \Box \neg p} { . }
Möglich bedeutet also, dass das Gegenteil nicht notwendig ist, erlaubt bedeutet, dass das Gegenteil nicht verpflichtend ist, u.s.w. Diese Äquivalenz wird etwas weniger verschachtelt, wenn man sie als
\mathdisp {\neg \Diamond p \Leftrightarrow \Box \neg p} { }
schreibt. Dass etwas nicht erlaubt ist bedeutet, dass das Gegenteil davon verpflichtend ist. In der formalen Modallogik untersucht man strukturelle Gesetzmäßigkeiten von Aussagen, die durch einen Operator $\Box$ modalisiert werden können. Philosophisch relevante Interpretationen sind die Notwendigkeitslogik, die Deontik \zusatzklammer {Moral, Recht} {} {,} epistemische Logik \zusatzklammer {Wissen} {} {,} Beweisbarkeitslogik. In der letzten Vorlesung haben wir in Bemerkung 23.7 für das einstellige Ableitungsprädikat einige strukturelle Eigenschaft formuliert. Wenn man dabei
\mathl{\alpha(GN(s))}{} als \anfuehrung{$s$ ist beweisbar}{} liest und als $\Box s$ schreibt, wobei $s$ nicht weiter hinterfragt wird und als Aussagenvariable aufgefasst wird, so kann man diese Eigenschaften modallogisch untersuchen.






\zwischenueberschrift{Die formale Sprache der Modallogik}




\inputdefinition
{}
{

Zu einer Menge von \definitionsverweis {Aussagenvariablen}{}{} $V$ besteht die \definitionswort {modallogische Sprache}{} aus diesen Aussagenvariablen, aus allen rekursiv-konstruierbaren aussagenlogischen Verknüpfungen und aus allen rekursiv-konstruierbaren Ausdrücken der Form
\mathl{\Box ( \alpha )}{.}

}

Wie im aussagelogischen Kontext arbeiten wir mit $\neg, \wedge , \rightarrow$, wobei wir auch die Symbole \mathkor {} {\vee} {und} {\leftrightarrow} {} in ihrer üblichen Bedeutung als Abkürzungen verwenden. Wir verzichten auch auf Klammern, um die Lesbarkeit der Ausdrücke zu erhöhen. Ein weiteres wichtiges sekundäres Symbol ist $\Diamond$. Es wird als
\mathdisp {\Diamond \alpha \leftrightarrow \neg \Box ( \neg \alpha )} { }
eingeführt. Wir lesen $\Box \alpha$ als \anfuehrung{$\alpha$ ist notwendig}{} und $\Diamond \alpha$ als \anfuehrung{$\alpha$ ist möglich}{.}




\inputdefinition
{}
{

Eine unter aussagenlogischen Ableitungen abgeschlossene Teilmenge der \definitionsverweis {modallogischen Sprache}{}{} heißt \zusatzklammer {formale} {} {} \definitionswort {Modallogik}{.}

}






\zwischenueberschrift{Das System K}




\inputdefinition
{}
{

Eine \definitionsverweis {Modallogik}{}{} heißt eine \definitionswortpraemath {K}{ Modallogik }{,} wenn das Axiomenschema
\mathdisp {\vdash \Box (\alpha \rightarrow \beta) \rightarrow (\Box \alpha \rightarrow \Box \beta)} { }
für beliebige Ausdrücke
\mathl{\alpha, \beta}{} und die Ableitungsregel \stichwort {Nezessisierungsregel} {}

aus
\mathl{\vdash \alpha}{} folgt
\mathl{\vdash \Box \alpha}{}

für alle $\alpha$ gilt.

}

Das Axiomenschema $K$ ist äquivalent zum Axiomenschema
\mathdisp {\Diamond \gamma \rightarrow ( \Diamond \neg \alpha \vee \Diamond ( \alpha \wedge \gamma ))} { , }
siehe Aufgabe 24.2.




\inputdefinition
{}
{

Man sagt, dass ein \definitionsverweis {modallogischer Ausdruck}{}{} $\alpha$ aus dem $K$-\definitionsverweis {System}{}{} \definitionswort {ableitbar}{} ist, wenn sich $\alpha$ aus \definitionsverweis {aussagenlogischen Tautologien}{}{} und aus Instanzen des $K$-\definitionsverweis {Axioms}{}{} mit Hilfe des \definitionsverweis {Modus ponens}{}{} oder der Nezessisierungsregel ergibt. Dafür schreibt man
\mathdisp {\vdash \alpha} { . }

}





\inputfaktbeweis
{Modallogik/K/Folgerungen/Fakt}
{Lemma}
{}
{

\faktsituation {In einer $K$-\definitionsverweis {Modallogik}{}{} sind folgende Aussagen \definitionsverweis {ableitbar}{}{.}}
\faktfolgerung {\aufzaehlungfuenf{Aus
\mathdisp {\vdash \alpha \rightarrow \beta} { }
folgt
\mathdisp {\vdash \Box \alpha \rightarrow \Box \beta} { . }
}{Aus
\mathdisp {\vdash \alpha \rightarrow \beta} { }
folgt
\mathdisp {\vdash \Diamond \alpha \rightarrow \Diamond \beta} { . }
}{
\mathdisp {\vdash \Box (\alpha \wedge \beta) \rightarrow \Box \alpha} { . }
}{
\mathdisp {\vdash \Box \alpha \wedge \Box \beta \rightarrow \Box ( \alpha \wedge \beta)} { }
}{
\mathdisp {\vdash \Box \neg \neg \alpha \leftrightarrow \Box \alpha} { . }
}}
\faktzusatz {}
\faktzusatz {}

}
{

(1). Nach der \definitionsverweis {Nezessisierungsregel}{}{} gilt
\mathdisp {\vdash \Box (\alpha \rightarrow \beta)} { }
und nach dem $K$-\definitionsverweis {Axiom}{}{} gilt
\mathdisp {\vdash \Box (\alpha \rightarrow \beta) \rightarrow { \left( \Box \alpha \rightarrow \Box \beta \right) }} { . }
Durch \definitionsverweis {Modus ponens}{}{} ergibt sich
\mathdisp {\vdash \Box \alpha \rightarrow \Box \beta} { . }

(2). Aus
\mathdisp {\vdash \alpha \rightarrow \beta} { }
folgt durch Kontraposition zunächst
\mathdisp {\vdash \neg \beta \rightarrow \neg \alpha} { }
und daraus nach Teil (1)
\mathdisp {\vdash \Box \neg \beta \rightarrow \Box \neg \alpha} { }
Erneutes kontraponieren ergibt
\mathdisp {\vdash \neg \Box \neg \alpha \rightarrow \neg \Box \neg \beta} { , }
was
\mathdisp {\vdash \Diamond \alpha \rightarrow \Diamond \beta} { }
bedeutet.

(3). Aus der aussagenlogischen Tautologie
\mathdisp {\vdash \alpha \wedge \beta \rightarrow \alpha} { }
ergibt sich aus (1) direkt
\mathdisp {\vdash \Box (\alpha \wedge \beta) \rightarrow \Box \alpha} { . }

(4). Aus der aussagenlogischen Tautologie
\mathdisp {\vdash \alpha \rightarrow (\beta \rightarrow \alpha \wedge \beta)} { }
ergibt sich mit (1) zunächst
\mathdisp {\vdash \Box \alpha \rightarrow \Box (\beta \rightarrow \alpha \wedge \beta)} { . }
Aufgrund des $K$-Axioms gilt
\mathdisp {\vdash \Box (\beta \rightarrow \alpha \wedge \beta) \rightarrow (\Box \beta \rightarrow \Box (\alpha \wedge \beta ))} { . }
Der Kettenschluss liefert
\mathdisp {\vdash \Box \alpha \rightarrow (\Box \beta \rightarrow \Box (\alpha \wedge \beta ))} { , }
was aussagenlogisch äquivalent zu
\mathdisp {\vdash \Box \alpha \wedge \Box \beta \rightarrow \Box (\alpha \wedge \beta )} { }
ist.

(5) ergibt sich aus der aussagenlogischen Tautologie
\mathdisp {\vdash \alpha \leftrightarrow \neg \neg \alpha} { }
und Teil (1).

}


Die erste der eben bewiesenen Eigenschaften der $K$-Modallogik bedeutet insbesondere, dass man in der Reichweite eines Notwendigkeitsoperators einen Ausdruck durch einen jeden aussagenlogisch äquivalenten Ausdruck ersetzen kann.






\zwischenueberschrift{Einige modallogische Axiomenschemata}

Wir besprechen einige modallogischen Axiomenschemata, die über das $K$-System hinausgehen. Die inhaltliche Relevanz der Systeme ist sehr unterschiedlich.




\inputdefinition
{}
{

Das \definitionsverweis {modallogische Axiomenschema}{}{}
\mathdisp {\Box \alpha} { }
nennt man \definitionswort {Leerheitsaxiom}{.}

} Dies ergibt keine interessante Modallogik, da einfach jede Aussage der Form $\Box \alpha$ gilt, auch dann, wenn $\alpha$ eine Kontradiktion ist, und jede Aussage der Form $\Diamond \alpha$ nicht gilt.




\inputdefinition
{}
{

Das \definitionsverweis {modallogische Axiomenschema}{}{}
\mathdisp {\Box \alpha \rightarrow \Diamond \alpha} { }
nennt man \definitionswort {Möglichkeitsaxiom}{.}

}

Dies bedeutet also
\mathl{\Diamond \alpha \vee \Diamond \neg \alpha}{,} es muss also die Aussage oder ihre Negation möglich sein, oder beides. Man spricht auch vom \stichwort {Seriellitätsaxiom} {} oder $D$-Axiom. Die Bezeichnung $D$ kommt von deontisch. Was verpflichtend ist, sollte insbesondere erlaubt sein.




\inputdefinition
{}
{

Das \definitionsverweis {modallogische Axiomenschema}{}{}
\mathdisp {\Diamond \alpha \rightarrow \Box \alpha} { }
nennt man \definitionswort {Phantasiearmutsaxiom}{.}

}

Das Möglichkeitsaxiom bedeutet, dass es mindestens eine Vorstellungswelt gibt und das Phantasiearmutsaxiom bedeutet, dass es höchstens eine Vorstellungswelt gibt. Solche Charakterisierungen werden wir später im Rahmen der semantischen Interpretation mit gerichteten Graphen präzisieren.




\inputdefinition
{}
{

Das \definitionsverweis {modallogische Axiomenschema}{}{}
\mathdisp {\Diamond \alpha \leftrightarrow \Box \alpha} { }
nennt man \definitionswort {Ideologieaxiom}{.}

}

In einer Ideologie stellt man sich genau eine Welt vor, die im Allgemeinen mit der Realität nichts zu tun hat.





\inputfaktbeweis
{Modallogik/K/Phantasiearmutsaxiom und K-Umkehrung/Fakt}
{Lemma}
{}
{

\faktsituation {Für eine $K$-\definitionsverweis {Modallogik}{}{} $\Gamma$ sind die folgenden Eigenschaften äquivalent.}
\faktfolgerung {\aufzaehlungdrei{Es gilt das \definitionsverweis {Phantasiearmutsaxiom}{}{.} }{Es gilt die Umkehrung des $K$-\definitionsverweis {Axioms}{}{,} also
\mathdisp {\Gamma \vdash (\Box \alpha \rightarrow \Box \beta) \rightarrow \Box (\alpha \rightarrow \beta)} { . }
}{Es gilt das Axiomenschema
\mathdisp {\Gamma \vdash \Diamond \alpha \wedge \Diamond \beta \rightarrow \Diamond (\alpha \wedge \beta)} { . }
}}
\faktzusatz {}
\faktzusatz {}

}
{

Von (1) nach (2). Aus den aussagenlogischen Tautologien
\mathdisp {\vdash \beta \rightarrow (\alpha \rightarrow \beta)} { }
und
\mathdisp {\vdash \neg \alpha \rightarrow (\alpha \rightarrow \beta)} { }
ergeben sich mit Lemma 24.5  (1) die Ableitungen
\mathdisp {\vdash \Box \beta \rightarrow \Box (\alpha \rightarrow \beta)} { }
und
\mathdisp {\vdash \Box \neg \alpha \rightarrow \Box (\alpha \rightarrow \beta)} { . }
Das Phantasiearmutsaxiom liefert
\mathdisp {\Gamma \vdash \Diamond \neg \alpha \rightarrow \Box \neg \alpha} { }
und über den Kettenschluss
\mathdisp {\Gamma \vdash \Diamond \neg \alpha \rightarrow \Box (\alpha \rightarrow \beta)} { . }
Daher gilt
\mathdisp {\Gamma \vdash ( \Diamond \neg \alpha \vee \Box \beta ) \rightarrow \Box (\alpha \rightarrow \beta)} { , }
was eben
\mathdisp {\Gamma \vdash ( \Box \alpha \rightarrow \Box \beta ) \rightarrow \Box (\alpha \rightarrow \beta)} { }
bedeutet.

Von (2) nach (1). Aus der aussagenlogischen Tautologie
\mathdisp {\vdash (\alpha \rightarrow \neg \alpha) \rightarrow \neg \alpha} { }
ergibt sich mit Lemma 24.5  (1) direkt
\mathdisp {\vdash \Box (\alpha \rightarrow \neg \alpha) \rightarrow \Box \neg \alpha} { . }
Die Umkehrung des $K$-Axioms mit
\mavergleichskette
{\vergleichskette
{ \beta }
{ = }{ \neg \alpha }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} liefert
\mathdisp {\Gamma \vdash (\Box \alpha \rightarrow \Box \neg \alpha) \rightarrow \Box (\alpha \rightarrow \neg \alpha)} { . }
Eine einfache aussagenlogische Überlegung zeigt ferner
\mathdisp {\vdash \Diamond \neg \alpha \rightarrow (\Box \alpha \rightarrow \Box \neg \alpha)} { . }
Der doppelte Kettenschluss liefert
\mathdisp {\Gamma \vdash \Diamond \neg \alpha \rightarrow \Box \neg \alpha} { . }
Da diese Beziehung für jedes $\neg \alpha$ gilt, gilt es nach Lemma 24.5  (5) überhaupt für jede Aussage.

Aus (1) folgt (3). Das $K$-Axiom liefert
\mathdisp {\vdash \Box (\alpha \rightarrow \neg \beta) \rightarrow (\Box \alpha \rightarrow \Box \neg \beta)} { }
und das Phantasiearmutsaxiom liefert
\mathdisp {\Gamma \vdash \Diamond \alpha \rightarrow \Box \alpha} { . }
Dies zusammen ergibt
\mathdisp {\Gamma \vdash \Box (\alpha \rightarrow \neg \beta) \rightarrow (\Diamond \alpha \rightarrow \Box \neg \beta)} { . }
Wir schreiben dies als
\mathdisp {\Gamma \vdash \Box ( \neg \alpha \vee \neg \beta) \rightarrow (\neg \Diamond \alpha \vee \Box \neg \beta)} { . }
Durch Kontraposition bedeutet dies
\mathdisp {\Gamma \vdash (\Diamond \alpha \wedge \neg \Box \neg \beta) \rightarrow \Diamond (\alpha \wedge \beta)} { . }

Von (3) nach (1). Wir betrachten den Spezialfall
\mathdisp {\Gamma \vdash \Diamond \alpha \wedge \Diamond \neg \alpha \rightarrow \Diamond ( \alpha \wedge \neg \alpha)} { . }
Durch Kontraposition ist dies
\mathdisp {\Gamma \vdash \Box \neg ( \alpha \wedge \neg \alpha ) \rightarrow \neg ( \Diamond \alpha \wedge \Diamond \neg \alpha)} { }
und durch eine aussagenlogische Umstellung
\mathdisp {\Gamma \vdash \Box ( \neg \alpha \vee \alpha ) \rightarrow ( \neg \Diamond \alpha \vee \neg \Diamond \neg \alpha)} { . }
Aus der aussagenlogischen Tautologie
\mathdisp {\vdash \neg \alpha \vee \alpha} { }
folgt mit der Nezessisierungsregel
\mathdisp {\vdash \Box ( \neg \alpha \vee \alpha )} { }
und somit
\mathdisp {\Gamma \vdash \neg \Diamond \alpha \vee \neg \Diamond \neg \alpha} { }
mit Modus ponens. Dies bedeutet
\mathdisp {\Gamma \vdash \Diamond \alpha \rightarrow \Box \alpha} { . }

}