| dc.contributor.advisor |
Schroeder-Heister, Peter |
de_DE |
| dc.contributor.author |
Wieckowski, Bartosz |
de_DE |
| dc.date.accessioned |
2007-02-08 |
de_DE |
| dc.date.accessioned |
2014-03-18T09:52:37Z |
|
| dc.date.available |
2007-02-08 |
de_DE |
| dc.date.available |
2014-03-18T09:52:37Z |
|
| dc.date.issued |
2006 |
de_DE |
| dc.identifier.other |
275058867 |
de_DE |
| dc.identifier.uri |
http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-27551 |
de_DE |
| dc.identifier.uri |
http://hdl.handle.net/10900/46279 |
|
| dc.description.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. |
en |
| dc.description.abstract |
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. |
de_DE |
| dc.language.iso |
en |
de_DE |
| dc.publisher |
Universität Tübingen |
de_DE |
| dc.rights |
ubt-podok |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en |
en |
| dc.subject.classification |
Modalität |
de_DE |
| dc.subject.ddc |
100 |
de_DE |
| dc.subject.other |
Modalität , Prädikation , quantifizierte Modallogik , substitutionelle Quantifikation , substitutionelle Semantik |
de_DE |
| dc.subject.other |
modality , predication , quantified modal logic , substitutional quantification , substitutional semantics |
en |
| dc.title |
Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance. |
en |
| dc.title |
Modalität ohne Referenz. Eine alternative Semantik für die substitutionelle quantifizierte Modallogik und ihre philosophische Signifikanz. |
de_DE |
| dc.type |
PhDThesis |
de_DE |
| dcterms.dateAccepted |
2006-02-08 |
de_DE |
| utue.publikation.fachbereich |
Philosophie |
de_DE |
| utue.publikation.fakultaet |
5 Philosophische Fakultät |
de_DE |
| dcterms.DCMIType |
Text |
de_DE |
| utue.publikation.typ |
doctoralThesis |
de_DE |
| utue.opus.id |
2755 |
de_DE |
| thesis.grantor |
07/10 Fakultät für Philosophie und Geschichte |
de_DE |
