2022年11月22日晚，拼搏体育官网入口“科技哲学与逻辑学前沿”系列讲座第六讲顺利举行。清华大学人文学院哲学系教授、阿姆斯特丹大学讲席教授、清华大学-阿姆斯特丹大学逻辑学联合研究中心主任刘奋荣受邀进行了题为“社会认知逻辑”的精彩讲座。本次讲座由公司王晶副教授主持。

刘奋荣教授从五个方面来论述“社会认知逻辑”这一主题。第一，关于认知的表征。认知逻辑通过考察知识、信念、偏好、意向等概念及其性质，研究一个主体使用这些概念进行思维和推理的逻辑规律。主体的认知态度可以用命题来表征：将知道的内容或者是知识的内容看作命题。使用p、q、r等字母表示简单或原子的命题。这些简单命题通过逻辑联结词可以构成更为复杂的命题。随后，刘老师给出了认知逻辑中对知识概念的定义：在世界w中，主体a知道ф，当且仅当，站在世界w上，在所有a-认知可及的世界上ф都为真（见图1知识概念的逻辑表征）。

图1知识概念的逻辑表征

图2多主体认知表征

第二，从个体到群体。认知逻辑中引用集合来表述多主体认知情况（见图2多主体认知表征）。由此便由单个主体的知识转移视角到多个主体以及群体的知识。刘老师用个体偏好和偏好聚合例子来展示这种个体到群体的转换。投票悖论的例子显示出这种个体偏好和群体偏好之间的张力。

第三，主体性：从静态到动态。动态认知逻辑、信念修正逻辑以及动态偏好逻辑是基于动态逻辑对认知、信念、偏好的动态变化过程的刻画，它们对认知、信念和偏好从一个状态转移到另一个状态的实现过程进行了表述。

第四，社会影响。在研究认知态度的背景下，将社会关系维度引入认知逻辑框架，而后从静态和动态两个方向上来研究主体的认知推理产生的新变化和新规律。具体的研究方法有两种，一种是传统的形式化方法，另一种是刘教授称之为动态系统的定量方法。

传统的形式化方法主要包含两个步骤，首先采用与可能世界语义学类似的方法，在主体的集合A上引入主体之间的关系R，记作（A，R）；其次，在语言中引入模态算子Fф，解释为“我所有的朋友都满足性质ф”。如此便可在于认知交互的情境中，讨论认知算子与社会关系算子的交互推理规律。

图3自动机模型

动态系统的定量方法通过定量的方式表征社会关系或信任关系。信任值的区别直接会影响到一个主体如何接受他人的信息而改变自己的信念。同一个信息，会因为来自不同的主体而影响力不同。根据这一理论，可构造出一个信念修正的模型（见图3自动机模型）。

第五，两种理性概念。上述两种逻辑方法分别是以审思理性和进化理性为支撑的。其中传统的形式化方法则建立在审思理性（高等理性）的基础上，这一理性概念是传统的逻辑研究所使用的理性概念，它依赖于主体的计算能力，追求最大利益化。动态系统的方法则根据简单的规则更新，主体不做过多的思考，善于建模行为的进化，这一方法所赖以为基础的理性被认为是进化理性（低等理性）。 

在互动环节，刘奋荣教授依次回答了师生们提出的问题。中国科学院大学的范杰副教授、湖南师范大学的王淑庆副教授、西南大学的郭美云教授就两种谨慎的信念修正方式，主体性与能动性的区别以及后者与理性关系、不同主体认知能力的逻辑研究进展等问题与刘老师进行了探讨。刘老师还详细回答了拼搏体育官网入口科技哲学专业研究生宋沛遥和聂福梅所提出的AI主体与人类主体能否构成多元主体间社会关系的问题，以及从个体偏好到群体偏好这一过程的量化问题。至此，“科学技术哲学与逻辑学前沿系列讲座第六讲圆满结束。 

拼搏体育官网入口“科技哲学与逻辑学讲前沿”系列讲座由陕西大学parimatch拼搏体育官网主办、科技哲学与逻辑学教研室和拼搏体育官网入口科学人文教育研究中心承办。讲座旨在展现科技哲学与逻辑学研究的前沿动态，加强与国内外一流学者的交流，拓展哲学专业员工的学术视野。

文、图：吴文湖     审核：王晶