类型—逻辑语法——一种自然语言语义分析的重要工具  

作　　者：张秋成[1] 

机构地区：[1]中国人民大学哲学系,北京100872

出　　处：《中山大学学报（社会科学版）》2003年第S1期57-66,共10页Journal of Sun Yat-sen University(Social Science Edition)

摘　　要：类型—逻辑语法是一种建立在类型—逻辑语义学基础上的规范语法,它自上个世纪80年代诞生以来,就以其表述的简洁性、理论的逻辑化和词汇化倾向以及更好地符合意义组合原则等鲜明特色,受到了形式语义学、语言学和自然语言理解和处理等领域的广泛关注,并继续保持迅猛的发展势头。该文第一部分简短回顾了范畴语法的发展情况,第二部分主要论述了类型—逻辑语法的核心内容——其句法学和语义学。其语义学的主要内容为简单类型的λ—演算和高阶逻辑:其句法学的主要内容是兰贝克演算。在第二部分的最后,笔者探讨了类型—逻辑语法与逻辑形式系统的深刻联系。总之,类型—逻辑语法对自然语言的语义分析具有比较广阔的发展空间。

关 键 词：类型-逻辑语法 类型-逻辑语义 兰贝克演算 简单类型的λ-演算 

分 类 号：B81[哲学宗教—逻辑学]