互逆主义逻辑与古典逻辑比较  

A Comparison of Mutually-inversistic Logic and Classical Logic

作　　者：王郁昕[1] 徐影[2] 

机构地区：[1]北京联合大学信息学院,北京100101 [2]北京联合大学电子信息实验实训基地,北京100101

出　　处：《北京联合大学学报》2006年第3期43-47,共5页Journal of Beijing Union University

摘　　要：提出了古典逻辑中的一些缺陷,分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。互逆主义逻辑提出了二元认识论,通过归纳复合的方法建立命题,通过分解的方法应用命题,从而彻底解决了古典逻辑中的缺陷,并使推理可以机械地进行,便于计算机实现。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.

关 键 词：古典逻辑 互逆主义逻辑 实质蕴涵怪论 互逆蕴涵 二元认识 归纳复合 分解 

分 类 号：O143[理学—数学]