| Zitierfähiger Link: |
Bitte nutzen Sie diese URL, um auf das Dokument zu verlinken oder es zu zitieren:
http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-27551 |
| URL: |
http://tobias-lib.uni-tuebingen.de/volltexte/2007/2755/ |
| Hauptberichter: |
Schroeder-Heister, Peter |
| Fakultät: |
07/10 Fakultät für Philosophie und Geschichte |
| Fachgebiet/Einrichtung: |
07/10 Philosophisches Seminar |
| Dokumentart: |
Dissertation |
| Sprache: |
Englisch |
| Erstellungsjahr: |
2006 |
| Publikationsdatum: |
08.02.2007 |
| Tag der mündlichen Prüfung: |
08.02.2006 |
| Kurze Inhaltszusammenfassung auf Englisch |
This dissertation develops a substitutional semantics for first-order (modal) logic which, unlike truth-value semantics, allows a fine-grained analysis of the semantical behaviour of the terms and predicates from which atomic formulae are composed. Moreover, it proposes a nondenotational philosophical foundation for the semantics of substitutional quantified (modal) logic.
|
| Kurze Inhaltszusammenfassung auf Deutsch |
Diese Arbeit präsentiert eine substitutionelle Semantik für die (modale) Prädikatenlogik erster Stufe, die im Gegensatz zur Wahrheitswertsemantik (oder Bewertungssemantik) eine feinkörnige Analyse des semantischen Verhaltens der Terme und der Prädikate erlaubt, aus denen atomare Formeln zusammengesetzt sind. Zudem wird in dieser Arbeit eine nichtdenotationelle philosophische Grundlegung für die Semantik der substitutionell quantifizierten (modalen) Logik vorgeschlagen.
|
| Kontrollierte Schlagwörter (Deutsch): |
Modalität |
| Freie Schlagwörter (Deutsch): |
Modalität , Prädikation , quantifizierte Modallogik , substitutionelle Quantifikation , substitutionelle Semantik |
| Freie Schlagwörter (Englisch): |
modality , predication , quantified modal logic , substitutional quantification , substitutional semantics |
| DDC-Sachgruppe: |
Philosophie |
| Gedruckte Kopie bestellen: |
Print-on-Demand
|
| Lizenz: |
Veröffentlichungsvertrag mit Print-on-Demand
|
PDF 1.176kB
