您现在的位置:主页 > 小鱼儿2站 > 正文

论PTQ系统的意义公设 权威资料-逻辑学理论论文

发布时间:2019-10-07 点击数:

  【作者简介】邹崇理中国所。 PTQ系统是蒙太格部分语句系统。 该系统在范畴语法的基础上通过一部式,再 通过内涵逻辑的模型来解释这些逻辑式,从而间接获得英语句的语义解释。值得注 意的是,解释英语句的内涵逻辑模型是经过特定限制的模型,这些限制以意义公设 (Meaning Postulate)的方式表现出来。意义公设(简称MP)在内涵逻辑语义学 对自然密切相关。另一方面,作为PTQ系统比较艰深的内容,MP 的深入理解及 其具体操作在Montague 那里却没有给予充分论述。所以,有必要对MP 有关的问 题进行深入细致的探讨。 1.PTQ系统共有9 条MP,它们是: 2.2Montague 认为, 并非任何内涵逻辑模型都可以用来解释英语的语义。PTQ 系统中的内涵逻辑模型是经过限制的模型,这类模型Gamut 称之为admissible models。所以,从语义学的角度看,MP 的作用就是从所有模型的类中限制出满足 某些语义的子类。MP[,1]是这方面的典型代表,它要求模型把英语专名有关的个体 常项处理成严格指称。MP[,2](或MP[,3])要求模型把外延普通名词(或外延不及 物动词)所包含的个体概念解释成常值函数。MP[,4](或MP[,8])则要求模型中存 在一个个体是外延及物动词(或外延介词)的宾语所涉及的对象。MP[,5-7]的情况 比较特殊,它们几乎没有什么化归作用,,它们的作用主要体现在语义方面。它们 要求在解释英语的模型中,就包含seek,believe that,try 等语词的内涵语境而言,其主语位置上的施事者,必须是论域中存在的个体。 2.3PTQ系统中MP 的最终目的是解决与语言哲学有关的一些疑难问题。语形 化归与模型限制的作用都是还没有注意到的一种内涵关系。根据一般的逻辑原则, temperaturerises 这两个前提似乎可以推出 ninety rises 这个结论。但是,有这么一些场合,在这些场合下,两个前提都真,结论却推 不出(《Formal Philosophy》P.237)。为什么推不出,外延逻辑无法说明。为此 Montague 在PTQ 系统内,把普通名词和不及物动词分为两类,外延普通名词(或 不及物动词)可以使用MP[,2](或MP[,3])把所包含的个体概念解释成模型中的 常值函数,它们可以被化归成指代个体集合的表达式。而内涵普通名词(或不及物 动词)不能使用MP[,2](或MP[,3]),它们所含有的个体概念并非被处理成常值 函数,它们不能进行化归。于是,上述疑难推论的前提和结论只能分别翻译成: 据MP[,4]的推论可得:(2)(3)。这表明(2)与(3)两种组合在满足 MP[,4]的模型中可同时成立。从语义学角度看,使(2)与(3)同时为真的情境至 少具备这样的条件:无论在由find'。所展现的个体与个体之间的关系中,还是由 find'所展现的个体概念与个体概念性质之间的关系中,是unicorn'的个体在模型 中始终是有所指的。 而在内涵动词seek 那里。由此得到的类似(2)的逻辑式与类 似(3)的逻辑式却不等值。这样在使类似(2)的逻辑式为真的情境中,是 unicorn'的个体就不必在现实中存在,这便体现了内涵语境的无所指语义解释。 MP[,4]所要求的目的也就达到了。 3.Montague 的PTQ系统为了解析上述语言哲学中的疑难问题, 引进了个体概 念的手段来处理内涵语词的情况。但又想顾及日常语言表达中更多的从外延角度来 使用语词的现象,就采用了MP 的方式来化归。这些MP 除了MP[,9]以外,大都直 接或间接与个体概念的使用有关。本文认为:这些MP 在表述上,数量上或使用限 制方面不同程度存在一些问题,于是打算对此做一些探讨,提出另一套比较简明的 涉及个体概念的MP 方案。 3.1 关于普通名词和不及物动词化归的MP 的探讨。 3.1.1 在PTQ系统中,当提及不及物动词的化归时,Montague 给出一个记法 约定(Notational Convention)和有关MP 的推论: 3.1.2 在PTQ系统内,普通名词和不及物动词的语义类型都被处理成〈〈s, e〉,t〉,即它们的语义值都是个体概念的集合。 当把其中的外延语词的语义值化 归成个体的集合时,Montague 却采用了两条不同的MP。为什么要区别对待?在 Gamut 那里,对Montague 的用意没作进一步说明。本文认为,普通名词的化归之 所以需要MP[,2]的形式,似乎是为了便于获得更多的有关化归操作的推论。而不 及物动词的化归只需证明一条推论,所以用MP[,3]的形式。然而无论怎样,若把 由两条改成一条。这样不仅能证明外延及物动词化归所需推论,而且也能推出普通名词化归所需那些推论。一肖中特免费资料查询,PTQ系统内,Montague 没有明确给出普通名词化归所需 推论。根据Gamut 的提示,这样的推论有3 CN推论:与CN推论[,3]的证明这里从略。3.2 关于及物动词与介词的MP 探讨。 3.2.1 对待及物动词及介词化归的情况,Montague 同处理不及物动词的化归一 样,采取分两步走的方式,即先给出有关的MP 及各自的NC,再据此确立各自的 推论以便化归之用。Gamut 认为,5587彩民心水网 马戏团的员工现在几乎,这样的MP 可一步到位给出,即把有关推论直接 当作MP 未尝不可。所以,PTQ 系统中关于及物动词和介词化归的MP 可分别改为 (6)与(7),各自相应的NC不变: 由于price 不是外延普通名词,故不能用MP[,2]化归, 包含的个体概念并非 是常值函数,ˇx 就并非属于ICE,这样(9)中的 lambda;-转换就难以实现。(8)中的love\.(j,ˇx)的组合在模型中就不可能为 线)在模型中也不可能为真。这样的结果是PTQ系统所不能接受的。 问题症结在于这里使用了price。所以,有关及物动词(或介词)化归的MP 应该 加这样的限制:即MP[,4](或MP[,8])所涉及的二阶性质 中没有price temperature这样的内涵普通名词的翻译式出现。以及与相应的ˇx 必是内涵封闭 的。这等于说:外延及物动词(或介词)要化归(即获得它的有所指语义解释)必 须与外延普通名词相搭配。 3.3 本文提出的PTQ系统内关于个体概念MP 的简化方案总起来说就是: (5)作为普通名词和不及物动词化归的MP(记为MP[,2]);(6)作为及物动词 化归的MP(记为MP[,3]);(7)作为介词化归的MP(记为MP[,4]); 另外 PTQ原有的MP[,1]与三条NC依旧。由MP[,2]推证一条IV推讼与三条CN推论。 据此就可以对系统内有关化归进行简洁的操作了。举例如下: womantalks。 例2:John walks park。重要提示: 文档由 上传,本文为word 格式。感谢您的支持!