弗协调逻辑的元理论问题
本文以科斯塔弗协调逻辑系统的技术处理为依据来分析命题A与其弗协调否定-A之间的逻辑关系、弗协调矛盾和不矛盾律与经典逻辑矛盾和不矛盾律的差别;指出科斯塔弗协调逻辑不是真正意义上的弗协调逻辑，但是科斯塔弗协调逻辑作为非经典逻辑其理论意义是重大的，这正如非欧几何之与欧氏几何;受弗协调逻辑启发，最后建立了一个兼容经典否定、弗协调否定、构造性否定和变动否定的逻辑系统，在该系统内，既有遵守矛盾律而不遵守排中律的构造性否定算子，又有不遵守矛盾律而遵守排中律的弗协调否定算子，还有既不遵守矛盾律又不遵守排中律的辩证否定算子。
否定 弗协调逻辑 不矛盾律 反对关系
杜国平
南京大学现代逻辑与逻辑应用研究所 南京航空航天大学计算机系
国内会议
南京
中文
421-434
2006-10-28（万方平台首次上网日期，不代表论文的发表时间）