| 刻画知识与信念的自信逻辑系统 |
| |
| 引用本文： | 郭泽深,梁义民. 刻画知识与信念的自信逻辑系统[J]. 青岛科技大学学报(社会科学版), 2005, 21(4): 72-75 |
| |
| 作者姓名： | 郭泽深 梁义民 |
| |
| 作者单位： | 湛江师范学院,广东,湛江,524048;湛江师范学院,法政学院,广东,湛江,524048 |
| |
| 摘 要： | 理性认知主体的知识与信念具有可反省性、知识向信念转化等特征。我们可仿造真性模态逻辑的技术方法定义普遍有效式,构造极小正规认知系统ME。该系统具有可靠性和完备性,在此基础上添加一些公理序列可得到许多不同的正规认知逻辑系统。这些系统都从某种意义上刻画了知识与信念,揭示了二者的区别与联系。出于不同的认识论观点,这些系统在公理序列的选择、刻画知识与信念的程度、推理能力等方面存在着一定的差别。
|
| 关 键 词： | 认知逻辑 知识 信念 正规性 普遍有效性 |
| 文章编号： | 1671-8372(2005)04-0072-04 |
| 修稿时间： | 2005-11-29 |
Self-belief logic systems for depicting Rnowledge and belief |
| |
| GUO Ze-shen,LIANG Yi-min. Self-belief logic systems for depicting Rnowledge and belief[J]. Journal of Qingdao University of Science and Technology, 2005, 21(4): 72-75 |
| |
| Authors: | GUO Ze-shen LIANG Yi-min |
| |
| Affiliation: | GUO Ze-shen1,LIANG Yi-min2 |
| |
| Abstract: | |
| |
| Keywords: | cognition logics knowledge belief normality general validity |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
