疫情突然爆发，清华大学-阿姆斯特丹逻辑学联合研究中心的师生勇敢抗击病毒，积极响应学校的整体部署，已经展开了春季学期网上教学。让我们特别感到鼓舞和欣慰的是：有一批世界一流的逻辑学家在我们最困难的时候伸出了援助之手，助力清华逻辑的科研。        面对学生被困在家，国际会议延期，原计划春季来访的国际学者们不得不取消行程的现实，在金岳霖讲席教授范丙申（Johan van Benthem）的倡议下，一支国际逻辑学家团队迅速响应：“在线访问” 清华大学。他们志愿面向清华师生报告最新的研究成果，保持与我们的学术交流，以此支援我校抗击病毒的战役。在线访问学者团队中，除了中心现任的金岳霖讲席教授团组4位成员外，还有来自美国、荷兰、德国、法国、丹麦、印度等国家大学和研究机构的逻辑学家。他们中大部分人都曾经访问过清华大学，与逻辑学中心有着密切的合作关系，跟清华师生建立了深厚的友谊，是我们的老朋友。逻辑学研究中心主任刘奋荣教授表示：“患难见真情，我们很感动。相信这样一支国际团队能够帮助我们的研究生、博士后和青年教师在科研方面取得新进展。”       在线访问学者团队将带来每周1次的前沿报告，内容涵盖逻辑学作为跨学科发展的最新成果，使用线上教学软件直播，与听众互动。团队成员有： 欢迎对逻辑学前沿研究感兴趣的学生和老师参加。近期我们将发布线上报告的时间、报告题目和摘要等，敬请关注。

乍暖还寒中春季学期开始了。因为突发的疫情，新学期显得有些不一般。“停课不停学”，按照学校的统一部署，我们春季学期的所有课程都改为线上进行。清华大学金岳霖逻辑学教授、瑞典斯德哥尔摩大学的魏达格教授（Dag Westerståhl）第一时间收到线上教学的通知，他立即开始研究网上教学的各种软件，认真学习这些软件的技术细节，并多次跟清华的助教、同事和学生们进行测试。最后决定使用雨课堂/微信跟学生进行信息沟通，用Zoom开展实时教学。2020年2月17日，新学期第一天，他从远在瑞典的斯德哥尔摩正式向清华学生开讲“逻辑学”。 本学期，魏达格教授开的课是“逻辑学基础理论”。课程安排在前8周，每周2次课，2个学分。这是金岳霖讲席教授团组设立以来他在清华的第三次开课，已经吸引了对逻辑学感兴趣的一批跨越不同专业的清华学生。按照逻辑学研究中心的计划，教授们在授课的同时，还撰写面向清华学生的教材，以中文、英文同时出版。今年魏达格教授准备试用他已完成的教材“Foundations of Logic”。 在最近的通话中，魏达格教授十分关心被困在家的清华学生，并鼓励他们以积极的态度面对眼前的困难。他说，线上教学对他来说是一种挑战，课上的互动和作业批改都需要采用不同的方式，但他非常有信心做好。他对学生们说，“学习没有界限（border），越是在困难的时候越要珍惜学习的机会。” 来自人文学院、计算机系、数学系、物理系、交叉信息研究院、电子工程学院等院系的30余名学生将跟随魏达格教授学习逻辑学。 （刘毓灵 自动化系 现居湖北十堰市） （张心之 交叉信息研究院 现居广州） （胥嘉政 计算机系 现居浙江） （曾蔓玲 人文学院 现居四川省泸州市）  （陈善炜 土木工程系 现居海南省三亚市） （远程课堂效果） Dag Westerståhl，是斯德哥尔摩大学理论哲学与逻辑学教授，瑞典皇家科学院院士、哥德堡皇家艺术与科学院院士，曾担任国际逻辑学、方法论和科技哲学协会秘书长。他的研究主要集中在逻辑学与语言学的交叉领域，包括形式语义学和语言哲学。特别是，他对量词（quantifiers）的研究成果在国际上具有广泛而深刻的影响。2017年开始，他受聘成为清华大学金岳霖逻辑学教授，每年春季来清华园工作。他与我校中文系邓盾博士、外语系刘明明博士发起、2019年成功组织了第一次“逻辑、语言和意义”的国际会议。原定今年4月举行的第二次“逻辑、语言和意义”国际会议已经完成投稿论文的评审工作，于疫情结束后举行会议。

金岳霖讲席教授魏达格（Dag Westerståhl）在线授课的新闻在清华大学微信公众号、微博等平台发布之后，我们不断看到外校朋友们的留言和来信，询问是否能跟着魏教授学习。逻辑学研究中心立即与学校终身教育处联系，得到大力支持，迅速启动在线课程制作。经过几天的准备，魏教授的课程录播登陆学堂在线，下周一（2月24日）正式开课。欢迎对逻辑学感兴趣的朋友们学习。 课程助教闫佳亮同学还为大家准备了中文的课程简介和上线学习的指南，见下： 课程名称：逻辑学基础理论 主讲教师：Dag Westerståhl（清华大学金岳霖逻辑学讲席教授） 课程介绍：本课程带领学生系统学习现代逻辑的基本内容，包括一阶逻辑公理系统、定理的证明与形式语义；纵览一系列逻辑学经典结论，包括哥德尔（一阶逻辑）完全性和（一阶算术）不完全性定理、一阶逻辑不可判定性的丘奇-图灵证明、以及塔斯基的（形式算术中）真之不可定义性定理。具体而言，在回顾一阶逻辑的语法和语义之后，课程将介绍亨金利用极大一致集的想法对一阶逻辑完全性的证明，讨论该结论及其证明方法的哲学和逻辑学意义，并介绍模型论的部分内容。进而，课程介绍理论的完全、不完全、可判定等概念。在了解20世纪初哲学和数学发展的背景（包括希尔伯特计划）之后，课程先在非形式的水平上介绍不完全性定理及相关结论，包括其证明思路，然后再逐渐补充重要的细节。课程总体上强调哲学和数学意义上的重要概念和思想，同时也为进一步学习技术细节铺平道路。 （课程录制中的魏教授） （清华学子在线学习） （网络课堂效果） Dag Westerståhl，是斯德哥尔摩大学理论哲学与逻辑学教授，瑞典皇家科学院院士、哥德堡皇家艺术与科学院院士，曾担任国际逻辑学、方法论和科技哲学协会秘书长。他的研究主要集中在逻辑学与语言学的交叉领域，包括形式语义学和语言哲学。特别是，他对量词（quantifiers）的研究成果在国际上具有广泛而深刻的影响。2017年开始，他受聘成为清华大学金岳霖逻辑学教授，每年春季来清华园工作。他与我校中文系邓盾博士、外语系刘明明博士发起、2019年成功组织了第一次“逻辑、语言和意义”的国际会议。原定今年4月举行的第二次“逻辑、语言和意义”国际会议已经完成投稿论文的评审工作，于疫情结束后举行会议。 课程安排： 慕课平台开课时间：2020年2月24日-2020年7月31日 课时：16周 上课时间（课程更新时间）：周一下午13:30 授课语言：英语 课程内容安排： 1-4周：背景知识介绍。简单回顾和介绍命题逻辑和一阶逻辑的句法、语 义和形式系统。 5-6周：讲解一阶逻辑的完全性定理及其证明细节。 7-8周：介绍相关模型论知识。 9-14周：讲解哥德尔第一不完全性定理及其证明细节。 15-16周：讲解一阶逻辑的不可判定性定理及其证明细节。 上课方式：     注册或登录学堂在线网站个人账户； 登录课程主页（复制到浏览器打开）： https://next.xuetangx.com/course/thu01011002775/3500661 进入课程主页后，点击加入学习：

Universitat Pompeu Fabra (UPF) & Universitat Oberta de Catalunya (UOC) Barcelona, 21-23 September, 2020 The Making of the Humanities conferences bring together scholars and historians interested in the history of a wide variety of disciplines, including archaeology, art history, historiography, linguistics, literary studies, media studies, musicology, and philology, tracing these fields from their earliest developments to the […]