弗协调逻辑的哲学解读

"弗协调逻辑"(paraconsistent logic),又译作"次协调逻辑"、"超协调逻辑",是非经典逻辑的一个新兴分支.它是一种不能从矛盾推出一切的逻辑理论.巴西逻辑学家达·科斯塔(Da Costa,1929-)在"不协调系统的命题演算"(1963)和"不协调系统的理论"(1974)两篇论文中构造了弗协调命题演算系统Cn、弗协调谓词演算系统Cn*(不带等词)和Cn=(带等词)及弗协调的摹状词演算系统Dn,从而开创了弗协调逻辑."弗协调逻辑"一词是由秘鲁哲学家奎萨达(Quesada)在1976年的国际逻辑会议上首次提出的,它表示在这种逻辑中,当矛盾律被削弱、不再普遍有效之后,仍能保持一种稍弱的协调性.由于这一词更恰当地表达了科斯塔创立的"非协调形式系统"的本质特征,所以很快得到逻辑学界的认可,从此为大家所使用.与经典逻辑(指弗雷格开创的一阶逻辑)相比,弗协调逻辑有以下两个特点:(1)矛盾律在其中不普遍有效;(2)在其中从相互矛盾的两个前提推不出一切公式.但是另一方面,在保证了上述两点的前提下它又包含了经典逻辑中最重要的定理模式和规则.弗协调逻辑适合作为经典逻辑所无法处理的弗协调理论的基础.自科斯塔创立弗协调逻辑之后,许多逻辑学家开始沿着科斯塔的系统做更为深入的研究,并将它应用于其他非经典逻辑,得到了许多全新的逻辑系统,例如我国逻辑学家张清宇将弗协调逻辑推广到模态、时态层次.1]

Paraconsistent Logic Expilcated in Terms of Philosophy