| 次协调逻辑 paraconsistent logic 亦称“弗协调逻辑”、“超协调逻辑”。一种非标准逻辑，主要特点是否定矛盾律的普遍有效性。任何限制、改造经典矛盾律的系统都是次协调逻辑系统。构造次协调逻辑的一个重要动机就是承认有价值有意义的(nontrivial)矛盾命题的地位，并保证从矛盾命题只能推出一定的命题而非全部的命题。1910年卢卡西维茨就已对矛盾律的普遍有效性提出过质疑。同时，俄国逻辑学家瓦西里耶夫也表达了类似的思想。40年代末，卢卡西维茨的学生雅斯可夫斯基构造了第一个次协调逻辑的命题演算系统，他把这种系统称作“会谈逻辑”。在几个人参加的会谈中，由于各自的立场和对问题的理解不同，往往难以形成统一的见解。雅斯可夫斯基的办法是使真值相对化，即把“真”解释为对会谈者各自的立场(各自的“可能世界”)为真，这样就能在会谈中达成谅解和协调。较为完善的次协调逻辑理论是由巴西逻辑学家达科斯塔(da Costa)及其合作者于60年代建立的，他们先后构造了好几个次协调逻辑系统，包括命题逻辑系统，谓词演算系统(带等号或不带等号的)，相应的摹状词演算及其在集合论上的某些应用。达科斯塔的逻辑演算能满足以下三个基本要求：(1)矛盾律(A∧A)不再是普遍有效的;(2)从两个相互矛盾的前提A与A出发，不能一般地推演出任意命题B，即矛盾不会任意扩散;(3)在以上两个前提下尽可能多地保留标准逻辑的推理规则和定理。 |