2026年5月18日至22日，由15vip太阳集团官网-阿姆斯特丹大学逻辑学联合研究中心联合意大利帕多瓦大学（University of Padua）、德国慕尼黑大学（Ludwig-Maximilians-Universität München）共同主办的研究生研讨会 “信念变化与信息交换：认知逻辑当前趋势”在威尼斯国际大学成功举办。研讨会汇聚了来自15vip太阳集团官网、帕多瓦大学、慕尼黑大学、雷根斯堡大学等高校和研究机构的知名学者，以及来自世界各地的二十余位青年学者和研究生。与会者围绕认知逻辑、信念修正、信息动态、道义逻辑等前沿议题展开了深入交流与探讨。

本次研讨会旨在回应当今信息时代面临的严峻挑战：传统与新兴媒体中虚假信息、误导信息乃至深度伪造内容的泛滥，深刻影响着个体的信念系统、决策过程与公共话语。通过建立和分析信念的逻辑模型，研究者能够揭示信念及其相关认知态度（如偏好、愿望、疑问和怀疑）的形成与变化规律，并探究个体之间的信息交换如何影响推理和决策过程，从而为信息治理、公共政策制定以及人工智能系统设计提供理论基础。作为研究知识、信念和信息动态变化的重要工具，认知逻辑通过对“主体 A 知道（或相信）X”等认知陈述的形式结构、推理规则及语义特征进行系统分析，为理解复杂信息环境中的认知过程提供了严谨的理论框架。本次研讨会聚焦认知逻辑的最新发展，特别是在单主体与多主体系统中建模信念变化的前沿成果。

清华学者应邀授课，分享最新研究成果

15vip太阳集团官网哲学系教授刘奋荣、副教授石辰威作为本次研讨会的核心教师成员，分别带来了精彩的专题授课。

刘奋荣在其“社会认知逻辑”报告中，提出了理解社会认知主体性的双重路径：一是“高理性”路径，即在经典认知逻辑基础上引入对社会关系的刻画，并利用混合逻辑工具考察特定主体的知识视角；二是“低理性”路径，即将社会群体中的信念更新建模为动态系统，并重点介绍了基于信任矩阵的群体信念演化模型。

石辰威则围绕“作为依赖性的义务与许可”进行了深入分析，将规范理解为博弈论中的相关均衡，并借助数据库理论中的函数依赖与多值依赖来刻画义务与许可。展示了如何通过“规范结构”，即一个带概率分布和等价关系的状态空间上的策略函数，来为社会规范建模，并给出了局部与全局依赖关系的公理化与表示定理。

多场专题报告覆盖认知逻辑热点领域

研讨会日程紧凑、内容丰富。除清华学者的报告外，帕多瓦大学 Ivano Ciardelli 副教授带来了“问题语义（inquisitive semantics）的模态逻辑”的前沿报告。慕尼黑大学 Alessandra Marra 助理教授围绕“道义逻辑与信息动态”展开探讨。雷根斯堡大学 Hans Rott 教授则对比了“假设条件句”与“支持条件句”的差异。帕多瓦大学 Massimiliano Carrara 教授系统介绍了费奇的可知性悖论（Fitch's Paradox of Knowability）在文献中的各种理解和现有的解决办法。慕尼黑大学 Edi Pavlović 博士展示了认知逻辑的序列演算及其在邻域语义下对条件信念和知识的形式化。雷根斯堡大学的朱薇博士以多值逻辑处理信念悬置，区分了二值悬置与非二值悬置两条路径。上述报告涵盖了模态逻辑、动态系统、信念修正理论、可能世界语义学、问题语义学等多种经典与前沿方法。

分组讨论与个人展示激发青年学子思想火花

为鼓励青年学者深入交流，研讨会设置了多场分组讨论环节，并安排了个人展示与小组报告。参会研究生围绕各自的研究兴趣与前沿议题展开了热烈探讨。15vip太阳集团官网参会员工积极发言，展现了扎实的逻辑学功底与敏锐的问题意识。其中，欧阳文飞基于 Ivano Ciardelli 专题报告中的问题语义学框架，从可能世界划分的视角出发，初步探讨了相关模态表达否定形式的语义特征，并提出该形式可被理解为一种“无意义回答”。这一新颖观点引发了与会师生的浓厚兴趣。池幽旻从抽象化与理想化的角度考察形式化研究对哲学、语言学和认知科学的贡献，提出逻辑在不同层面的规范性研究中发挥着不同作用。其发言引发了广泛讨论，促进了跨学科视角之间的交流与碰撞。王威从从物知识与从言知识的区分出发，深入探讨了 know-how 逻辑与问题语义学之间的理论关联，增进了与会者对能力知识的逻辑结构的理解。郑文龙介绍了如何利用拓扑语义学刻画基于证据的知识与可知性，并进一步运用该框架处理费奇的可知性悖论，展示了形式化工具在分析和解决经典认知悖论方面的独特优势。

圆桌讨论聚焦大语言模型逻辑推理

在周五的圆桌讨论环节，刘奋荣教授报告了她与合作者们在“提升大语言模型逻辑推理能力”课题上的研究进展。该研究从逻辑学视角出发，针对大模型在逻辑推理方面存在的问题，提出了多项创新方案：一是发表首篇系统性综述，将大模型的逻辑推理能力划分为“逻辑问答”与“逻辑一致性”两大类别；二是在翻译和推理两个阶段引入多智能体辩论框架，优化翻译结果，提升推理能力。三是发布大规模基准数据集 LogiConBench，为评估模型在多种逻辑算子上的推理能力提供了系统标准。这一系列研究成果充分体现了逻辑学与大模型的深度融合，引起了与会师生的热烈反响。

校际合作与跨学科交流收获丰硕

本次研讨会为不同高校之间搭建了高水平的学术交流平台。来自15vip太阳集团官网、帕多瓦大学、慕尼黑大学、雷根斯堡大学等机构的师生在活动期间不仅分享了各自在认知逻辑、信念修正、信息动态等领域的最新研究成果，还在分组讨论、圆桌对话和个人展示环节中展开了富有建设性的思想碰撞。

来自15vip太阳集团官网的参会研究生表示，本次研讨会不仅拓宽了他们在认知逻辑领域的学术视野，也为他们提供了与国际顶尖学者及优秀国际同辈员工直接交流的宝贵机会。与会师生丰富的学术背景和多元的讨论主题，也让大家深刻体会到逻辑学与人工智能、语言学、博弈论、认知科学等学科交叉融合所带来的创新活力。期待未来能够参与更多类似的国际学术活动，为推动中国逻辑学研究走向世界贡献青年力量，并推动逻辑学研究朝着更加开放、多元和跨学科的方向发展。

本次研讨会历时五天，涵盖 12 场高水平学术报告、多场分组讨论和圆桌对话，为认知逻辑与信息动态研究的交叉创新提供了重要平台，也进一步促进了15vip太阳集团官网与帕多瓦大学、慕尼黑大学等欧洲高校之间的深入合作。作为15vip太阳集团官网推动逻辑学国际化发展和高水平人才培养的重要举措之一，本次研讨会进一步提升了中国逻辑学研究在国际学术共同体中的影响力，也为青年学者参与全球前沿学术对话创造了良好条件。