引论 1
第一章 自然语言的逻辑框架——蒙太格语法 1
第一节 蒙太格语法产生的背景 1
1.1 逻辑学背景 1
1.2 语言学背景 4
第二节 类型论和λ－演算 7
2.1 类型论 7
2.2 λ－演算 14
第三节 内涵逻辑 19
3.1 内涵与外延 19
3.2 内涵类型论逻辑的语形 21
3.3 内涵类型论逻辑的语义 23
3.4 时态算子 27
第四节 蒙太格的PTQ系统 28
4.1 普遍语法 29
4.2 PTQ系统中的语形 32
4.3 内涵逻辑 40
4.4 PTQ系统的小结 44
第二章 句法范畴的逻辑演算——类型－逻辑语法 46
第一节 类型－逻辑语法的句法学 46
1.1 范畴语法简介 46
1.2 兰贝克演算 50
第二节 类型－逻辑语义学 56
2.1 简单类型λ－演算的基础 56
2.2 类型－逻辑语义学的核心内容 56
第三节 类型－逻辑语法的形成 62
3.1 兰贝克句法演算和类型－逻辑语义学的结合 62
3.2 配以λ－词项的兰贝克句法演算 63
3.3 类型－逻辑语法的词库 65
3.4 类型－逻辑语法对自然语言句法和语义的描写 66
3.5 自然演绎的兰贝克演算 68
3.6 类型－逻辑语法与逻辑形式系统的深刻联系 72
第四节 类型－逻辑语法在应用中的丰富和发展 73
4.1 对并列结构的处理 73
4.2 对无界约束结构的处理 76
4.3 类型－逻辑语法对汉语的处理 82
第三章 量词的自然语言推广——广义量词理论 86
第一节 广义量词理论概要 87
1.1 量化简史 87
1.2 广义量词的概念 89
1.3 广义量词的分类 91
1.4 广义量词的布尔运算 92
第二节 广义量词的主要性质 97
2.1 同构闭包性 97
2.2 驻留性 101
2.3 扩展性 104
2.4 单调性 108
2.5 对称性 118
第三节 广义量词理论对经典量词逻辑的扩张 125
3.1 扩张路径 125
3.2 有待进一步研究的几个问题 129
第四章 动态的语义分析方法——话语表现理论 131
第一节 传统形式语义学存在的问题 132
1.1 静态的形式语义分析 132
1.2 驴子句和不定摹状词 133
1.3 句子序列的回指照应关系 134
第二节 DRT的基本框架 136
2.1 句法规则 136
2.2 DRS的构造规则 140
2.3 DRS在模型中的解释 150
第三节 DRT对复合语句的刻画 152
3.1 DRT对条件句的刻画 153
3.2 DRT对选言句的刻画 156
3.3 DRT对联言句的刻画 158
3.4 从DRS到一阶谓词逻辑公式的翻译 159
第四节 DRT对照应关系的处理 161
4.1 对复数代词照应关系的处理 161
4.2 DRT对时间照应关系的处理 163
第五节 DRT的进一步发展 168
5.1 双重否定DRT 168
5.2 SDRT 174
第六节 DRT与汉语语义的处理 182
6.1 DRT处理汉语语义的可行性 182
6.2 DRT处理汉语语义的展望 184
第五章 蒙太格语法的动态变异——动态蒙太格语法 186
第一节 动态蒙太格语法的产生历程 187
1.1 动态蒙太格语法的产生背景 188
1.2 动态蒙太格语法的基本思想 189
1.3 动态蒙太格语法的基本要素 190
第二节 动态蒙太格语法的形式工具——动态内涵逻辑 193
2.1 动态内涵逻辑的基本要素 193
2.2 动态内涵逻辑的基本事实 197
第三节 语句在动态蒙太格语法中的解释和翻译 198
3.1 语句在动态蒙太格语法中的翻译 199
3.2 动态蒙太格语法的信息更新机制 200
3.3 语句序列在动态蒙太格语法中的解释 202
3.4 相关定义和基本事实 205
第四节 动态蒙太格语法的语句系统 208
4.1 相关定义 208
4.2 实例分析 211
4.3 动态蒙太格语法的动态能力的扩展 214
第五节 拓展研究 220
5.1 动态语义学的基本理念 221
5.2 有待进一步研究的问题 222
第六章 态度句的逻辑研究——情境语义学视野下的态度句 224
第一节 概述 224
1.1 态度动词 224
1.2 态度语境中的同一替换问题 225
1.3 态度语义研究须满足的条件 231
第二节 SEEn态度报告语义及相关逻辑原则 233
2.1 SEEn概述 233
2.2 SEEn态度报告语义分析 237
2.3 从SEEn态度报告语义看相关逻辑原则 241
第三节 SEEt态度报告语义及相关逻辑原则 252
3.1 SEEt概述 253
3.2 SEEt等态度报告语义分析 262
3.3 从SEEt等态度报告语义看相关逻辑原则 267
第四节 分析和评价 270
第七章 预设的逻辑研究——投射问题的解决途径 277
第一节 语义预设与语用预设 277
1.1 预设理论的提出 278
1.2 预设的语义解释 281
1.3 预设的语用解释 291
第二节 预设投射问题的解决途径 296
2.1 组合原则与累积假设 296
2.2 PHF模式 297
2.3 基于PTQ的解决模式 302
2.4 潜在预设说 306
2.5 心里空间说 309
第三节 预设的多值逻辑解释 311
3.1 预设的语义性质在三值逻辑中的体现 311
3.2 为语义预设的辩护 313
3.3 三值逻辑与复合命题的预设 315
3.4 四值逻辑与复合命题的预设 320
主要参考文献 324
后记 333