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

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