课程信息
课程名称：数理逻辑Mathematical Logic
课程代码：GEHA1202
课程学分：2
课程简介
本课程的主要内容包括经典命题逻辑和经典谓词逻辑的句法、语义、形式系统等逻辑学理论以及演绎定理、可靠性定理、完全性定理等关于逻辑学的元理论。这些内容既是进一步学习现代逻辑的基础，也有助于培养学生的逻辑思维能力和批判性思维，为其他课程的学习提供更好的思维基础。
授课教师
王强 点击查看教师简介
现任人文科学研究院教学助理教授。毕业于北京大学哲学系逻辑学专业，获哲学博士，参与莱顿大学哲学系博士生联合培养项目。研究兴趣及方向：中国逻辑史、古代逻辑、内涵逻辑。