Proof-Theoretic Foundations of Intensional Semantics. Counterfactuals of belief and knowledge

内涵语义学的证明理论基础。

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

Contemporary intensional semantics rests on model-theoretic foundations. The overall scientific objective of the project is to contribute to the development of proof-theoretic foundations for intensional semantics and to explore the logical, semantic, and philosophical fruitfulness of the contribution. The renewal of this project aims at developing a proof-theoretic semantics for counterfactuals of the form 'If it were the case that A, then it would be the case that B' which are central to ordinary and scientific counterfactual reasoning. The semantics is to be in agreement with an intuitionistic conception of truth as provability. Moreover, it is to be autarkic with respect to its foundations. Specifically, it should not rest on a proof system that is defined on the basis of a model-theoretic semantics. Given the fact that the logic and semantics of counterfactuals is currently almost exclusively studied in terms of formal systems which extend or presuppose classical logic, the project enters an almost unexplored area. Building on previous work, the focus will be confined to constructions which combine counterfactual conditionals with the intensional attitude verbs 'believe' and 'know'.

当代内涵语义学建立在模型论基础之上。该项目的总体科学目标是为内涵语义学的证据理论基础的发展做出贡献，并探索其贡献的逻辑，语义和哲学成果。该项目的更新旨在为“如果A是这种情况，那么B将是这种情况”的形式的反事实开发一个证明理论语义学，这是普通和科学的反事实推理的核心。语义学是与真理作为可证明性的直觉主义概念相一致的。此外，就其基础而言，它是自给自足的。具体来说，它不应该依赖于一个基于模型论语义定义的证明系统。鉴于反事实的逻辑和语义目前几乎完全是在扩展或假设经典逻辑的形式系统方面进行研究的，该项目进入了一个几乎未探索的领域。在以前工作的基础上，重点将局限于联合收割机反事实条件句与内涵态度动词“相信”和“知道”相结合的结构。

项目成果

Intuitionistic multi-agent subatomic natural deduction for belief and knowledge

信仰和知识的直觉多智能体亚原子自然演绎

• DOI: 10.1093/logcom/exab013
• 发表时间: 2021
• 期刊: J. Log. Comput.
• 作者: Więckowski

Subatomic Negation

亚原子否定

• DOI: 10.1007/s10849-020-09325-4
• 发表时间: 2021
• 期刊: Journal of Logic, Language and Information
• 作者: Więckowski