目  录

第 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