Leseprobe
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
Ende der Leseprobe aus 26 Seiten
- Arbeit zitieren
- Christian Dörnte (Autor:in), 2015, Äquivalenz von Modalitäten de dicto und de re als Folge der Barcanschen Formeln, München, GRIN Verlag, https://www.grin.com/document/345029
Kostenlos Autor werden
✕
Leseprobe aus
26
Seiten
Kommentare