新闻报道

北京大学牵头举办“Bundles in Logic”国际工作坊 推动逻辑学前沿研究国际合作


2026323日至27日,由北京大学哲学系与逻辑、语言与认知中心牵头组织的“Bundles in Logic”(逻辑中的打包算子)国际工作坊在荷兰莱顿大学洛伦兹中心举行。会议由北京大学哲学系副主任、北京大学逻辑、语言与认知中心主任王彦晶教授担任召集人,联合Natasha Alechina教授荷兰Hans van Ditmarsch教授(法国)以及R. Ramanujam教授印度共同组织,吸引了来自近20个国家的50余位专家学者参会。


 


本次会议是北京大学哲学系服务学校国际化发展战略、推进哲学学科逻辑与认知方向建设的重要举措。洛伦兹中心是国际著名的学术会议组织机构,以推动跨学科前沿研究和高质量学术讨论著称本次会议的提案通过多轮评审得到中心支持并顺利举办,体现了北京大学逻辑学团队在国际学术界持续提升的影响力。


 


“Bundles in Logic”聚焦近年来由北京大学逻辑学团队提出并发展的“打包算子”的研究进路。在逻辑学中,量词是形式化数学理论的重要工具,模态词则是刻画知识、时间、道义哲学概念的关键手段。所谓打包算子狭义地讲是将量词与模态词结合为具有内部结构的复合算子,从而为兼具数学性与哲学性的复杂理论对象提供新的形式化框架。这一进路源于北京大学逻辑团队近年来在知识逻辑、一阶模态逻辑以及直觉主义逻辑等方面的持续探索和归纳总结,已在打包”进路的基础公理化理论、可判定性、表达力等问题上取得一系列重要成果,为突破传统量化模态逻辑中的若干基础难题开辟了新路径。


 


本次工作坊充分体现了高强度、重讨论、合作的学术特色。五天的日程包含17场分组专题讨论,5场专题教程报告,17场常规长/短报告,围绕“打包”进路的基础概念与案例梳理一阶模态打包片段的公理化、模型论及判定性”、“命题模态逻辑打包算子的统一理论”、“非经典逻辑中的打包算子等主题进行了深入研讨和充分交流,发现了一系列打包算子的新的应用案例以及很多已有工作之间的联系,开启了很多参与者之间的科研合作。会议专门设置了打包算子在哲学、理论计算机与人工智能中的应用分享环节,进一步凸显了这一研究方向的跨学科潜力会议将形成专题书面报告与文献库,后续准备在相关重要学术期刊出版主题专刊。


 


本次会议同时注重学术共同体建设和青年人才培养重视参与者所在地区及性别的平衡,初级、中级和资深研究者比例为接近1:1:1,体现了对学术梯队建设、青年学者成长和区域学术联动的重视。多元化的参会结构既保证了会议讨论的深度,也增强了该研究方向未来持续发展的开放性和活力。


 


此次“Bundles in Logic”国际工作坊的成功举办,标志着打包算子正逐步从分散的研究成果发展为具有清晰问题意识统一方法特征和国际合作基础的新兴研究范式,也为北京大学持续参与并引领国际逻辑学前沿研究注入了新的动力。本次会议由北京大学于越人文发展基金(哲学)项目支持

 

TOP