对自然语言进行形式研究的观念可以从古代和中世纪语言逻.docVIP

对自然语言进行形式研究的观念可以从古代和中世纪语言逻辑中找到渊源，但直到最近几十年，随着现代逻辑技术的广泛应用，才开始了自然语言真正的形式研究。本文从逻辑技术的视角，考察自然语言形式研究的历史演进过程。一、古代和中世纪关于自然语言的形式研究????传统语法学(语言学)着力于研究词素句法学(morphosyntax)的规则，是一种静态或者封闭的研究方式，目标是使人们能够正确地表达语言。传统语法学除了使用表格形式(例如某些语言的名词变格表、动词变位表等)概括某些语法内容外，主要用日常的非形式化语言表述其理论，其研究模式以及理论描述工具依然是在自然语言的框架内。使用日常语言虽有直观的优点，但其缺点也十分明显，主要是不严格、不科学，在进行研究和讨论时会产生概念不清晰的问题。????自然语言的语法在很多方面都可以看作或者被处理为一个形式系统，我们可以用形式化的模型去描述。这些模型能把语法学、语义学乃至语用学结合起来。由于它们在很大程度上都是逻辑模型，因此很多用逻辑语法或形式语法命名的语法理论都可以表达它们。????从历史上看，关于自然语言的形式理论由逻辑学家、数学家以及计算语言学家(Computational Linguist)构建和发展，并且也被看作是表达语言知识和语言能力(linguistic competence)的模型。????逻辑与语言之间的结合研究可以追溯到古希腊。古希腊对语言学的最大贡献是语法，它们对后来的研究有着深远的意义。中世纪思辨语法(speculative grammar)和理论语法(theoretical grammar)都是基于亚里士多德对陈述句的主词和谓词关系的区分，另一方面，也是基于亚里士多德的范畴概念。亚氏本人首先对这些理论进行了技术性处理。他对语法的处理既是传统语言学的，也是逻辑的(亚氏的逻辑是形式逻辑，因此，逻辑的东西自然也是形式的东西)，或者说是通过逻辑的方式去理解和研究语言，表现在他的范畴论、判断论以及四谓词理论：句子分为主词和谓词，谓词乃是句子最重要的部分，可以分为四类，即定义、特性、种属、偶性，这就是四谓词。四谓词只是对各种宾词词性所作的大体分类。为了说明哪些宾词在对实体的描述中起重要的作用，亚里士多德把宾词分为十类：实体，数量，性质，关系，地点，时间，姿态，状况，活动，遭受等，称之为十“范畴”，即最具普遍性的概念，任何实体性的事物都逃不出这些范畴的约束，对任何实体性的事物进行描述的语句都是由这些范畴通过正确的逻辑方式组合而成，句子的语法也必须合乎逻辑。亚里士多德的语法理论是自然语言逻辑分析的渊源，并首先被斯多亚学派(Stoa)和亚历山大里亚学者(Alexandrines)采纳。????被称为古代最后一位逻辑学家、中世纪哲学第一人的波爱修斯对语言的研究起着承上启下的作用。波爱修斯应用亚里士多德的范畴逻辑，从语义学的角度研究了“共相”这一对整个中世纪哲学产生至关重要影响的范畴，以及“三位一体”等关于基督教神学的中心范畴。波爱修斯应用的是纯逻辑方法，推理过程类似于逻辑演算，可以认为是对语义的形式研究，而且对三位一体的研究涉及到了范畴的语境问题。但波爱修斯的研究没有涉及日常语言，其目的是为神学服务，这种研究方式也是中世纪语言研究的基本面貌。????中世纪逻辑虽然总体上不及希腊逻辑的辉煌，然而在语言学研究领域，逻辑学家依然作出了重要贡献。中世纪语法学既是思辨的，也是理性的(或者说基于逻辑理论的)。表面看来，语法学与逻辑学、修辞学并列，称为三科(trivium)，但实质上逻辑学和语法学是完全纠合在一起的。他们认为语言是现实之镜子(Speculum)，并视语词为事物与理解之间的符号中介。语法学研究自然语言，逻辑学则是某种意义上的普遍语法(这一观点对现代语言逻辑极为重要)，无论说拉丁语还是其他语言，都要遵从逻辑规则。现代生成语法学派则发展了这一观点，认为不仅逻辑规则可以看作是语言的普遍语法，而且不同语言在语法上也有共通之处，即在人的心灵中存在着一部“普遍语法”，语法研究的目的就是探寻这一普遍语法。????一般说来，句法比语词意义更容易形式化，因此，逻辑学一开始就和句法学(语法学)相关。中世纪语言逻辑则主要研究与推论、指代相关的一些特定句式的句法。其主要目的是为了诠释《圣经》(《圣经》里本来就有很多关于语言的故事)，通过语法去解读描述《圣经》的不同语言的普遍和不变的原则，使得说不同语言的人能够获得共同的“科学语言”，从而像上帝那样获得对世界的终极认识。因此，中世纪的语言学研究实际上是把用不同语言形式表示的语句当作具有统一意义的命题，把语法形式当作一种命题形式。这正是亚里士多德语言学研究的基本思路，也映照了现代自然语言研究的形式化方向。????应该指出，古代和中世纪西方语言学之所以较早研究语法，这可能是由于西方