真值条件语义论不足之处探讨

《真值条件语义论不足之处探讨》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、精选公文范文管理资料真值条件语义论不足之处探讨　　如果将英文（1）Amanwalks翻译成谓词逻辑式，那么会得到如下的结果：（2）x（man（x）∧walk（x））（1）系统地整理这些逻辑式并借助它们对自然语言表达进行系统地模型论解释，这就是由Montague（1973）所提出的Montague语义论[1]（以下简称MS）的根本目标。（2）这种语义论的主要目的是运用模型理论（3）明确表述自然语言各个句子的真值条件。[2]　　这种语义论被称为”真值条件语义论（truth-conditionalsemantics）”.　　真值条件语义论目前存在众所周知的两大不足。首先，存在真值条件语

2、义论无法解释的语言现象。其次，由于它不能把握话语和上下文相互影响的动态特征，故像MS[键入文字][键入文字][键入文字]精选公文范文管理资料解释每个句子意义的研究方法实际上是一种静态语义论。本文在探讨这一问题时，重点关注了超越了其不足的两个理论。这就是由Kamp和reyle（1993）提出的”话语表现理论”（discourserepresentationtheory,以下简称DRT）以及由Asher和Lascarides（2003）提出的”分段式话语表现理论”（segmenteddiscourserepresentationtheo-ry,以下简称SDRT），SDRT理论是对DR

3、T理论的进一步完善。通过梳理这些理论的观点从而将真值条件语义论的不足凸现出来。　　本文首先论述以MS为代表的真值条件语义论的局限性。其次，阐述DRT和SDRT的基本观点。在此基础上，进一步探讨真值条件语义论的不足之处。　　一、真值条件语义论的局限性　　真值条件语义论的代表性理论是MS.MS认为句子的语义就是其真值条件，并且为了方便给出真值条件，作为过渡阶段先要把句子翻译成逻辑式。在翻译阶段，对于”a”或者”man”这样的基本表达，事先要定义实现其翻译的逻辑式。而对于”aman”或者”aman[键入文字][键入文字][键入文字]精选公文范文管理资料walks”这种复合表达，则根据其

4、要素和它们之间的联结方式翻译成带函数的逻辑式。　　（4）具体来说，如下：”→”表示翻译，右边记录了在翻译时使用的操作，但是比MS中的实际表达式要简略。如果公式有两行，第二行就是第一行的简略形式。　　（3）a→λPλQ.x（P（x）∧Q（x））基本表达（4）man→man基本表达（5）aman→λPλQ.x（P（x）∧Q（x））（man）λQ.x（man（x）∧Q（x））（3）（4）适用函数（6）walk→walk基本表达（7）amanwalks→λQ.x（man（x）∧Q（x））（walk）x（man（x）∧walk（x））（5）（6）适用函数可以用传统语义学的方法给出逻辑式的解

5、释。　　在上面的例子中，这个句子想要为真必须具备这样的条件，即这个人是男性且至少有一个在行走。像这样翻译成逻辑式只是为了方便给出解释，而本质上是没有必要的。实际上，省略了翻译步骤也可以直接解释英语表达。Montague的观点中与本文相关的有以下两点：（1）[键入文字][键入文字][键入文字]精选公文范文管理资料从模型论角度来理解的真值条件赋予每个句子以意义，中间的语义表示（逻辑式）本质上对于表达的意义并无贡献。（2）排除上下文因素的每个表达都被赋予确定的翻译和意义。　　在把握这两点之后来看下面的例句。　　（6）（8）Oneofthetenballsismissingfromthe

6、bag.Itisunderthesofa.（袋子里的十个球有一个不见了。它在沙发底下。）（9）Nineofthetenballsareinthebag.（？？）Itisunderthesofa.　　（袋子里的十个球剩下一个。它在沙发底下。）上面（8）的真值条件是不变的。也就是说，包里有十个球中的九个，剩下的一个不在包里。但是，（8）里的”it”是指不在包里的那个球，而（9）中的”it”却不能照应于包里没有的那个球。只要把句子意义视作真值条件，这个现象就无法解释。即使凭直觉这两个句子的意义也是不同的。　　再看下面这两个照应的例子。　　（10）Hansdoesn’townSituat

7、ionandAttitudes.　　Helikesi（thowever）。　　（汉斯没有《SituationandAttitudes》这本书。他喜欢它（尽管）。）（11）Hans[键入文字][键入文字][键入文字]精选公文范文管理资料doesn’townabookonsemantics（。？？）Helikesit.　　（汉斯没有一本关于语义学的书。他喜欢它。）MS处理这种跨句照应的方法本来就是不确定的。虽然它可以暂且利用自由变项等来解释（10），但也会留下问题。因为使用这种方法时