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

被引:1
作者
何华灿
机构
[1] 西北工业大学计算机学院
关键词
数学; 命题; 超协调逻辑; 经典逻辑; 标准逻辑; 金成;
D O I
暂无
中图分类号
O141.1 [命题演算、谓词演算、类演算];
学科分类号
070104 ; 010104 ; 010105 ;
摘要
<正>1一个"平凡人"的不平凡贡献1)"S型超协调逻辑"是我国学者张金成自创的一种逻辑,与它最接近的系统有巴西的"次协调逻辑"、美国的"不协调逻辑"和澳大利亚的"R型超协调逻辑",不同的是他们都是通过直接约束矛盾律的有效使用范围来包含"无害矛盾",而张金成是在坚持排斥"逻辑矛盾"的同时,直接把"辩证矛盾"作为逻辑系统的研究对象,其"数理辩证逻辑"的指向更加明确。张金成的论文《逻辑及数学演算中的不动项与不可判定命题》(以下简称为《张文》)是在S型超协调逻辑基础上的一项重大研究突破,取得
引用
收藏
页码:511 / 514
页数:4
相关论文
empty
未找到相关数据