第一章 导言 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