逻辑学基础理论

逻辑学基础理论课程简介：前往报名学习

逻辑学基础理论课程简介：

本课程面向对逻辑学、形式化方法感兴趣的学生。主讲教师将带领大家系统学习现代逻辑的基本内容，深入探讨形式系统的元理论，如完全性定理、哥德尔不完全性定理和一阶逻辑的不可判定性等；详细讲解以上定理的证明思想和证明细节。课程旨在加强学生的逻辑思维能力，加深对现代逻辑基础理论的理解，掌握逻辑学研究问题的方法。

前往报名学习

逻辑学基础理论课程目录：

Background-1

--Propositional Logic

--First-Order Logic

Background-2

--Natural Deduction

--A Hilbert system

Completeness

--Completeness of propositional logic

--Completeness of first-order logic

Model Theory

--Model Theory-1

--Model Theory-2

Incompleteness-1

--Overview

--Primitive Recursive Functions and Relations

Incompleteness-2

--Peano Arithmetic

--Definable in PA

Arithmetization

--Arithmetization

Incompleteness-3

Incompleteness-4

Final Exam

逻辑学基础理论授课教师：

Dag Westerståhl-金岳霖讲席教授-清华大学-人文学院哲学系

魏达格，清华大学金岳霖讲席教授，斯德哥尔摩大学教授，瑞典皇家科学院院士、哥德堡皇家艺术与科学院院士。他的研究主要是在逻辑学与语言学的交叉领域，包括形式语义学、语言哲学，在广义量词理论领域做出非常重要的结果。2019 年与中文系邓盾博士、外文系刘明明博士成功组织“逻辑、语言与意义”国际会议关注汉语的研究，推动了逻辑学与语言学之间的深入交叉研究。 Dag Westerståhl，Jin Yuelin Professor at Tsinghua; Professor of Theoretical Philosophy and Logic at Stockholm University; Member of the Royal Society of Arts and Sciences in Gothenburg and of the Royal Swedish Academy of Sciences. He is also on the Advisory Board of the Joint ILLC and Tsinghua Research Center in Logic. His main research interests are logic, formal semantics, and philosophy of language. A central theme is generalized quantifiers, studied both from a model-theoretic and a linguistic point of view.