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