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

目录
序
前言
常用缩写一览表
章 预备知识 1
节 简单类型论 1
一、简单类型论的起源 3
二、简单类型论简介 4
第二节 范畴语法 17
一、范畴语法的起源 17
二、范畴语法简介 18
三、组合范畴语法简介 22
第三节 标准话语表现理论 29
一、话语表现理论中自然语言的生成句法 30
二、话语表现理论的语义部分—话语表现结构DRS 35
三、话语表现理论的语义部分—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