Constructive belief reports
Constructive belief reports
复制标题
建设性信念报告
DOI：
10.1007/s11229-014-0540-0
复制
发表时间：
2015
期刊：
影响因子：
1.5
通讯作者：
Bartosz Wieckowski
中科院分区：
文献类型：
--
作者：
Bartosz Wieckowski
在WięCockowski(Stud Log100：815-853,2012)中提出的构造性类型理论形式主义的基础上扩展了一种适用于信念态度表示的集合形成算子，从而发展了信念报告的证明论语义。扩展的形式主义允许我们解释结构，例如，信念的迭代，量化到信念语境中，以及信念报告中的回指。此外，还对超内涵问题的典型实例提出了建设性的解决方案。本文讨论了兰塔(类型-理论语法，1994)对信念报告的建设性描述。
The paper develops a proof-theoretic semantics for belief reports by extending the constructive type-theoretical formalism presented in Więckowski (Stud Log 100:815–853, 2012) with a specific kind of set-forming operator suited for the representation of belief attitudes. The extended formalism allows us to interpret constructions which involve, e.g., iteration of belief, quantifying into belief contexts, and anaphora in belief reports. Moreover, constructive solutions to canonical instances of the problem of hyperintensionality are suggested. The paper includes a discussion of Ranta’s (Type-theoretical grammar, 1994) constructive account of belief reports.
登录
查看更多内容
命题的真实性、判断的证据、证明的有效性
影响因子：
1.5
作者：
P. Martin
通讯作者：
P. Martin
直觉主义类型理论
DOI：
--
发表时间：
1972
期刊：
影响因子：
--
作者：
P. Martin
通讯作者：
P. Martin
DOI：
--
发表时间：
1994
期刊：
影响因子：
--
作者：
G. Sundholm
通讯作者：
G. Sundholm
超内涵逻辑
DOI：
--
发表时间：
1975
期刊：
影响因子：
--
作者：
M. Cresswell
通讯作者：
M. Cresswell
亚原子推导规则
DOI：
10.1017/s175502031000033x
发表时间：
2010
期刊：
The Review of Symbolic Logic
影响因子：
--
作者：
Bartosz Więckowski
通讯作者：
Bartosz Więckowski