序 1
前言（代自序） 1
第1章语用学与形式语用学 1
1.1语用学的定位和研究概况 1
1.1.1语用学的历史发源 1
1.1.2语用学的定义 3
1.1.3语用学与语义学的区别 5
1.1.4语用学的主要研究领域和课题 8
1.2形式语用学的起源和研究对象 11
1.3形式之辩 14
1.3.1两种“形式” 14
1.3.2形式化研究的优势 15
第2章形式化研究基础 17
2.1自然语言的逻辑内容 17
2.2集合与函项 22
2.2.1集合 22
2.2.2关系 24
2.2.3函项 25
2.3命题逻辑 27
2.3.1命题联结词 27
2.3.2充分必要条件 31
2.3.3命题推理规则 33
2.4谓词逻辑 35
2.4.1一元谓词与直言命题 36
2.4.2二元谓词与关系命题 39
2.4.3谓词逻辑的推理规则 42
2.5非经典逻辑 45
2.5.1模态逻辑 45
2.5.2归纳逻辑 50
2.5.3溯因逻辑 54
2.5.4缺省逻辑 57
第3章话语表征理论与前指 60
3.1从指代现象到前指 60
3.1.1“指”“代”综览 60
3.1.2前指分类 64
3.2话语表征理论（DRT） 67
3.2.1 DRT产生的背景 67
3.2.2 DRT的理论基础 70
3.2.3 DRS的建构 71
3.2.4 DRS的语义解释 77
3.2.5 DRT的典型应用 82
3.3前指的DRT形式方案 89
3.4评价与讨论 100
3.4.1懒惰代词前指和间接前指 102
3.4.2歧义现象与DRS连续蕴涵中的部分前指确认 104
3.4.3双重否定和否定析取 109
3.4.4比例问题 110
3.4.5话语中的前指 115
第4章语力逻辑理论与言语行为 117
4.1言语行为与言语行为理论 117
4.1.1施为句与表述句 119
4.1.2适宜条件 121
4.1.3言语行为三分说 123
4.1.4语力行为的分类 127
4.1.5间接言语行为 129
4.2语力行为理论 133
4.2.1语力行为的基本概念 134
4.2.2语力的基本组成 135
4.2.3语力行为的重新分类 139
4.3言语行为的语力逻辑（ILT）形式方案 142
4.3.1ILT中的基本概念和逻辑实体 142
4.3.2语力七要素的形式定义 145
4.3.3五类语力的形式定义 150
4.3.4语力行为及其成功条件的形式定义 153
4.3.5ILT中的部分规则 156
4.3.6英汉语力动词的实例分析 162
4.4评价与讨论 168
4.4.1运算中的“语言学意义” 169
4.4.2语力行为动词形式化vs语力行为形式化 169
4.4.3语言分析系统vs逻辑系统 171
第5章潜预设理论与预设 173
5.1预设的传统认识与研究 173
5.1.1从弗雷格到斯特劳森的研究传统 173
5.1.2语义预设的定义与否定问题 176
5.1.3预设与焦点 178
5.1.4预设的触发结构 180
5.2语义／语用界面上的预设 184
5.2.1语义预设的难题 184
5.2.2“塞子、漏洞、过滤器” 190
5.2.3语用预设的定义 196
5.2.4预设与会话含义和规约含义的区别 198
5.3预设的潜预设理论（PPT）形式方案 200
5.3.1简单肯定句中预设和蕴涵的双重性 201
5.3.2潜预设的定义与公式表述 202
5.3.3 PPT的系统定义 204
5.3.4预设投射的实例分析 208
5.4评价与讨论 218
5.4.1形式系统的缺陷 219
5.4.2列文森对PPT的批评及重分配方案 220
5.4.3盖士达的反例 221
第6章缺省逻辑理论与一般会话含义 223
6.1会话含义与一般会话含义 223
6.1.1言语交际中的含义现象 223
6.1.2格莱斯的会话含义理论 225
6.1.3列文森的一般会话含义理论 228
6.2缺省逻辑理论（DLT） 240
6.2.1缺省逻辑的定义 241
6.2.2缺省逻辑的扩展 242
6.2.3缺省逻辑的细化式及意义 244
6.3一般会话含义的DLT形式方案 248
6.3.1Q／M／I三含义的缺省逻辑理论 249
6.3.2一般会话含义推导的缺省逻辑模型（DLG） 266
6.4评价与讨论 274
6.4.1逐例系统的缺陷 274
6.4.2理论的拓展前景 275
参考文献 277