刻画知识与信念的自信逻辑系统  

Self-belief logic systems for depicting Rnowledge and belief

作　　者：郭泽深[1] 梁义民[2] 

机构地区：[1]湛江师范学院,广东湛江524048 [2]湛江师范学院法政学院,广东湛江524048

出　　处：《青岛科技大学学报（社会科学版）》2005年第4期72-75,共4页Journal of Qingdao University of Science and Technology(Social Sciences)

摘　　要：理性认知主体的知识与信念具有可反省性、知识向信念转化等特征。我们可仿造真性模态逻辑的技术方法定义普遍有效式,构造极小正规认知系统ME。该系统具有可靠性和完备性,在此基础上添加一些公理序列可得到许多不同的正规认知逻辑系统。这些系统都从某种意义上刻画了知识与信念,揭示了二者的区别与联系。出于不同的认识论观点,这些系统在公理序列的选择、刻画知识与信念的程度、推理能力等方面存在着一定的差别。Agents＇ knowledge and belief have the features sueh as reflexibility and knowledge-belief eonverlibility. We can construct ME by using the technical methods in modal logics to define general valid formulae. The system is sound and complete, and based on it we can obtain different normal cognition logics by adding a series of axiom sequences. These systems depict knowledge and belief in some sense and reveal the difference and relationship between them. In distinct epistemology views, the systems differ with respect to the selection of axiom sequences, the extent of depleting knowledge and belief and reasoning ability.

关 键 词：认知逻辑 知识 信念 正规性 普遍有效性 

分 类 号：B815.3[哲学宗教—逻辑学]