弗完全逻辑p1及其容忍悖论的逻辑机制-四川师范大学学报.pdfVIP

第４２卷第 １期 四川师范大学学报（社会科学版） Ｖｏｌ．４２，Ｎｏ．１ ２０１５年１月 Ｊｏｕｒｎａｌ ｏｆ Ｓｉｃｈｕａｎ Ｎｏｒｍａｌ Ｕｎｉｖｅｒｓｉｔｙ （Ｓｏｃｉａｌ Ｓｃｉｅｎｃｅｓ Ｅｄｉｔｉｏｎ） Ｊａｎｕａｒｙ，２０１５ 弗完全逻辑Ｐ１ 及其容忍悖论的逻辑机制 郝旭东，张建军 （南京大学 哲学系，南京 ２１００２３） 　 　 摘要：弗完全逻辑Ｐ 是一种允许一个命题及其否定可以同时都为假的逻辑系统，即在该逻辑系统中一般意义 １ 的排中律将不再有效。 文章在给出的标准语法和语义的基础上，对弗完全否定的逻辑涵义进行了直观解释，并分 析了其逻辑语义特征；给出了弗完全逻辑拟真值表的具体列法，表明了系统Ｐ 的可判定性；利用拟真值表方法，表 １ 明了一般意义排中律在Ｐ 中的失效；对弗完全逻辑Ｐ 可以容忍逻辑悖论的逻辑机制进行了解析，并就此将弗协 １ １ 调逻辑Ｃ 和Ｐ 进行了容忍能力的比较。 １ １ 关键词：弗完全逻辑；排中律；真矛盾；逻辑悖论；弗协调 中图分类号：Ｂ８１５　 文献标志码：Ａ　 文章编号：１０００⁃５３１５（２０１５）０１⁃００１０⁃０５ 　 　 “弗完全”（ｐａｒａｃｏｍｐｌｅｔｅ）是“弗协调”（ｐａｒａｃｏｎｓｉｓ⁃ 值逻辑可以划归为弗完全逻辑，但这三者之间在诞生 ｔｅｎｔ，又译“次协调”、“亚相容”、“超一致”等）的对偶 缘由、发展历程和构建的方法与目的上有着根本不同。 （ｄｕａｌ）概念，此概念最早是由弗协调逻辑学家罗普瑞 本文所讨论的弗完全逻辑，主要是指那些通过使用类 克、达 ·科斯塔、马可尼等人在上世纪８０ 年代中期引 似于构建弗协调逻辑的方法而构建出来的弗完全逻 入的。 弗协调逻辑的特异性质是一般意义的矛盾律在 辑；因而，本文考察弗完全逻辑思想和理论的角度，也 其逻辑系统中失效，而弗完全逻辑则是指那些一般意 是以弗协调逻辑为基始的。 义的排中律在其中失效的逻辑系统。 使得矛盾律失效 罗普瑞克和达 ·科斯塔于 １９８４ 年在《弗协调性、 ［２］ 也许会引起不小的争议，但许多逻辑学家可以接受经 弗完全性和赋值》 一文中首次明确定义了“弗完全 典排中律在某些逻辑系统中的失效。 因为卢卡西维 逻辑”概念：如果某个理论允许一个命题及其否定同时 茨、波斯特、布劳威尔、海廷等人在多值逻辑、直觉主义 都为假，那么该理论就是弗完全的；允许一个公式及其 逻辑的工作，足以表明经典排中律在逻辑直觉明晰性 否定可以同时为假，从而可用作弗完全理论之基础的 上的缺乏。 正是在这个意义上，达 ·科斯塔和马可尼 逻辑系统，就是弗完全逻辑。 该文首次使用了弗完全 ［１］ 认为，直觉主义逻辑和一些多值逻辑都是弗完全的 。 理论、弗完全逻辑概念，但并没有给出一个具体的弗完 弗完全概念的提出，也使得诸多经典排中律在其中失 全逻辑系统。 但很快，达 ·科斯塔和马可尼便于 １９８６ 效的逻辑系统因此而归为了同类。