课程简介

数理逻辑，也被称为经典逻辑、一阶逻辑、符号逻辑等，其核心任务是以完全形式化、公理化的方式研究推理的有效性。数理逻辑的思想最早起源于德国著名哲学家和数学家莱布尼茨建立普遍语言和进行思维演算的思想。 1879 年，德国哲学家和数学家弗雷格《概念文字》出版，该书给出了命题演算和谓词演算理论，标志着数理逻辑的诞生。 1910 年至 1913 年之间，罗素与怀特海所著三卷本《数学原理 (Principia Mathematica) 》标志者数理逻辑完善地建立。该著作研究表明在数理逻辑基础上，再增加选择公理和无穷公理，就可以推导出大部分的数学。这些数学逻辑主义者的工作，为现代数学的严格性做出了重要贡献。数理逻辑为数学、计算机、分析哲学、语言学、语言哲学等学科提供了重要的、严格的研究与分析工具。

授课教师

郝旭东  华东师范大学哲学系副教授

2009年度、2010年度、2011年度华东师范大学优秀教师。