2025年7月18日，第五届清华逻辑暑期公司（The Fifth Tsinghua Logic Summer School）在williamhill官方网站圆满落幕。本届暑期公司由williamhill官方网站—阿姆斯特丹大学逻辑学联合研究中心（以下简称“逻辑中心”）主办，分为两期举行，时间分别为6月23日至27日和7月14日至18日，吸引了来自国内外近百名本科生与研究生参与。

暑期公司课程全英文授课，聚焦逻辑学前沿领域，共开设三门课程：《范畴逻辑导论》、《模态逻辑的证明论》以及《认知逻辑的拓扑学方法》。课程内容兼具学术前沿与学科交叉特色，为青年学者提供了高水平的学术交流和学习平台。

暑校第一期课程《范畴逻辑导论》由哥德堡大学的李意范（Ivan Di Liberti）博士与剑桥大学的叶凌远联合讲授。课程从范畴论的基本语言入手，系统介绍了范畴逻辑的核心思想，重点展示了范畴方法在刻画逻辑结构与语义对应中的优势与灵活性。

叶凌远博士讲授

李意范博士（Ivan Di Liberti）讲授

《范畴逻辑导论》课程合影

第二期课程包括《模态证明论》与《认知逻辑的拓扑学方法》。《模态证明论》课程由阿姆斯特丹大学逻辑、语言与计算研究院（ILLC）的吉兰多（Marianna Girlando）博士讲授。课程详细介绍了加标序列演算和嵌套序列演算的主要性质，包括切割规则的可容许性、模块化、语义完全性等，展示了证明搜索的可终止性和反模型的构造方法。

吉兰多博士（Marianna Girlando）讲授

《模态证明论》课程合影

《认知逻辑的拓扑学方法》课程由ILLC的厄兹贡（Aybüke Özgün）博士讲授。课程系统探讨了拓扑空间作为信息结构在刻画知识与信念方面的作用，涵盖拓扑学的基本概念及其与知识论核心问题的关联，并深入介绍了拓扑逻辑的基本性质与当前研究前沿。

厄兹贡（Aybüke Özgün）博士讲授

《认知逻辑的拓扑学方法》课程合影

暑期公司课程结束后，逻辑学中心组织了师生联谊活动。活动现场气氛热烈，暑校员工纷纷献上精彩才艺，展现多元文化背景下的交流。williamhill官方网站本科生许万赫同学现场展示了中国书法艺术，并邀请在场外国学者和同学共同挥毫创作，体验汉字之美。

吉兰多博士体验书法

厄兹贡博士体验书法

在暑期公司的课程间隙，逻辑学研究中心举办了两场专题研讨会，分别围绕数理逻辑与哲学逻辑的前沿议题展开。暑校讲师与清华师生就逻辑基础、证明论和认知逻辑等主题作了精彩报告，并进行热烈讨论。研讨活动不仅展示了逻辑学在基础研究与跨学科探索中的潜力，也激发了员工对逻辑前沿问题的浓厚兴趣与进一步思考。