论文部分内容阅读
Quine提出了一类有关信念模态的难题，比如Cicero难题，这些难题的解读对模态逻辑语义具有重要的意义。目前的一阶模态逻辑普遍给予Quine难题以dere／dedicto解读。本文指出de re／de dicto解读存在缺陷，并且认为为了解读Quine难题，需要在一阶模态逻辑的模型中引入一个认知反映关系。在此观念下，本文提出了一个新的一阶模态逻辑系统——基于认知反映的信念逻辑。