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
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 S4
2.5 Das System S5
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 S4
3.3 MWS für S5
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
Zielsetzung & Themen
Die Arbeit untersucht die theoretischen Voraussetzungen und Bedingungen, unter denen die Äquivalenz zwischen den Modalitäten de dicto und de re – begründet durch die Barcanschen Formeln – sowohl in der logischen Syntax als auch in der Mögliche-Welten-Semantik und in Bezug auf natürliche Sprache haltbar ist.
- Grundlagen der modallogischen Syntax (Systeme K, T, S4, S5)
- Beweisführung der Barcanschen Formeln im Kalkül des natürlichen Schließens
- Interpretation der Modaloperatoren innerhalb der Mögliche-Welten-Semantik
- Analyse der Skopusambiguität zwischen Modaloperatoren und Quantoren
- Übertragbarkeit auf epistemische Modalitäten in natürlicher Sprache
Auszug aus dem Buch
4.1 Skopusambiguität der Modaloperatoren
Wie lässt sich die unterschiedliche Bedeutung der beiden modalen Ausdrücke (17) ◊∃xVx und (18) ∃x◊Vx in CBF2 in der Formalen Semantik beschreiben?
Bei CBF2 handelt es sich um eine Skopusambiguität zwischen Modaloperatoren und Quantoren. In (17) erstreckt sich der Skopus des Möglichkeitsoperators auf die Existenzaussage, dergestalt dass es mindestens ein x gibt für das gilt, dass es die Eigenschaft V hat. In (18) hingegen erstreckt sich der Skopus des Möglichkeitsoperators nicht auf die Existenzaussage, sondern er liegt innerhalb des Skopus der Existenzaussage. Dies gilt analog für die Kombinationen von Notwendigkeitsoperator und Existenzquantor, von Notwendigkeitsoperator und Allquantor und von Möglichkeitsoperator und Allquantor. (vgl.: Lohnstein: S.291 f.) Damit ergibt sich für die mit den Barcanschen Formeln BF1: ∀x□Vx → □∀xVx; BF2: ∃x◊Vx → ◊∃xVx; CBF1: □∀xVx → ∀x□Vx; CBF2: ◊∃xVx → ∃x◊Vx einhergehende Identität von Modalitäten de dicto und de re eine Skopusambiguität zwischen Modaloperatoren und Quantoren.
Für das Beispiel des möglichen Kindes des kinderlosen Wittgenstein kann nun konstatiert werden, dass die Möglichkeit seiner Existenz sich innerhalb des Skopus des Notwendigkeitsoperators befindet.
Zusammenfassung der Kapitel
1. Einleitung: Einführung in die Thematik der Äquivalenz von Modalitäten de dicto und de re sowie Definition der zentralen Fragestellung.
2. Modallogische Syntax: Darstellung der logischen Systeme K, T, S4 und S5 sowie formaler Beweis der Barcanschen Formeln im Kalkül des natürlichen Schließens.
3. Mögliche-Welten-Semantik (MWS): Interpretation der modallogischen Operatoren durch Zugänglichkeitsrelationen in den Systemen T, S4 und S5.
4. Modalitäten de dicto und de re in natürlicher Sprache: Untersuchung der Skopusambiguität und Anwendung der logischen Erkenntnisse auf epistemische Modalitäten in natürlicher Sprache.
5. Schluss: Zusammenfassung der Ergebnisse hinsichtlich der Bedingungen für die Gültigkeit der Barcanschen Formeln in PL+S5.
Schlüsselwörter
Barcansche Formel, Modallogik, de dicto, de re, Mögliche-Welten-Semantik, Syntax, Prädikatenlogik, Skopusambiguität, epistemische Modalität, Kripke, S5, Notwendigkeitsoperator, Möglichkeitsoperator, Kalkül des natürlichen Schließens, Quantoren
Häufig gestellte Fragen
Worum geht es in dieser Arbeit grundsätzlich?
Die Arbeit behandelt die logische Äquivalenz von Modalitäten de dicto (über das Gesagte) und de re (über die Dinge) und ihre Begründung durch die Barcanschen Formeln.
Was sind die zentralen Themenfelder?
Die Themen umfassen modallogische Syntax, Mögliche-Welten-Semantik und deren Anwendung auf sprachwissenschaftliche Fragestellungen der Modalität.
Was ist die primäre Forschungsfrage?
Es wird untersucht, unter welchen Bedingungen die Äquivalenz der Barcanschen Formeln logisch beweisbar, semantisch wahr und auf natürliche Sprache übertragbar ist.
Welche wissenschaftliche Methode wird verwendet?
Die Arbeit nutzt die formale Logik, insbesondere den Kalkül des natürlichen Schließens, und die semantische Analyse auf Basis der Kripke-Semantik.
Was wird im Hauptteil behandelt?
Der Hauptteil gliedert sich in die formale Ableitung in S5, die semantische Interpretation über Zugänglichkeitsrelationen und die linguistische Analyse von Skopusambiguitäten.
Welche Schlüsselwörter charakterisieren die Arbeit?
Zentrale Begriffe sind Barcansche Formeln, Modalität, S5-System, Skopusambiguität und epistemische Notwendigkeit.
Warum ist die Unterscheidung von Modalitäten de dicto und de re so bedeutsam?
Die Unterscheidung ist zentral für das Verständnis, ob sich Modaloperatoren auf die gesamte Aussage oder auf spezifische Entitäten innerhalb einer Aussage beziehen.
Welche Rolle spielt das System S5 in diesem Kontext?
S5 ist das modallogische System, in dem die Barcanschen Formeln als Theoreme gelten, da es Reflexivität, Transitivität und Symmetrie der Weltzugänglichkeit voraussetzt.
- Quote paper
- Christian Dörnte (Author), 2015, Äquivalenz von Modalitäten de dicto und de re als Folge der Barcanschen Formeln, Munich, GRIN Verlag, https://www.hausarbeiten.de/document/345029
