知识-wh和错误信念敏感性：一项逻辑研究（扩展摘要）
摘要：称为提及某知识（MS-知识）的一种方式来处理知识- wh 在认识逻辑中多年来一直存在争议。哲学家和语言学家对这种解释的充分性和必要性提出了质疑：有人认为知识-wh除了MS-知识之外还具有对错误信念（FS）的敏感性；还有人认为知识-wh只可能意味着提及某个真实的信念（MS-真实信念）。在本文中，我们对所有这些不同的解释进行了逻辑研究。我们应用了捆绑运算符的技术，引入了四个不同的捆绑运算符：$[mathsf{tB}^mathtt{MS}]^x phi := exists x (mathsf{[B]} phi wedge phi)$, $[mathsf{tB}^mathtt{MS}\_mathtt{FS}]^x phi := exists x (mathsf{[B]} phi wedge phi) wedge forall x (mathsf{[B]} phi o phi)$, $[mathsf{K}^mathtt{MS}]^x phi := exists x mathsf{[K]} phi$ and $[mathsf{K}^mathtt{MS}\_mathtt{FS}]^x phi := exists x mathsf{[K]} phi wedge forall x (mathsf{[B]} phi o phi)$, 这些运算符分别表示MS-真实信念、带有FS的MS-真实信念、MS-知识和带有FS的MS-知识的概念。我们对将上述运算符（以及$mathsf{[K]} $）作为原始模态在$ S4.2 $-constant-domain模型的类上公理化了这四个逻辑，并比较了得到的逻辑的推理模式，以展示四种知识-wh的解释相互之间的区别以及它们的共同点。
作者：Yuanzhe Yang (Department of Philosophy and Religious Studies, Peking University)
论文ID：2307.05073
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-12