类型逻辑语法  

作　　者：满海霞[1] 李可胜[2] 

机构地区：[1]中国社会科学院哲学所,北京100732 [2]合肥师范学院外语系,安徽合肥230061

出　　处：《哲学动态》2010年第10期103-106,共4页Philosophical Trends

基　　金：国家社会科学基金资助(项目号:09BZX046)

摘　　要：类型逻辑语法（type logical grammar）是在经典范畴语法（basic categorial grammar）基础上发展起来的一个现代版本，它区别于传统范畴语法的最突出特征，就是通过使用加标演绎的表述方式，实现了句法推演和语义组合的并行推理，弥补了传统范畴语法在语义解释方面的缺陷。或者说，它是范畴语法、尤其是兰贝克演算（Lambek calculus）与类型逻辑语义学的综合，

关 键 词：逻辑语法 范畴语法 逻辑语义学 语义组合 语义解释 传统 贝克 

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