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

DSpace Repository

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
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: PhDThesis
Date: 2006
Language: English
Faculty: 5 Philosophische Fakultät
Department: Philosophie
Advisor: Schroeder-Heister, Peter
Day of Oral Examination: 2006-02-08
DDC Classifikation: 100 - Philosophy
Keywords: Modalität
Other Keywords: Modalität , Prädikation , quantifizierte Modallogik , substitutionelle Quantifikation , substitutionelle Semantik
modality , predication , quantified modal logic , substitutional quantification , substitutional semantics
License: 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
Order a printed copy: Print-on-Demand
Show full item record

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.

This item appears in the following Collection(s)