Der Barcanschen Formel (benannt nach Ruth Barcan Marcus) und ihrer Umkehrung zufolge sind Modalitäten de dicto (über Gesagtes) und de re (über Dinge) als äquivalent anzusehen. Damit wird behauptet: Wenn es möglicherweise etwas gibt, dem eine bestimmte Eigenschaft zugeschrieben wird, dann gibt es diese Entität bzw. eine solche Entität existiert, der diese Eigenschaft möglicherweise zugeschrieben wird. Nicht ohne weitere Erläuterung einzusehen ist diese Behauptung deshalb, weil damit – wie es scheint – die Existenz einer möglichen Entität aus ihrer bloß möglichen Existenz folgt.
Ziel dieser Arbeit ist es, zunächst in die modallogische Syntax und Semantik einzuführen, um darauf aufbauend herauszustellen, unter welchen Bedingungen diese Äquivalenz (1) hinsichtlich der logischen Syntax beweisbar, (2) in Bezug auf die Mögliche-Welten-Semantik wahr und (3) in Bezug auf epistemische Modalitäten in natürliche Sprache auf verständliche Weise übertragbar ist.
Inhaltsverzeichnis
Verzeichnis der logischen Symbole
1. Einleitung
2. Modallogische Syntax
2.1 Aussagenlogik und Prädikatenlogik – Definitionen, Axiome und Schlussregeln
2.1.1 Definitionen
2.1.2 Axiome
2.1.3 Schlussregeln
2.2 Das System K
2.3 Das System T
2.4 Das System S
2.5 Das System S
2.6 Die Barcansche Formel und ihre Umkehrung in der modalen Prädikatenlogik (PL+S5)
2.7 Der Beweis der Barcanschen Formeln im Kalkül des natürlichen Schließens
3. Mögliche-Welten-Semantik (MWS)
3.1 MWS für T
3.2 MWS für S
3.3 MWS für S
4. Modalitäten de dicto und de re in natürlicher Sprache
4.1 Skopusambiguität der Modaloperatoren
4.2 Epistemische Modalitäten
5. Schluss
Literaturverzeichnis
-
Upload your own papers! Earn money and win an iPhone X. -
Upload your own papers! Earn money and win an iPhone X. -
Upload your own papers! Earn money and win an iPhone X. -
Upload your own papers! Earn money and win an iPhone X. -
Upload your own papers! Earn money and win an iPhone X. -
Upload your own papers! Earn money and win an iPhone X. -
Upload your own papers! Earn money and win an iPhone X. -
Upload your own papers! Earn money and win an iPhone X.