北京大学授课|逻辑导论

课程概述：

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

免费听课点击<<北京大学授课|逻辑导论

课程大纲：

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

4. 论证的结构及其作用

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

6. 充足理由律

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

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

1. 逻辑导论课程简介

第一周单元测验

第二周 命题逻辑（一）

第二周单元测验

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

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

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

第三周 命题逻辑（二）

10. 重言式及其判定方法

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

第三周单元测验

第四周 命题逻辑（三）

13. PN推演方法

15. PN推演总结

14. PN有前提推演

12. 命题逻辑的自然推演

第四周单元测验

第五周 词项逻辑（一）

18. 三段论

17. 直接推理

第五周单元测验

16. 直言命题

第六周 词项逻辑（二）

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

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

20. 三段论的非标准形式

19. 三段论的规则

第六周单元测验

第七周 谓词逻辑（一）

23. 一阶语言

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

第七周单元测验

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

26. 模型和赋值

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

第八周 谓词逻辑（二）

29. 谓词逻辑的自然推演

31. QN有前提推演

第八周单元测验

28. 解释方法

32. QN推演总结

30. QN定理证明

第九周 归纳逻辑

36. 假说演绎法

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

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

34. 求因果联系五法

第九周单元测验

33. 归纳逻辑概述