Introduction to Logic

Introduction to Logic: a modern, interdisciplinary approach

逻辑导论（2023 春季）

教师: 逻辑学教研室全体 (邢滔滔、王彦晶、钟盛阳、丁一峰)

负责人: 王彦晶

时间：每周一 10-12 节地点：理教211

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

News

第四次课(3月13日) 课件命题逻辑II

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

第二次课 (2月27日) 课件本次课我们用一个三段论的小片段讲解了逻辑学的形式语言、模型、语义、推理系统的概念，介绍了这个小片段中可靠性和完全性的证明。之后我们简单梳理了逻辑学产生的背景和亚里士多德对于逻辑学的开创性贡献。

补充文献:

关于”逻辑”一词的提出和使用的历史，可参考这篇论文.
关于拓展三段论的自然逻辑（Natural Logic）研究可参考这篇文章，本次课讲的片段就属于自然逻辑的范畴，完全性证明来自Larry Moss。
关于Curry-Howard Correspondence 可参考维基百科的介绍

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

大纲（Contents）：

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