第一章 导论 1
1.1 语言逻辑的学科性质和研究对象 1
1.2 语言逻辑和自然语言理解和处理 3
1.3 自然语言逻辑研究的方法论原则——意义组合原则 4
1.4 类型-逻辑语法在国内外的研究状况 6
1.5 本书的创新之处 9
1.6 本书的写作特点和基本框架 10
第二章 类型-逻辑语法的句法学 13
2.1 范畴语法简介 13
2.2 兰贝克演算 17
第三章 类型-逻辑语义学 25
3.1 蒙塔古语法的内涵类型逻辑 25
3.2 简单类型的λ-演算 26
3.3 高阶逻辑 36
第四章 类型-逻辑语法的形成 45
4.1 兰贝克句法演算和类型-逻辑语义学的结合 45
4.2 配以λ-词项的兰贝克句法演算 46
4.3 类型-逻辑语法的词库 48
4.4 类型-逻辑语法对自然语言句法和语义的描写 49
4.5 自然演绎的兰贝克演算 51
4.6 自然演绎的兰贝克演算的规范化归模式 56
4.7 意义公设 57
4.8 积运算 60
第五章 类型-逻辑语法与逻辑形式系统的深刻联系 63
5.1 作为一种子结构逻辑的类型-逻辑语法 63
5.2 类型-逻辑语法与直觉主义命题逻辑 65
第六章 类型-逻辑语法在应用中的丰富和发展（上） 71
6.1 对并列结构的处理 71
6.2 对无界限约束结构的处理 85
6.3 对量化结构和量化辖域问题的处理 96
第七章 类型-逻辑语法在应用中的丰富和发展（下） 113
7.1 不承认结合公理的兰贝克演算 113
7.2 克里普克信息模型 117
7.3 范畴语法的多重模态系统 120
7.4 空隙构造算子↑演绎模式的改进及其对非连续结构的处理 127
7.5 结构控制 130
第八章 类型-逻辑语法对汉语的处理 139
8.1 我国的自然语言逻辑研究状况 139
8.2 类型-逻辑语法对汉语形式化研究的适用性 140
8.3 类型-逻辑语法对汉语的形式化处理 145
结语 149
参考文献 154
后记 160