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

发布时间：2017-09-27 22:32

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

  更多相关文章： 金成 不协调逻辑 逻辑系统 次协调逻辑 数理辩证逻辑 命题逻辑 Cantor 逻辑错误 对角线方法 经典逻辑

【摘要】：正1一个"平凡人"的不平凡贡献1)"S型超协调逻辑"是我国学者张金成自创的一种逻辑,与它最接近的系统有巴西的"次协调逻辑"、美国的"不协调逻辑"和澳大利亚的"R型超协调逻辑",不同的是他们都是通过直接约束矛盾律的有效使用范围来包含"无害矛盾",而张金成是在坚持排斥"逻辑矛盾"的同时,直接把"辩证矛盾"作为逻辑系统的研究对象,其"数理辩证逻辑"的指向更加明确。张金成的论文《逻辑及数学演算中的不动项与不可判定命题》(以下简称为《张文》)是在S型超协调逻辑基础上的一项重大研究突破,取得
【作者单位】： 西北工业大学计算机学院;
【关键词】： 金成;不协调逻辑;逻辑系统;次协调逻辑;数理辩证逻辑;命题逻辑;Cantor;逻辑错误;对角线方法;经典逻辑;
【分类号】：O141.1
【正文快照】： 1一个“平凡人”的不平凡贡献1)“S型超协调逻辑”是我国学者张金成自创的一种逻辑,与它最接近的系统有巴西的“次协调逻辑”、美国的“不协调逻辑”和澳大利亚的“R型超协调逻辑”,不同的是他们都是通过直接约束矛盾律的有效使用范围来包含“无害矛盾”,而张金成是在坚持排斥，

本文编号：932311