S型超协调逻辑中的一项重大研究突破——评张金成《逻辑及数学演算中的不动项与不可判定命题》  

作　　者：何华灿[1] 

机构地区：[1]西北工业大学计算机学院,陕西西安710072

出　　处：《智能系统学报》2014年第4期511-514,共4页CAAI Transactions on Intelligent Systems

摘　　要：1一个“平凡人”的不平凡贡献 1）“S型超协调逻辑”是我国学者张金成自创的一种逻辑，与它最接近的系统有巴西的“次协调逻辑”、美国的“不协调逻辑”和澳大利亚的“R型超协调逻辑”，不同的是他们都是通过直接约束矛盾律的有效使用范围来包含“无害矛盾”，而张金成是在坚持排斥“逻辑矛盾”的同时，直接把“辩证矛盾”作为逻辑系统的研究对象，其“数理辩证逻辑”的指向更加明确。张金成的论文《逻辑及数学演算中的不动项与不可判定命题》（以下简称为《张文》）是在S型超协调逻辑基础上的一项重大研究突破，取得了一系列开创性成果，颠覆了现代数学中许多业已被公认的片面结论。然而，这些开创性研究成果只有在“开放论域”环境中解读，才能显示其存在的意义和思想光芒。如果硬要把它们拉回到“封闭论域”环境中去解读，所有存在的意义和思想光芒必将全部被湮灭，这是由于2种不同逻辑理论的立论基础和研究范畴所决定的，无法避免。

关 键 词：超协调逻辑 现代数学 命题 演算 金 逻辑系统 辩证逻辑 次协调逻辑 

分 类 号：O141.1[理学—数学]