Introduction to Logic

Introduction to Logic: a modern, interdisciplinary approach

逻辑导论（2024 春季）

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

负责人: 王彦晶

助教：刘力恺，邓徐冰

时间：每周一 10-12 节地点：三教 407

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

News

第十四次课 (5.27) 课件无穷与集合3

第十三次课（5.20）课件无穷与集合2

第十二次课(5.13) 课件无穷与集合1

第十一次课(5月6日)课件计算问题

第十次课(4月22日) 课件一阶逻辑的应用

第九次课(4月15日) 课件一阶逻辑2

第八次课(4月8日) 课件一阶逻辑1

第七次课 (4月1日) 课件模态逻辑2

第六次课 (3月25日) 课件模态逻辑 I

第五次课（3月18日）课件命题逻辑的应用

第四次课（3月11日）课件命题逻辑II

第三次课 (3月4日) 课件命题逻辑I

第二次课（2 月26 日）课件本次课我们用一个三段论的小片段讲解了逻辑学的形式语言、模型、语义、推理系统的概念，介绍了这个小片段中可靠性和完全性的证明。

第一次课 (2月19日) 课件本次课是整门课的导言，我们介绍了课程的基本信息，逻辑学的研究对象，以及课程设计的设想与大纲。

大纲（Contents）：

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