Proof-theoretic semantics of intensional transitive verbs

内涵及物动词的证明理论语义

• 批准号: 214880918
• 负责人: Dr. Bartosz Wieckowski
• 金额: --
• 依托单位: Institut für Philosophie
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2012
• 资助国家: 德国
• 起止时间: 2011-12-31 至 2013-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/214880918?language=en
• 关键词: Proof; theoretic; semantics; intensional; transitive

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.

他说：“这是一项伟大的工程，也是一项非常重要的工作。这是一种典型的语法分析方法，是一种新的、更具传递性和传递性的技术，它的形式是形式主义，而不是传统的物流技术。这是一种非常重要的理论和技术方法，也是一种哲学思想。

项目成果

Refinements of subatomic natural deduction

亚原子自然演绎的改进

• DOI: 10.1093/logcom/exu046
• 发表时间: 2016
• 期刊: J. Log. Comput.
• 作者: Bartosz Wieckowski

Constructive belief reports

建设性信念报告

• DOI: 10.1007/s11229-014-0540-0
• 发表时间: 2015
• 期刊: Synthese
• 影响因子: 1.5
• 作者: Bartosz Wieckowski