第一章 言语行为论 1
第一节 行为式与表述式 1
第二节 语谓行为 语用行为 语效行为 14
第三节 语用行为及其分类 30
第四节 语用力量和语用力量指示成分 48
第二章 语用逻辑基础 55
第一节 语用行为和语用逻辑 55
第二节 语用逻辑的基本概念和定义 61
第三节 语用逻辑及其上的运算 73
第四节 语用逻辑的分析系统 84
第五节 语用逻辑的定律 92
第六节 关于语用力量的定律 105
第七节 对塞尔和范德维克系统的讨论 110
第三章 命题的语用逻辑 119
第一节 形式语言?PF 119
第二节 命题语用逻辑自然推理系统PFN 121
第三节 命题语用逻辑形式公理系统PF 130
第四节 PF(PFN)的语义模型 144
第五节 PF(PFN)的可靠性和一致性 150
第六节 PF(PFN)的完全性 153
第四章 语用逻辑量化方法 175
第一节 语用逻辑量化的若干问题 175
第二节 一阶逻辑量化方法 189
第三节 高阶逻辑量化方法 202
第四节 模态逻辑量化方法 212
第五节 高阶模态逻辑量化方法 222
第六节 其他量化方法 225
第五章 量化的语用逻辑 233
第一节 形式语言?QF 233
第二节 类型论和高阶逻辑系统? 239
第三节 量化语用逻辑自然推理系统QFN 251
第四节 量化语用逻辑形式公理系统QF 263
第五节 QF(QFN)的语义模型 271
第六节 QF(QFN)的可靠性和一致性 277
第七节 QF(QFN)的完全性 282
第六章 模态的语用逻辑 297
第一节 形式语言?MF 297
第二节 高阶模态逻辑系统MLp 300
第三节 模态语用逻辑自然推理系统MFN 306
第四节 模态语用逻辑形式公理系统MF 313
第五节 MF(MFN)的语义模型 320
第六节 MF(MFN)的可靠性和一致性 323
第七节 MF(MFN)的完全性 326
第七章 计算机科学与语用逻辑 335
第一节 从语用逻辑的观点看 335
第二节 计算机的语言 340
第三节 计算机的行为 347
第四节 人工智能中的语用逻辑 355
第五节 因特网上的新信息 368
第六节 数字化的若干问题 379
参考书目 401
术语索引 409
人名索引 419
后记 421
重印后记 423