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