公共知识的逻辑分析PDF电子书下载

第一章 导言 1

第一节 公共知识概念的发源及其概念体系 3

一 公共知识概念的发源 3

二 公共知识的概念体系 5

第二节 公共知识理论体系及发展脉络 8

一 认知逻辑发展脉络 8

二 公共知识的研究脉络 12

第三节 公共知识的研究概况 14

一 国外研究概况 14

二 国内研究概况 21

三 与公共知识相关理论的研究 22

第四节 本书的主要内容 24

第五节 本书的创新点 25

第二章 公共知识的形式特征 29

第一节 对知识进行形式刻画的两种基本方法 31

一 基于逻辑的方法与基于事件的方法 31

二 两种方法之间的关系 33

第二节 基于逻辑方法的公共知识形式分析 34

一 刘易斯等人的层级解释 34

二 哈曼一巴威斯的定义 40

第三节 基于事件方法的公共知识形式分析 43

一 奥曼的解释 43

二 吉尔伯特对刘易斯和奥曼定义的整合 44

第四节 公共知识特征分析 49

一 公共知识层级的无限性 49

二 公共知识的固定点特征 50

三 公共知识的共享情境解释 51

四 三种解释之间的关系 52

第三章 公共知识公理系统 57

第一节 包含固定点公理的系统 59

一 公共知识逻辑系统的建立 59

二 形式语言 60

三 公理、推理规则及相关公理系统 62

第二节 公共知识公理系统的可靠性和完全性 66

一 克里普克结构 66

二 可靠性和完全性 72

第三节 公共信念的逻辑 80

一 个体信念的公理和推理规则 83

二 公共信念的公理和推理规则 84

三 克里普克语义学中的公共信念 86

第四节 含算子CDE的形式系统S5m （CDE） 91

一S5m （CDE）的语言Lm 91

二S5m （CDE）的演绎基础 92

第五节 博弈逻辑 97

第四章 公共知识形成难题 101

第一节 公共知识应用中遇到的问题 103

一 协同攻击难题的数学归纳法证明 103

二 协同攻击难题的逻辑证明 105

第二节 协同攻击中信息传递的同时性及可靠性 116

一 公共知识与同时性问题 116

二 延时性条件下的群体认知结构 120

三 协同攻击难题中信息传递的可靠性 132

第三节 公共知识的弱化 135

一 公共知识的弱化方式 135

二 弱化公共知识的形态 139

第五章 弱化公共知识与协同攻击难题 143

第一节 协同攻击难题的解决方案探索 145

一 严格的同时性只能由假定获得 145

二 博弈视野下的协同攻击难题 146

三 协同攻击博弈的一般模型 149

第二节 公共p—信念对协同攻击难题的解决 151

一 公共p—信念的引入 151

二 公共p—信念对协同攻击难题的解决 152

三 公共p—信念的解题意义 155

第六章 弱化公共知识与协调博弈 157

第一节 一个关于协调博弈的实验 159

一 协调博弈 159

二 关于协调博弈的数字实验 161

三 协调博弈的聚点——实验结果分析 164

第二节 不同文化背景下协调博弈聚点的变迁 166

一 谢林的实验 166

二 数字协调博弈显示的不同结果 167

第三节 弱公共信念的现实依据 171

一 弱公共信念的现实意义 171

二 公共文化背景下弱公共信念的形成 173

第七章 结语 177

索引 183

参考文献 185

英文参考文献 185

中文参考文献 198

后记 201