Möglichkeitswelten-Semantik

Die Möglichkeitswelten-Semantik interpretiert Notwendigkeit als Wahrheit in allen zugänglichen Welten und Möglichkeit als Wahrheit in einigen, wodurch die Modallogik zu einer handhabbaren Modelltheorie wird.

Definition

Die Möglichkeitswelten-Semantik bewertet modale Sätze an Punkten, die als Welten bezeichnet und durch eine Zugänglichkeitsrelation verbunden sind, wobei „notwendigerweise A“ in einer Welt genau dann wahr ist, wenn A in jeder von ihr aus zugänglichen Welt gilt.

Scope

Dieses Thema behandelt die relationale (Kripke-)Modelltheorie für die Modallogik: Frames, bestehend aus einer Menge von Welten und einer Zugänglichkeitsrelation, Bewertungen und die Wahrheitsbedingungen für die Modaloperatoren. Es behandelt die technische Rolle von Frames und die philosophische Frage, was mögliche Welten sind – konkrete Universen, abstrakte Sachverhalte, Mengen von Propositionen oder bloße formale Indizes – und wie sich dies auf den Erklärungswert der Semantik auswirkt.

Core questions

• Was genau ist eine mögliche Welt, und existieren Welten?
• Was ist die Zugänglichkeitsrelation, und was stellt sie dar?
• Erklärt die formale Semantik die modale Wahrheit oder modelliert sie diese lediglich?
• Wie helfen Welten bei der Analyse von Kontrafaktika, Propositionen und Inhalten?

Key concepts

• mögliche Welt
• Zugänglichkeitsrelation
• Frame und Modell
• Bewertung
• Aktualismus vs. Possibilismus
• Ersatzwelten

Key theories

Kripke-relationale Modelle

Ein Modell ist eine Menge von Welten mit einer Zugänglichkeitsrelation und einer Bewertung; modale Operatoren quantifizieren über zugängliche Welten, sodass logische Merkmale der Modalität auf strukturelle Eigenschaften der Relation reduziert werden.

Welten als abstrakte Objekte

Stalnaker behandelt mögliche Welten als mögliche Sachverhalte – abstrakte maximale Möglichkeiten – und lehnt Lewis' konkrete Welten ab, während er die erklärenden Vorteile von Welten für Modalität und Inhalt beibehält.

History

Carnaps Zustandsbeschreibungen und Leibniz' Rede von möglichen Welten nahmen die Idee vorweg, doch die rigorose Semantik entstand mit Kripkes relationalen Modellen von 1963. Philosophen spalteten sich dann über die Metaphysik: Lewis' modaler Realismus von 1986 behandelt Welten als konkret, während Stalnaker und andere abstrakte „Ersatz“-Welten verteidigen.

Debates

Konkrete vs. abstrakte Welten

Ob die Welten, über die die Semantik quantifiziert, konkrete raumzeitliche Universen oder abstrakte Surrogate wie maximale konsistente Mengen von Propositionen sind und welche Lesart die Semantik wirklich erklärend macht.

Key figures

• Saul Kripke
• David Lewis
• Robert Stalnaker
• Jaakko Hintikka
• Rudolf Carnap

Seminal works

• kripke1963
• lewis1986plurality

Frequently asked questions

Erfordert die Möglichkeitswelten-Semantik den Glauben an andere Welten?

Nein. Die Semantik ist ein formales Werkzeug, und die meisten Philosophen, die sie verwenden, bestreiten die Existenz anderer konkreter Welten. Sie interpretieren „Welten“ als abstrakte Objekte – als mögliche Sachverhalte –, sodass die Quantifizierung über Welten eine prägnante Art ist, über Möglichkeiten zu sprechen, ohne ontologische Extravaganz.