逻辑语义学的组合原则研究

本书首先将范畴语法和话语表现理论两大框架合并在一起，诠释了逻辑语义学的组合原则，然后梳理了具有动态特征、遵循组合性的动态谓词逻辑、动态蒙太格语法、范畴语法与话语表现理论结合的逻辑语义学系统，最后援引语义库PMB中的内容，解释英语和汉语的语言学现象和问题。本书适合逻辑学、语言学等专业的高校师生及相关科研人员参考。

序
前言
常用缩写一览表
第一章预备知识1
第一节简单类型论1
一、简单类型论的起源3
二、简单类型论简介4
第二节范畴语法17
一、范畴语法的起源17
二、范畴语法简介18
三、组合范畴语法简介22
第三节标准话语表现理论29
一、话语表现理论中自然语言的生成句法30
二、话语表现理论的语义部分—话语表现结构DRS35
三、话语表现理论的语义部分—DRS的语义模型36
第四节λ-演算39
一、α-转换40
二、β-转换41
三、η-转换43
第二章从话语表现理论看组合性问题45
第一节组合原则的界定及简单梳理46
一、组合原则的界定46
二、组合性的历史48
三、组合原则的争议48
第二节逻辑语义学的组合性问题的缘起50
第三节标准话语表现理论中的组合性问题52
一、标准话语表现理论的产生与非组合性定位52
二、标准话语表现理论句法构造的非组合性特征53
三、标准话语表现理论语义方面的组合性问题55
第四节两种研究进路及“中庸之道”58
一、吸收动态性的经典组合性系统59
二、吸收组合性的话语表现理论系统59
三、“中庸之道”—合并两大语义框架61
第三章吸收动态性的经典组合性系统62
第一节吸收动态性而弃用DRS的组合性系统62
一、动态谓词逻辑方案62
二、动态蒙太格语法方案80
三、替代性方案总结92
第二节保留话语表现结构且遵循组合性的典型方案92
一、缪斯肯斯1994年的工作92
二、缪斯肯斯1996年的工作101
第三节方案回顾与展望107
第四章吸收组合性的话语表现理论语义框架109
第一节齐瓦特方案109
一、重述DRS构造109
二、一个英语片段113
第二节实用方案121
一、博斯等采用的λ-话语表现理论122
二、科尔哈赛等的工作123
第三节范·艾克和坎普方案124
一、改造句法与语义系统124
二、一个英语片段139
第四节其他成果及小结143
第五章范畴语法与话语表现理论结合的原型145
第一节改造标准话语表现理论原有的自然语言句法系统145
一、范畴语法思想145
二、兰贝克演算：自然语言句法147
第二节句法语义并行推演：简约话语表现理论作为语义层150
一、从兰贝克演算到类型逻辑150
二、从类型逻辑到双指针投射话语表现理论152
三、兰贝克证明与投射话语表现理论并行推演156
四、适用于动词省略现象的投射话语表现理论157
第三节一个简单的应用159
第四节方案回顾与总结161
一、话语表现理论组合性问题得以解决161
二、省略与回指之间存在类似的机制与处理方法161
三、动态性与组合原则之间存在互动162
第六章组合范畴语法与投射话语表现理论结合的系统168
第一节PMB中所使用的DRS说明168
一、简单DRS条件169
二、简单DRS的几个应用173
三、复杂DRS条件175
四、投射DRS条件182
第二节语义角色标注的标准刻画及事件、时间概念的简介194
一、语义角色标注的标准刻画194
二、事件和时间间隔概念简介197
第三节组合范畴语法和投射话语表现理论的平行推演202
一、量化问题的刻画202
二、回指照应现象的刻画209
三、含预设成分的刻画213
四、其他现象的刻画215
第四节方案特色与展望219
一、方案特色：逻辑与自然语言信息处理的交叉互动219
二、后续展望222
参考文献224
后记233