弗协调逻辑思想述评.docVIP

　　弗协调逻辑思想述评 弗协调逻辑思想述评 一、协调性和足道性 　　协调性是逻辑学中重要的概念。我们可以从不同角度表述协调性这一概念的内涵：一个演绎系统是协调的，当且仅当没有两个矛盾的公式A和」A在该系统中都是可推导出的公式的一个集合X，如果有X作为它的公理系统是协调的，根据明显或不明显的假定可导出性规则，没有矛盾是由X可证的，那么该集合就是协调的。[1]说在语言L中的一个理论△是对于一个特定的证明演算是协调的，如果该演算没有给出由在△中的假设获得┴的证明的话。[2]而一个理论T是不协调的，如果T的每个公式都是T的一个定理的话，或者说对于某公式A，如果A和非A二者都是T的定理，那么T就是不协调的。[3] 　　设S表示理论T的语言中全部语句所形成的集合，如果S中的语句都是T的定理，那么就称T为不足道的，否则T就是足道的。如果一种理论是足道的而且又是不协调的，那么就说该理论是弗协调的。不足道的不协调理论并无研究的必要，但是并非不足道的不协调理论就不一样了。并非不足道的不协调理论被称为弗协调理论，能用作弗协调理论的基础的逻辑就是弗协调逻辑。非形式地说，弗协调逻辑是这样的一个系统，它致力于某些矛盾理论逻辑基础的研究，在这样的系统中尽管存在着矛盾，但并不能证明所有一切是，而且它是足道的。简言之，弗协调逻辑是能够容纳矛盾但却不能从矛盾推出一切的逻辑理论。否则，一个逻辑系统就是扩散性的、没有意义的或者说是平庸的、平凡的。于是弗协调逻辑允许限制矛盾的作用，减少矛盾在一些场合的破坏力。 　　二、弗协调逻辑的缘起 　　弗协调逻辑这一名称是在1976年第三届拉丁美洲数理逻辑讨论会上由秘鲁哲学家奎萨达（Miro Quesada， F.）提出的。它的真正开创者是巴西逻辑学家科斯塔（Da Costa， N.C.A.）。现在弗协调逻辑领域的研究正蓬勃发展，它在哲学和方法论科学，在数学、语言学和计算机科学诸多领域找到了应用。 　　弗协调逻辑的出现是源于对矛盾律的质疑。众所周知，矛盾律又叫禁止矛盾律，尽管人们对它的解释有所不同，但都把它看作经典逻辑的重要规律，而传统逻辑把它跟排中律和同一律并称为人类思维的三大基本规律，有人甚至把无矛盾性跟逻辑性视为同一。矛盾律通常有两种表述形式：⑴对于所有x和所有属性P，不能x是P又x不是P；⑵对于所有命题A，不能同时断定A和非A。这跟亚里士多德最初的表述相一致，他提出的关于矛盾律的表述是：同样属性在同一情况下不能同时属于又不属于一个主本文由.L是P和不是P 　　所有x是M 　　所有x是P和不是P 　　拒绝具有形式⑴的作为部分的矛盾律时，他承认具有形式⑵的矛盾律，称它为真和假绝对差别律、不自相矛盾律。不难看出，矛盾律和真假绝对差别律或不自相矛盾律不是同一规律的两种表达形式，而是两种完全不同的规律。一个规律转向世界，转向客体，即不能在那里有矛盾，而他认为可以设想一个有矛盾的世界，在那里可以存在具有矛盾属性的客体。而另一条规则禁止内部矛盾，没有它任何逻辑都不可能，于是它允许运作于内部矛盾判断的思维规律。瓦西里耶夫的研究属于弗协调逻辑前史。 　　卢卡西维茨从研究亚里士多德三段论开始，他注意到三段论不依赖于矛盾律。于是，根据亚里士多德意见，矛盾原则至少在下述意义上不是最高规律：它为所有其他逻辑公理给出必要前提。由于三段论不依赖于矛盾律，所以，卢卡西维茨试图证明，矛盾律不是像上世纪初认为那样的基本规律。构造无矛盾律的逻辑问题，首先被卢卡西维茨的学生雅斯科夫斯基（Jaskoega;）的弗协调逻辑系统，真正的弗协调逻辑就此诞生了。 　　三、结语 　　弗协调逻辑是一种非经典逻辑，是现代逻辑中非经典逻辑方向的一个比较发达的分支，并具有广阔的应用前景。今天，弗协调逻辑在数学、人工智能领域和计算机方面的应用研究已经引起了学者们的广泛重视，在法律、政治、经济方面的应用也逐渐被人们所关注。