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

摘要：

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

机标关键词：超协调逻辑、数学演算、可判定、逻辑矛盾、次协调逻辑、直接约束、研究范畴、研究对象、研究成果、逻辑系统、思想、使用范围、逻辑理论、逻辑基础、立论基础、解读、环境、辩证矛盾、辩证逻辑、澳大利亚

分类号：TP3;TP1

在线出版日期：2014-09-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：511-514