Foundations of Logic

Foundations of Logic课程简介：前往报名学习

Foundations of Logic课程简介：

This course is for students interested in formal methods of logic. The lecturer will lead a systematic study of the basics of modern logic.

前往报名学习

Foundations of Logic课程目录：

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

Foundations of Logic授课教师：

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.