2012年5月16日下午3点，华东师范大学思勉人文讲座104讲在闵行校区人文楼5303学术报告厅举行。台湾阳明大学王文方教授应邀作题为“关于语意悖论的两个解决进路”的学术报告。王文方教授是美国爱荷华大学（University of Iowa）哲学博士，研究领域为逻辑哲学、形上学、数理逻辑和语言哲学，著有《这是个什么样的世界》（2005）、《形上学》（2008）、《语言哲学》（2011）等。哲学系冯棉教授主持了本场报告。
报告分为五个部分。1、介绍语意悖论的几种基本型态；2、分析塔斯基（Tarski）的“真理的不可被定义性定理”的后承；3、讨论几种试图解决语意悖论的当代理论，特别是弗协调进路的理论（paraconsistent dialetheism）与弗完备进路的理论（paracomplete theories）；4、剖析有关于弗协调解决进路的几个主要困难；5、给出一个弗完备解悖理论的大纲。
悖论是从似乎是明显为真的前提通过似乎是有效的推论得出似乎是明显不为真的结论，语意悖论（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为代表的弗完备进路的理论，前者主张真值溢出但反对爆炸规则（即矛盾式可以推出一切），后者反对排中律和二值原则。王教授批评弗协调进路面临若干困难：该种理论必须断言MP规则不保真以及无法处理堆垛悖论等包含含混性谓述词的情况，进而较为赞同弗完备进路，他利用Kripke解悖方案中构建固定点的技术和三值逻辑，引入Adams和Stalnaker等人对于条件句的成真条件的理解，提出了一个弗完备理论的大纲。
整场讲座持续两个多小时，王教授将复杂的语意悖论问题和困难的逻辑技术用非常清晰和深入浅出的方式加以阐释。讲座最后，王文方教授回答了师生的问题，冯棉教授作了精彩点评。报告会在热烈的气氛中圆满结束。
