（逻辑学专业论文）蒙太格语法研究述评.pdf

蒙太格语法研究述评 逻辑学专业硕士研究生顾锋强 指导教师何向东教授 中文摘要 蒙太格语法( 简称m g ) ，是美国著名数理逻辑学家r i c h a r dm o n t a g u e 在上个世纪七十年代 初创建的理论，是在现代逻辑学和现代语言学基础上发展起来的独树一帜的语法理论。成为美国 语言逻辑，尤其是语义研究中的一个颇有影响的学术派别。 m g 的基本出发点是“通用语法”( u n i v e r s a lg r a m m a r ) 思想，是逻辑语义学推广到自然语 言领域的结果。他丰富和发展了逻辑语义学思想，超越经典外延的模式，创立新型的内涵逻辑理 论。目前，很多学者从逻辑学、语言学等角度对m g 的进行研究，取得丰硕的成果。 本文并不是简单的将有关m g 的研究成果进行归纳、叙述。而是从早期语义学的传统；逻辑、 哲学中模型论的出现等角度来考察蒙太格语法形成的历史背景，来探索蒙太格语法形成的历史渊 源，说明蒙太格语法的产生是继承和发展的结果，同时也是时代的需要：本文在阐述蒙太格语法 形成的基本理论基础时，重点讨论转换生成语法、范畴语法理论和机器翻译理论对其的影响，阐 明蒙太格语法的主要内容及其相互关系。其切入点有如下两方面：( 1 ) 通过对蒙太格语法研究的 相关叙述，比较，深化对蒙太格语法的系统认识：( 2 ) 从逻辑学、语言学和人工智能自身的发展 需要和蒙太格语法的优点相比较入手，突出蒙太格语法对其的意义。本文的创新点有如下两方面： ( 1 ) 对蒙太格语法的内容中的重点作详尽的叙述，做到重点突出，主次分明。( 2 ) 对蒙太格语 法的形成方面，采取纵向比较的方法，叙述蒙太格语法形成的历史背景和发展脉络；对蒙太格语 法形成的意方面，采取横向比较的方法，叙述其对逻辑学、语言学和人工智能的意义。 关键词：蒙太格语法语义学自然语言 人工智能 p o s t g r a d u a t em a j o r i n gi nl o g i c ：g uf e n gq i o n g s u p e r v i s o r ：h ex i a n gd o n g a b s t r a c t m gi st h ea m e r i c a nr e n o w n e dl o g i c i a n ，l o n ga g os t u d i e dt h er e c u r s i o nt h e o r yo f f u n c t i o n s ，t h el o g i co fm o d a l i t ya n dt h ec o n t e n tl o g i c ，a f t e r w a r d sc h a n g e dt h er e s e a r c h n a t u r a ll a n g u a g e ，f o u n d e dt h em o n t a g u eg r a m m a ri nt h eb e g i n n i n go ft h e7 0 s ，b e c a m et h e a m e r i c a nl a n g u a g e ，i nal o g i c a li np a r t i c u l a rs e m a n t i c sr e s e a r c hq u i t ei n f l u e n t i a la c a d e m i c f a c t i o n 。 b e f o r em gt h el o g i c a ll a n g u a g eg e o m e t r ya n dt h el o g i c a ls e m a n t i c sr e s e a r c ho n l y i sr e s t r i c t e di nt h el o g i cf a b r i c a t e dl a n g u a g et h es c o p e ，t h el o g i c a lp r a g m a t i c st h e n b a s i c a l l yi si nt h eb l a n k 。m gu t i l i z a t i o nm o d e ml o g i ca n dm a t h e m a t i c sm e t h o dr e s e a r c h n a t u r a ll a n g u a g es e m a n t i c s ，t h el o g i c a ls e m i o t i c st h ed i v i s i o nw h i c ha b o u tt h el a n g u a g e s h a p e ，t h es e m a n t i c sa n dt h el a n g u a g eu s e sp r o m o t e st ot h en a t u r a ll a n g u a g ed o m a i n ，i t s m a i nc o n t e n ti st h ep r o d u c tw h i c ht h el o g i ca n dt h el i n g u i s t i c si n t e r a c t i o n ，s e e p sm u t u a l l y , i ss i t u a t e db e t w e e nb e t w e e nt h em o d e ml o g i ca n dt h ef o r ml i n g u i s t i c so v e r l a p p i n gn e u t r a l c o n t e n t 。 t h i sa r t i c l ei st r y i n gf r o mt h ee a r l ys e m a n t i c st r a d i t i o n ；i nt h el o g i c t h ep h i l o s o p h y m o d e lt h e o r ya n g l ea n ds oo na p p e a r a n c ei n s p e c t st h eh i s t o r i c a lb a c k g r o u n dw h i c ht h e m o n g o l i a nt o os t a n d a r dg r a m m a rf o r m s ；e l a b o r a t e dm gg r a m m a re l e m e n t a r yt h e o r y p r e m i s e ，e x p o u n d e dt h em o n g o l i a nt o os t a n d a r dg r a m m a rm a i nc o n t e n t a n di t st h e r e c i p r o c i t y , a n dm a k el h eo b j e c t i v ef a i ra p p r a i s a lt ot h em o n g o l i a nt o os t a n d a r dg r a m m a r f o r m a t i o ns i g n i f i c a n c e ，b yt h et i m ee x p l a i n e dm gg r a m m a rt h ef o r m a t i o ni st h ed i s c i p l i n e o v e r l a p p i n gr e s u l t ，p r o m u l g a t e st h el o g i cd e v e l o p m e n tt h er u l e ，a n dg i v e sc o r r e l a t i o ns o m e e n l i 曲t e n m e n t 。 k e yw o r d ：m gs e m a n t i c s t r a n s f o r m a t i o n a lg r a m m a r c a t e g o r yg r a m m a r i i 独创性声明 x9 0 2 3 9 4 学位论文题目： 苤态整适造盟窒姿受 本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究 成果。据我所知，除了文中特别加以标注和致谢的地方外，论文中不包含其他人已 经发表或撰写过的研究成果，也不包含为获得西南大学或其他教育机构的学位或证 书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作 了明确的说明并表示谢意。 学位论文作者：两锋煞签字日期：伽房4 月) 7 日 j 。 学位论文版权使用授权书 本学位论文作者完全了解西南大学有关保留、使用学位论文的规定，有权保留 并向国家有关部门或机构送交论文的复印件和磁盘，允许论文被查阅和借阅。本人 授权西南大学研究生院可以将学位论文的全部或部分内容编入有关数据库进行检 索，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。 ( 保密的学位论文在解密后适用本授权书，本论文：口不保密，口 保密期限至年月止。 学位论文 签字日期 学位论文 工作单位 通讯地址 骥嘏； 姚毒丢1 嘲已 话：( 丝2 出i 编： 垒金垒2 1 笸 1 牛 一、引言 2 0 世纪是各学科发展的繁荣时期，在这时期内自然语言的语义分析也成为哲 学、逻辑学和语言学研究的共同主题。美国逻辑学家理查德蒙太格创立的蒙太格 语法( m o n t a g u eg r a m m a r ) 简称m g ，正是对这一主题的创造性阐释。 所谓的“蒙太格语法”其实是一个术语，它是指对自然语言的句法和语义的研 究成果。蒙太格语法有狭义与广义之分。狭义上的“蒙太格语法”或“m g ”是指蒙 太格的理论以及这一理论的扩展与应用。但是，从广义上来看，则其边界线又是模糊 的。目前，大多数研究者都认为，蒙太格语法这一术语已扩展为一理论与实践的家族， 它构成了形式语义学领域的共同基础的主要部分。 蒙太格语法的出发点是通用语法思想。所谓通用语法思想，其基本的观点就是 认为自然语言和逻辑人工语言不存在实质上的差异，他通过对于自然语言英语的一 个片断的逻辑分析，得出了一个惊人的结论，他在( ( f o r m a lp h i l o s o p h y ) 一文中声 称：“在自然语言和逻辑学家的人工语言之间，并不存在重要的理论上的差别。我认 为，把这两种类别语言的语形学和语义学综合在一个自然的并且在数学上精确的理 论框架之内的确是可能的。”o 他认为能够实现这一可能性的重要依据是逻辑科学正 在由外延逻辑向内涵逻辑过渡。当不少人对内涵逻辑的建构心存疑惑时，蒙太格却 抱有信心。在他的另一研究成果论某些哲学实体的性质中，正是通过对事件、 任务、体验、义务等抽象名词的逻辑分析，把它们归约到逻辑学中的谓词，并由此 构建内涵逻辑系统。 蒙太格语法在一阶逻辑的基础上通过对语句的结构和赋值增加了某些强有力 的形式工具而形成。“形式语言包括：( i ) 一阶谓词逻辑；( i i ) 模态算子：( i i i ) 时 态算子；( i v ) 兰姆达抽象；( v ) 形成谓词内涵和外延的算子。蒙太格的形式语言 又可称之为内涵语言。”3 在这里蒙太格是依据个体，真值，可能世界和时问坐标以及 所有这些的函项概念给出了内涵语言的一个模型，构建新型的系统。 r i c h a r dm o n t a g u e ，f o r m a l p h i l o s o p h y n e w h a v e n ：y a l eu n i v e r s i t y1 9 7 4 年版第2 2 2 页 4 邹崇理：逻辑、语言和蒙太格语法社会科学文献版札1 9 9 5 年版第7 8 负。 自2 0 世纪7 0 年代初蒙太格语法诞生以来，对现代逻辑、理论语言学以及计算 机人工智能科学等研究领域产生了广泛而积极的影响。所以，很多学者都认为蒙太 格语法是语言学发展的一个里程碑，蒙太格语法在语义学中的革命，可以与乔姆斯基 学派在生成语法学中的革命相媲美。尽管在蒙太格从事于理论研究之前，语言学家、 哲学家和逻辑学家之间富有成效的相互交流的可能性一直存在，学科之间的互补性 成果也时有产生。但是直到蒙太格的基础性贡献以后，对自然语言的语义学中句法和 语义的交汇研究才有一个令人满意的系统和综合的框架。 本文共四个部分： 第一部分：关于蒙太格语法。阐释蒙太格语法的广义含义和狭义含义。以及逻 辑语法的基本轮廓。 第二部分：蒙太格语法的形成背景。共分为两部分，第一部分：对蒙太格存在 之前的各种理论以及它们与蒙太格语法的联系作了探讨，介绍了蒙太格语法的历史 来源：第二部分：对蒙太格语法的理论来源做详细的分析。 第三部分：蒙太格语法的基本内容。着重分析了蒙太格语法的基本内容，其中 通用语法，内涵逻辑语言以及p t q 系统是重点，通过对其基本内容的探析对蒙太格 语法作详细的解读。 第四部分：关于蒙太格语法的评价。本部分分别从蒙太格语法对逻辑学的影响； 蒙太格语法对语言学的影响；蒙太格语法对人工智能的影响等方面进一步说明蒙太 格语法形成的意义。 二、蒙太格语法形成的背景： ( 一) 蒙太格语法形成的历史背景 1 生成语义学的早期传统 在语义学发展历史的早期，有影响力的学者凯茨( k a t z ) 和福德( j a f o d o r ) 在 语义学的研究中，长期运用音位学研究意义和结构问题的方法，特别关注“意义特 征”。而逻辑学家呢? 则正如奎因所说：“逻辑追求语法树的真值刻画”。“尽管凯茨 和福德也寻求句子的意义如何由其最小部分的意义所确定，以及从部分到整体的句 法派生的组合性说明，用语法树的真值方式来寻求这种“特征”的刻画，他们按照特 征的复杂性，而不是真值条件的复杂性把意义分析为可描述的。对此大卫刘易斯 在普通语义学明确指出：虽然我们并不知道一个英语句子的意义的第一要件，即 它在什么条件下为真，但我们可以知道它的人工语义标记的翻译。不处理真值条件的 语义学就不是语义学。译为人工标记充其量不过是真正语义学的代用品，无论是依赖 于我们( 在将来某个时期) 用人工标记说话的潜在能力( t a c i tc o m p et e n c e ) ，还是依赖我 们能够给至少一种语言的人工标记建立真正语义学的能力。”。 语言学家的确在人工标记中假定了这种潜在的能力，并把它用来描绘关于普遍 的和固有的描述的假定。后来杰里福德将此称之为“思想的语言”f l a n g u a g eo f t h o u g h t ) ，因而也就不需要进一步的解释。然而，最终的问题仍然是，为了构造像“原 因”( c a u s e ) 这样的算符的名字，或者像“动因”( a g e n t ) 这样的特征，而不涉及到 确定它们可能意味着什么这样一个最难对付的问题。当人们着眼于从不同的语言，或 在不同语言的分析中，甚至同一语言的不同结构中所设想的包含有“同一”运算符的 争论时，情况同样是显而易见的。 一些哲学家像维尔马曾( v e r m a z e n ) 和刘易斯认为“标记”语言是空洞的，而生成 语言学家关心真值则是令人难以理解；“语义学应当关心精神( m e n t a l ) 描写，因为语 义是语言功能的一部分，对它的解释是语言学家的中心关切。语义初始的解释应当按 。蔡曙山：言语行为和语用逻辑中国社会科学版社t 9 9 8 年版第7 6 负一7 7 负 照概念来进行。关于语义的这种解释的详细研究，有点类似于关于音位学的语音学 的研究方式。它包含有一交汇点，在这一交汇点上，语言学和非语言学( 但仍是心理的) 因素可以结合起来。实际的真与语义学无关，在真值条件和后承关系之外的更丰 富的语义学概念在那个时代尚未被语言学家所广泛认识。”在2 0 世纪6 0 - - 7 0 年 代语言学家致力于对同义、反义、异常、歧义以及涉及诸如一所给语句有多少种意 义，何种意义被何种句子所具有这种结构概念。 这些问题主要关心意义的同与异，意义被构造的方式，因而能够按照描写的方式 被有效地提出。语言学家研究词汇意义，有时也涉及到解释、转喻等方面，但却不会 扩展到系统地关注指称或后承等概念。因而，真值条件语义学对语言学的日渐增强的 影响不仅导致语言学家有了回答问题所需的工具手段，而且对语义询问的发问性质 也随之逐渐地发生了改变。 “语义学中的真值条件在逻辑学家和语言哲学家的工作中有它的根源。在他们 看来，语义学是研究语言和语言所谈及的对象之间的关系的，至于语言的解释则可以 是现实世界，或者现实世界的一部分，或者它的一个假设的模型，或者某些人工语言 的构造性模型。至少自弗雷格( f r e g e a n ) 以来，一些哲学家或逻辑学家就倾向于语义 是非心理的信念，在语言和我们语言的知识两者之问做出了区分，并且一般的把指 称、真值和后承关系看作是达到最低程度的语义描写的主要语料( d a t a ) 。”。 在蒙太格以前，大多数逻辑学家和大多数语言学家基于不同的理由都认为由逻 辑学家所发展起来的形式语言的句法和语义装置不可能应用于自然语言的分析。逻 辑学家认为自然语言太不系统，充满了含糊与歧义，不具备形式化所要求的语言特 质。逻辑学家也铭记着塔尔斯基( f r e dt a r s k i ) 的教诲，自然语言包含着它自己的真谓 词，因而不可能被一致性地构造。 那些采用了逻辑学的形式语言的句法和语义构造概念的语言学家则出于以下 。邹崇理自然语言逻辑研究北京大学出版社2 0 0 0 年版第6 4 页。 。邹豢理蒙太格语义学简介国外浯言学 1 9 9 3 年第3 期。 一个或两个理由也同样拒绝了逻辑学家的处理：( 1 ) 由逻辑学家创制和研究的形式语 言其构造与任何一种自然语言都毫无共同之处，不可能归属于可能的人类语言的范 围之内，因而与语言学是无关的，( 2 ) 由于逻辑学家一般地不关心心理现实性问题，而 它对大多数语言学家却十分重要；由此导致不仅逻辑学家和语言学对可能的语言含 义的不同看法，而且导致真值条件和后承关系在语义研究中的作用看法不同。语言学 家对于语言的直觉并不总是可靠的。 2 哲学和逻辑学的新发展 在哲学和逻辑学内，弗雷格( f r e g e a n ) 、卡尔纳普和塔尔斯基( a l f r e dt a r s k i ) 的基 础性研究在2 0 世纪3 0 年代中期结出硕果，模态逻辑，时态逻辑，条件旬逻辑，指称的 晦暗性以及一些富有哲学意味的自然语言现象的分析相继出现。“由不同的公理系统 所刻画的不同模态逻辑之间的竞争，导致像奎因这样的哲学家把模态和内涵概念看 作是无法治愈的不清晰而加以拒绝。但是当克里普克( k r i p k e ) ，坎格( k a n g e r ) 和辛迪卡 ( h i n t i k k a ) 第一次为模态逻辑提供了模型论语义学，这一领域获得了彻底的改造。世 界之间不同的可通达关系的不同的可能世界语义学对于不同的模态逻辑之间的区别 起着一个主要参数的作用。因而必然可被分析为在所有的可通达的可能世界中为真。 不同种类的可通达关系( 例如，对称的或不对称的，自返的或非自返的) 能够合乎情理 地联系到不同种类的必然性( 逻辑的，伦理的，认识论的等) 。以代替关于因出现不同 的模态逻辑和它们的应用的研究而产生的哪一个模态逻辑是正确的争论。”。卡 尔纳普( c a m a p ) 很早就从事这方面的研究，但他并没有把( 逻辑的) 必然真分析为在所 有模型中为真。但克里普克论证了语言( 基于后承的语义学概念) 的可能模型与作为 应包括在所给的模型内用于对模态概念给出模型论语义学的元素的可能世界( 事物 的可能状态，事物可能是或可能一直是的不同方式) 之间区别的重要性。 模型和世界之间的区别对所有的内涵构造的语义学都是一个重要问题，但也是 一个并不总是被清楚理解的问题。对那些来自语言学而非逻辑学的语义学的研究者 。陈熹映：语言哲学北京大学出版社2 0 0 3 版第4 8 页。 来说，形成这种困难的部分原因是逻辑学家习惯于自由地设计具有未加解释的非逻 辑词项的形式语言，规定可供选择的模型，然后对一所给的语言提供可选择的可能的 解释。另一方面，语言学家倾向于假定，他们所研究的自然语言是一个独立自存的经 验现象，因而对一种语言所选择的模型论解释的概念他们既不熟悉也感觉不够自然。 模态逻辑领域的模型论技术的最终扩展导致了逻辑和语言哲学研究的极大扩张 出现了量化模态逻辑、时态逻辑、索引词和指示词逻辑，形容词和副词，命题态度动 词，条件句和更一般的内涵性的研究。除了少数例外，这些工作的绝大多数遵循着早 期的传统，即不对被研究的自然语言的构造与它们的逻辑语义分析之间的关系进行 形式化刻画，起一种英语和用于分析的形式语言的双语代言人的作用；只有形式语言 能被提供模型论语义学。在这些研究中关于自然语言表达式的语义内容的许多深刻 见解被提出，但是关于语义内容与句法结构的系统性关系的研究却进展甚微，因为语 义上有关句法结构的自然语言构造并不是十分明确的，为此所采取的策略是“严密的 组织”( r e g i m e n t a t i o n ) ：包含有句法上透明的满足逻辑学家逻辑上完美标准的 语言上的构造的类似物的创制与分析：这种语言是对每一句法形成规则有唯一的语 义解释规则的无歧义可描述的语言。 这些发展可追溯到皮尔斯、莫里斯和卡尔纳普的“逻辑句法”，或“逻辑语法” 以及逻辑学家的单纯概念的传统的出现。他们做出了句法学( 良构规则) ，语义学( 良 构表达式的解释，详加说明的真值理论或模型论) 和语用学( 关于语境中表达式的使 用的规则或原理) 的煞费苦心的划分。但是，尽管在那一传统中的许多工作由普通语 言中的语义学问题所引起，而且也是关于普通语言学的语义学的，在蒙太格直接地系 统地应用逻辑学家的技术于自然语言的语法分析之前，很少有人在这方面做出尝试。 3 乔姆斯基学派的革命 随着乔姆斯基著作的出版，乔姆斯基学派在语言学领域中的革命于1 9 6 0 年的中 期达到鼎盛时期。“巴赫( b a c h ) 将这场革命称之乔姆斯基的论题( c h o m s k y s t h e s i s ) 即英语( 以及其它自然语言) 能够作为形式系统在句法水平上加以描写。巴赫将这一 论题与蒙太格的英语能作为一解释的形式系统这一论题相对照。先前盛行的那种认 为自然语言太不系统，无法进行形式的分析的观点，被认为是持之肤浅。不能理解表 面上看上去缺乏系统的组织，实际上却是一个虽然复杂但却绝非不系统的规则或原 理的集合的相互作用的结果。”。 在乔姆斯基革命前的语言学中的语义学，主要关心词汇意义的解析性分析。对 词汇语义的处理仍然是识别语义“特征”或组合成词汇意义的语义“原子”。关于整 个的解析为这种语义原子是否可能，以及关于自然语言的“语义原始成分”( s e m a n t i c p r i m i t i v e s ) 的普遍性和非普遍性的争论，虽然激烈但没有结果。日渐增强的句法居支 配地位的影响，不久开始转向注意句法和语义歧义之问的关系问题，以及探索一些 相对独立于“意义是什么”的结构问题：语义描写经常模仿句法树结构( 有时受到某 些逻辑句法的影响) ，在一些理论中语义描写被认为等同于句法结构的某些平面。如 上所述，在生成语法的初期，语句的关键的语义性质被认为是歧义，反义和同义，以及 按照一所给语句有多少种解释，什么样的语句有什么样的解释来分析。 乔姆斯基和杰肯多夫( j a c k e n d o f o 领导下的解释语义学基于语法描写( 语法能不 诉诸于语义概念来描写) 和论证( 相互竞争的句法分析问的选择能够独立于语义学的 证据做出) 这两个方面的理由而坚持句法自治的原则。在生成语义学与解释语义学的 “语言学战争”处于白热化阶段，蒙太格正埋头于自然语言的探索。尽管蒙太格和语 言学的语义学家彼此所知甚少( 蒙太格知道乔姆斯基的工作，并对他的严格性目标表 示尊重，但对他脱离语义研究句法的成效性表示了怀疑) 。但正如帕蒂所指出的：蒙太 格的著作对语言学家的潜在吸引力是，它提出了句法和语义之间的一个有趣的不同 观点，这种观点能够为冲突观点的双方提供一个双方能够接受的基点。“蒙太格代数 的p t q 范例说明了巴赫称之为句法与语义对应的规则的处理，句法规则将表达式组 合形成更复杂的表达式，相应的语义规则把整体解释为相应部分的解释的函项。这与 生成语义学和解释语义学的处理是完全不同的，后者是按照流行的从一些短语结构 宁春岩等：乔姆斯基语言理论介绍黑龙江大学出版社t 9 9 2 年舨第4 5 页。 生成深层结构的句法派生的概念经由转换到表层结构的方式形成的。其争论的焦点 是在何种句法描写的水平上为语义解释提供基础。”语言学家中与蒙太格规则对规 则处理方式最为接近的是k a t z 和j a 福德，他们提出了乔姆斯基的t 一标记( 深层 结构t 一标记加转换史) 的组合性解释。但是，一旦在凯茨和波斯特引入转换可以保 存意义的这一在某种意义上是对生成语义学的限定的假设之后，这种处理就因其太 不加限制而被迫放弃。解释语义学并没有返回到早期凯茨和福德的派生的t 一标记的 对应处理中去，而是着眼于表层结构的水平，探寻在句法描写的何种其它平面上输入 语义解释。 ( 二) 蒙太格语法形成的理论背景 1 转换生成语法 转换生成语法是5 0 年代以来西方学术界影响很大的形式语言学派。其创始人乔 姆斯基( n c h o m s k y ) 以笛卡尔理性主义哲学思想为指导，认为语言学主要研究人类理 解和生成语句的先天能力，这种能力通过一整套生成句子的规则系统体现出来。t g 运用演绎方法构造规则系统，据此可以推出各类语言表达式，可以生成符合语法的 句子。 t g 从5 0 年代后期到7 0 年代初期经历了几个发展阶段：t g 的经典理论时期，以 乔姆斯基1 9 5 7 年发表的句法结构一书为标志。这时的t g 非常强调语言的生成 能力，由有限多条句法结构规则生成无限多个语句来。他把语法看成是一个能生成 无限句子的有限规则系统，规则的制定应具有生成性( 通过规则能自己生成句子) 、 简化性( 主张形式化、符号化的表示方法) 、明了性( 清楚明白，不含糊不清) 、详尽 性( 力求概括一切语言现象) 、递归性( 规则能重复使用，生成无限的句子) 。其次还 引入了转换规则，把句子的深层结构转换成表层结构。经典时期的t g 是不考虑语义 问题的。“6 0 年代，t g 发展到标准理论的阶段。这时t g 分为三大块规则系统：句法、 o 邹祟理：蒙太格语义学简介国外语言学1 9 9 3 年第3 期。 2 t o ：转换生成语法。 语义和语音。句法部分由基础和转换两部分组成，基础部分除改写规则以外，还有 词典，词典中列入各词项的句法特征、语义特性和语音特性，基础部分生成深层结 构，转换部分把深层结构改变成表层结构。在这里，句法部分是语法的生成部分， 具有创造生成句子的能力，而语音部分和语义部分只是语法的两个解释部分。标准 理论时期的t g 开始关注语义研究。此后，t g 围绕语义问题又经历了扩展的标准理论 阶段与修正的扩展的标准理论阶段。前者认为语义解释有部分是依附句法表层结构 之上的，后者则完全把语义解释放到句子的表层结构上。显然，由于自然语言语义 问题的复杂性，才导致t g 理论的不断修正和发展。”。 t g 在自然语言的句法结构处理方面是比较成功的，m g 英语系统的句法规则充 分吸取了t g 的长处。但t g 始终未能提出较为满意的语义理论，m g 以此为突破口， 提出较为完整的关于自然语言的形式语义学理论，从而体现出对t g 的超越，简单概 括的说，m g 语义学不同于t g 的要点有：( 1 ) 用更为精确的内涵逻辑来解释自然语言 的语义，这种解释最终把自然语言同外部世界联系起来，通过外部世界的抽象模型 来显示自然语言的语义所指：( 2 ) 像t g 用演绎方法描述句法学那样，“m g 对自然语言 的语义学也进行了严格的形式处理，使语义的组合如同t g 关于句法结构的生成一样 具有能行可操作的特点。这个目标通过贯彻语义与句法的同态对应原则得以实 现；”( 3 ) 对英语中一些特定的词项，如限定词的量化语义，动词和命题态度词的 内涵特征，m g 利用数理方法刻画这些对象的特定优势，调动多种逻辑工具进行处理， 从而获得较为满意的效果。 2 范畴语法理论 范畴语法是蒙太格语法对自然语言句法范畴进行分类的依据，同时也是蒙太格 语法的理论背景之一。范畴语法的思想最初源于弗雷格，其完整的表述归功于3 0 年 代的波兰逻辑学家列斯尼夫斯基( k s n i e w s k i ) 和爱裘凯维茨( a j d u c i e w c z ) ，5 0 年代兰贝 。宁春岩等：乔姆斯基语言理论介绍黑龙江大学出版社1 9 9 2 年版第6 3 6 4 页 。邹崇理：逻辑、语苦和信息人民出版社2 0 0 2 年版第3 8 页。 克( j l a m b e k ) 提出的有关代数演算标志范畴语法在技术上的成熟。 范畴语法的基本思想是：自然语言的两个基本范畴( 名词范畴n 和句子范畴s ) 派 生出其他范畴；自然语言的生成组合是通过其组成部分所属范畴的运算来实现的。 “基本构成： 具有初始范畴的有穷集合 如初始范畴n p ( 代表名词短语) 和s ( 代表句子) 的集合。 构造从初始范畴生成若干派生范畴的形成规则 如派生范畴的生成：若a 和b 是范畴，则a b ( 或m b ) 是范畴。 具有揭示语言符号串在毗连生成的同时进行范畴推演或运算的句法规则 ( 1 ) 若a 是属于范畴b a 的表达式并且b 是属于范畴a 的表达式，则ab 是属 于范畴b 的表达式。 ( 2 ) 若a 是属于范畴a 的表达式且r 是属于范畴a b 的表达式，则a r 是属于范 畴b 的表达式。给语言的每一词条指派一个范畴。如给j o h n 指派范畴r i p ，给w a l k s 指派n p s ，给q u i c k l y 指派( n p s ) ( n p s ) ，等等。 实际操作的例子为： j o h n l o v e s m a r y n p( n p s ) n pn p据规则( 1 ) 自然语言的毗连 n p s据规则( 2 ) 生成变成范畴推演或运算) s 篼一步：由( n p s ) n p 和n p 推出n p s 第二步：由n p 和n p s 推出s 。 形式表述： 作为形式语言的范畴语法l ：( v ，b a s c a t ，c a t ，r s ，r t ) v 是l 的词库：( 自然语言若干词条的集合) b a s c a t 是初始范畴的集合：( 如 s ，n p ) ) c a t 是所有句法范畴的集合；( 包括派生范畴如n p s 等) r s 是两类规则的集合；( 范畴递归生成的规则和范畴推演运算对应自然语言表达式 毗连的规则) r t 是给v 中词条指派适当范畴的规则的集合。 范畴语法最重要的技术特征是对范畴运算的理解。s 和n p 是初始范畴，带斜线 “”或“”的范畴是派生的范畴，不同的斜线表明不同的运算方向。所谓函子范 畴( f a c t o rc a t e g o r y ) 和主目范畴( a r g u m e n tc a t e g o r y ) 及取值或结果范畴( r a n g eo r r e s u l tc a t e g o r y ) 的概念是相对而言的。如b a 和a b 是函子范畴，a 就是其主目范 畴，b 就是结果范畴。如不及物动词的范畴n p s 就是一个函子范畴，其主目范畴为 n p ，结果范畴为s 。换言之，函子范畴n p s 以n p 为主目范畴进行运算，获得s 为结 果范畴。 函子范畴类似函项算子f ，主目范畴类似自变量x ，取值范畴类似因变量y ，其关 系为：f ( x ) = y 。将从函子范畴和相应的主目范畴得到结果范畴的过程也可被看作是一 个推演过程，如由作为前提的函子范畴a b 和主胃范畴b 分离推出作为结论的结果 范畴a 。 蒙太格语法注意到了范畴语法所谓范畴的生成与范畴的运算与逻辑类型论语形 学相关部分非常相似。在此基础上构造一个英语部分语句系统的语形( 句法) 部分。 即按照范畴语法的要求确定英语范畴的分类，确定由英语词项组成的一部词典 ( l e x i c o n ) 。进而运用包含英语范畴毗连运算的语形规则来形成英语句子。对此m g 再给出一个严格意义的翻译函数，把作为范畴语法的英语翻译成逻辑类型论语言。 这里的逻辑类型论语言相当于英语表达式的“语义表现”，翻译就体现了英语语形 与其“语义表现”的同态关系。再通过逻辑类型论的语义学解释这些翻译式，就使 英语表达式真正获得了它的语义解释。最终实现了英语语形与语义的同态原则。也 。邹崇理：逻辑、晤言和蒙太格语法社科文献m 版社1 9 9 5 年版第2 4 。2 6 页； 使英语语义的系统化描述成为现实。 3 机器翻译理论： 人类对机器翻译系统的研究开发已经持续了5 0 年。事实上，自2 0 世纪4 0 年代 电子计算机诞生之日起，人类就开始了计算机应用于语言翻译的探索。先后出现了 基于双语字典的直接翻译型、基于抽象表达式的中间语言型和基于规则的转换型翻 译系统。“目前，机器翻译领域的研究包括基于语言学的规则研究、基于语料库和统 计方法( 如k d d 技术) 的研究、基于记忆的方法( 即t r a n s l a t i o nm e m o r y ) 研究和基于受 限语言的研究等方面。随着人工智能和i n t e m e t 的出现和发展，机器翻译的应用前景 将更加诱人，也会带来更多的商机。”但应该注意的是今天机译系统的翻译质量还 很差，5 0 年来译文质量没有取得实质性的突破，几乎所有的机器翻译界专家都有这 样的同感：机器翻译要能达到实用化的水平，还有很长的路要走。 面对这样影响机器翻译技术实用化的根本性问题，不能不使我们重新审视已经 走过的路程，机器翻译理论经过半个世纪的研究发展，今天仍然没有一个真正实用 的机译系统出现，问题的症结正是由于现有的机器翻译技术缺乏能够真正反映机器 翻译内在规律的理论依据，导致了其核- t l , 技术的研究长期以来始终不能取得突破性 的进展。而基于自然语言语义理解”的翻译理论，恰恰在这一领域实现了翻译质量 和翻译速度上质的飞跃，使得机器翻译技术真正走向了实用，开创了机器翻译的新 篇章。 “基于自然语言语义理解的翻译理论( 以下简称为理论) 认为，自然语言的本质要 素是语义，其表现形式( 包括语言符号、词法和句法等) 只不过是语义的载体，而词 是语义的基本载体，并由此提出了原子语义和原子语义集合的概念。原子语义是构 建语义环境的基本要素，自然语言的表现形式所携带的语义是由原子语义通过相应 的表现约定来体现的。”画因此理论认为，机器翻译的根本任务就是实现同一语义在 。冯志伟：蒙太格文法在机器翻译中的应用现代图书情报技术1 9 8 7 年第4 期。 姚天顺等：一种让机器懂得人类语言的研究清华大学出版社2 0 0 2 年版第9 8 页 不同表现形式之间的转换。并进一步将这一任务分解为主动语义描述模型的建立和 自主翻译逻辑的确定两部分。在主动语义模型中，首次提出了语义词库的概念，并 将语义词库中收录的词条理解为携带有原子语义集合的包括单词、词组、短语、句 型模式乃至于一个完整句子在内的广义词条。建立在语义词库基础之上的智能选词 技术和翻译复用技术，则是实现语义发现、语义提取和语义复用的关键。在自主翻 译逻辑中，理论提出了语义体和复合语义体的概念，并将语义体理解为基本翻译单 位。通过语义体之间的可组合特性，实现语义环境的自动构造，进而实现语义的准 确描述；通过语义体之间的语序调整，实现语义的准确表达。总之理论没有遵循传 统翻译理论从词法分析到语法分析最后实现转换的思路，而是抓住语言的本质特征， 突出以语义为中心的思想，通过主动语义模型和自主翻译逻辑来实现在源语言和目 标语言之间语义的准确传递和再表现。 基于自然语言语义理解的翻译技术，是建立在自然语言内在规律和普遍共性基 础上的一套机器翻译理论体系。由于它是按照人工翻译中人的思维逻辑来建立描述 模型和翻译逻辑的，使得其翻译质量可与人工翻译的质量相媲美；另方面，由于其 算法的简洁性，避免了复杂的语法分析，不依赖庞大的规则库和语料库，因而使得 其翻译速度较之传统的翻译技术有了很大的提高。 三、蒙太格语法的基本内容 蒙太格语法的基本内容可概括为：逻辑语言和自然语言的通用语法思想；句法 和语义的对应原则和意义的组合原则；自然语言部分语句系统的思想；命题态度和 内涵逻辑的概念：形式语用研究；处理索引句的语用思想等等。本文主要介绍：通 用语法思想：类型语言理论、p t q 系统。 1 通用语法思想 在蒙太格工作的年代，语义学。直是一个十分活跃但却颇富争议的研究领域。 不同的学科对它有截然不同的处理。形成这种差异的一个主要根源是研究对象的选 择不同。可以说有多少种涉及到意义问题的研究学科，就有多少种关于意义研究的中 心问题。例如笛卡尔主义，在语言与思维，语言与交际，语言与真理以及语言与结构 等不同的方面，就有完全不同的意义观。 蒙太格认为，自然语言和逻辑学家的人工语言之间不存在重要的理论差别。实 际上，在一个自然而然，并且具有数学精确性的理论框架中概括这两大类语言的句 法学和语义学，这是可能的。由此，蒙太格提出了一个通用语法( u n i v e r s a lg r a m m a r ) 模式来描述逻辑人工语言与自然语言的某些共同规律。其主要思想： ( 1 ) 自然语言与逻辑人工语言本质上是相通的，逻辑语义学的基本思想方法可运 用于自然语言。逻辑语言可从数学角度分为语形( 句法) 、语义及语用的不同层面来进 行研究，自然语言也能划分为这样三个层面。 ( 2 ) 自然语言的内在结构同逻辑语言一样是一种无歧义语言，由无歧义的深层结 构变换到歧义的表层结构是有规律可循的。 蒙太格进一步注意到，自然语言的句法和语义同样有类似的结构特征。对两大 类语言的情况进行概括，就得到所谓通用语法的模式。“蒙太格的通用语法主要有句 法语形( s y n t a x ) 与语义( s e m a n t i c s ) 两大部分，此外还有附加的翻译理论。句法部分 表现为无歧义语言( d i s a m b i g u a t e dl a n g u a g e ) 至l j 歧义语言( a m b i g u a t e dl a n g u a g e ) 的过 渡。”o 此外，蒙太格还定义了基本表达式集合x s ，的扩展c d 及其族( f a m i l y ) 的概念。 其次，蒙太格据此给出语言( 即歧义语言) 的定义。对歧义语言l ，蒙太格还定义了 一系列有关概念，如l 的恰当表达式集合p e l 还有l 的导出句法规则的类k 等概 念。值得注意的是，蒙太格还巧妙地利用r 的概念从纯粹的句法角度给出了句法歧 义的定义。 关于通用语法理论，蒙太格分为意义理论f t h e o r yo fm e a n i n g ) f 1 指称理论 f t h e o r yo fr e f e r e n c e ) 。简单说，意义理论主要指歧义语言的语义解释，而指称理论 1 邹崇理：逻辑、语言和蒙太格语法社科文献 f ；版社1 9 9 5 年版第7 6 一7 8 矾 则涉及弗雷格解释( f r e g e a ni n t e r p r e t a t i o n ) 、模型( m o d e l ) 及模型有效等概念。 在给出弗雷格解释、模型等概念的定义之前，蒙太格介绍了表达式的类型集合 t ，个体集合e ，可能世界集合i ，使用语境( c o n t e x to fu s e ) 的集合j ，类型为y 的表 达式的可能外延的集合d r k ，以及可能的意义集合m a b ? 等有关的预备知识。 “蒙太格通用语法提供的语形句法部分、歧义关系r 、以及语义学的意义理论与 指称理论，皆是一种建立的集合、函数概念基础上的抽象框架，它不仅运用于逻辑 人工语言，也运用于自然语言。”。换言之，它概括了逻辑语言与自然语言的共同本 质，也表明两大类语言在本质上是相通的，这就是蒙太格语法的最重要的贡献之一。 2 类型语言理论 类型理论语言是蒙太格语法的重要内容之一。“类型语言l c 是建立在罗素 f r u s s e l l ) 的类型理论基础之上的，因此也称为类型理论语言。” l l 有许多特点，其 中之一就是它有无穷的逻辑类型。另外，在l t 中不仅个体词和谓词有常元和变元之 分，而且其他词类也有常元和变元之分。更重要的是，凡是变元都可覆盖常元，这 样一种逻辑语言常叫做高阶谓词逻辑。只有个体词有变元和常元之分，变元可覆盖 常元的谓词逻辑称作一阶谓词逻辑。如果个体词和谓词都有变元和常元之分，变元 可覆盖常元的叫做二阶谓词逻辑。 在l t 的句法部分中主要有以下四种逻辑类型：个体常元；常用e 表示公式； 常用t 表示n 元谓词；联结词包括一元联结i q ( 目p 否定联结词1 一”和二元联结 词“八、v 、一”等。它的基本特点：( 1 ) 句法规则很简单，只有一条，但逻辑类 很复杂，产生这样一种结果的原因是逻辑类中己经包含了句法运算的信息，这就使 得独立的句法规则的存在不再有必要。当然句法结构描写的总量并没有变，只是原 来由句法规则描写的任务放到了词库中去描写而己。( 2 ) 它的公式生成过程都是函 数应用过程。由于规则是描写结构的，l f 的公式结构就是一种函数论结构或称函数 。邹崇理：自然语言逻辑研究北京大学出版社2 0 0 0 年版第5 5 页。 。方也：逻辑语义学中国科学m 版社1 9 8 7 年版第8 7 页。 结构。当然，函数论结构也是相对于某些理论来说的，如类型论、范畴语法等。换 言之，同样的语言事实在不同的理论里可以通过不同的概念作出描述。( 3 ) 从泛函 运算规则可以看出，公式生成的过程都是一种二元的运算，说得简单点就是一个逻 辑类跟另一个逻辑类的组合，从树形图上看，它总是不断的二分叉，因此它的结构 层次相当丰富。 3 p t