蒙塔古
【生卒】：1930—1970 美国数理逻辑学家、语言学家，蒙塔古语言学创建人。 致力于应用内涵逻辑建立一个高度形式化的自然语言解释模式。认为语言研究本质上从属于数学，语言学是数学的一个分支；可用数理逻辑方法实现自然语言的句法乃至语义的形式化，具体内容为句法、翻译规则和内涵逻辑3个组成部分的联动操作。其研究较完满地证明了形式逻辑系统能够有效地应用于自然语言的形式化，从而改变了语义研究长期进展缓慢的状态；蒙塔古语义学在国际上被公认是迄今最成功的语义学理论，并为语言的计算机处理增加了一个软件模式。著有《作为形式语言的英语》(1970)、《普遍语法》(1970)、《普通英语中量词的特定处理》(1973)、《形式哲学》(1974)等。 |