自然语言逻辑语义学研究述评

Review on the Logic Semantics of Natural Language

自然语言的逻辑语义学是逻辑学、语言学和计算机科学的跨学科交叉研究的产物,研究的对象是自然语言,研究的方法涉及逻辑和计算的概念。近十来年,逻辑语义学的跨学科研究方兴未艾,其中有较大影响的要数范畴语法的三个现代版本的发展:范畴类型逻辑CTL、组合范畴语法CCG和非连续兰贝克演算DLC。CTL是从逻辑的高度概括分析语言的形式工具的学说,CCG是基于特定规则而关注语言事实分析需求的形式语法,DLC是专门分析语言中非连续现象的形式理论。本述评阐述的就是范畴语法三个现代版本的国内外发展概况。

Logical Semantics of natural language（NL）is the hybrid product of the interdisciplinary studies among logic,linguistics and computation science;the object of the studies is NL while the methods it adopts involve the concepts from logic and compute.For the past decade,the logic semantics witnessed its rapid development.The most influential developments are three modern versions of Categorical Logic：CTL,CCG and DLC.CTL is a logical theory which analyzes the formal features of natural language;CCG is a rule-based formal grammar of NL;DLC is a formal theory on those non-continuous phenomena of NL.This paper makes a review on the development of these three versions of CL.