| 互逆主义逻辑与古典逻辑比较 |
| |
| 引用本文： | 王郁昕,徐影.互逆主义逻辑与古典逻辑比较[J].北京联合大学学报(自然科学版),2006,20(3):43-47. |
| |
| 作者姓名： | 王郁昕 徐影 |
| |
| 作者单位： | 北京联合大学,信息学院,北京,100101;北京联合大学,电子信息实验实训基地,北京,100101 |
| |
| 摘 要： | 提出了古典逻辑中的一些缺陷,分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。互逆主义逻辑提出了二元认识论,通过归纳复合的方法建立命题,通过分解的方法应用命题,从而彻底解决了古典逻辑中的缺陷,并使推理可以机械地进行,便于计算机实现。
|
| 关 键 词： | 古典逻辑 互逆主义逻辑 实质蕴涵怪论 互逆蕴涵 二元认识 归纳复合 分解 |
| 文章编号： | 1005-0310（2006）03-0043-05 |
| 收稿时间： | 2006-03-06 |
| 修稿时间： | 2006年3月6日 |
A Comparison of Mutually-inversistic Logic and Classical Logic |
| |
| WANG Yu-xin,XU Ying.A Comparison of Mutually-inversistic Logic and Classical Logic[J].Journal of Beijing Union University,2006,20(3):43-47. |
| |
| Authors: | WANG Yu-xin XU Ying |
| |
| Institution: | 1. Information College of Beijing Union University, Beijing 100101, China; 2. Electronic Information Experimental Training Center of Beijing Union University, Beijing 100101, China |
| |
| Abstract: | While pointing out some defects of classical logic,the paper attributes them to substantial implication being directly applied to inference.The mutually-inversistic logic proposes the concept of binary cognitive process.The proposition is constituted by means of inductive composition and is applied by means of decomposition in the mutually-inversistic logic.By using these methods the mutually-inversistic logic eliminates the defects existing in classical logic and enables inference to proceed automatically on the computer. |
| |
| Keywords: | classical logic mutually-inversistic logic substantial implicational paradox mutually-inversistic implication binary cognitive process inductive composition decomposition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
