论类型逻辑语法的多种表述  

On Presentations of Type-Logical Grammar

作　　者：夏年喜[1] 邹崇理[2] 

机构地区：[1]首都师范大学哲学系 [2]中国社会科学院哲学所

出　　处：《哲学研究》2009年第11期119-125,共7页Philosophical Research

基　　金：北京市哲学社会科学"十一五"规划项目(编号06BaZX022)的资助

摘　　要：There are three basic methods presenting type-logical grammar:axiomatic presentation,Gentzen presentation and ND presentation(i.e. natural deduction presentation) . The presentations have the equal ability of deduction,but each has its own function. Axiomatic presentation would become a multi-modal logic system by being equipped with frame semantics. It is mainly used to discuss the soundness and completeness based on frame semantics. Gentzen presentation would make it easy to search finitely the proofs of theorems and it is specifically designed to solve the problem of decidability. ND presentation reflects the view that grammar is equal to logic and it would make type-calculus intuitive. In the end,we commented another presentation,i.e. ND presentation of labeled tree format.There are three basic methods presenting type-logical grammar:axiomatic presentation,Gentzen presentation and ND presentation(i.e. natural deduction presentation) . The presentations have the equal ability of deduction,but each has its own function. Axiomatic presentation would become a multi-modal logic system by being equipped with frame semantics. It is mainly used to discuss the soundness and completeness based on frame semantics. Gentzen presentation would make it easy to search finitely the proofs of theorems and it is specifically designed to solve the problem of decidability. ND presentation reflects the view that grammar is equal to logic and it would make type-calculus intuitive. In the end,we commented another presentation,i.e. ND presentation of labeled tree format.

关 键 词：逻辑语法 语言学家 逻辑学家 计算过程 语言认知 

分 类 号：K825.5[历史地理—历史学] G236[文化科学]