论文部分内容阅读
理性认知主体的知识与信念具有可反省性、知识向信念转化等特征.我们可仿造真性模态逻辑的技术方法定义普遍有效式,构造极小正规认知系统ME.该系统具有可靠性和完备性,在此基础上添加一些公理序列可得到许多不同的正规认知逻辑系统.这些系统都从某种意义上刻画了知识与信念,揭示了二者的区别与联系.出于不同的认识论观点,这些系统在公理序列的选择、刻画知识与信念的程度、推理能力等方面存在着一定的差别.