| 非标准逻辑基础上的知识逻辑SI |
| |
| 引用本文： | 许涤非. 非标准逻辑基础上的知识逻辑SI[J]. 湖南科技大学学报(社会科学版), 2005, 8(4): 38-42 |
| |
| 作者姓名： | 许涤非 |
| |
| 作者单位： | 中国人民大学,哲学系,北京,100872 |
| |
| 摘 要： | 实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的,但是二者并不是在任何逻辑中都一致。建立在非经典逻辑基础上的知识逻辑SI允许存在不一致的信息,但是却不会得出"任意结论"。SI仍有完全逻辑全能,但是在一定程度上实现了对逻辑全能的控制。
|
| 关 键 词： | 逻辑全能 标准的可能世界语义学语义 Kn-系统 实质蕴涵 逻辑蕴涵 |
| 文章编号： | 1672-7835(2005)04-0038-05 |
| 修稿时间： | 2005-03-05 |
The Knowledge Logic SI Based on the Nonstandard Logic |
| |
| XU Di-fei. The Knowledge Logic SI Based on the Nonstandard Logic[J]. journal of hunan university of science&technology, 2005, 8(4): 38-42 |
| |
| Authors: | XU Di-fei |
| |
| Abstract: | Material and logical implication coincide in the classical logic, however they do not coincide in every logics. The Knowledge Logic SI based on the non-standard logic allows incoherent information state, but not everything can derive from it. SI is still full logical omniscient, after all they actually to some extent control the logical omniscience. |
| |
| Keywords: | Logical Omniscience Standard Possible Worlds Semantics Kn-system Material Implication Logical Implication |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
