李珂

南京大学哲学系

like0628@163.com

刘飞

南京森林警察学院基础部

life1985@163.com

双面真理论（dialetheism，以下简称“双真论”）是在亚相容逻辑（paraconsistent logic）研究中提出的一种哲学思想，即在一定意义上承认“真矛盾”或“真值叠加（glut）”的思想。以此为思想背景而构建的逻辑理论称为双真论理论。经过数十年的探讨，主张双真论的学者就如下问题已达成共识：使用以LP（Logic of Paradox）为代表的双真论理论能够较好地解决集合论悖论和语义悖论。一直以来，这被视为LP最独特、最重要的解题功能之所在。但LP的创建人普利斯特（G.Priest）认为，LP理论的应用空间并不限于集合论悖论和语义悖论的范围，比如可借助弗封闭模式（Inclosure Schema）（[4]，第147页）作用于连锁悖论（sorites paradox），从而拓展LP理论的应用领域。他的具体做法是：用弗封闭模式重构连锁悖论，使其与集合论悖论、语义悖论等均被统摄在该模式之下，然后按照“统一解法原理”（PUS：the Principle of Uniform Solution，即“同一种类悖论具有同一种解法”）（[4]，第183-184页）将双真论解悖方案应用于解决连锁悖论。

比尔（Jc Beall）把这一做法称为弗封闭策略（inclosure strategy）（[2]，第829页），但他并不认为该策略能够成功解决连锁悖论，理由之一是弗封闭策略不能解决在本质上与连锁悖论同为弗封闭悖论的寇里悖论（Curry’s Paradox）（[2]，第831页）；另一个理由是弗封闭策略找不到正确的“容忍条件句”（tolerance conditionals）（[2]，第832页）。比尔由此提出了弗封闭策略的替代方案——基于不可断定性算子（unassertability operator）的保持容忍论证（the preserving tolerance argument）。（[2]，第831页）然而，以普利斯特为代表的部分双真论者对比尔的论证进行了多方反驳，从而否认这种替代方案。（[7]）双方为此进行了多轮讨论，尚未就此达成一致意见。……