形式语义学发展.docx

《形式语义学发展.docx》由会员分享，可在线阅读，更多相关《形式语义学发展.docx（12页珍藏版）》请在得力文库 - 分享文档赚钱的网站上搜索。

1、形式语义学发展（外国语文杂志）2014年第三期1语义学与生成语法:从（句法构造）到“语言学大战1.1从（句法构造）到（句法理论面面观）在60年代早期，Katz和Fodor(KatzFodor，1963)开场在生成语法中添加语义成分。他们将本人关注的问题称为投射(projection)问题:怎样从句子成分的意义中获得整个句子的意义。这其实就是我们所讲的组合性(composi-tionality)。当时，否认和疑问形式是对肯定陈述句的转换，它们是意义改变的转换形式的最佳例子。所以，意义必须依存于转换。当语义投射规则运用于短语构造的时候，短语标记(P-marker)就扩展为时制标记(T-marker

2、)。Katz和Fodor关于在整个时制标记的基础上计算意义的思想，与蒙太古的推导树(derivationtree)的思路是一致的。(3)MaryhasvisitedMoscow(深层构造)TNEGMaryhasnotvisitedMoscow时制标记指的是(3)中的深层构造(短语构造树)加上表明推导中运用的转换类型的图示，这样的语义操作还是比拟原始。Katz和Fodor开场研究语义特征，但是这些语义表征没有真正的构造，只是一些特征束，充其量更合适一元谓词(one-placepredicate)的解构。后来，他们决定增加几个构造来处理及物动词及其两个论元，但是忽略了量词(quantifiers)

3、的问题。他们的工作局限于对“解读的表述，“多少、一样或不同等。1964年，Katz和Postal(KatzPostal，1964)提出了一种新思想，在深层构造中参加表示否认的语素NEG和表示疑问的语素Q。这种操作有独立的句法动因，并且句子的意义由深层构造决定。(4)aNEGMaryhasvisitedMoscow(深层构造)TNEGMaryhasnotvisitedMoscowbQMaryhasvisitedMoscow(深层构造)TQhasMaryvisitedMoscow我们看一下这个漂亮的构造:深层构造是语义的输入，表层构造是语音的输入，句法将深层构造映射到表层构造。在该理论中，句法构造

4、在中间，一方面连接着语义，另一方面联络着语音。这样的理论构造还是非常优雅和有吸引力的。这一构造上的大的变化的理论根源是:转换应当具有意义维持性。这是一个有趣且颇有挑战性的主张，并直接导致了关于它明显反例的争论。1.2伊甸园时期Chomsky关于语义的思想主要是从1957年的（句法构造）和1965年的（句法理论面面观）发展起来的，他尝试性的接受了Katz和Postal的假设，以为在深层构造层面，存在着句法和语义的系统联络。在（句法理论面面观）占支配地位的较短时期内，存在着一种乐观主义，以为句法理论形式或多或少地能够被理解，并且能够开场尝试着得出“作为独立存在的语法普遍性。这一时期，我们以为，生成

5、语法学家们广泛接受了Katz和Postal的假设，深层构造决定了意义的观点成为超越语言学上的深层构造的概念的一部分(Bernstein，1976)，并且可能对“语言是思维的窗口这一思想有所奉献。1.3逐出伊甸园和语言学大战的根源发生了什么?答案是语言学家发现了量词!根据Katz和Postal的理论，对有定名词使用时的转换基本上维持了意义的统一，但对量词使用转换时却并非如此。首先，先简单看一下等值NP删略的情况(后面蒙太古语法部分会具体讨论):有定名词:(5a)JohnwantsJohntowin(5b)Johnwantstowin但是，量词:(6a)Everyonewantseveryonet

6、owin(6b)Everyonewantstowin?在其它句子的推导中，同样存在类似的问题:(7)Everycandidatevotedforhimself(8)Everynumberisevenorodd1.4语言学大战(linguistic“wars)对于经典转换推导和语义学之间的关系问题，语言学家分成了两大阵营:生成语义学派和解释语义学派。生成语义学派(Lakoff、McCawley、Postal、Dowty、Bach等)以为，为了在深层构造上获得语义内容，需要研究得更深化、更抽象、更像逻辑形式，句法规则在表层构造层面的使用看起来绵软无力。解释语义学派(Jackendoff，Choms

7、ky)则主张保持句法的完美性和独立动因，以为语义应作用于多个层面，并且把语义看成是无原则的、特设的。从60年代末到70年代初，两大学派在语言学领域内爆发了全面的“战争。下面，我们看一下其哲学和逻辑渊源。2哲学和逻辑:蒙太古及其先行者在哲学逻辑领域，Frege，Carnap和Tarski做了很多基础性的工作，并直接领导了20世纪中叶的哲学逻辑大发展。他们的工作涉及情态逻辑、时制逻辑、条件句、指称非传导性和其他一些有趣的自然语言现象。以不同的公理系统为特征的不同的情态逻辑之间的竞争，已经使得一些哲学家(如Quine)开场拒绝使用情态的概念，以为该概念具有病入膏肓的模糊性。但是该研究领域发生了大革命

8、，当时Kripke(1959)和Kanger(1957a，b)正在讨论区分可能模型(possiblemodels)和可能世界(possibleworlds)的重要性，并且以为可能世界也应当作为一个元素，包含在给定的模型中，运用模型理论语义学代替情态的概念。可能模型主要是基于蕴含的语义概念，可能世界则包括可能的事态、可能途径等。这样，模型理论扩展到了情态逻辑的范畴内，并进一步促使逻辑和语言哲学的研究范围扩大，包括量化情态逻辑、时制逻辑、形容词副词逻辑、命题态度动词逻辑、条件句逻辑和内涵逻辑等。上述大多数工作，都遵循着不把给定的自然语言构造和它们的逻辑语义分析之间的关系形式化的传统。蒙太古为哲学逻

9、辑的发展做出了宏大奉献，他把可能世界和时间都看作是指数成分，以为内涵是从指数(并非只要可能世界)到外延的函数。蒙太古提出了关于性质、命题、个体等在内的广义内涵的概念，并将其囊括在完全的类型内涵逻辑中，并且加上了Frege的谓词论元构造。自罗素)之后，谓词论元构造同类型理论一样，都把内涵处理成外延的函数。蒙太古的最后三篇文章与语义学的相关性更强、影响也更大。那么，是什么使他从关注纯正的哲学和逻辑问题转到密切关注自然语言以及语义理论的最好形式的问题呢?据讲蒙太古在1964年与Kalish合著逻辑教材的经历，使他萌生了这一思想:英语应当像逻辑中的形式语言一样，也能够进行形式化处理。Kalish和蒙太

10、古在指导学生将英语翻译为一阶逻辑时费尽苦心。他们不是运用常见的随意的例子来解释，而是建立了一套运算法则，使英语句子能够逐步转换为一阶谓词逻辑方程。蒙太古据此推理，假如能够将英语翻译成逻辑，进行形式化处理，那么直接将英语的句法和语义形式化也是有可能的，这样还省去了中间层面的逻辑语言的转换，由此产生了那篇著名的文章（作为形式语言的英语）(Montague，1970)，还有开篇的那句广为人知的话，“重要的理论差异存在于形式和自然语言中，我拒绝就此进行争论。Bach(1989)十分指出，此处的“理论必须从逻辑学家的角度而不能从语言学家的角度进行解读。蒙太古所否认的是逻辑学家和哲学家的一种普遍认识，他们

11、以为自然语言太杂乱，无法进行形式化的处理。他提出了描绘句法和语义及二者之间关系的一种理论框架，其核心就是Fre-ge的组合原则，这也是当今形式语义学的核心。后来，蒙太古对英语句子的语义分析在很多情况下都已经被取代，但是，就起作用而言，PTQ(Montague，1973)对语义学就好像Chomsky的（句法构造）对句法学一样影响深远。Bach(1989)总结了二人的这种累积性的创新，指出乔姆斯基以为英语可被描写成形式系统，而蒙太古以为英语可被描写成解释性的形式系统。在蒙太古语法中，真值条件和蕴含关系是最基础的。观察的充分性这一原则，从逻辑和模型理论的传统继承而来，是蒙太古语义学的核心，并且是形式

12、语义学的几个界定性原则之一。Cresswell(1985)将其称为“最确定原则(mostcertainprinciple)“我们可能不知道意义是什么，但是我们知道，两个句子中我们假设其中的一个条件为真，而另一个为假，即可确定这两个句子的意义是一样的。如Cresswell所言，从总的构造到个体的事例，很多语义分析的结论都是遵守这一原则的。选择真值条件和蕴含关系作为基本的语义元素，并非从避免反对意见的角度出发，然而事实已经证实，进行明确的语义阐述比选择更广泛的语义元素更为有用。在70年代早期，对很多语言学家来讲，真值条件已经不单单意味着歧义、同义和语义类比等现象。3语言学家和哲学家的合作:蒙太古语

13、法和形式语义学的发展蒙太古是站在生成语义学与解释语义学的“语言学之战的高度，对自然语言进行处理的，尽管当时他和其他语言学家都并未意识到这一点。蒙太古对语言学的奉献中最吸引人的是他采取了一种有别于前人，而且非常有意思的观点来处理句法语义之间的关系，这体如今他把交战双方的观点更好的融合在一起。PTQ以实例的形式展示了蒙太古的代数理论，说明了Bach所命名的“规则对规则假设(rule-to-rulehypothesis)对句法语义对应的问题。句法原则通过构造进行表述，而对应的语义规则负责对这些表述进行语义解释。这些处理与生成语义学和解释语义学有很大不同，后两者只是为语义解释寻找某种适宜的句法层。对蒙

14、太古语法进行介绍的早期的语言学家有Partee(自1973年起)和Thomason。Thomason1974年出版了（蒙太古论文集），并附有很长的介绍性文章。Partee和Thoma-son以为，蒙太古允许句法构造相对保守地生成，同时，在语义原则的指导下研究语义热门问题，比方，生成语义学中的辖域歧义。阻碍蒙太古语法和转换生成语法的整合的问题之一是删略原则(deletionrule)。在经典的转换生成语法中，(9a)是由类似于(9b)的构造生成的。(9)aMarywaseagertowinbSMarywaseagerforSMarytowin考虑到组合性原则，以及蒙太古语法通过次成分的意义构建成

15、分意义的方式，在蒙太古语法中是不可能存在这样一个既是句子的组成部分，意义又被删除的成分。对于(9b)分析的结果令人联想到(10a)。假设(10b)是(10a)的深层构造，结果是它可能给出错误的意义解释。(10)aEveryonewaseagertowinbSEveryonewaseagerforSeveryonetowinPartee(1973)给出了蒙太古语法和转换生成语法的解答:我们要求的内嵌句中隐性的主语应当是个约束变量。根据蒙太古的研究思路，通过抽象使之遭到约束，进而构成VP。(11)atowin=xwin(x)balternatively:everyone(xxwaseagerfor

16、xtowin)乔姆斯基的句法也产生了相应的变化，用空代号PO取代此前经常使用的NP，PO也是个约束变量，而广义短语构造语法、中心语驱动的短语构造语法、词汇功能语法、范畴语法等句法理论，从创立之初就未涉及到这个问题。到70年代中期，作为哲学和语言学结合的杰作，蒙太古语法和相关的形式语义学进入全面繁荣时期，美国、荷兰、德国、斯堪的纳维亚(包括奥斯陆和特隆赫姆)、新西兰等地的学者都对此展开研究，到70年代后期，相关研究已是无法计数。在此期间，有两大思想从哲学和逻辑进入语言学，一是开放句的递归思想，二是运用谓词论元构造研究意义的构成。4句法学家对形式语义学的反响41乔姆斯基的质疑乔姆斯基对形式语义学以

17、及以任何形式出现的组合性都是持怀疑态度的，尽管他对此没有明示。删繁就简地讲，乔姆斯基是对蒙太古语法中提出的语义自治(semanticau-tonomy)感到怀疑，由于，蒙太古语法或任何形式语义学中的句法都并不具备“解释上的充分性(explanatoryadequacy)，并且也未看到任何理论根据。Partee是赞同乔姆斯基的观点的，由于儿童习得句法的同时也习得了语义，毫无疑问，这是儿童的“天赋知识在起作用。尽管乔姆斯基对此怀疑，形式语义学已经推广开来，并且成为美国和欧洲的主流语义学。麻省理工学院于1989年邀请了第一位形式语义学家IreneHeim，在1994年又邀请了第二位形式语义学家Kai

18、vonFintel。不久，就像句法学一样，形式语义学也成为了语言学的主流研究领域。42关于取消转换的可能性蒙太古提出了一种取消转换的可能性，即对于含有不定式的句子，在句法上完全没有必要内嵌一个完好的句子，只内嵌一个VP就足够了。如上文例(9)，beeager的主语和towin的主语是完全能够通过谓词eager的语义得以确认并且等同的，都是Mary。这对生成语法学家来讲是一种新观点。从动词词汇语义角度出发，能够考虑一下控制动词(controlverb)。词汇语义包含了很多的信息，尤其是蕴含。比方，XpromisesYtoleave就蕴含了XpromisesYthatXwillleave。或者Xt

19、riestowin就蕴含了XactswiththegoalofbringingaboutastateofaffairsinwhichXwins这同样体如今主动句和被动句的关系上。Dowty(1978)指出，所有“受管辖的转换规则能够，也应该被词汇规则所替代。(12)aArchaeologistshavediscoveredanewfossilskele-tonbAnewfossilskeletonhasdiscoveredbyarchaeologists(12a)就不是运用转换规则而映射为被动句(12b)的，应再加上一条词汇规则(简化形式):假如及物动词V带有NP1NP2句法构造，并且其意义是

20、，那么V+ed是该动词的被动形式，且其句法构造为NP2be(byNP1)。有一条方法论原则是隐含在转换生成语法中的，但在生成语义学中却显性存在，并包含了Katz-Postal假设，即意义的同一性反映了深层构造的同一性。但是真正的语义学，并不需要任何句法(甚至是逻辑表达式LF)层面上的同一性，来获得意义上的同一性(Thomason，1976)。我们注意到，触发转换的句法相关性是部分地存在于语义的，这导致一种新的可能性出现，即，能够把英语看作是一种独立于语境的语言(Gazdar，1982)。这可能是一个重要的可用来解释对非转换句法的偏好与形式语义之间的正相关性的原因。然而这种偏好并不彻底，尤其是9

21、0年代以来，以Heim和Kratzer为主导的很多现代语言学家开场将现代乔姆斯基句法和形式语义学结合起来。这里仍需注意的是，在广义短语构造语法和其他一些非转换句法理论中，量词的辖域问题仍然没有得到很好的解决。在句法语义接口上，任何一种理论对量词的辖域的解决都不全面。量词辖域歧义所带来的问题有各种不同的解决方案，但都不够完美。最根本的问题是，假如一个人接受了原则的组合性，那么如(13)这样的歧义句，必须有两个不同的句法构造，固然有可能没有独立的句法歧义的证据。(13)Everystudentreadsabook5形式语义学:语言学的自治性分支学科及后期发展我们以为，在80年代，语言学家和哲学家在

22、语义上的高度互动已经过去。紧随其后的是认知科学的兴起，语言学内部对语义学的关注也在加强，因而对语义学的研究既有从语言学本身出发的视角，又有从认知角度的跨学科视角。20世纪80年代中期，认知语义的兴起，使得很多美国大学的语言学系开场开设为期一学期或者一学年的形式语义学课程。这一时期，Dowty(1981)编著的相关教材被以为是经典之作，几乎被全美大学采用，德国也出了几本蒙太古语法教材，而荷兰使用的则是Gamut(1982)编写的上下册的教材。90年代初，形式语义学不再只是蒙太古语法，开场成为语言学的一个具有完全形式的领域，但是当时的学生们还没有意识到语言学的核心学科并非总是语音学、句法学和语义学

23、。出版于90年代左右的教材包括Bach(1989)，ChierchiaMcConnell-Ginet(1990)，Gamut(1991)。并且在此期间，出现了一两个形式语义学系。90年代的美国，语言学家和哲学家在语义上的互动明显减少，部分原因是人们对哲学领域内的语言哲学的兴趣下降，而对心理哲学的兴趣上升。90年代美国和欧洲的研究重点有很大分歧。逻辑、语言和计算研究所于80年代末成立于阿姆斯特丹。他们将语言、逻辑和运算并重，并创立了本人的学术期刊（语言、逻辑和信息杂志），创办了欧洲语言、逻辑和信息暑期研修班。而在美国，在Heim和Kratzer的领导下，（自然语言语义学杂志）于1992年创办。他们十分注重将形式语义学整合到语言学理论中去，二人于1998年合著了一本具有后蒙太古主义的形式语义学教程。2003年，Partee(2004)撰写她半自传体的文章时，似乎还没有真正的语言学和哲学的再次互动，但如今，这种互动又多了起来。一是由于随着哲学领域内“语境主义的兴起，语言学中的形式语用学开场发展起来。二是存在一个长期互动的兴趣点，并且最近非常活跃，即模糊性(vague-ness)。三是谓词参数的判定带有了很强的个人特点。所有以上这些都牵涉到语义和语境的某种互动关系，进而促使互动性加强。