Proof-theoretic semantics of intensional transitive verbs

点击翻译按钮获取中文摘要

Ziel des Projekts ist es, die Semantik und das logische Verhalten intensionaler transitiver Verben mit den Mitteln der beweistheoretischen Semantik zu analysieren. Dabei soll im Wesentlichen der auf der typenlogischen Grammatik basierende Ansatz von N. Francez und Mitautoren mit Rahmenwerken für das subatomare Schließen kombiniert werden, um einen feinkörnigen Formalismus zu erhalten, mit dessen Hilfe intensionale Phänomene (z.B. Substitutionsresistenz, spezifische/unspezifische Lesarten, Aussetzung ontologischer Verpflichtung), zu denen intensionale transitive Verben Anlass geben, in einer uniformen Weise erklärt werden können und das logische Verhalten dieser Verben (z.B. Monotonizitätsschlüsse, Schlüsse auf ein gemeinsames Ziel) analysiert werden kann. Ein Teilziel des Projekts besteht in einer eingehenden Untersuchung der Vor- und Nachteile beweistheoretischer gegenüber modelltheoretischen Ansätzen, wobei sowohl technische als auch philosophische Aspekte in Betracht gezogen werden sollen.