类型逻辑语法的词汇主义思想  

作　　者：孔繁清[1] 满海霞[2] 

机构地区：[1]澳门理工学院 [2]中国社会科学院研究生院哲学系,北京100732

出　　处：《哲学动态》2011年第2期98-101,共4页Philosophical Trends

基　　金：澳门理工学院规划项目(RP/ESLT-3/2008)资助;国家社科基金项目(09BZX046)的系列成果之一

摘　　要：类型逻辑语法（Type Logical Grammar）是经典范畴语法（Basic Categorial Grammar）的一个现代版本，是范畴语法与类型逻辑语义学联姻的产物。利用加贝（D．Gabbay）[1]给出的加标演绎表述，类型逻辑语法实现了句法生成和语义组合的并行推演，句法生成基于Lambek演算提供的范畴运算，而语义组合则依据代表语义的入一演算进行。

关 键 词：逻辑语法 逻辑语义学 主义 词汇 范畴语法 语义组合 句法 演算 

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