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

第1部分 绪论和预备知识
第1章 绪论
1.1 关于认知的表征
1.2 从个体到群体
1.3 主体性：从静态到动态
1.4 社会影响：低等与高等理性
1.5 本书内容概览
参考文献
第2章 知识和信念的逻辑
2.1 认知逻辑
2.2 动态认知逻辑
2.3 信念逻辑
2.4 信念修正理论
2.5 几个群体知识的概念
2.6 混合逻辑
参考文献
第2部分 基于进化理性的逻辑
第3章 信念修正与社会影响
3.1 社会影响下的信念变化
3.2 稳定与变动状态
3.3 可能的替代模型
3.4 合理性关系的动态变化
3.5 结语和未来研究
参考文献
第4章 社会影响与行为预测
4.1 单向影响和行为预测
4.2 双向影响和几个稳定性概念
4.3 结语和未来研究
参考文献
第5章 社会结构与群体信念
5.1 信念与信任矩阵
5.2 群体的潜在信念
5.3 社会网络的结构与收敛
5.4 结语和未来研究
参考文献
第3部分 基于审思理性的逻辑
第6章 社会友谊逻辑
6.1 语言和语义
6.2 社会宣告
6.3 知道你的朋友
6.4 动态行为：提问
6.5 社会网络中的公共知识
6.6 结语
参考文献
第7章 基于证据和信任的动态信念逻辑
7.1 语言和语义
7.2 性质和实例
7.3 公理系统
7.4 相关研究
7.5 结论
参考文献
第4部分 图博弈模型
第8章 社会网络与博弈模型
8.1 两个博弈
8.2 博弈的本地化
8.3 图博弈设计的参数
8.4 图博弈的逻辑谱系
8.5 结语
参考文献
第9章 捉迷藏的图博弈逻辑
9.1 捉迷藏逻辑
9.2 互模拟和表达力
9.3 可满足性问题的不可判定性
9.4 相关工作
9.5 总结与展望
本章附录：定理2证明
参考文献
第5部分 反思
第10章 对理性概念的反思
10.1 推理和计算简史
10.2 从机器到强理性主体
10.3 理性主体的逻辑模型
10.4 高等理性与低等理性
10.5 机器学习与概率
10.6 结语
参考文献
第11章 社会网络逻辑十年简史
11.1 社会网络逻辑研究的开始
11.2 认知逻辑中引入社会维度
11.3 社会认知逻辑的发展
11.4 从高等理性到低等理性
11.5 研究内容的扩展
11.6 图博弈逻辑
11.7 结语
参考文献
第6部分 附录
附录1符号简写定义
附录2汉英专业术语对照表
附录3汉英人名对照表
后记

所谓“社会认知逻辑”，
简而言之，是在认知逻辑基
础上添加了“社会”的维度。
认知逻辑研究人们关于知识
、信念等概念的推理规律。
动态认知逻辑则研究新信息
引发的知识更新和信念修正
的规律。社会作为一个新维
度，关注的是人与人之间的
关系，即社会关系的逻辑性
质，特别是社会关系对人们
认知推理的影响。这个研究
课题听起来非常“儒家”。事
实上，十年前当我和合作者
谢立民（Jeremy Seligman
）讨论这个课题的时候，我
们的初衷就是想使用逻辑学
的研究方法研究中国哲学中
关于社会关系、社会影响等
概念的重要思想和推理。没
有想到的是，这样一个简单
的想法和我们合作的第一篇
小论文立即引起了学术界的
共鸣，很多学者迅速加入了
此项课题的研究。到今天为
止，“社会网络逻辑”“社会
认知逻辑”已经成为一个欣
欣向荣的研究领域，涌现出
了很多有趣的成果。
本书要回答的一个核心
问题是：在认知逻辑中引入
社会关系这个新视角，主体
的认知推理有什么新变化和
新规律？一个前置问题是，
我们在逻辑语言和模型中以
何种方式引入社会关系？这
涉及对社会关系的表征。书
中根据对社会关系和社会影
响的不同表征方式，深入探
讨社会关系与认知推理之间
的互动。书中引入两个理性
概念：审思理性和进化理性
。审思理性是传统的理性概
念，强调个人理智的能力，
通过逻辑推理得到合理的结
论。对社会关系的研究而言
，在这种理性概念的指导下
，我们会研究社会关系的性
质，主体对社会关系、知识
、信念、证据、信任等概念
进行推理的规律。进化理性
则是一种源于进化博弈论的
新的理性概念，强调主体与
周遭同伴之间的关系，探究
主体在社会影响下的选择和
策略的稳定性等性质，在这
种理性概念的指导下，社会
影响作为一个重要的因素影
响主体的观点的形成、变化
。这给讨论群体信念带来了
全新的视角。本书会给出基
于以上两种不同径路的研究
成果。关于理性概念，我们
在反思历史的同时，会结合
当下人工智能的发展所带来
的挑战，重新思考理性的本
质。真正的理性也许是对审
思理性和进化理性的灵活运
用，正如丹尼尔？卡尼曼所
著《思考，快与慢》一书所
描述的那样。
图博弈是主体在图上展
开的一种互动，且按照一定
的规则进行。由于图结构与
可能世界语义的相关性，模
态逻辑自然也被用来研究图
博弈。另一方面，逻辑学的
技术结果也会给图博弈的设
计带来灵感。作为一个具体
的例子，本书研究了“捉迷
藏”的游戏：给出新的模态
逻辑，研究搜寻者与躲藏者
之间的互动。这一研究与计
算机科学领域的“警察与强
盗游戏”类似，我和合作者
们正在对它们之间的进一步
联系展开新的研究。
最后，书中一方面呈现
这个领域的研究成果，同时
也给出一些仍然开放的问题
。欢迎对社会认知逻辑感兴
趣的读者，继续思考和解决
这些问题。回到社会认知逻
辑与中国哲学的关系上，本
书最后一章的最后一句写道
：“我们仍然在路上。”确实
，还有很多工作需要感兴趣
的学者们继续去探索。
欢迎读者对本书的研究
结果批评指正。
刘奋荣
2022年7月于清华大学人
文楼