序言 1
第一编 自然语言逻辑的基础——形式语义学 1
自序 5
第一章 自然语育形式语义学的研究方法 5
第1节 关于自然语言句法的数理方法 5
1.1 自然语言的逻辑结构层次 5
1.2 λ-表达式的运用 7
1.3 递归定义方法 9
绪论 9
1.4 树形图方法 12
1.5 部分语句系统方法 18
第2节 关于自然语言语义的模型论方法 21
2.1 代数结构与语义模型 21
2.2 意义的组合原则 27
2.3 间接的语义解释 29
2.4 意义公设方法 33
1.1 蒙太格语法和自然语言逻辑 37
第1节 蒙太格语法概况 37
第二章 蒙太格语法 37
1.2 蒙太格语法的理论来源及其发展 40
1.3 蒙太格语法的基本体系 45
第2节 通用语法思想及其英语语句系统 48
2.1 逻辑语言和自然语言的通用语法 48
2.2 直接语义解释的英语系统 67
第3节 蒙太格语法的语用学研究 85
1.1 DRT的渐进动态方法 95
第1节 DRT的基本体系 95
第三章 话语表现理论DRT 95
1.2 DRT的句法部分 97
1.3 DRT的语义部分——话语表现结构DRS 109
1.4 DRT的语义部分——DRS的语义模型 126
1.5 从DRS到谓词逻辑 133
第2节 DRT的扩展及其述评 141
2.1 DRT对复合句的处理特色 142
2.2 DRT关于复数名词与代词照应关系的刻画 171
2.3 DRT关于句子之间时间联系的描述 189
第四章 类型-逻辑语法 207
第1节 范畴语法发展简述 208
第2节 类型-逻辑语法 213
2.1 简单类型λ-演算 213
2.2 高阶逻辑 226
2.3 贴合的范畴语法 230
2.4 Lambek演算 239
3.1 并列关联与无界限依赖关系的处理 257
第3节 类型-逻辑语法述评 257
3.2 量化辖域现象的推广 268
第二编 自然语言逻辑的深化——形式演绎系统 279
第五章 蒙太格语法的内涵逻辑公理系统 283
第1节 内涵逻辑的句法和语义 283
第2节 内涵逻辑的公理系统 290
2.1 广义语义学与一般模型 290
2.2 可靠性定理与广义完全性定理 294
第3节 内涵逻辑公理系统简评 318
第六章 DRT的自然推演系统SDRT 323
第1节 SDRT的句法和语义 325
1.1 SDRT的句法部分 325
1.2 SDRT的语义部分 330
第2节 SDRT的推演规则与系统特征 333
2.1 推演的重要概念——可导与变换 333
2.2 SDRT的推演规则 337
2.3 SDRT的系统特征 355
第3节 SDRT简评 359
第三编 汉语的自然语言逻辑研究 365
第七章 汉语时间系统的形式语义学处理 369
第1节 自然语言时间系统的三个方面——时相、时制和时态 369
第2节 汉语具有丰富的时态结构 376
第3节 汉语时态结构的特色及其处理方案 382
第4节 处理汉语时态结构的部分语句系统 400
第5节 进一步研究的展望 410
参考书目 423
术语索引 439
后记 449