公理化真理论研究新进展米-中国社会科学网.PDF

9l · 科学哲学与逻辑学 · 公理化真理论研究新进展米 李 娜 李 晟 公理化真理论 (axiomatictheoryoftruth)兴起于 20世纪8O年代 ，其核心思想是把 “真”作为一个 初始的谓词，直接添加到一种基础理论 (basetheory)的语言中，并 以若干刻画真概念基本事实的语句 作为公理，对基础理论进行扩充。这里所谓的基础理论是一种句法理论 (syntactictheory)，用于提供研 究真概念所必需的精确而严格的形式语言。公理化真理论以克服说谎者悖论及其各种变体为 目标，在系 统研究真概念的功能和规律的基础上，逐渐形成了四大理论 j，本文称之为 “经典理论”，分别是：去 引号理论 (disquotationaltheory，记为 DT)、经典组合理论 (classicalcompositionaltheory，记为 CT)、 “弗里德曼 一希尔德”理论 (Friedman—Sheardtheory，记为 Fs)，以及 “克里普克 一费菲曼”理论 (Kripke—Fefermantheory，记为Kr)。其中，DT以塔尔斯基双条件句 (Tarskianbi—conditiona1)的所有实 例为真公理 (xaiomoftruth)；CT是通过对塔尔斯基真之语义定义的递归说明进行公理化而得到；FS取 消了CT中真谓词受到的层级限制；KF则是对克里普克语义理论的公理化。前两种理论的真谓词只能 作用于基础理论的语句，称为类型理论 (typedtheory)；后两种理论则允许真谓词作用于本身已包含真 谓词的语句，称为无类型理论 (type—freetheory)。经典理论的主要特征是，以皮亚诺算术PA为基础， 注重真理论的构建和元理论研究，其成果十分丰富。但经典理论亦各有不足：DT缺乏足够强的演绎力； CT面临因坚持语言分层而导致的真谓词层级上的无穷倒退；FS不适合PA的标准解释，因而是 “∞一 不相容”的；KF的内、外逻辑不一致 ；等等。然而不可否认 ，公理化方法相比语义方法仍然有很多优 势。E2]2012年以来，对公理化真理论的研究在多个方向上取得了新的进展，本文将对这些新成果进行梳 理，并予以评析。 一 基础理论从 PA到集合论的推广 2012年，藤本 (KentaroFujimoto)在论文 《集合论上的类与真》 中，首次以 “策梅洛 一弗兰克 尔”集合论 zF为基础，重新构造了经典理论。 与经典理论相同，藤本仍然是通过把真谓词T添加到ZF集合论的语言L= {E}中，从而得到真 理论的语言L=Lu {T}。我们知道，谓词与算子的区别在于，算子是通过作用于语句本身而得到新 的语句，谓词则是通过作用于语句的名字而得到新的语句。在经典理论中，T谓词是作用于语句的哥德 尔编码，在集合论中，也需要定义出类似的语句编码。藤本所采取的方法是 ：首先为每个集合 定义一 个集合常项C，用以表示该集合的名字，比如根据德弗林 (KeithJ．Devlin)的定义，集合 的集合常项 本文受国家社会科学基金项 目 “公理化真理论研究”(12BZX059)资助。 92 《哲学动态》2014年第9期 可以定义为3， ；14然后通过给LT中的所有符号以固定的编码，从而确定出LT语句 e的哥德尔编 码 e 。 在此基础上，藤本对经典理论的真公理作 了适于集合论的改造。以CT为例，藤本给出了五条公 理。他将T公理加入ZF集合论，并允许T谓词出现在 zF的分离公理模式和替换公理模式中，所得到 的在 CTI[ZF]的元理论方面，藤本证 明了CTz【F』是 zF的非保守扩充，即CTz《FⅢ在数学上强于ZF；并找 出了与之等价的数学理论 ：NBG+∑ 一Sep+∑ 一Repl，NBG即 “冯 ·诺依曼一贝尔奈斯 一哥德尔” 类理论 ，∑ 一Sep和 ∑ 一Rep1分别表示所有 层次上的分离公理模式和替换公理模式的并，即∑ 一 Sep=U ∑ 一Sep，∑ 一Repl=U ∑ 一Repl。此外，藤本还重新构造 了DTz《Fl、FS~-zvn、KFz《F』，并 研究了它们的元理论。以上成果，在承认选择公理AC时，均可推广至 ZFC。 应该说，藤本并没有得到多少全新的结论，他只是把过去以PA为基础的经典理论移植、推广到了 zF