他连A都知道――认知逻辑EK1-EK31.pdfVIP

他连A都知道――认知逻辑EK1-EK31 （修改稿） 2 李小五 (中山大学逻辑与认知研究所，中山大学哲学系，广东 广州，510275) 【摘要】首先，我们构造认知系统 EK1 －EK3 ，给出它们的一些证明论结果。其次，我们引入邻域语义，给出 EK1 －EK3 的特征公理和规则的框架条件，证明 EK1 －EK3 相对这些框架条件分别是框架可靠的。最后，我们证明 EK1 －EK3 相对这些框架条件分别是框架完全的。 【关键词】认知系统；邻域语义；框架可靠性；框架完全性 Abstract: Firstly, we construct the epistemic systems EK1 －EK3, give some results of their proof theory. Secondly, we introduce the neighborhood semantics, give the frame conditions of the character axioms and rules of EK1 －EK3, prove the frame soundness of EK1 －EK3 with respect to the frame conditions, respectively. Finally, we prove the frame completeness of EK1 －EK3 with respect to the frame conditions, respectively. Key words：epistemic system; neighborhood semantics; frame soundness; frame completeness 中图分类号：B815.1 文献标识码：A 文章编号 1000－7600 （2005 ） 04 －128－09 1 教育部哲学社会科学研究重大课题攻关项目(04JZD0006) 成果之一。 2 作者简介：李小五（1955- ），男，河北涞水人，中山大学逻辑与认知研究所和哲学系教授，主要从事逻辑学研究。 １ 令 A 是一个命题。我们常说：“他连 A 都知 定义 1.1.3 （1）认知系统 EK1 定义如下： 道”。英文中也有类似的用法： （TA ） 所有重言式的代入特例， He even knew A. （KC ） KA∧KB→K(A∧B) ， 为了研究这个常用的自然语言表达式，我们对中 （ SKC ） SKA∧SKB→SK(A∧B) ， （ 山大学哲学系的一部分本科生和研究生做过问 SKF ） SK ⊥。 卷调查，希望了解被调查者关于联结词“连…都 （MP ） A, A→B／B ， 知道”的直观意义。调查结果可以说是众说纷纭。 （RKM ） A→B／KA→KB ， 本文我们用认知逻辑来研究其中的两种说法。 （RSKE ）A↔B／SKA↔SKB 。 本文提到但未定义的概念