第四章经典语义学.docVIP

PAGE  PAGE 18 第三章 经典语义学 上一章开始时，我们曾经从给定的世界出发，讨论如何建立一种一阶语言来描述它；现在我们反过来，讨论如何从作为一组符号的语言出发，来寻找它的解释。 给定一个一阶语言，比如Lm = {a, P, Q, f}，其中a是个体常项，P是一元谓词，Q是二元谓词，f是一元函数符号。我们考虑Lm-公式 1） ?x0Px0 ? Qfaa 单纯就语形而言，这个公式只是一串符号，其排列遵从一定的语法规则，但是，我们除了知道这些是不同类型的符号之外，还没有用它们表达什么东西，或者说，它们还没被赋予意义。只有我们把这些符号与语言之外的个体、关系、函数等联系起来，就是说，我们开始用这些符号来谈论某些事物时，它们才有了指称和意义，这个闭公式或语句也才能表达某个命题。 比如，我们把a当作孟子的名字，把P当作表达性质“…贪玩”的谓词，把Q当作表达二元关系“…疼爱…”的谓词，把f当作一元函数“…的母亲”的符号，把?x0读作“存在某个体”，把?读作“并且”，则1）就表达“有某个体贪玩，并且孟母疼爱孟子”这个命题。 这样还不够。我们显然想用1）的第一个合取支表达“有某个人贪玩”，而不仅仅是“有某个体贪玩”。但是，如果个体变项的取值范围不确定，那么?x0只能读作“存在某个体”（我们已知x0是个体变项），而不能读作“存在某人”。这说明，我们需要进一步划定一个个体的范围或个体域，让个体变项只在其中取值。这样的个体域是我们的语言要谈论的个体的集合，也称个体变项的变域。例如我们可以用所有人的集合做个体变项的变域，这时?x0读作“存在某人”，那个合取支于是可以表达命题“有某人贪玩”。 我们之所以需要一个确定的个体域，不仅因为个体变项需要变域，还因为性质、关系和函数必须相对于某个合适的个体域才能确定下来。因此，个体变项的变域，同时是性质、关系和函数在其中得以确定的集合。 总之，要使一个语言中的公式获得意义，我们首先要确定一个个体域A，挑出其中的特指个体，定义其中的性质、关系、函数等，然后把语言中的个体常项、谓词、函数符号等与A中的这些东西对应起来。这个过程就是对语言的解释。可以看出，对一个语言的解释起码需要两样东西，一是语言之外的某个世界（包括个体域及其中的性质、关系、函数等），二是语言的非逻辑符号与这个世界之间的某种对应关系，二者合起来称为这个语言的一个结构。当然，要完全解释语言，我们还需要进一步处理逻辑符号，细节我们在后面讨论。 对一个语言的解释不是唯一的。例如对Lm，我们既可以采用第二章开头提到的结构Am，把Lm的字母如前那样解释，也可以另外找一个结构，如自然数集合，加上其中通常的不大于关系等，把a对应到0，P对应到性质“…是素数”，Q对应到关系“…不大于…”，f对应到函数x ? 1。在第一种解释下，公式1）表达命题： 2）（在孟子、孟母、孟母的母亲等等中）有某个贪玩的，并且孟母疼爱孟子。 在第二种解释下，1）表达 3）（在自然数集合中）存在素数，并且0 ? 1不大于0。 由两个结构中已经成立的事实可知，2）在Am中是真命题，3）在相应的结构中是假命题。所以，不同的解释，可以使同一个公式表达真假不同的命题。如第一章里说明的，（经典）逻辑研究所关心的，不是命题的内容，而是它们的真假（真值），因此，结构中的性质、关系等，就由集合来代表。这是因为，一个命题的真假，决定于相关的元素和集合之间的属于关系。 研究语言的解释及解释所衍生出的指称、真、假等概念的，是经典逻辑的语义学。这里的基本思想是，经过适当的解释后，项指称结构中的个体，而公式则表达关于结构的命题，而命题有真假两个值，每个命题非真即假（排中律）。上述语义概念澄清之后，我们就可以对推理的有效性这个直观概念做一种严格的刻画。 1. 结构与解释 1.1 定义 设L是一阶语言。一个L-结构A是一个有序对A, ?，它满足以下性质： 1）A是个体的非空集合，称为A的全域或L的论域。 2）?是定义在L的非逻辑符号集上的函数，使得 i）对L的每个个体常项c，?(c) ? A。 ii）对L的每个n元谓词P，?(P)是A中的一个n元关系。 iii）对L的每个n元函数符号f，?(f)是A中的一个n元函数。 我们用德文花体字母A、B等代表结构，相应地用A、B等代表它们的全域。全域A的基数|A|标示结构A的大小，当A为有穷集、可数无穷集、不可数集时，A也就分别称为有穷结构、可数无穷结构或不可数结构。 由定义知，一个L-结构A = A, ?首先有一个作为语言L的论域的非空个体域A，然后它有一个解释函数?，把L中的个体常项、谓词、函数符号分别解释为A中个体、关系