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
-
-
-
-
¡Carge sus propios textos! Gane dinero y un iPhone X. -
-
¡Carge sus propios textos! Gane dinero y un iPhone X. -
-
¡Carge sus propios textos! Gane dinero y un iPhone X. -
-
¡Carge sus propios textos! Gane dinero y un iPhone X. -
-
¡Carge sus propios textos! Gane dinero y un iPhone X. -
-
¡Carge sus propios textos! Gane dinero y un iPhone X. -
-
¡Carge sus propios textos! Gane dinero y un iPhone X. -
-
¡Carge sus propios textos! Gane dinero y un iPhone X.