2026-09-18T17:02:32Zhttps://publikationen.uni-tuebingen.de/oai/requestoai:publikationen.uni-tuebingen.de:10900/462792019-10-30T02:14:39Zcom_10900_42126col_10900_42131
Publikationssystem UB Tuebingen
advisor
Schroeder-Heister, Peter
author
Wieckowski, Bartosz
2007-02-08
2006
275058867
http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-27551
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.
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.
en
ubt-podok
Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.
PhDThesis
URL
https://publikationen.uni-tuebingen.de/xmlui/bitstream/10900/46279/1/pdf/dissbwc.pdf
File
MD5
403f400a3c868c325aaa002a56059063
1203755
application/pdf
pdf/dissbwc.pdf
URL
https://publikationen.uni-tuebingen.de/xmlui/bitstream/10900/46279/3/pdf/dissbwc.pdf.txt
File
MD5
55d790432877f51e9bd2d01bbcafc01b
653789
text/plain
pdf/dissbwc.pdf.txt