台湾阳明大学王文芳教授“语意悖论与Tarski的真理不可定义性定理

2012年6月19日下午，台湾明阳大学王文方教授在公共管理学院案例室给我院师生带来了主题为“语意悖论与Tarski的真理不可定义性定理”的精彩学术讲座。此次讲座由陈晓平教授主持，张华夏教授、范冬萍教授、胡浩副教授、刘玲、刘益宇等老师以及本院的研究生们出席了本次讲座。

报告分为五个部分。1、介绍语意悖论的几种基本型态；2、分析塔斯基（Tarski）的“真理的不可被定义性定理”的后承；3、讨论几种试图解决语意悖论的当代理论；4、给出一个解决悖论的视角，即放弃经典逻辑，保留T语架和语言丰富性。悖论是从似乎是明显为真的前提通过似乎是有效的推论得出似乎是明显不为真的结论，语意悖论（the semantic paradox）涉及“指称”、“真”、“满足”等语意概念，对于悖论问题的研究是逻辑学和逻辑哲学的重要议题。王教授首先介绍了几种常见的语意悖论，包括说谎者悖论、增强的说谎者悖论、说谎者循环、Curry悖论和Yablo悖论等，给出了和真理有关的推理规则，包括T－框架、T－引入及T－消去规则、“T<A>”和“A”的相互可替换规则等。古普塔（Gupta）认为，推出悖论需要三个要素：与真理有关的推理规则、丰富的句法以及经典逻辑。而哲学家和逻辑学家一般认为丰富的句法没有问题，算术语言就具有丰富的句法，可以通过哥德尔编码的方式进行自指。因此，解悖的思路就出于拒斥与真理有关的推理规则或经典逻辑的推理规则。

塔斯基坚持经典逻辑，提出著名的T-框架和真理的语言层级论。王教授分析了塔斯基的“真理的不可被定义性定理”的理论后承，表明不仅一个一致的、古典的、丰富语言L0内不能定义T0这样相对性的真理谓述词，而且不能定义“is true”（T）这个日常的绝对性的真理谓述词，同时无法将它作为初始谓述词一致地加入L0中。塔斯基认为日常的真概念是不一致的，需要被一系列加下标的真谓词“Tn”所取代，我们应在更高层级的元语言中表述关于一个对象语言中的真陈述。和塔斯基的解悖思路不同，如果坚持日常的真概念是一致的，那么解悖的思路又可以大致分为两类：一类拒斥某些与真理有关的推理规则，以Gupta、Belnap、Maudlin为代表；一类拒斥某些经典逻辑的推理规则，以Kripke、Field、Priest、Jc Beall为代表。王教授着重考察后一种解悖思路，详尽地剖析了以Priest、Jc Beall为代表的理论与以Kripke、Field为代表的的理论。

整场讲座持续两个多小时，王教授将复杂的语意悖论问题和困难的逻辑技术用非常清晰和深入浅出的方式加以阐释。讲座最后，王文方教授回答了师生的问题，陈晓平教授作了精彩点评。报告会在热烈的气氛中圆满结束。

简介王文芳教授美国爱荷华大学（University of Iowa）哲学博士，曾任台湾中正大学哲学系副教授，现任台湾阳明大学心智哲学研究所教授、东吴大学哲学系兼任教授，中国人民大学现代逻辑与科学哲学研究所兼任教授，南京大学现代逻辑与应用逻辑研究所兼任教授，中国文化大学哲学系兼任教授，国际科学史与科学哲学学会之逻辑、方法论与科学哲学组台湾委员会第八届执行秘书及常务委员，《华冈哲学学报》编辑委员；《逻辑学研究》（Studies in Logic）杂志编辑委员。代表性著作有《形上学》（2008）、《语言哲学导论》（2011）等。。主要研究领域为经典逻辑、模态逻辑、逻辑哲学、形而上学、语言哲学和科学哲学。

华南师范大学公共管理学院

中心动态