4月27日下午，为庆祝澳门沙金在线平台112周年校庆，由澳门沙金在线平台逻辑学研究中心与人民邮电出版社共同策划的“清华逻辑书系”项目启动仪式在丙所会议室顺利举行。澳门沙金在线平台文科处、教务处、人文学院以及人民邮电出版社的相关负责人，金岳霖讲席教授团组成员、逻辑学研究中心的师生出席了本次仪式。

逻辑学研究中心主任刘奋荣首先详细介绍了“清华逻辑书系”项目的计划。该项目涉及六部著作，由四位金岳霖讲席教授和中国学者共同撰写。这些著作既作为澳门沙金在线平台所开设的逻辑学课程的教材，也为不同层次和学科背景的读者提供高质量的逻辑学参考书。这些著作都是中外学者之间多年的合作成果，著作的出版将会大大推动国内下一代逻辑学人才的培养。

随后，项目作者们向在场人士详细介绍了各著作的核心理念和结构。刘奋荣教授与石辰威助理教授共同创作的《逻辑与思维》，以历史为主线，阐述逻辑学的基础理论，便于文科背景的读者深入了解逻辑学的历史与发展。

司马亭教授（Martin Stokhof）和刘奋荣教授合著的《逻辑、语言与哲学》源于他们在清华多年的授课内容和经验，书中介绍了命题逻辑、谓词逻辑，以及与技术细节相关的哲学经典论文。这部教材既包含对理工科读者具有挑战性的哲学阅读部分，也涵盖了对文科背景读者较为困难的逻辑技术部分。

魏达格教授（Dag Westerståhl）和阿姆斯特丹大学研究生叶凌远合著的《数理逻辑》广泛涵盖了数理逻辑领域的内容，力求在严谨性和易读性之间达到平衡，帮助读者打下更扎实的逻辑基础。

谢立民教授（Jeremy Seligman）与逻辑中心博士生陈谦合著的《模态逻辑及其应用》旨在引导读者运用模态逻辑技术分析哲学、社会的实际问题，为我们的理解提供洞见。

范丙申教授（Johan van Benthem）和石辰威合著的《逻辑、信息与主体性》，通过逻辑分析探讨了涵盖不同学科背景的多个主题。教材的许多内容源于与清华学生在课堂上的互动交流。

范丙申教授与中国社会科学院研究员刘新文、中国科学院大学人文学院助理教授李大柱合著的《模态逻辑》，为来自不同学科背景的读者提供了逻辑入门指南，并从模态逻辑的角度引领学生探讨哲学中的“知识”、数学中的“证明”以及计算机科学中的“程序”等核心概念。

人民邮电出版社学术出版中心总经理王威对“清华逻辑书系”的出版表示支持，指出逻辑学是构建知识框架的基础，在现代人工智能和大数据时代具有更加重大的意义。清华逻辑自金岳霖先生起便具有悠久的历史传统，现已发展成具有国际影响力的学科。该书系是出版社的重要项目，希望以图书为载体，推广清华逻辑的教学和科研成果，凝聚智慧，传承文明，并推动中外文化交流。

人文学院副院长顾涛指出，清华逻辑书系展现了教学与学术相融汇、中西文化相融合的新模式，具有引领性和开拓性。教务处副处长杨帆期望这批逻辑学教材能起到示范作用，建议考虑建设数字化教材，并代表学校对逻辑书系项目表达了支持。文科处处长杨永恒做了总结发言，他高度评价了逻辑学中心在本科生教学、研究生培养、科研等方面做出的成绩，中心成果的出版对于重振清华逻辑的辉煌传统具有重要意义。

与会嘉宾发言最后，与会人员对书系出版的规划进行了深入讨论，人民邮电出版社学术出版中心高级策划编辑贺瑞君介绍了出版细节，作者们签署了出版合同。

作者合影