文献类型：期刊文献

中文题名：互逆主义逻辑与古典逻辑比较

英文题名：A Comparison of Mutually-inversistic Logic and Classical Logic

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

第一作者：王郁昕

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

第一机构：北京联合大学智慧城市学院

年份：2006

卷号：20

期号：3

起止页码：43-47

中文期刊名：北京联合大学学报

语种：中文

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

外文关键词：classical logic; mutually-inversistic logic; substantial implicational paradox; mutually-inversistic implica-tion ; binary cognitive process ; inductive composition ; decomposition

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