试论语义悖论的弗完全理论.pdfVIP

逻辑学研究 2011 年第 4 期，68–77 文章编号：1674-3202(2011)-04-0068-10 试论语义悖论的弗完全理论 李慧华 王文方 中国人民大学哲学院 台湾阳明大学心智哲学研究所 lihh plo@163.com wfwang@.tw 摘 要：弗完全理论通过限制排中律的使用，弱化经典逻辑，采用非经典的三值语言 来处理语义悖论，最终使得形式语言能够一致地包含自身的真谓词。文中我们讨论了 弗完全理论的两种基本形式——基础的弗完全理论和高级的弗完全理论。基础的弗完 全理论引入了“真值空缺”的思想，认为句子除了真假之外还有“既不真也不假”的 第三值，像说谎者这样的语义悖论语句就落在真假之空缺中，该理论借助于对不动点 的归纳构造过程证明了形式语言中真谓词的存在性。高级弗完全理论在前者的基础上 引入一个适当的条件句，定义了一个“更强的真”，发展出了既满足真的素朴模式又具 有不动点解释的、一致的高级弗完全理论。 关键词：语义悖论；弗完全理论；不动点；条件句；Tarski-