言语行为和语用逻辑PDF电子书下载

第一章 言语行为论 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