会议回顾｜第20届现代逻辑学术研讨会暨现代逻辑专业委员会成立30周年座谈会顺利召开

2026年10月23日至25日，第20届现代逻辑学术研讨会暨中国逻辑学会现代逻辑专业委员会成立30周年座谈会在北京顺利召开。本次会议由中国逻辑学会现代逻辑专业委员会主办、中国科学院哲学研究所承办。23日，与会学者相聚中国科学院哲学研究所，回顾专委会三十年来的工作；24日至25日，会议转至中国科学院大学雁栖湖校区，继续展开学术报告与讨论。

三天的活动将学科历史回顾与研究成果交流相衔接，共设2场座谈会主题发言、3场特邀报告、18场常规报告、13场海报论文短报告等环节。从逻辑与认知的关系，到人工智能辅助研究，再到数学基础与形式系统，报告展示了现代逻辑研究中不同的问题意识与方法。

10月23日现代逻辑专业委员会成立30周年座谈会合影

第20届现代逻辑学术研讨会合影

23日下午，中国逻辑学会现代逻辑专业委员会成立30周年座谈会在哲学所举行。座谈会以中国现代逻辑学的发展和专委会工作为主题，把学术传承、人才培养、学科建设及交叉研究等问题列入交流议题。

开幕式由张立英（中国科学院哲学研究所）主持。中国科学院哲学研究所负责人郝刘祥、中国逻辑学会秘书长郭佳宏（北京师范大学）分别致辞。

座谈会开幕式

（从左至右：张立英主持，郝刘祥、郭佳宏致辞）

在刘新文（中国社会科学院哲学研究所）的主持下，刘壮虎（北京大学）和王路（清华大学）先后作主题发言。随后进入王彦晶（北京大学）主持的自由交流环节，发言次序为刘晓力（中国人民大学）、周北海（北京大学、山西大学）、张燕京（河北大学）、刘新文、谷振诣（中国社会科学院大学）。主题发言和自由交流相结合，为回顾现代逻辑研究在国内的发展、讨论学科今后的工作提供了交流场合。

刘壮虎、王路作主题发言（从左至右）

座谈会发言与交流（从左至右、从上至下：刘晓力、周北海、张燕京、刘新文、谷振诣及座谈会现场）

座谈会最后由中国逻辑学会现代逻辑专业委员会主任王轶（山东大学）作闭幕发言。当日下午的座谈活动结束后，会议进入学术研讨阶段。

24日上午，学术研讨会在中国科学院大学雁栖湖校区开幕，开幕式由张立英主持，谭红军（中国科学院大学）、胡志强（中国科学院大学、中国科学院哲学研究所）、刘壮虎、王路、郭佳宏、王轶、钟盛阳（北京大学）发言。

学术研讨会开幕式

周北海作首场特邀报告《认知逻辑与认知主义：认知科学时代逻辑学的新面向》。随着认知科学发展，逻辑学如何理解人类推理，又应如何评价关于逻辑的认知主义主张？报告围绕这些问题，辨析认知逻辑与认识论逻辑的关系，并从逻辑学的历史与基本概念出发讨论相关争论。

周北海作特邀报告

《认知逻辑与认知主义：认知科学时代逻辑学的新面向》

上午的常规报告在两个会场同时展开。江红（山西大学）、李磊（陕西师范大学）与闫佳亮（中国政法大学）、褚天祎（阿姆斯特丹大学）的工作分别讨论联合行动中的默契、信息茧房以及证据和信念；另一会场由潘易欣（西南大学）、刘轩宇（中国科学院大学）、张侨洋（中山大学）带来概率知识、证据条件句与行动义务方面的研究。知识如何得到支持，信息怎样影响主体之间的关系，行动又如何接受规范评价，是这一时段报告涉及的主要问题。

10月24日上午常规学术报告现场

下午，蔡少伟（中国科学院软件研究所、北京航空航天大学）作特邀报告《大模型辅助的命题逻辑可满足性研究：复杂性与求解器》，介绍大模型参与算法分析和求解器开发的研究。报告从命题逻辑可满足性这一基础问题出发，呈现理论分析、程序研发与应用问题之间的联系，也为讨论大模型在逻辑研究中可以承担的工作提供了实例。

蔡少伟作特邀报告

《大模型辅助的命题逻辑可满足性研究：复杂性与求解器》

随后进行的7场海报短报告涉及动态知识逻辑、反事实、无知逻辑、逻辑必然性、策略协调、开放世界推理及反推数学。每场短报告后，研究内容还通过海报展示供与会者进一步了解。

10月24日海报论文短报告现场

当日下午后半段，两个分会场继续举行8场常规报告。一组围绕计数模态逻辑、非偶然逻辑、加权逻辑的插值性及证明论展开；另一组关注克里普克真理论、形式真理论的评价、可数主义及意向同一性。技术研究与哲学分析在同一会议中并行，也使不同背景的研究者能够了解彼此关心的问题。

10月24日下午常规学术报告现场

25日上午，常规报告继续进行。复旦大学的车晓舟与姚宁远、张镇涛（复旦大学）分别介绍实形式级数域中的弱泛型类型和理想诱导的独立关系；浙江大学的段景辉与廖备水、周正（浙江大学）则从论辩研究出发，讨论接受性解释与溯因推理。两会场由此分别展开模型论与形式论辩方向的交流。

10月25日上午常规学术报告现场

接下来的6场海报短报告，涵盖弱滤子与格、置信度衰减、神经网络的形式分析、π演算、跨世界同一性与数之极小论。两天的海报交流设在教三319，短报告与展示时段相配合，让与会者可以在集中介绍之外，继续讨论研究设想和论证细节。

10月25日海报论文短报告现场

刘路（中南大学）作本次会议最后一场特邀报告《Complexity of Variable Word Theorems》，讨论带向组合数学与可计算性理论。报告介绍变元词类型定理与Ramsey染色问题之间的联系，围绕解的复杂性与相关数学原理的强度，说明已有进展及仍待解决的问题。

刘路作特邀报告

《Complexity of Variable Word Theorems》

25日中午，闭幕式由李大柱（中国科学院哲学研究所）主持，钟盛阳作会议总结。琚凤魁（北京师范大学）代表专委会公布新一届委员会成员情况，并宣布下一届现代逻辑学术研讨会将在兰州大学举办。随后，兰州大学的陈佳、薄谋发表讲话。

最后，会议在大家热烈的掌声中圆满闭幕。

学术研讨会闭幕式

文字｜陈至诚

图片｜赵琪 林雨涵 李禹辰 王楠 陈飞龙 李艳

编辑｜华敏

审核｜张立英