论文部分内容阅读
形式逻辑的外延排除否定（）与辩证逻辑的内涵反称否定（~）是一对呈正反对称互补关系的否定算子,它们对任意词项的非反否定之外延结果既有同又有异。通过对二极对立统一体和三极对立统一体之构成词项的非反否定演算,引出了此两种逻辑共有的＂米＂字型否定算法之外延结果和辩证逻辑特有的＂日＂字型否定算法之外延结果,并以事实为依据,验证了对此两种性质根本就不相同的否定算法之外延结果的同异性理论分析。