本网讯（通讯员 杨新宇）12月6日下午，国际知名哲学家、美国人文与科学院院士、纽约大学教授Kit Fine作了“使真者语义学(truthmaker semantics)”的学术报告。讲座由程勇教授主持，樊达博士评论。 本次讲座为线上讲座，海内外参与者达400余人次。

Kit Fine 教授首先介绍使真者语义学的动机。为此他将使真者语义学和真值条件语义学、可能世界语义学作了比较。 真值条件语义学以“意义即真值条件”作为格言，却面临两个问题：什么实体可以承载真值条件？这些实体何以能承载真值条件？可能世界语义学对此作了回答。可能世界承载了真值条件，其之所以可以使一个语句为真，是因为可能世界是完备的、非矛盾的（对应极大一致的语句集），故任何可能世界都可实现而一个一致的语句却恒不真是不可能的。由此，可能世界和真值条件的联系本质上是模态的。而使真者语义学对于真值条件和承载真值条件的实体有不同的理解。具体表现在以下三个方面：

1）广泛性：承载真值条件的实体，即使真者，可以是广泛意义下的事态，涵盖可能世界却不局限于可能世界。使真者不必完备，矛盾事态也可以是使真者。

2）单调性：若某个事态是一个语句的使真者，则任何包含这个事态的事态都是该语句的使真者。

3）精确性：语句的使真者应当是精确的， 即使真者应当与这个语句的内容相关。Kit Fine教授认为这是使真者语义学与其他任何语义学都不同的特质。Kit Fine教授指出，单调性和精确性某种程度上会产生冲突。由此，产生了两种版本的使真者语义学，首先满足单调性要求的包容（inclusive）版本的使真者语义学和首先满足精确性要求的非包容（non-inclusive）版本的使真者语义学。事实上，前者是后者的一个特例。因此，本讲座主要讨论更一般的非包容版本的使真者语义学。

为了说明使真者语义学的架构，Kit Fine教授介绍了事态空间(state space)的概念。事态空间由一个非空集S和S上的偏序组成，其中这个偏序关系满足完全性条件：任何S的子集都有最小上确界。从哲学上看，这一偏序关系实际上刻画了事态之间的分体论（mereology）关系。而完全性条件在某些情况下可以被更弱的有界完全性（任何S的有界子集都有最小上确界）所替换。

基于事态空间，我们可以定义事态空间模型。一个事态空间模型是由事态空间和赋值函数组成。赋值函数给一个原子命题p指派一个有序对(T,F),T是p的所有使真者组成的集合，F是p的所有使假者组成的集合。进而，我们可以递归地定义一个事态S和一个语句之间的使真/使假关系。这一定义基本上符合我们的直觉，但在合取命题的使真者和析取命题的使假者的定义上，我们的直觉受到了挑战。Kit Fine教授指出这样的定义是为了满足精确性条件，而如果我们采用包容版本的语义学，就会与我们通常的直觉相符。

使真者语义学可以自然地导出精确等价的逻辑(logic of exact equivalence)。即两个命题精确等价，当且仅当在任何事态空间模型下它们都有相同的使真者。在这一逻辑下，经典逻辑的一些等价重言式，如德摩根律，交换律、分配律、析取的幂等律等，仍然成立。但是合取的幂等律却不成立，即一般地，A合取A不精确等价于A。一个困难的开问题是，建立精确等价逻辑对应代数的表示定理。Kit Fine教授提到，他和许多学者作了尝试，但仍未解决这一问题。

Kit Fine教授接下来将使真者语义学推广到了量词的情形。与经典逻辑的情形类似，我们可以建立固定论域的使真者语义学，即事态s是∀ x A(x)的使真者当且仅当存在一个函数使得对论域D中的每个元素i都指派一个事态s_i使得s_i是A(i)的使真者。在这一定义导出的精确等价逻辑中，经典逻辑的一些等价有效式也失效了，比如∀x A不一定精确定价于A。并且A不一定精确等价于它的前束范式。能否公理化带量词的精确等价逻辑，能否给出一种使真者语义学使得A等价于它的前束范式，这是两个值得研究的开问题。

另一种进路是变论域的使真者语义学。为了说明其背后的直观，Kit Fine教授举了这样的一个例子。考虑“在世之人终有一死”这一陈述，“在世之人”所指称的现实地存活于世的人的集合随时间而发生变化，因此上述命题的代入实例的论域是相对的。为此，Kit Fine教授借助关于论域的总体性事实以及乘积事态空间等工具建立了变论域的使真者语义学。

在讲座的评议环节，樊达博士就变论域使真者语义学的技术细节、使真者语义学和inquisitive 语义学在等价重言式的差异向Kit Fine教授提出了两个问题。程勇教授提出了一个关于使真者语义学和直觉主义逻辑否定的关系的问题，Kit Fine教授都作出了细致的解答。最后，程勇教授请Kit Fine教授总结一下使真者语义学的应用。

Kit Fine教授指出，对逻辑语言的语义的形式刻画和对自然语言语义的理解是不能分开的。使真者语义学的一个重要的应用是在可允许逻辑(道义逻辑)上。

比如，在可允许逻辑的语境下，一个经典的悖论是，如果我吃冰淇淋是被允许的可以推出我吃冰淇淋或者我吃冰淇淋和巧克力是被允许的，那么我吃冰淇淋是被允许的可以推出我吃冰淇淋和巧克力是被允许的。而使用使真者语义学可以消除这一悖论。此外，使真者语义学还有许多潜在的应用。

最后，程勇教授对讲座进行了总结，并表达了对Kit Fine教授的感谢。

（编辑：邓莉萍 审稿：刘慧）