作　　者： ;

机构地区： 中国社会科学院哲学研究所

出　　处： 《安徽师范大学学报（社会科学版）》 2012年第6期661-667,共7页

摘　　要： 多模态范畴类型逻辑是在组合范畴语法(CCG)和范畴类型逻辑(CTL)基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算,给各类规则中的斜线算子添加不同的模态下标,并在词库中给词条指派的范畴含有模态下标的斜线算子,从而限制了这些规则的适用范围,使描述自然语言的范畴推演进一步精细化。CTL则遵循严格的逻辑规范,对CCG涉及的函子范畴的各类规则从结构性质的角度把握其根源,用多模态范畴类型逻辑的方式涵盖了CCG各类规则。这就是CCG和CTL的融合产物。 Multi-modal Categorial Type Logic is the new development of formal semantics with both Combinatory Categorial Grammar（CCG） and Categorial Type Logic（CTL） as its basis.While CCG-based Categorial Grammar puts its emphasis on the combinatory operations of the functors and restricts the applications of combinatory rules by adding different labels to the slash operators in lexicon,CTL follows the logic tradition strictly by comprehending the various combinatory rules in CCG in a multi-modal way.There comes the integration of CCG and CTL,which means the stimulation of CCG in CTL.

关 键 词： 组合范畴语法 范畴类型逻辑 多模态范畴类型逻辑

领　　域： [哲学宗教]