Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.

DSpace Repositorium (Manakin basiert)

Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.

Modalität ohne Referenz. Eine alternative Semantik für die substitutionelle quantifizierte Modallogik und ihre philosophische Signifikanz.

Wieckowski, Bartosz
Dateien:
Thumbnail
1.14 MB
PDF
Zitierfähiger Link (URI): http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-27551
http://hdl.handle.net/10900/46279
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-462791
Dokumentart: Dissertation
Erscheinungsdatum: 2006
Sprache: Englisch
Fakultät: 5 Philosophische Fakultät
Fachbereich: Philosophie
Gutachter: Schroeder-Heister, Peter
Tag der mündl. Prüfung: 2006-02-08
DDC-Klassifikation: 100 - Philosophie
Schlagworte: Modalität
Freie Schlagwörter: Modalität , Prädikation , quantifizierte Modallogik , substitutionelle Quantifikation , substitutionelle Semantik
modality , predication , quantified modal logic , substitutional quantification , substitutional semantics
Lizenz: http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en
Gedruckte Kopie bestellen: Print-on-Demand
Zur Langanzeige

Inhaltszusammenfassung:

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.

Abstract:

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.

Das Dokument erscheint in: