社会认知逻辑

第 1 部分 绪论和预备知识

第 1 章 绪论 3

1.1 关于认知的表征 3

1.2 从个体到群体 6

1.3 主体性：从静态到动态 10

1.4 社会影响：低等与高等理性 11

1.5 本书内容概览 13

参考文献 17

第 2 章 知识和信念的逻辑 18

2.1 认知逻辑 20

2.2 动态认知逻辑 26

2.3 信念逻辑 29

2.4 信念修正理论 30

2.5 几个群体知识的概念 35

2.6 混合逻辑 37

参考文献 40

第 2 部分 基于进化理性的逻辑

第 3 章 信念修正与社会影响 45

3.1 社会影响下的信念变化 47

3.2 稳定与变动状态 52

3.3 可能的替代模型 60

3.4 合理性关系的动态变化 65

3.5 结语和未来研究 70

参考文献 71

第 4 章 社会影响与行为预测 74

4.1 单向影响和行为预测 76

4.2 双向影响和几个稳定性概念 79

4.3 结语和未来研究 83

参考文献 84

第 5 章 社会结构与群体信念 87

5.1 信念与信任矩阵 88

5.2 群体的潜在信念 91

5.3 社会网络的结构与收敛 92

5.4 结语和未来研究 95

参考文献 96

第 3 部分 基于审思理性的逻辑

第 6 章 社会友谊逻辑 99

6.1 语言和语义 100

6.2 社会宣告 109

6.3 知道你的朋友 114

6.4 动态行为：提问 117

6.5 社会网络中的公共知识 121

6.6 结语 123

参考文献 123

第 7 章 基于证据和信任的动态信念逻辑 126

7.1 语言和语义 127

7.2 性质和实例 136

7.3 公理系统 139

7.4 相关研究 143

7.5 结论 144

参考文献 145

第 4 部分 图博弈模型

第 8 章 社会网络与博弈模型 151

8.1 两个博弈 151

8.2 博弈的本地化 155

8.3 图博弈设计的参数 159

8.4 图博弈的逻辑谱系 160

8.5 结语 162

参考文献 163

第 9 章 捉迷藏的图博弈逻辑 166

9.1 捉迷藏逻辑 168

9.2 互模拟和表达力 170

9.3 可满足性问题的不可判定性 174

9.4 相关工作 177

9.5 总结与展望 178

本章附录：定理 2 证明 179

参考文献 184

第 5 部分 反 思

第 10 章 对理性概念的反思 189

10.1 推理和计算简史 190

10.2 从机器到强理性主体 192

10.3 理性主体的逻辑模型 195

10.4 高等理性与低等理性 199

10.5 机器学习与概率 202

10.6 结语 204

参考文献 204

第 11 章 社会网络逻辑十年简史 212

11.1 社会网络逻辑研究的开始 212

11.2 认知逻辑中引入社会维度 213

11.3 社会认知逻辑的发展 217

11.4 从高等理性到低等理性 219

11.5 研究内容的扩展 221

11.6 图博弈逻辑 223

11.7 结语 229

参考文献 231

第 6 部分 附 录

附录 1 符号简写定义 239

附录 2 汉英专业术语对照表 240

附录 3 汉英人名对照表 245

后记 248