对我国两个著名的数理逻辑系统的评析——为建构我国的数理辩证逻辑系统献言  

作　　者：马佩[1] 

机构地区：[1]河南大学哲学与公共管理学院,河南开封475001

出　　处：《中州学刊》2009年第4期137-141,共5页Academic Journal of Zhongzhou

摘　　要：从"数理辩证逻辑的对象问题"、"数理辩证逻辑与经典数理逻辑的关系问题"、"数理辩证逻辑的常项问题"三个方面来评析,赵总宽教授的《数理辩证逻辑导论》一书建构的逻辑系统更宜称为非经典逻辑中的扩展逻辑。以桂起权教授等著的《次协调逻辑与人工智能》一书为样本,对次(弗)协调逻辑系统进行评析的结果表明,该系统的根本缺陷在于混淆了"逻辑矛盾"、"谈判矛盾"、"辩证矛盾"三个不同的概念,从而对不矛盾律、司脱克规则的否定也是不当的。

关 键 词：数理逻辑 数理辩证逻辑 经典数理逻辑 逻辑矛盾 辩证矛盾 

分 类 号：B81-0[哲学宗教—逻辑学]