Introduction to Logic: a modern, interdisciplinary approach

逻辑导论 (2024 春季) 

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

负责人: 王彦晶

助教:刘力恺,邓徐冰

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

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


News

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


(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