2026年4月11日，逻辑中心师生的学术沙龙在红熙山寨顺利举行。除中心教师郭美云教授、蒋军利副教授、熊作军副教授、孙洋博士、王一廷博士与潘易欣博士外，本次沙龙特别邀请到了挪威卑尔根大学Thomas Ågotnes教授与新西兰奥克兰大学Jeremy Seligman教授做客中心参与沙龙活动。本次沙龙聚焦认知逻辑与中国逻辑史等领域，由王一廷、潘易欣两位博士与24级硕士研究生赵文贞子共同呈现了一场轻松愉快而不失学术规范性的学术交流，中心师生就认知更新、模型简化、中国墨家逻辑思想等核心议题展开了热烈讨论。

王一廷博士在沙龙上分享了“基于知道如何知道的任意公开宣告逻辑”（HAPAL）的最新研究进展。他从经典的可认知性命题出发，引入了具有“知道如何知道”（know-how）特征的新算子，为认知逻辑的动态更新提供了全新的表达框架。

在随后的交流环节中，Thomas教授与王一廷博士就报告内容在APAL上的具体应用问题展开了深度讨论。王一廷博士分享了其团队的最新成果，他指出，通过应用类似的方法，他们重新证明了BAPAL的可靠性与完全性，纠正了现有文献中的逻辑错误。在探讨该领域未来走向时，王一廷博士表示，他尝试将HAPAL推广至多主体语境，并深入比较其与经典APAL在表达力上的细微差异。

潘易欣博士着眼于逻辑模型中的“极小模型”（Minimal Model），系统阐述了如何通过“互模拟收缩”（Bisimulation Contraction）在保留核心模态信息的前提下压缩模型大小，其研究涵盖了从关系语义到邻域语义的拓展，该研究不仅适用最基础的模态逻辑，还能刻画那些处理复杂认知状态和不完备知识的非正规模态逻辑。

在互动环节，潘博士详细演示了如何通过识别并合并逻辑上不可区分的状态，在不损失模型性质的情况下降低其复杂度，并进一步探讨了极小模型在处理非正规模态逻辑时的灵活性。

赵文贞子同学立足中国本土逻辑传统，以墨家“一周而一不周”为切入点，深入探讨了兼爱思想的内在逻辑与当代价值。赵文贞子同学指出，墨家思想并非纯粹的形式逻辑，而是一种带有价值导向和行动指引的具体推理。

在提问环节，Jeremy教授对兼爱与周爱的联系表现出浓厚的兴趣，并与赵同学展开了深入交流。赵同学指出兼爱是墨家的核心思想，而周爱是为了论证兼爱思想所提出的一个概念，一方面是为了区分周延的爱和不周延的爱，另一方面对周延和乘马进行比较，我们可以发现兼爱的内在价值。墨家兼爱思想还告诉我们“无穷不害兼”，也就是说，世界和人的数量少无穷并不妨碍我们实行兼爱。

沙龙期间，师生们在会议室各抒己见，从认知逻辑到墨家逻辑思想，学术火花在讨论中不断碰撞。研讨结束后，在中心倡导的“学术与生活并重”的沙龙形式下，师生们在午间共享了山寨特色美食。下午，大家放下书卷，投身自然。通过爬山徒步与桌游娱乐活动，师生们在放松身心的同时，也进一步加深了对彼此学术理念的了解。

晚餐以烧烤的形式进行，两位外籍教授与中心师生围炉而坐，在碰杯与欢笑中，逻辑学不再是复杂的算子与公理，而是连接不同文化与背景的语言。快门落下的瞬间，记录的不只是中外学者的研究交流，更是红熙山寨里这份跨越国界的学术情谊。

(武亚鑫/文稿，熊作军/审核，彭子骄/发布)