计算机科学 ›› 2008, Vol. 35 ›› Issue (2): 157-159.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要: Quine提出了一类有关信念模态的难题,比如Cicero难题,这些难题的解读对模态逻辑语义具有重要的意义。目前的一阶模态逻辑普遍给予Quine难题以dere/dedicto解读。本文指出de re/de dicto解读存在缺陷,并且认为为了解读Quine难题,需要在一阶模态逻辑的模型中引入一个认知反映关系。在此观念下,本文提出了一个新的一阶模态逻辑系统——基于认知反映的信念逻辑。
关键词: 信念 认知反映 一阶模态逻辑
Abstract: Quine has introduced some problems about belief modality, such as Cicero problem. The semantic interpretation of these problems is significant for first-order modal logic. This paper discusses the limitation of the de re/de dicto interpretation for the Qu
Key words: Belief, Cognitive reflection, First-order modal logic
. 基于认知反映的信念逻辑[J]. 计算机科学, 2008, 35(2): 157-159. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I2/157
Cited