《真值条件语义学解释》由会员分享，可在线阅读，更多相关《真值条件语义学解释（24页珍藏版）》请在金锄头文库上搜索。
1、真值条件语义学简介 An Introduction to Truth- conditional Semantics李 颖 （）提纲v什么是真值条件语义学v基本概念与理论架构v小结v结束语什么是真值条件语义学v真值条件语义学也称逻辑语义学或者形式语义学 ，由蒙太古（Montague）创立。v用数理逻辑(主要是命题逻辑与谓词逻辑)作为工具 来研究自然语言的语义。奠基性论文有(1)English as a Formal Language.(2)The Proper Treatment of Quantification in Ordinary English.等v面向的是自然语言，但不是自然语言的全
2、部，只 是研究其中的陈述句。基本概念与理论架构v基本概念真值条件模型可能世界v理论架构基本概念v真值条件（truth condition）：那些可使一 个语句为真的条件就是该语句的真值条件。v句子的意义（meaning of sentence）：理 解句子的意义就在于获取它的真值条件。S is true iff p. S 代表某个句子，p 代表句子的真值条件 ，iff （if and only if ）是充分必要条件。例 如：“snow is white” is true iff snow is white. 基本概念(2)v模型：模型可以理解为一种情景的“表达”方式。情 景总会涉及到一些人和
3、物以及它们之间的关系， 模型的任务就是描述这些人和物以及它们之间的 关系。v模型通常用M 表示：M=(U,F) 其中U表示情景中 所有本体的集合，是论域。F是赋值函数，其作用 是把句子中的基本词（个体词和谓词）跟U中的本 体直接或间接联系在一起。v可以看一个例子。模型的一个实例v语句：Zhang San likes Li Siv模型M=U，F 其中U=ZHANG SAN，LI SI， WANG WUF（Zhang San）=ZHANG SANF(Li Si)=LI SIF（Wang Wu）=WANG WUF（like）=(ZHANG SAN，LI SI)，(ZHANG， SAN，WANG WU
4、)，(LI SI，ZHANG SAN)F（walk）=ZHANG SAN，WANG WU 基本概念（3）v可能世界（possible worlds）：A proposition is a function from possible worlds to truth values.v时间、空间是可能世界的主角。v时态、模态、语气的表达完全可以借助可能 世界来表达。“过去、现在、将来，本当、 应该、实际上”是可能世界的一种描述。理论架构（1）由3部分组成v真值条件理论v模型理论v可能世界真值理论理论架构（2）处理过程分3步v翻译：把自然语言句子翻译成逻辑语言。逻 辑语言没有歧义，句法与语义被精确定
5、义。v建模：为逻辑语言建立一个形式化的情景模 型。v求解：计算逻辑语言表达式在给定模型下的 真值。 举例 例1（句子的意义）翻译 Zhang San likes Li Si NL LL Zhang San likes Li Si like(Zhang San, Li Si) 词汇 N=Zhang San, Li Si, 个体常元 a,b,c,. V1=like, love, despise,l. 个体变元 x,y,z,. V2=walk,run,sing, 谓词 P，N，。 句法 S-NP+V 如果P是一元谓词，a是个体词 ，那么P（a）合法 S-NP1+V+NP2 如果B是二元谓词，a，b是
6、个体词，那么B（a,b）合法 NP-Npr例1（句子的意义）语义解释 Zhang San likes Li Si（1）建模M=U，F 其中U=ZHANG SAN，LI SI，WANG WU F（Zhang San）=ZHANG SAN ，F(Li Si)=LI SI F（Wang Wu）=WANG WU F（like）=(ZHANG SAN，LI SI)，(ZHANG SAN，WANG WU)，(LI SI ，ZHANG SAN) F（walk）=ZHANG SAN，WANG WU （2）语义规则 如果a是谓词或个体常元，a M =F（a） 如果a是一元谓词，b是个体常元，则a(b) M =1
7、当且仅当 b M a M 如果a是二元谓词，b,c是个体常元，则a(b,c) M =1当且仅当 (b M ,c M ) a M 例1（句子的意义）真值计算 Zhang San likes Li Silikes(Zhang San, Li Si) M =1当且仅当 (Zhang San M ,Li Si M ) like M (Zhang San M ,Li Si M )=(F(Zhang San),F(Li Si)=(ZHANG SAN, LI SI) like M = F（like）=(ZHANG SAN，LI SI)，(ZHANG SAN，WANG WU)，(LI SI，ZHANG SAN
8、) 由于 (ZHANG SAN, LI SI) (ZHANG SAN，LI SI)，(ZHANG SAN，WANG WU)，(LI SI，ZHANG SAN) 所以 likes(Zhang San, Li Si) M =1 也就是说，likes(Zhang San, Li Si)的真值为真。其含义是，存在两个人Zhang San和 Li Si并且Zhang San 喜欢Li Si。例2（复合命题）： Tom is handsome and he is rich .v分解Tom is handsome pTom is rich qAnd Tom is handsome and he is ric
9、h . p qv“pq” 意义定义为：pq =1 iff p=1并且 q=1v更多的联结词 常见逻辑联结词真值表例3（命题逻辑形式推理1）v例3如果今天是星期一，则要进行英语或语言学 考试，如果英语老师有会，则不考英语。今天是 星期一，英语老师有会，还考语言学吗？ vp: 今天是星期一vq: 进行英语考试vr: 进行语言学考试vs: 英语老师有会v前提：p(rq), sq, p, s v结论：r例3（命题逻辑形式推理2）v(1) p(rq) 前提引入v(2) p 前提引入v(3) rq (1)(2)假言推理v(4) sq 前提引入v(5) s 前提引入v(6) q (4)(5)假言推理v(7)
10、 r (3)(6)析取三段论例4（谓词逻辑形式推理）v主要贡献v主要缺陷主要贡献v用数理逻辑方法解释自然语言的语义，开辟 了用严格数学方法研究自然语言语义的新方 向。具有重要意义。因为在这之前，逻辑学 家和语言学家都认为适合人工形式语言的描 述方法不能直接用于自然语言。主要缺陷（1）v1、面向的对象不是整个自然语言中的语句，只研 究陈述句；v2、把自然语言转换成谓词表达式，没有提供一种 与语种无关的普适的转换方法，蒙太古针对英语 做了很深的研究，但事实上汉语在这一步比较艰 难。我国学者在领域中很有建树（陆汝占、靳光 瑾、方立等）；v3、真值条件语义学，只是孤立地分析一个句子， 没有语境的支持，
11、有时候是不会得出语句的真正 含义的。需要有语用学来支撑。主要缺陷（2）v4、逻辑联结词只是自然语言众多连接词中的一小部分， 未能处理句子之间各种语义关系，就是定义好了的逻辑联 结词，其意义与自然语言中的意义在对接中也存在一定误 差，如合取，英语用“and”v（1a）they got married and had a babyv（1b）they had a baby and got married v（2）if they got married and had a baby , their parents would be pleased , but if they had a baby an
12、d got married, their parents would be upset.v析取，汉语用“或”v（3a）我们选张三当班长或者选李四当班长；v（3b）他学过英语或法语。结束语v真值条件语义学使人们看到了语言形式化处理的曙光，架 起了语义学与逻辑学的桥梁。但其缺陷让人不得不思考这 样的问题：语言学中是否存在一个笛卡尔坐标系？如同空 间中的一个点（X，Y，Z）总可以通过它的一组基底（1 ，0，0），（0，1，0），（0，0，1）表示出来。（X ，Y，Z）=X（1，0，0）+Y（0，1，0）+Z（0，0，1）v语言的基底在何方？要寻求这个问题的答案，要么天才地 去修补蒙太古理论，要么天才地另辟蹊径进行非常规研究! v事实上，非常规科学研究促成了有两个可喜的成果，一个 是HNC理论（找到了词汇、句子、句群和篇章的基元）； 一个是北师大中文信息处理研究所的两栖人才研究队伍。谢谢大家
