[中图分类号]H087 [文献标识码]A [文章编号]1003-5397(2001)03-0100-11 范畴语法(categorial grammar)是由著名数理逻辑专家巴尔－希列尔(Yehoshua Bar-Hillel,1915-1975)提出的。在1958年，数学家兰姆贝克(J.Lambek)在《句子结构的数学》（The mathematics of sentence structure，载American Mathematical Monthly,Vol.65,p154-170）中，提出了句法类型演算的理论，根据这种理论，可以辨识一个符号串是不是语言中成立的句子。1959年，巴尔－希列尔在《自然语言结构的判定程序》（Decision procedure for structure in natural langu-age，载logique et analyse,2-e annee,No 5）中，进一步发展了句法类型演算的理论，详细讨论了自然语言结构的判定程序。由于句法类型是一种范畴，因此，在1960年巴尔－希列尔等在《论范畴语法和短语结构语法》（On categorial and phrase structure grammars，载Bull.Res.Council Israel,Sec.F.9,1-16）中，把这种理论称为范畴语法(c- ategorial grammar)。1970年蒙塔鸠(R.Montague)将范畴语法应用于自然语言的句法研究，提出了泛语法(universal grammar)的理论，他把句法范畴和语义范畴结合起来，通过范畴语法建立自然语言到某个逻辑体系语义解释的对应关系，从而进一步建立句法描述与语义描述之间的同构关系。范畴语法还成为类型逻辑语义学(type logical semantics)的主要部分。数十年来，范畴语法一直是计算语言学研究关注的一个热点，始终保持着其勃勃的生命力。早在1975年，冯志伟就在《计算机应用与应用数学》杂志上介绍过这种语法，可惜当时正值文革动乱，没有引起我国语言学界和计算机界足够的重视；由于近年来语言学中词汇主义日益盛行，我国一些计算语言学学者又开始关注到范畴语法，并试图应用范畴语法来建立汉语语义范畴的演算系统。但是，许多从事计算语言学研究的专业人员对于范畴语法所知极少，为了满足读者的要求，本期我们比较细致地介绍这种语法。介绍时我们尽量避免过分形式化的叙述，力图结合具体的语言实例来介绍。 我们首先介绍句法类型(syntactic types)的概念。 任何词都可以根据它在句子中的功能归入一定的句法类型，如果用n表示名词的句法类型，用S表示句子，则其它的一些句法类型都可以用n和S以不同的方式结合起来表示。规则是： ①如果有某个词B，其后面的词C的句法类型是γ，而它们所构成的词的序列BC的功能与β相同，则这个词B的句法类型记为β/γ； ②如果有某个词B，其前面的词A的句法类型为α，而它们所构成的词的序列AB的功能与β相同，则这个词B的句法类型记为α/β； ③如果有某个词B，其前面的词A的句法类型为α，其后面的词的句法类型为γ，而它们所构成的词的序列ABC的功能与β相同，则这个词β的句法类型为α\β/γ。 根据这种记法，可以写出自然语言中词的句法类型。 例如，在英语中， John的句法类型为n. poor John（可怜的约翰）中的poor，它后面出现名词John，而它所构成的poor John，功能与名词相同，故其句法类型为n/n. John works（约翰工作）中的works，它前面出现名词John，而它所构成的John works，功能与句子相同，故其句法类型为n\S. John likes Jane（约翰喜欢珍妮）中的likes，它前面为名词John，后面为名词Jane，而它所构成的John likes Jane功能与句子相同，故其句法类型为n\S/n. John slept soundly（约翰睡熟了）中的soundly，它前面的slept为n\S，而它所构成的slept soundly，功能与n\S相同，故其句法类型为(n\S)\n\S. John works here（约翰在这里工作）中的here，能够把John works这个句子S，转换成一个新的句子John works here，故here的句法类型为S\S. John never works（约翰从不工作）中，由于John的句法类型为n，故never works的句法类型为n\S，可见，句法类型为n\S的works前面加了never构成never works之后，其句法类型仍然为n\S，所以，never的句法类型为n\S/(n\S). John works for Jane（约翰为珍妮工作）中，for的作用与John works here中的here的作用相似，但其后还有一个名词Jane，故for的句法类型为S\S/n.
