逻辑导论
逻辑导论
10万+ 人选课
更新日期:2026/03/31
开课平台爱课程(中国大学MOOC)
开课高校北京大学
开课教师陈波
学科专业哲学哲学类
开课时间2024/03/25 - 2024/07/28
课程周期18 周
开课状态已结课
每周学时-
课程简介

此课程试图给学生传授关于逻辑学的一般观念,逻辑学发展到目前为止的大致的整体形象,一些最基本的逻辑技术和技巧,以及隐藏在逻辑技术背后的思想和精神。具体内容包括:第一讲:逻辑学是关于推理和论证的科学;第二讲:命题逻辑,研究由联结词决定的复合命题的逻辑性质以及复合命题之间的推理关系;第三讲:词项逻辑,研究直言命题(性质命题)的逻辑性质及其相互之间的推理关系;第四讲:谓词逻辑,研究量化命题的逻辑性质及其相互之间的推理关系。这三种逻辑是此课程的重点。除此之外,本课程还要讲授归纳逻辑的基本内容。

课程大纲

第一周 逻辑是关于推理和论证的科学

1. 逻辑导论课程简介

2. 逻辑的研究对象:推理与论证

3. 推理、推理形式及其有效性

4. 论证的结构及其作用

5. 同一律、矛盾律、排中律和二值原则

6. 充足理由律

第一周单元测验

第二周 命题逻辑(一)

7. 日常联结词与复合命题

8. 从日常联结词到真值联结词

9. 日常语言中复合命题的符号化

第二周单元测验

第三周 命题逻辑(二)

10. 重言式及其判定方法

11. 重言蕴涵式、重言等值式

第三周单元测验

第四周 命题逻辑(三)

12. 命题逻辑的自然推演

13. PN推演方法

14. PN有前提推演

15. PN推演总结

第四周单元测验

第五周 词项逻辑(一)

16. 直言命题

17. 直接推理

18. 三段论

第五周单元测验

写影评

第六周 词项逻辑(二)

19. 三段论的规则

20. 三段论的非标准形式

21. 直言命题的存在含义问题

22. 用文恩图判定三段论的有效性

第六周单元测验

第七周 谓词逻辑(一)

23. 一阶语言

24. 自然语言中性质命题的符号化

25. 自然语言中关系命题的符号化

26. 模型和赋值

27. 树形图方法判别有效式

第七周单元测验

第八周 谓词逻辑(二)

28. 解释方法

29. 谓词逻辑的自然推演

30. QN定理证明

31. QN有前提推演

32. QN推演总结

第八周单元测验

第九周 归纳逻辑

33. 归纳逻辑概述

34. 求因果联系五法

35. 类比推理、模拟、比较

36. 假说演绎法

37. 休谟的归纳问题:归纳方法是合理的吗

第九周单元测验

App 下载
关注我们