Professional Documents
Culture Documents
语义学
所谓语义学其实是两门学问,一门是逻辑学的,一门是自然语言的。而且我们也提到,自然语
言的语义学,早先是用 meaning,研究词义、词组义、句子义、篇章义,只有逻辑学才使用
semantics,研究命题的真值。但是后来特别是上世纪 50 年代后,semantics 的使用范围逐渐扩
大,除了逻辑学、语言学,连计算机科学也开始使用这个词来表示程序设计语言中基本指令单
位与机器逻辑结构之间的对应关系。其实,不难想象,只要是用符号系统表示另外的世界,都
需要 meaning、semantics 的研究。这里所谓的“世界”可以理解为一种学科、例如数学、哲
学、物理学等,也可以理解为“语境”,一种上下文关系。更抽象一点,可以把“世界”理解
为一个系统,这个系统由基本元素、、连接、组合元素的规则、法则(law)和原则
(principle)以及元素之间的各种关系。更具体一点,我们从现实生活某个情景、过程、经历
等也是这里所定义的“世界”的例子。例如,我们政治生活中的官场就可以看做一个“系
统”;官员进了官场,就要对这个系统构成、机制彻底了解,要知道谁是你的上级、下级、同
事,他们的习性、特点和行事风格,因为这是构成官场的基本元素。而做官的基本行为,要受
制于作为这个系统内所建立的基本法则,以及大大小小的原则、规则、潜规则,官场动力学、
支撑这个系统运作的基本规律等等,这样官员才能建立一个官场内通用的话语语义系统,使领
导、同事、下级知道你在说什么以及你的真实意图,从而保证这个官员在这个系统中正常存
在。
再拿数学来说,自然数,我们可以用“一、二、三、…”表示,也可以用“1, 2, 3,…”,各国
语言都有表示数字的特定词汇。但是这些符号的不同并不影响我们理解自然数的本质,为什
么?因为所有各种不同的符号都只对应于一个世界:自然数集。而对这个自然数集世界的物理
描述就是数轴,一条带有原点、单位的向左右两个方向延伸的直线;数学家们把这条直线看做
是对数的世界的模拟,称作模型。我们使用的文字“1, 2, 3,…”、或“一、二、三、…”、或
“one, two, three,…”都与这条直线的某一点有一对一的对应关系。有了这个对应关系,就和
“官场”一样了,我们可以确定任意自然数,根据序列原则,就会知道这个数的前一个、后一
个,建立数与数之间的互动法则:基本代数运算,以及这些法则施行时的规则、潜规则。数学
也有“潜规则”吗?小学生做减法时都知道不能拿小一点的数减去大一点的数,因为那样没有
好果子吃。还有一些半“潜规则”:除数不能等于 0,至于为什么,老师一般不会讲得很清
楚,我们也不会追究,只知道不可以。
从以上这些例子,我们可以归纳语义学最本质的东西,它们是由四要素构成的:
一、符号系统:不管是数学中的数、还是自然语言中的话语,以及计算机语言中的基本表达
式,只要是成系统的符号都可组成符号系统;例如中学代数中的 (a,b,c, x,y,z, +,-,×,÷)就是一
个符号系统;
二、世界:所研究的对象、现象,如物理学中的物质和运动、生物学中的细胞、基因等;
三、模型:对“世界”的建模;建模可以通过数学工具、几何手段,或其它可以说明该“世
界”本质特征的手段。可以说,“世界”是现象,模型是对世界某个局部的放大、细化和抽
象,专业一点的说法叫做“领域”(domain),或者叫“论域”(universe of discourse)
四、对应关系:建立模型和符号系统之间的对应关系,这个关系就是符号系统的语义。街上买
了块糖,糖纸就是符号,裹在里面的糖块就是论域中的元素。
M2
有了上面的介绍,相信读者对语义学已经有了大致的印象。在本篇中,为了使我们的讨论更具
体,我们将把以前涉及到的内容分类,条理化,具体地说,我们将把迄今为止谈到过的内容分
为两类:一种叫做语义论(semantic theory),另一种叫做关于意义的理论(theory of meaning),
或简称为“意义论”。这样,我们就有了三个术语:
意义论(theory of meaning):语义论在运用过程中的心理学、社会学作用,也就是说,在上
面 4 要素的基础上,重点研究语义论体系之外的心理学和社会学因素,例如第一篇聊天谈到的
意义的解读以及更复杂的互动关系。关于这一点,我们前面的聊天只是蜻蜓点水地泛泛而谈,
没有涉及到理论性的东西。
语义学(semantics):二者的统称。
语义论要回答的问题是:这个符号、或者这组符号要表达的意义是什么?
意义论要回答的问题是:对使用该符号系统的人群来说,根据什么这些符号具有这样、那样的
意义?(想想我们上篇“馒头花卷和自行车轮胎”的例子)
因此我们的介绍也就分成两部分,第一部分是语义论(semantic theory),第二部分是意义论
(theory of meaning)。
我们的讨论框架将放在现代哲学的语境中而不涉及逻辑学、数学的技术细节。如果你对逻辑学
的语义学方法、技术细节感兴趣,可以关注我的博客文章《卡尔纳普<符号逻辑及其应用导论>
读书笔记书评》。
到现在为止从我们的讨论可知,语义论的核心理论就是对应理论——符号系统中符号和其它系
统中实体的对应关系。例如数学中一个二次函数的每一对 x,y 值,都对应一个二维平面上一条
曲线上的一个点,我们在日常语言中提到的人名、地名等也都对应着现世界中的一个具体对
象。所谓意义,就是符号所指称的客体:(3,4)的意思就是在平面直角坐标系第一象限上的一个
点,而 y=2x 的语义则是对应这个坐标系上的一条直线,“天安门”所表示的就是北京市中心
长安街上的一座建筑物。
那么如何表达对应理论呢?一种就是我们一直在谈的基于逻辑的方法,利用一阶逻辑研究
semantics 的方法研究自然语言。当然,我们也提到过,这种方法太弱,无法处理自然语言中
多种多样的语言形态。我们还提到,美国学者 Montague 从一阶逻辑开始研究自然语言的语
义,然后逐步升级逻辑的版本,一阶逻辑不够就加上二阶逻辑,模态逻辑和类型理论等基于逻
辑方法的语义论,今天我们就详细谈谈这个问题。
M2
所谓指称论是指:存在一套符号体系,这个体系的每一个成员都唯一对应着一个实体。最典型
的例子就是身份证号码和每个中国公民的对应关系。我们每个人都有一个身份证号码,而每一
个身份证号码也仅代表唯一一个个体(有些人违法占有多个身份证号码的非法状况这里忽
略)。这个时候,一组号码的“语义”就是指某个个体。号码系统和中国人口就可以建立一个
一对一的映射关系。
在现实生活中指称论的用途是很大的,除了身份证的例子,其实对任何数据的信息化管理,都
需要一个唯一识别标识作为身份指认,而具体手段未必一定是号码,例如现在流行的指纹识别
也是指称论的应用。
指称论的另一种形式是:某一个体具有某个属性;例如,“张晓华很聪明”。其中“张晓华”
这个符号代表某个人类个体,“很聪明”则代表某个“属性”,而“属性”这个概念是我们对
现实世界建模时所创造出来描写一些个体所具有的共同特征,“属性”的数学意义就是论域的
某个子集。上面这句话的语义就是:张晓华这个符号所指称的个体具有“很聪明”这个群体特
征的所共有的属性,它对应着现实世界的一个具体场景。有人可能对这个解释不满意:你并没
有说“很聪明”是什么意思,而只是说“很聪明”是一种属性。但是,如何解释“很聪明”
呢?如果我再用其它词汇去解释那么我们可以进一步问那个词是什么意思?这样的结果只能造
成无限的循环定义,或者我们再无“言”以对,因为所有“定义”词汇都用光了。指称论就是
要避免这样的尴尬,它不是给你解释词义,句义,而是模仿现实世界建一个模型,以这个模型
M2
为现实世界的缩小版,然后说,某个符号组合对应着模型中的某一情景。对应,而不是说明,
是指称论的实质。个体和属性在语义上不满足交换律关系,“张晓华很聪明”不等于“很聪明
的是张晓华”,为什么?我们的常识告诉我们,世界上聪明人多着呢,不是就张晓华一个。而
我们的语义理论和这个常识差不多,“很聪明”是一个属性,而属性的数学解释是论域的一个
子集,“张晓华”只是这个子集一个成员而已。对这个思想的表述就是:很聪明(张晓华),读
作:在“很聪明”这个群体中“张晓华”是其中一个成员。这是指称论的第二种情况:论域中
某一个体元素是该论域某个子集的成员。
从理论上讲,指称论实际上就是一阶谓词的语义理论,也是数理逻辑中模型论的起点。个体、
属性、命题是谓词逻辑对描述对象的建模,相应的逻辑句法则是:常项、谓词和句子,其中,
常项代表“领域”中的个体,谓词代表属性,而句子代表命题。
除此之外,指称论中个体的数量对于句子的语义也会有影响,因此谓词逻辑的一个重点之一就
是量化问题,所对应的符号就被称作“量词”。这里虽然不对量词做更多分析,但给出个例
子,说明个体数量对句子语义的影响:
(1)
他没买门票就混进去了
我也没买门票
————————————
(所以)我也能混进去。
这是一个逻辑推理,我们把推理正确称之为“有效”,否则称之为“无效”。按照我们的生活
常识,“我也能混进去”偶然性太低了,换句话说这个推理的有效性太低了(当然不否认现实
中有许多人做这样的推理,期望“万一”)。
(2)
一半的人没买门票就混进去了
我也没买门票
——————————————
(所以)我也能混进去。
毫无疑问,在(2)的情境中,“我也能混进去”的可能性大大高于(1)。而造成这种情况的原因
就在于作为前提命题的主语从单个个体变成了复数群体,这使得结论命题的真实性大大提高。
(3)
所有的人没买门票就混进去了
我也没买门票
————————————
M2
(所以)我也能混进去。
这个时候,“我也能混进去”的真实性就不容置疑了。
从这个例子可以看出,量词对于句子的语义有时起着决定性的作用。
总结:作为谓词逻辑语义论核心的指称论对理想的、有着一对一对应关系的世界是非常有效
的,这种世界,一般都是人造的形而上世界,最典型的就是数学。这也就是为什么数学的形式
化,数学符号的语义可以用一阶谓词逻辑描述。而数学本身又可以成为其他科学对现实世界建
模的工具,也是因为数学的严格性和对实体对象描述的精确性。