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): 

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

  • 导言及课程介绍
  • 逻辑学起源
  • 命题逻辑及其应用 (3周) ,包括:
    • 形式语言、语义、 系统、元定理
    • 使用、应用
  • 谓词逻辑及其应用 (3周)
  • 算术理论
  • 计算理论
  • 逻辑与悖论
  • 模态逻辑及其应用 (2周)
  • 非经典逻辑

课程信息 (Basic Info)

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

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

时间: 周一晚 10-12 节 • 地点: 理教 211

人数: 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%): 留三次作业,取成绩最好的两次按平均分计入总成绩。 教学网提交电子版(手写扫描也可以),鼓励大家用\LaTeX写。如有抄袭,一律零分。注意,ChatGPT做逻辑推理的能力很弱。
2. 期末随堂闭卷考试(40%)


准备(Prerequisites):
开放的心态、认真的态度



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