“全国现代逻辑学术研讨会”是中国逻辑学会现代逻辑专业委员会主办的年会，旨在增进国内各领域逻辑学研究人员的交流，共同营造一个健康的学术氛围，提高学术研究水平。
会议的功能包括：
- 学术交流：交流晚近的学术成果，展望未来的研究课题；
- 教育：提高研究生的基本学术技能，锻炼年轻学者的学术组织能力，传播学术伦理规范；
- 学术共同体建设：联合哲学、数学、计算机科学以及语言学等领域的相关逻辑学者，形成基本共识，推动逻辑学在中国的普及与发展。
2025年11月7日—9日，由中国逻辑学会现代逻辑专业委员会主办，华东师范大学哲学系承办的第19届全国现代逻辑学术研讨会在上海华东师范大学闵行校区召开，来自国内外近30所高校及科研单位的120余人参加了会议。
中国逻辑学会原副会长、华东师范大学哲学系冯棉教授，华东师范大学哲学系系主任朱承教授，中国逻辑学会现代逻辑专业委员会主任、山东大学哲学与社会发展学院王轶教授，本次研讨会程序委员会联合主席、南开大学哲学院李延军副教授分别致开幕词，开幕式由本次研讨会组织委员会主席、华东师范大学哲学系晋荣东教授主持。
在为期两天的学术研讨中，与会人员围绕与现代逻辑密切相关的数理逻辑、哲学逻辑、逻辑哲学、逻辑与语言学、逻辑与计算机科学、中外逻辑思想史等主题进行了30余场讲座和报告，其中包括1场会前讲座、3场大会特邀报告、18场常规论文报告和9场海报论文推介报告等，此外，现代逻辑专委会还在会后举办了1场现代逻辑教学会议。
11月6日晚，河北工业大学理学院彭程博士作了题为“可计算性理论历史发展与近代分支简介”的会前讲座。他先概述了可计算性理论作为数理逻辑分支的定位与核心，进而简要梳理了其历史发展：从希尔伯特纲领到哥德尔不完全性定理，丘奇、图灵等人通过λ-可定义函数、图灵机等给出可计算函数的严格定义，确立丘奇-图灵论题，最后介绍了经典可计算性理论、反推数学等分支及关键定理、方法与研究现状。
新加坡国立大学数学系杨跃教授的报告题为“什么是有穷类型上的可计算性？”。他从可计算性理论的拓展出发，回顾了图灵机、递归函数等一阶可计算性的核心概念，并指出这些传统模型在处理高阶对象（如函数的函数）时的局限性。在此基础上，他提出了若干尚未解决的核心问题，如高阶计算中自然可计算性标准的确定、可计算性与可定义性之间的界限，并探讨了有穷类型上的计算概念及其在现代逻辑与计算理论中的意义与应用。
北京大学哲学系王彦晶教授在题为“Assignment Operators as Bridges”的报告中，聚焦赋值算子（如[x:=t]），将其定位为连接多学科的桥梁，深入探讨了它在编程、逻辑（尤其是模态逻辑、动态逻辑）中的定义与应用。报告核心围绕赋值算子如何区分和关联de dicto与de re知识及更新，拓展到认知逻辑、群体知识等场景，展现了其在多领域中应用价值。同时，报告还涉及相关逻辑系统的构建、公理体系及可判定性等理论细节，为模态逻辑的跨学科发展与应用提供了新的视角。
上海财经大学邓玉欣教授的报告题目为“经典-量子程序中概率行为的局部推理方法”。他提出了一种用于经典-量子程序的概率行为局部推理新方法，通过建立操作、指称和公理语义，并构建基于分布公式的量子霍尔逻辑来验证程序的概率性质。该逻辑支持局部推理，其有效性已通过对HHL和Shor’s算法等量子算法的正确性证明及Coq形式化验证得到展示。
11月8日上午，西南大学潘易欣报告了与郭美云合作的“Belief Revision Based on Probability Update”，定义了基于邻域语义的概率认知逻辑（NPEL）的互模拟（bisimulation）并导出了极小模型，以消除模型中的冗余状态。中国科学院大学范杰的报告题为“Correcting Factive Ignorance: A Revised Logico-Semantic Framework”，针对现有事实性无知概念与知识兼容、违反哲学共识的问题，提出了修正后的事实性无知概念，通过语义上增加“不存在知识”的约束来确保无知与知识的对比性。在“The Logics for Exclusive Ceteris Paribus Laws”的报告中，中国科学院大学张立英对排除式“其它情况均同”定律提出了四项新的解释标准，旨在解决其在普遍性与容忍例外性之间的经典困境。中山大学王译恒的报告题目为“时态奥卡姆逻辑”，以奥卡姆代数相关理论为基础，构建相应的代数与逻辑体系，研究了语义、对偶关系及完全性等关键问题，尝试探索非经典逻辑的时态化。南开大学寇静茹报告了与刘叶涛合作的“从元语言进路到认知假扮”，针对“弗雷格之谜”提出新的解答思路，立足直接指称理论核心立场，引入认知层面的分析维度，通过分层解释模型，化解指称同一与认知差异之间的理论矛盾。中国政法大学吴可和付小轩在“面向盲从的信念修正阈值模型稳定性分析”的报告中，聚焦盲从情境下的信念修正模型，围绕模型稳定性判定、网络特征对模型的影响等问题展开分析，结合实验验证模型有效性，为相关领域应用提供逻辑支持。
11月8日下午，北京大学赵林垚报告了“三神谜题中的自指问题形式研究”，在现有形式化语言框架基础上进行拓展，构建新的语言工具，实现对含自指问题解法的形式化刻画，完善谜题逻辑的研究方法。山东大学胡叶涛以“逻辑休谟随附性与逻辑虚无论”为题，展开逻辑与形而上学交叉领域的研究，探讨逻辑休谟随附性与逻辑虚无论的关联，分析相关原则引发的理论问题，论证逻辑法则与其实例的关系。中山大学叶映彤的报告题为“A Plan-Based Logic of Sufficient Means and Dynamic Goals”，针对实践推理的特性与传统模式的局限，提出基于计划的动态目标逻辑方案，通过动态语义定义核心算子，实现对实践推理关键特征的形式化刻画。复旦大学张镇涛的报告以“On Definable J-sets”为题，研究群结构中的可定义集，探讨不同类型集合的关系与性质，结合理论特征分析相关概念的适用场景，为模型论中可定义集与理论分类研究提供参考。中山大学的陈霖报告了他与文学锋合作的“Are ST and CL the Same Logic?”，论证了ST和CL是相同的逻辑，在标准命题语言中ST和CL具有相同的有效推理，只是代表不同的解释。阿姆斯特丹大学的褚天祎和薛飞合作报告了“On the Co-measurability of Experimental Propositions: a Team-based Logical Analysis”，介绍了他们发展的可以刻画co-measurability这个观念的逻辑框架。奥克兰大学的祝瑞做了题为“A Complete Tableau System for Social Announcement Logic”的报告，介绍了他为社交宣告逻辑引进的一个可包含自由社交宣告、清晰真诚宣告和任意真诚宣告的tableau系统。浙江大学苏兴池报告了与孙鑫、卞晓宁和吴慧雯等人合作的“Satisfaction-based Quantum Hoare Logic with Deterministic Assertion”，介绍了量子霍尔逻辑从创立开始，在存在当型循环的情况下，实现一个基于量子霍尔逻辑的相对完全满足就面临一个开放问题，他们的研究为解决该难题提供了一个方案。
11月9日上午，山东大学郝梓彤报告了与孙志强合作的“20世纪前期‘援式推理’的概念演变研究——以梁启超、胡适、栾调甫为例”，梳理了“援”从传统训诂到“援式推理”的现代重构过程，揭示了20世纪前期梁启超、胡适等人以西方逻辑诠释墨家“援”的方法及其局限，勾勒了栾调甫、谭戒甫等人对“据西释中”的批评以及从多元进路来诠释“援”的初步探索。厦门大学蒋昊的报告题为“论牟宗三‘纯理’逻辑观与辩证逻辑之会通”，认为在20 世纪30 年代的“形式逻辑论战”中，牟宗三对辩证逻辑持批判态度，但在学理上并不构成对辩证逻辑的直接否定，其“纯理”逻辑观存在与辩证逻辑会通的可能性，二者在悖论产生的根源问题上可谓殊途同归。山东大学龚柄赫和胡叶涛报告的是“Unrestricted Fusion and the Recombination Paradox”，聚焦刘易斯无限制重组与组合原则引发的悖论，通过经典分体论、位置理论及世界有界组合的视角，提出了不限制重组原则而限制组合原则的解决方案。山东大学李坤桓的报告题为“资格身份的概率语用学建模”，针对 RSA 模型的可扩展性等三大困境，引入 “资格” 维度并设计动态更新的 RSAE 模型，结合大规模多轮对话语料验证，提升了模型的语境适配与实证研究可行性。
11月8日下午，南京大学郭城言报告了“KK原则的多模态化”，从认知逻辑的KK原则出发，分析了其在传统形式下的理论争议与威廉姆森的反KK论证，指出其静态性与现实反思认知的脱节。华东师范大学朱宏辉的报告题为“温和推理主义视角下逻辑常项的划界”，考察了以塔斯基“置换不变性”作为逻辑常项划界标准的局限性，强调逻辑常项应同时满足置换不变性与推理规则的和谐性，以此在保持语义精确的同时，增强逻辑系统的表达能力与开放性。山东大学贾贝妮做了题为“理解隐喻靠的是‘想象’吗？”的报告，探讨了隐喻理解的两种主流路径，进而提出结合常规隐喻与新奇隐喻的区分，分别采用推理与想象的双重机制，来深化对隐喻认知过程的理解。清华大学林立霄的报告题为“The Plural De Re and Epistemic Modality”，聚焦于复数de re结构在认知模态语境中的语义问题，提出了一种兼顾个体与集合跨世界识别的形式方案，为认知模态的语义分析提供了新工具。西安交通大学张奎泽的报告题为“Resilience in labeled real-time automata”，研究了具有时间约束的自动机系统在面对故障时的“韧性”属性，并基于并发组合与观察者构造，给出了在N2EXPTIME复杂度内的验证方法，为实时系统的安全性与智能性分析提供了理论基础与算法支持。
11月9日上午，南开大学王汝靖的报告题为“An Axiomatization of Public Announcement Logic with Three PDL-Style Updates”，研究了具有测试、顺序执行和宣告动作非确定性选择的公开宣告逻辑，并给出了这一逻辑的可靠公理化，证明了它的强完备性。华南师范大学高贝贝和夏炀合作的“推理倾向性：一种理解概括难题的知识论进路”，主张“真”作为规范性推理承诺，认知主体倾向于接受前提并推出结论，从而提供了一种无需预设理想化认知主体的解释路径。华东师范大学朱宏辉的报告“逻辑等词之哲学旨趣”，指出将其视为无争议的逻辑常项掩盖了“等词连接的是名称还是对象”和“等词是否为必不可少的逻辑常项”两大哲学议题，主张等词的逻辑地位深刻地折射出逻辑系统所承载的本体论承诺与哲学立场。中山大学姜景哲的报告题为“基于语境的实践条件句推理研究”，旨在解决“矿工难题”等经典实践条件句推理困境，指出现有方案忽视了推理有效性对语境的隐性依赖性。
11月9日上午的大会闭幕式由华东师范大学哲学系魏宇副教授主持。中国逻辑学会现代逻辑专委会主任、山东大学哲学与社会发展学院王轶教授做大会总结发言。本次会议程序委员会联合主席、西南大学逻辑与智能研究中心熊作军副教授对承办单位领导、会议报告人、所有参会人员和学生会务团队表示衷心感谢。2026年恰逢中国逻辑学会现代逻辑专业委员会成立30周年，中国科学院大学、中国科学院哲学研究所张立英教授作为下一届全国现代逻辑学术研讨会的承办方代表致辞，欢迎大家明年参加在北京举办的研讨会和专委会成立30周年庆的相关活动。最后，本次研讨会在与会者热烈的掌声中圆满落下帷幕。
11月9日下午，现代逻辑专委会在会后召开了教学会议，旨在推动现代逻辑的教学改革、促进跨学科协作，提升逻辑学在专业教育与通识教育中的教学质量与成效。会议由中山大学逻辑与认知研究所文学锋教授主持，主要分为四个环节：现代逻辑与专业教育、现代逻辑与通识教育、AI与现代逻辑教学、教学资源共享与建设。新加坡国立大学杨跃、中山大学刘虎、北京师范大学琚凤魁、南开大学李延军、中山大学沈榆平、北京大学王彦晶、山东大学王轶、西南大学熊作军、复旦大学杨睿之、四川大学刘佶鑫、北京大学丁一峰、中国科学院大学张立英、北京大学钟盛阳 、清华大学肖汉等作为与谈人，先后分享了对于逻辑专业学生的核心竞争力的理解、各单位的现代逻辑课程设置的情况，以及AI赋能现代逻辑教学的各种做法，并就相关的问题展开了热烈讨论。
