Introduction to Logic: a modern, interdisciplinary approach

逻辑导论 （2025 春季） 

教师:  逻辑学教研室王彦晶、钟盛阳、丁一峰、姚博凯

负责人: 王彦晶

助教：王云崧，王鸿仪

时间：每周一 10-12 节 地点：二教 309

其他相关课程请见: logic.pku.edu.cn

---

News

3 月 10 日 命题逻辑 2 (Slides)

3 月 3 日 命题逻辑 1 (Slides)

2月24日 三段论麻雀 (Slides)

2月17日 导言 (Slides)

---

大纲（Contents）： 

本课程是跨学科视角下的现代逻辑学导论。我们会带着同学们沿着历史脉络了解现代逻辑学的基本思想和概念，看到逻辑学与哲学、数学、计算机以及语言学的密切联系，在领略一个学科的整体图景的同时，在一定程度上掌握一些逻辑学最基本的技术，同时通过各种例子体现逻辑学的现实作用，让大家感受逻辑学之美。具体技术内容包括三段论、命题逻辑、一阶逻辑及其重要理论、模态逻辑、非经典逻辑等。

• 导言及课程介绍
• 逻辑学起源
• 命题逻辑及其应用 (3周) ，包括：
  • 形式语言、语义、 系统、元定理
  • 使用、应用
• 模态逻辑及其应用 (2周)
• 谓词逻辑及其应用 (3周)
• 计算理论
• 哥德尔不完备定理
• 集合与无穷(2 周)
• 随堂考试

---

课程信息 （Basic Info）

名称: 逻辑导论 （真名: 跨学科视角下的现代逻辑学导论）

类别: 通识核心课 III 艺术与人文 • 学分: 3

时间: 周一晚 10-12 节 • 地点: 二教 309

人数： 90 • 先修要求: 零基础

讲授方式: 老师按专题讲授

---

参考书：

入门教材类:

邢滔滔 《数理逻辑》

赵希顺 《简明数理逻辑》

郝兆宽、杨睿之、杨跃 《数理逻辑：证明及其限度》

余俊伟，赵晓玉，裘江杰，张立英 《数理逻辑》

文学锋 《模态逻辑教程》 Open Logic Project

科普类:

熊明 《逻辑: 从三段论到不完全性定理》

Graham Priest: A Very Short Introduction to Logic

Martin Davis: Engines of Logic: Mathematicians and the Origin of the Computer，{中文版}

{Logicomix}，{中文版}

---

考核（Grading）：
1. 平时作业（60%）： 留三次作业，取成绩最好的两次按平均分计入总成绩。 教学网提交电子版（手写扫描也可以），鼓励大家用写。
2. 期末随堂闭卷考试（40%）

---

准备（Prerequisites）：
开放的心态、认真的态度

---

---

意见、建议或其它问题请发email：y.wang艾特pku.edu.cn