Modallogik

modal–Logik Vorlage:agrie.-lat.-dt., Vorlage:lat.-frz.-dt.,

Die Modallogik ist derjenige Zweig der Logik, der sich mit den Folgerungen um die Modalbegriffe möglich und notwendig befasst. So lassen sich innerhalb der Modallogik nicht nur Aussagen wie „Es regnet“ oder „Alle Kreise sind rund“ analysieren, sondern auch Aussagen wie „Möglicherweise regnet es“ und „Notwendigerweise sind alle Kreise rund“.

Geschichte

Die frühesten Ansätze zu einer Modallogik finden sich bei Aristoteles in der ersten Analytik. Dort werden zu jedem kategorischen Syllogismus auch die modallogischen Varianten diskutiert.^[1] Im Mittelalter untersuchte u. a. Duns Scotus modallogische Begriffe. In der 1662 erstmals veröffentlichten Logik von Port-Royal wurden die Modi „möglich“, „zufällig“, „unmöglich“ und „notwendig“ im Zusammenhang mit der Entstehung von Urteilen behandelt.^[2]Gottfried Wilhelm Leibniz prägte wenig später den Ausdruck „mögliche Welt“, der für die Entwicklung der modallogischen Modelltheorie bedeutsam geworden ist. Seit dem 20. Jahrhundert ist zwischen zwei grundsätzlich verschiedenen Ansätzen zur Präzisierung modaler Aussagen und ihrer logischen Zusammenhänge zu unterscheiden, einem objektsprachlich-axiomatischen und einem metasprachlich-operativen.

Den ersten axiomatischen Ansatz lieferte Clarence Irving Lewis 1912 in seiner Kritik der „materiellen Implikation“ (von Whitehead und Russell), die keineswegs dem herkömmlichen „wenn-dann“ entsprach.^[3] Zusammen mit C. H. Langford stellte er 1932 fünf logische Systeme (S1 bis S5) mit unterschiedlichen modalen Axiomen auf, die mehr oder weniger „plausibel“ erschienen.^[4] Erst 1963 konnte Saul Kripke eine Semantik für die Vielzahl der bis dahin vorgeschlagenen modallogischen Systeme entwickeln.^[5] Auf dieser axiomatischen Grundlage verwendeten seit den 1970er Jahren Bas van Fraassen (Toronto) und Maria L. Dalla Chiara (Florenz) Modalitäten im Rahmen der Quantenlogik.^[6]

Weitgehend folgenlos für die weitere Entwicklung der Modallogik blieben die Versuche des Husserl-Schülers Oskar Becker 1930, die modalen Aussagen von Lewis phänomenologisch zu interpretieren.^[7] Einer Anregung Beckers folgend zeigte Kurt Gödel 1932 eine enge Verbindung zwischen dem System S4 und der intuitionistischen Logik auf.^[8]

Grundlegend neu war das metasprachliche Konzept für Modalitäten von Rudolf Carnap 1934. Im Rahmen einer scharfen Kritik an Wittgensteins Auffassung von der grundsätzlichen Beschränktheit sprachlicher Ausdrucksfähigkeit^[9]behauptete er, die von Lewis vorgenommene Erweiterung der klassischen Logik durch Hinzufügung eines Operators „möglich“ sei zwar nicht falsch, aber überflüssig, „da die Metasprache, die auch zur Beschreibung der axiomatischen Modallogik nötig ist, bei exakter Formulierung bereits sowohl die Folgebeziehung als auch die Modalitäten auszudrücken gestatten.“^[10]

Dieses Konzept Carnaps, Modalitäten nur beim Sprechen über eine Sprache, also metasprachlich zu verwenden, wurde erst wieder 1952 von Becker aufgegriffen und zwei Jahre später von Paul Lorenzen zur Begründung seiner operativen Modallogik verwendet.^[11] Die von Lorenzen (später auch von Schwemmer) ausgebaute konstruktive Logik auf der Grundlage einer formalisierten Dialogsemantik wurde erstmals von Peter Mittelstaedt 1961 in die Quantenlogikeingeführt und 1979 von seinem Schüler Franz Josef Burghardt zur „modalen Quantenmetalogik“ weiter entwickelt.^[12]

Die zugrundeliegende Intuition

Mit den Begriffen „möglich“ und „notwendig“ bietet die Sprache neben „wahr“ und „falsch“ eine zusätzliche Möglichkeit, Aussagen zu charakterisieren: Manche falsche Aussagen sind doch möglich, manche wahre Aussagen sind darüber hinaus notwendig. Wenn wir feststellen wollen, ob eine Aussage möglich ist, können wir versuchen, uns eine Situation vorzustellen, in der die Aussage wahr ist. Wir können uns beispielsweise vorstellen, dass es Menschen mit grüner Haut geben könnte. Die Aussage „Manche Menschen haben grüne Haut“ ist daher möglich. Wir können uns jedoch nicht vorstellen, dass es eckige Kreise geben könnte. Die Aussage „Es gibt eckige Kreise“ ist daher nicht möglich, d. h. unmöglich. Außerdem gibt es Aussagen, die in jeder vorstellbaren Situation wahr sind. Solche Aussagen bezeichnen wir als notwendig.

In der Modallogik spricht man statt von möglichen oder vorstellbaren Situationen auch von „möglichen Welten“. Die Situation, in der wir tatsächlich leben, ist dabei eine der möglichen Welten, die „tatsächliche Welt“ (engl. actual world, deshalb manchmal auch aktuelle Welt genannt). Eine Aussage ist möglich, wenn sie in einer möglichen Welt wahr ist, sie ist notwendig, wenn sie in allen möglichen Welten wahr ist.

Notwendige Aussagen sind z. B. „Kreise sind rund“ und „Junggesellen sind unverheiratet“. Allerdings erfordern Aussagen wie die des letzten Satzes, dass alle dieselbe Intuition über das, was ein Kreis ist, haben. Das ist mitnichten der Fall. Dann ist sie aber nicht als notwendig, sondern als möglich zu bezeichnen. Im Rahmen des Begriffs „Metrischer Raum“ kann jedes konvexe geometrische Objekt zusammen mit einem Punkt in seinem Inneren als sogenannter Einheitskreis dazu dienen, eine Metrik zu definieren, beispielsweise ein Rechteck, ein konvexer Zylinder oder eine Kugel. Alle weiteren Kreise in dieser Metrik ergeben sich daraus. In diesem Sinn erschiene die apodiktische Aussage „Kreise sind rund“ als eine, die Forderungen an eine eventuell sinnvoll mögliche, von der üblichen Intuition abweichende Begriffsdefinition „rund“ stellt.

Wenn man eine Aussage in diesem Sinn als möglich bezeichnet, nimmt man nicht Stellung dazu, ob die Aussage auch falsch sein könnte. Aus diesem Grund sind alle notwendigen Sachverhalte auch möglich: Wenn eine Aussage in allen möglichen Welten wahr ist, dann ist sie trivialerweise auch in mindestens einer möglichen Welt wahr. Von diesem Möglichkeitsbegriff unterscheidet sich der Begriff der Kontingenz: Kontingent ist eine Aussage genau dann, wenn sie in mindestens einer möglichen Welt wahr und in mindestens einer möglichen Welt falsch ist, wenn sie also möglich, aber nicht notwendig ist.

Wahrheitsfunktionalität der Modallogik

Im Gegensatz zur klassischen Aussagenlogik ist die Modallogik nicht wahrheitsfunktional. Das heißt, dass, wenn man in einer Aussage, die modallogische Ausdrücke enthält, eine Teilaussage durch eine andere mit gleichem Wahrheitswertersetzt, der Wahrheitswert der Gesamtaussage nicht unbedingt erhalten bleibt. Betrachten wir als Beispiel die Aussage „Es ist möglich, dass Sokrates kein Philosoph ist“. Diese Aussage ist wahr (wir können uns vorstellen, dass Sokrates sich niemals für Philosophie interessiert hätte) und enthält als Teilaussage die falsche Aussage „Sokrates ist kein Philosoph“. Ersetzen wir nun diese Teilaussage durch die ebenfalls falsche Aussage „Es gibt eckige Kreise“, so erhalten wir „Es ist möglich, dass es eckige Kreise gibt“. Dies ist aber, im Gegensatz zu unserer Ausgangsaussage, falsch (denn wir können uns, wie gesagt, keine eckigen Kreise vorstellen). Damit ist gezeigt, dass die Modallogik nicht wahrheitsfunktional ist.

[1

[2

[3

[4

[5

[6

[7

[8

[9

[10

[11

[12