社会认知逻辑

　　认知逻辑研究人们关于知识、信念等概念的推理规律，社会认知逻辑则研究社会关系的逻 辑性质，特别是社会关系对人们认知推理的影响。在过去十年里，“社会关系和社会影响”作为一个新的研究内容被逻辑学家们关注，与认知逻辑发生有趣的交互，涌现出很多新的成果，从而形成“社会认知逻辑”。本书要回答的一个核心问题即是：在认知逻辑中引入社会关系这个新视角，主体的认知推理有什么新变化和新规律？本书引入审思理性和进化理性两个理性概 念，并给出基于这两种不同径路的研究成果。

　　刘奋荣， 清华大学哲学系教授， 博导；长江学者特聘教授；阿姆斯特丹-中国逻辑讲席教授 （Amsterdam-China Logic Chair）； 清华大学-阿姆斯特丹大学逻辑学联合研究中心主任 。

第 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