近日，我院哲学系博士研究生李大柱顺利通过清华大学-阿姆斯特丹大学联合答辩委员会的论文答辩，被两校联合授予博士学位。这是我院首位获得我校与阿姆斯特丹大学联合学位的博士生。

李大柱2017年入学，在哲学系攻读逻辑学方向博士学位，导师为我院哲学系刘奋荣教授。2018年，向清华大学、阿姆斯特丹大学申请联授博士学位。经批准后，两校为李大柱制定了联合培养计划。导师组由刘奋荣以及阿姆斯特丹大学巴塔格（Alexandru Baltag）范丙申（Johan van Benthem）共三位教授组成。遵照培养计划，李大柱于2018年9月至2020年9月期间得到留基委资助、在阿姆斯特丹大学学习。回国后，李大柱以英文完成了博士论文，并顺利通过了两校的博士论文评审。

论文封面

依照此前达成的协议，两校组成了联合答辩委员会、于9月9日在清华大学蒙民伟人文楼329室举行答辩会。联合答辩委员会成员包括阿姆斯特丹大学司马亭（Martin Stokhof，）、伯尔托（Franz Berto）、维內玛（Yde Venema），我院唐浩、王巍、朱东华共六位教授。三位导师列席会议。答辩人李大柱做了题为“社会结构中的形式脉络: 多主体交互的逻辑动态研究”的报告。他的博士论文为社会中多主体交互建立了图博弈逻辑模型，在一阶逻辑、模态逻辑、动态认知逻辑等经典逻辑研究成果的基础上，建立了一套可用于处理社会中多主体交互的逻辑系统，并证明了关于表达力、复杂度、公理化等一系列的技术结果。

答辩报告slides首页

答辩现场

答辩委员会的成员就论文内容进行了提问，李大柱针对这些问题分别作答。答辩委员会认为答辩人的研究证明过程严谨，成果丰富，具有重要的理论意义与应用价值。经讨论与匿名投票，一致通过李大柱的博士论文答辩，建议清华大学授予他哲学博士学位。10月中旬，李大柱已拿到清华大学颁发的学位证书，阿姆斯特丹大学的证书也正在寄往北京的途中。

清华学位证书

阿姆斯特丹大学逻辑、语言与计算研究院（Institute for Logic, Language and Computation）是一个跨学科的逻辑学科研和教学基地，培养逻辑人才的重镇，目前拥有60多位在职研究人员，24名博士后，60名博士研究生和120多名硕士研究生。

清华大学-阿姆斯特丹大学逻辑学联合研究中心从2013年成立以来，致力于推动两校在逻辑学领域的合作和交流，已取得了一定的成效。联合授予博士学位项目是在学生培养方面合作的重要内容之一，这一项目的成功实施将对我校乃至我国的人才培养具有重要的意义。