但直到最近几十年,随着现代逻辑技术的广泛应用,才开始.docVIP

对自然语言进行形式研究的观念可以从古代和中世纪语言逻辑中找到渊源，但直到最近几十年，随着现代逻辑技术的广泛应用，才开始了自然语言真正的形式研究。本文从逻辑技术的视角，考察自然语言形式研究的历史演进过程。 一、古代和中世纪关于自然语言的形式研究 ????传统语法学(语言学)着力于研究词素句法学(morphosyntax)的规则，是一种静态或者封闭的研究方式，目标是使人们能够正确地表达语言。传统语法学除了使用表格形式(例如某些语言的名词变格表、动词变位表等)概括某些语法内容外，主要用日常的非形式化语言表述其理论，其研究模式以及理论描述工具依然是在自然语言的框架内。使用日常语言虽有直观的优点，但其缺点也十分明显，主要是不严格、不科学，在进行研究和讨论时会产生概念不清晰的问题。 ????自然语言的语法在很多方面都可以看作或者被处理为一个形式系统，我们可以用形式化的模型去描述。这些模型能把语法学、语义学乃至语用学结合起来。由于它们在很大程度上都是逻辑模型，因此很多用逻辑语法或形式语法命名的语法理论都可以表达它们。 ????从历史上看，关于自然语言的形式理论由逻辑学家、数学家以及计算语言学家(Computational Linguist)构建和发展，并且也被看作是表达语言知识和语言能力(linguistic competence)的模型。 ????逻辑与语言之间的结合研究可以追溯到古希腊。古希