《言语行为和语用逻辑》

第一章 言语行为论1

第一节 行为式与表述式1

第二节 语谓行为 语用行为 语效行为14

第三节 语用行为及其分类30

第四节 语用力量和语用力量指示成分48

第二章 语用逻辑基础55

第一节 语用行为和语用逻辑55

第二节 语用逻辑的基本概念和定义61

第三节 语用逻辑及其上的运算73

第四节 语用逻辑的分析系统84

第五节 语用逻辑的定律92

第六节 关于语用力量的定律105

第七节 对塞尔和范德维克系统的讨论110

第三章 命题的语用逻辑119

第一节 形式语言?PF119

第二节 命题语用逻辑自然推理系统PFN121

第三节 命题语用逻辑形式公理系统PF130

第四节 PF(PFN)的语义模型144

第五节 PF(PFN)的可靠性和一致性150

第六节 PF(PFN)的完全性153

第四章 语用逻辑量化方法175

第一节 语用逻辑量化的若干问题175

第二节 一阶逻辑量化方法189

第三节 高阶逻辑量化方法202

第四节 模态逻辑量化方法212

第五节 高阶模态逻辑量化方法222

第六节 其他量化方法225

第五章 量化的语用逻辑233

第一节 形式语言?QF233

第二节 类型论和高阶逻辑系统?239

第三节 量化语用逻辑自然推理系统QFN251

第四节 量化语用逻辑形式公理系统QF263

第五节 QF(QFN)的语义模型271

第六节 QF(QFN)的可靠性和一致性277

第七节 QF(QFN)的完全性282

第六章 模态的语用逻辑297

第一节 形式语言?MF297

第二节 高阶模态逻辑系统MLp300

第三节 模态语用逻辑自然推理系统MFN306

第四节 模态语用逻辑形式公理系统MF313

第五节 MF(MFN)的语义模型320

第六节 MF(MFN)的可靠性和一致性323

第七节 MF(MFN)的完全性326

第七章 计算机科学与语用逻辑335

第一节 从语用逻辑的观点看335

第二节 计算机的语言340

第三节 计算机的行为347

第四节 人工智能中的语用逻辑355

第五节 因特网上的新信息368

第六节 数字化的若干问题379

参考书目401

术语索引409

人名索引419

后记421

重印后记423