Tsinghua University – University of Amsterdam Joint Research Centre for Logic

快!快去慕课跟着金岳霖讲席教授学逻辑

金岳霖讲席教授魏达格(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周:讲解一阶逻辑的不可判定性定理及其证明细节。

上课方式:

  1.     注册或登录学堂在线网站个人账户;
  2. 登录课程主页(复制到浏览器打开):

    https://next.xuetangx.com/course/thu01011002775/3500661

  3. 进入课程主页后,点击加入学习: