汉语“知道”的逻辑刻画
A Logic of Knowledge in the Mandarin Chinese Setting

经典认知逻辑中的知道算子具有性质“知道的皆为真”，但这不符合汉语直观。在汉语中，所知之事的真假还取决于认识能力的高低。本文提出一种觉知模型来解释汉语中的“知道”。在此类模型下，“知道？”可以解读为“在当前觉知情形下认识到？”。当前状态并不一定被觉知，由此解决所知皆真的问题。文章引入觉知语义学，将其与信念逻辑进行对比，然后给出公理系统并证明其完全性。