浅谈艾尔布朗语义下的真谓词论文

1、浅谈艾尔布朗语义下的真谓词论文塔斯基提出了一阶语言的一种解释，这种解释允许使用任何个 体对象作为变元的取值， 不同的变元或常元可能以相同的对象作为它 们的解释。 这种解释现在已成为一阶语言的标准解释， 被称为塔斯基 语义。在塔斯基提出这种语义之前， 法国逻辑学家艾尔布朗在对其 “基 本定理”（ 现称为艾尔布朗定理 ）的证明中， 事实上也对一阶语言提出 了一种解释。工在这种解释中，变元的取值只能是一阶语言中的项， 各个项的解释就是项本身 （ 因而，不同的项特别地，不同的变元或 常元必定被解释为不同的对象 ） 。这种解释现在称为一阶语言的艾 尔布朗语义。从表面看来，艾尔布朗语义仅仅是塔斯基语义的一

2、种特殊情形。 因此，虽然艾尔布朗定理是一阶逻辑中最基本的结果之一， 但是艾尔 布朗语义本身似乎并没有引起逻辑学家足够的重视。 美国斯坦福大学 的 T.Hinrichs 和 M.Genesereth 教授在文中的研究表明， 艾尔布朗语 义与塔斯基语义在可判定性、逻辑后承关系等方面是不同的。上述种种差异自然是由不同语义解释造成的。一阶语言中任何 概念只要依赖于语义都可能会在塔斯基语义和艾尔布朗语义下有所 不同。而真谓词作为语义中最基本的概念之一自然会被纳入到上述两 种语义的框架之内。 真谓词在艾尔布朗语义下是否具有不同于塔斯基 语义中的表现呢 ?这个问题似乎在文献中还没有得到深入的研究，本 文就是

3、要想对这一问题进行初步的探索， 指出艾尔布朗语义下的真谓 词概念确实是值得注意的。一、艾尔布朗语义 一阶语言中的初始符号、项、公式等句法对象一如往常规定。 需要补充的是， 为了使艾尔布朗语义不至于过于平庸， 这里约定一阶 语言中个体常元不空。注意，一阶语言中的语句指的是闭公式，即不 含自由变元的公式。我们知道，在塔斯基语义中，为了能对语句进行赋值，必须给 出一定的模型对语句中的非逻辑符号做出解释， 同时还必须通过指派 对变元指定对象。这里主要的麻烦在于， 虽然语句的赋值独立于指派， 但是一般情况下， 必须在模型和指派下对所有的公式进行赋值， 然后 才能在模型下对语句进行赋值。艾尔布朗语义就不存

4、在这样的问题， 我们可以直接对语句进行赋值。相应于上述可满足概念，可规定逻辑后承。如果任何满足语句集叉的艾尔布朗模型也一定满足语句 A,那么就称A是叉的一个逻辑 后承，又可称叉衍推出A。为明确起见，艾尔布朗模型下的可满足及 逻辑后承概念加前缀， 而塔斯基语义下的可满足及逻辑后承概念加前 缀。如文所指出，在塔斯基语义下，一阶公式的可满足性是半可判 定的，但在艾尔布朗语义下，一阶公式的可满足性不是半可判定的 ; 在塔斯基语义下，逻辑后承关系具有紧致性，但在艾尔布朗语义下， 逻辑后承关系不具备紧致性 ; 在塔斯基语义下，自然数结构中的真语 句是不能有穷可公理化的， 但在艾尔布朗语义下， 自然数结构中

5、的真 语句是有穷可公理化的。二、塔斯基 T- 模式下面转入本文的主题 : 艾尔布朗语义下的真谓词。 为此，先规定 皮亚诺算术的一个形式语言，其中除等词 =外，还含有二元谓词、三 元谓词、一元函数符 S 以及个体常元 0。注意，在艾尔布朗语义下， 因为只有那些完全相同的项才是相等的， 所以不能使用函数符来表示 加法和乘法运算 （ 不然的话，甚至如 0+0=0这样的语句在艾尔布朗语 义都是不可满足的）。在L、中添加一兀谓词T得到的语言记为L。这 个语言就是我们考虑真谓词的一阶语言。 除非特别声明，以下所说项、 公式等皆指L中的项、公式。用记号 A表示公式A的哥德尔数。为了便于比较，下面采用 L 的

6、标准的塔斯基语义与艾尔布朗语 义双线并进的方式逐步探讨相关问题。首先，L的标准塔斯基语义解 释是自然数结构以自然数集作为论域， 以自然数集上的小于关系作为 的解释，以满足有序组构成的集合作为 Add的解释，以满足的有序组 构成的集合作为Molt的解释，以后继关系作为S的解释，以自然数 0作为解释。把语义解释的范围扩大到鱿中，在塔斯基语义中，N被认为是L 的底模型，除此之外，还需要对一元谓词 T做出解释。当然，T的解 释必定是自然数集N的某个子集，设为X。由此，就可以对鱿中所有 语句进行赋值，赋值的规定如常，细节略去。下面使用 X、A表示语 句A在N与X构成的解释中为真。特别地，X当且仅当A属于

7、X。这里，T不是一个普通的谓词符，而是用来表示真谓词的符号。那么，什么时候T才能被视作是真谓词呢？按照塔斯基的思想，唯有下一模式对某个语言中的每个语句 A都成立，才能认为T是该语言的 真谓词:T'A当且仅当AC此模式就是著名的塔斯基T-模式。X作为 T的解释，很自然应当包含且只包含鱿中所有在N与X构成的解释中为真的语句。换句话说，式子(C1)应对L中每个语句A成立，只有这 样，T的解释X才被认为是L .的真谓词。这样，把入代入到式子(1) 中会导致矛盾。这个结论常被称为“塔斯基定理”，而证明中所用语 句入因它断定它自己不真，故相当于说谎者语句。接下来转入L的艾尔布朗语义。首先，M是艾尔

8、布朗语义中L 的底模型。然而，这个模型也可看作是 L 的真正意义上的一个模型， 其中因为不含任何T形式的语句，因此谓词符T实际被解释为某种空 谓词。一般而言，我们会考虑这样的模型 M它包含M同时还包含 了某些Tt形式的语句。在模型M下，对公式A规定相应的赋值：当且 仅当项作为符号串完全相同；当且仅当T属于当且仅当属于M型 的原子公式类似规定， 当且仅当对任何闭项其他如命题联接词型或存 在量词型语句类似规定。这里顺便指出，艾尔布朗语义下的塔斯基 T-模式与塔斯基语义 下的T-模式似乎并无太大的区别，但是对于所提出的 T-模式的一个 推广，情况似乎并不明了，究竟如何在艾尔布朗语义下表达 T-模式

9、的这个推广似乎是值得深入研究的问题。三、亚布鲁悖论根据前一节的比较，可以看出塔斯基 T-模式在L的艾尔布朗语 义下的表达类似于在 L 的标准塔斯基语义下的表达， 而塔斯基定理作 为一个纯粹的语义学定理， 在艾尔布朗语义下同样成立。 所有这些都 不会令人惊奇，因为L的艾尔布朗语义与标准的塔斯基语义本来就是 相当接近的。然而，它们的差异是存在的。一个最明显的差异就反映 在L的艾尔布朗语义与非标准塔斯基语义上。美国逻辑学家亚布鲁在 文中提出了以他名字命名的悖论。这个悖论含有可数无穷多个语句 : 每个语句都断定它后面的每个语句都不真。现在，使用哥德尔算术化的方式不难在语言鱿中对任意自然数。 寻找到语句

10、Y,使得Y在PA中等价于语句。注意，这里表示把，对 应的数字代入到丫中得到的公式的哥德尔数字。这实际上相当于把亚 布鲁悖论形式化到了鱿中，以后就用语句集 Y fin) I n 是自然数 表示亚布鲁悖论。 我们考虑语句集是自然数与是自然数的并集， 记这 个集合为 Y。在 L 的艾尔布朗语义下，情况就有所不同。问题出在艾尔布朗 语义中个体对象仅仅包含 L 中的闭项，而没有哪个闭项能够表达非标 准模型中的非标准元。因而，在艾尔布朗语义下，没有任何模型能满 足语句集Y。这一点与先前提到的H逻辑后承不满足紧致性相关。事 实上，不难看出是自然数的 H 逻辑后承， 但它却不是后者的 T 逻辑后 承。我们再次

11、看到，H逻辑后承要强于T逻辑后承。因而，丫可H衍 推出逻辑矛盾，而不能T衍推出矛盾，就是在意料之中的了。四、语言层次 众所周知，为了突破塔斯基定理的限制，塔斯基本人采用了语 言分层的方式来规定真谓词。事实上，仅需把 T解释为L中所有在N 中为真的语句的哥德尔数构成的集合 X,则式子一定对中任意语句 A 都成立。在这个意义上，鱿虽然不能含有它自身的真谓词，但是它包 含L、的真谓词。L因而被称为几的元语言。分层的想法同样适用于艾尔布朗语义。回到先前提出的艾尔布 朗语义中鱿的底模型 M注意，M中不含任何带真谓词符的语句，因 此T在M中实际被解释为空谓词。但是，若规定 M,是M与所有使得 MH A成立

12、的语句TA的并集，则对鱿的任意语句 A,都有：当且仅当 MA特别地，对L的语句，当且仅当MA因此，同样包含了这样的T， 它被解释为L、的真谓词。对语言进行分层规定真谓词的做法历来为学者所垢病,其中毛 病之一如克里普克指出, 这种做法无法对超穷的层次进行规定。 克里 普克批评的要点在于超穷层次要求对之前层次的真谓词外延进行累 积,但真谓词的外延累积会导致矛盾。这一点是熟知的事实。此处, 我们说明类似的累积在艾尔布朗语义也同样导致矛盾, 甚至无需等到 超穷层次,这种矛盾在第二层次就会产生。能使层次一直进行下去的办法主要有两种,一种是按克里普克 的归纳构造方法, 修改模型上的赋值引入真值空缺另一种就是按古普 塔和赫兹伯格的修正理论, 在构造模型的时候不进行累积只进行修正 和。本文限于经典逻辑,所以只考虑第二种办法。五、结论前面的分析总结起来，有以下几点：塔斯基T-模式在艾尔布朗 语义中的表达类似于塔斯基语义中的表达, 而且使用说谎者悖论同样 能够在艾尔布朗语义中得到塔斯基定理 ; 亚布鲁悖论在塔斯基非标准 模型中可以得到满足，