弗完全逻辑P1及其容忍悖论的逻辑机制.pdfVIP

第 42卷第 1期 四川师范大学学报 社会科学版 Vo1．42，No．1 2015年 1月 JournalofSichuanNormalUniversity SocialSciencesEdition January，2015 弗完全逻辑 P。 及其容忍悖论的逻辑机制 郝旭东，张建军 南京大学 哲学系，南京 210023 摘要 ：弗完全逻辑 P。是一种 允许一个命题及其否定可 以同时都为假 的逻辑系统 ，即在该逻辑系统 中一般意义 的排中律将不再有效。文章在给出的标准语法和语义的基础上，对弗完全否定的逻辑涵义进行 了直观解释，并分 析 了其逻辑语义特征 ；给 出了弗完全逻辑拟真值表 的具体列法，表 明了系统 P，的可判定性 ；利用拟真值表方法，表 明了一般意义排 中律在 P。中的失效 ；对弗完全逻辑 P，可以容忍逻辑悖论 的逻辑机制进行 了解析 ，并就此将 弗协 调逻辑 c 和P．进行 了容忍能力的比较。 关键词 ：弗完全逻辑 ；排 中律 ；真矛盾 ；逻辑悖论 ；弗协调 中图分类号 ：B815 文献标志码 ：A 文章编号 ：1000—5315 2015 O1—0010．05 “弗完全 ” paracomplete 是 “弗协调 ” paraconsis- 值逻辑可 以划归为弗完全逻辑 ，但这三者之 间在诞生 tent，又译 “次协调 ”、“亚相容 ”、“超一致 ”等 的对偶 缘 由、发展历程和构建 的方法与 目的上有着根本不 同。 dua1 概念 ，此概念最早是 由弗协调逻辑学家罗普瑞 本文所讨论 的弗完全逻辑 ，主要是指那些通过使用类 克、达 ·科斯塔 、马可尼等人在上世纪 8O年代 中期 引 似于构建弗协调逻辑 的方法而构建 出来 的弗完全逻 入 的。弗协调逻辑 的特异性质是一般意义 的矛盾律在 辑 ；因而 ，本文考察弗完全逻辑思想和理论 的角度 ，也 其逻辑系统 中失效 ，而弗完全逻辑则是指那些一般意 是 以弗协调逻辑为基始 的。 义的排中律在其中失效的逻辑系统。使得矛盾律失效 罗普瑞克和达 ·科斯塔于 1984年在 《弗协调性 、 也许会引起不小的争议，但许多逻辑学家可以接受经 弗完全性和赋值》 一文中首次明确定义了 “弗完全 典排 中律在某些逻辑系统 中的失效 。因为卢卡西维 逻辑”概念 ：如果某个理论允许一个命题及其否定 同时 茨、波斯特 、布劳威尔、海廷等人在多值逻辑 、直觉主义 都为假 ，那么该理论就是弗完全 的；允许一个公式及其 逻辑 的工作 ，足 以表明经典排 中律在逻辑直觉 明晰性 否定可 以同时为假 ，从而可用作弗完全理论之基础 的 上的缺乏。正是在这个意义上 ，达 ·科斯塔和马可尼 逻辑系统 ，就是弗完全逻辑 。该文首次使用 了弗完全 认为，直觉主义逻辑和一些多值逻辑都是弗完全 的 。 理论 、弗完全逻辑概念 ，但并没有给出一个具体的弗完 弗完全概念 的提 出，也使得诸多经典排 中律在其 中失 全逻辑系统。但很快 ，达 ·科斯塔和马可尼便于 1986 效的逻辑系统因此而归为 了同类 。 年在 《弗完全逻辑注记》…一文 中较为完整地给 出了 一 弗完全逻辑 的提 出与发展 弗完全逻辑系统 P．，并象征性地给 出了P，的 类似于 需要首先 明确 的是，尽管直觉主义逻辑和一些多 弗协调逻辑 Cn 1≤n≤ I 的 系列系统 Pn 1≤n≤ 收稿 日期 ：2014—10—10 作者简介：郝旭东 1974一 ，男，山东莘县人，南京大学哲学系博士后，华东师范大学哲学系副教授 、硕士生导师； 张建军 1963一 ，男，河北沧州人 ，南京大学哲学系教授 、博士生导师 。 10 郝旭东 张建军 弗完全逻辑 P．及其容忍悖论 的逻辑机制 m ，特别是明确地给出了弗完全逻辑系统 P 的大体 P，的公理模 式如下 ： 框架 其语法和语义将在后文单独介绍 。达 ·科斯 1 A一 B—A ； 塔和马可尼在该文 中所构建 的弗完全逻辑系统 P．的 2 A B A一 B_+c A— c ； 面貌大体类似于弗协调逻辑 c，并且使得经典排中律 3 A— B—A^B ； 失效的逻辑方法也与 c 相类似 。因此，在这个 意义 4 A^B—A； 上 ，达 ·科斯塔和马可尼称 P。与 c。是对偶 的。这也 5 A^B—B； 是在弗协调逻辑领域第一次开始使用术语 “对偶”。 6 A C 一 B_+C _÷ AVB_+c ； 此后 ，阿贝尔和雅玛施塔于 1995年在 《论拟真势 7 A—AVB； 逻辑》 一文中对 P，的一些具有明显逻辑特征 内定理 8 B—AVB； 进行了补充。此外，贝兹奥于 1999年在 《弗协调逻辑 9 A—B —A —