弗完全逻辑P1作为解悖方案的逻辑机制.docVIP

　　弗完全逻辑P1作为解悖方案的逻辑机制 　　弗完全( paraplete) 是弗协调( paraconsis-tent，又译次协调、亚相容、超一致等) 的对偶( dual) 概念，此概念最早是由弗协调逻辑学家罗普瑞克、达科斯塔、马可尼等人在上世纪 80 年代中期引入的。弗协调逻辑的特异性质是一般意义的矛盾律在其逻辑系统中失效，而弗完全逻辑则是指那些一般意义的排中律在其中失效的逻辑系统。使得矛盾律失效也许会引起不小的争议，但许多逻辑学家可以接受经典排中律在某些逻辑系统中的失效。因为卢卡西维茨、波斯特、布劳威尔、海廷等人在多值逻辑、直觉主义逻辑的工作，足以表明经典排中律在逻辑直觉明晰性上的缺乏。正是在这个意义上，达科斯塔和马可尼认为，直觉主义逻辑和一些多值逻辑都是弗完全的［1］。弗完全概念的提出，也使得诸多经典排中律在其中失效的逻辑系统因此而归为了同类。 　　一 弗完全逻辑的提出与发展 　　需要首先明确的是，尽管直觉主义逻辑和一些多值逻辑可以划归为弗完全逻辑，但这三者之间在诞生缘由、发展历程和构建的方法与目的上有着根本不同。本文所讨论的弗完全逻辑，主要是指那些通过使用类似于构建弗协调逻辑的方法而构建出来的弗完全逻辑; 因而，本文考察弗完全逻辑思想和理论的角度，也是以弗协调逻辑为基始的。 　　罗普瑞克和达科斯塔于 1984 年在《弗协调性、弗完全性和赋值》［2］一文中首次明确定义了弗完全逻辑概念: 如果某个理论允许一个命题及其否定同时都为假，那么该理论就是弗完全的; 允许一个公式及其否定可以同时为假，从而可用作弗完全理论之基础的逻辑系统，就是弗完全逻辑。该文首次使用了弗完全理论、弗完全逻辑概念，但并没有给出一个具体的弗完全逻辑系统。但很快，达科斯塔和马可尼便于 1986年在《弗完全逻辑注记》［1］一文中较为完整地给出了弗完全逻辑系统 P1，并象征性地给出了 P1的( 类似于弗协调逻辑 Cn( 1le;nle;omega;) 的) 系列系统 Pn( 1le;nle;omega;) ，特别是明确地给出了弗完全逻辑系统 P1的大体框架( 其语法和语义将在后文单独介绍) 。达科斯塔和马可尼在该文中所构建的弗完全逻辑系统 P1的面貌大体类似于弗协调逻辑 C1，并且使得经典排中律失效的逻辑方法也与 C1相类似。因此，在这个意义上，达科斯塔和马可尼称 P1与 C1是对偶的。这也是在弗协调逻辑领域第一次开始使用术语对偶。 　　此后，阿贝尔和雅玛施塔于 1995 年在《论拟真势逻辑》［3］一文中对 P1的一些具有明显逻辑特征内定理进行了补充。此外，贝兹奥于 1999 年在《弗协调逻辑的前景》［4］一文中探讨了弗协调逻辑和弗完全逻辑之间的对偶关系，他形象地用游戏比喻说，有的游戏可以双方都赢，弗协调逻辑适用于此; 而弗完全逻辑则适用于那种双方都可以输的游戏。贝兹奥认为弗协调逻辑与弗完全逻辑犹如一对夫妻，他也由此而断言，对于每一种弗协调逻辑都存在一个与之对偶的弗完全逻辑;并且，对于每一种弗完全逻辑也都存在一个与之对偶的弗协调逻辑。显然，概念对偶在此处的意义已经更加明确和严格了。换言之，这意味着对偶并不是一个十分宽泛的概念。比如，商讨逻辑是一种弃合型弗协调逻辑( 即放弃经典逻辑合取原则的一种弗协调逻辑，详见张清宇《弗协调逻辑》［5］195－229。下述正加型弗协调逻辑亦参见该文献) ，弗完全逻辑 P1只是正加型弗协调逻辑 C1的对偶逻辑，而不是商讨逻辑的对偶逻辑。 　　作为弗协调逻辑 C1的对偶逻辑，弗完全逻辑 P1也具有与之类似的、可以容忍真矛盾( dialetheia 或 truecontradiction［6］3－6) 的逻辑特性; 这种特异的逻辑特性也可以作为某些真矛盾( 例如悖论) 的处理和解决方案。 　　比如，菲尔德于 2008 年在《从悖论中拯救真理》［7］一书中大篇幅地讨论了悖论的弗完全解决方案; 李慧华、王文方则撰文《试论语义悖论的弗完全理论》［8］，对菲尔德的方案进行了深入解读和剖析，并对其给予了积极评价。尽管菲尔德的弗完全方案与 P1不属于同一种弗完全思想( 前者属于普利斯特所建立的悖论逻辑［6］221－228的对偶逻辑，而后者属于正加型弗协调逻辑的对偶逻辑) ，但两者的基本思想是相通的，即都通过各自不同的逻辑措施，使得一般意义的排中律不再有效。而这种相通的基本思想，也使得它们具有相类似的逻辑功用( 即弗完全逻辑 P1也具有解决和处理某些真矛盾的逻辑功效，我们将在后文详述) 。 　　二 弗完全逻辑 P1的公理模式、语义赋值及其特征 　　 　　从以上语义赋值定义可见，弗完全逻辑 P1有如下语义赋值特征: 　　第一，赋值定义 1( 1) 要求: 当 A 为真时，则￢A 为假。这里，是如果那么，而不是像经典逻辑那样是当且仅当。所以，当 A