🌟🌟 课程目录 🌟🌟

第一讲 什么是逻辑学
0:00:00 - 1.1 “逻辑"和逻辑学
0:05:29 - 1.2 推理和推理形式
0:14:53 - 1.3 有效推理形式
0:29:08 - 1.4 逻辑学的特点
0:45:13 - 1.5 逻辑学的基本准则
1:07:43 - 1.6 逻辑学和其他学科的关系
1:29:36 - 1.7 关于本课程《逻辑学概论》

逻辑学的产生和发展
1:49:20 - 2.1 中国古代逻辑思想（上）
2:04:42 - 2.2 中国古代逻辑思想（中）
2:16:35 - 2.3 中国古代逻辑思想（下）
2:32:01 - 2.4 印度古代逻辑
2:42:12 - 2.5 古希腊和中世纪逻辑
2:49:12 - 2.6 近代西方逻辑
3:04:48 - 2.7 数理逻辑的提出和实现
3:23:26 - 2.8 数理逻辑的发展

第三讲 命题联结词及其基本推理形式
3:38:54 - 3.1 推理和命题
3:48:33 - 3.2 基本命题和复合命题
4:07:22 - 3.3 常用命题联结词及其基本推理形式（1）
4:18:11 - 3.4 常用命题联结词及其基本推理形式（2）
4:28:17 - 3.5 常用命题联结词及其基本推理形式（3）
4:37:41 - 3.6 常用命题联结词及其基本推理形式（4）
4:43:45 - 3.7 常用命题联结词及其基本推理形式（5）
4:57:14 - 3.8 常用命题联结词及其基本推理形式（6）
5:04:08 - 3.9 常用命题联结词及其基本推理形式（7）

第四讲 复合命题的推理： 有效推理形式的判定
5:11:03 - 4.1 重言式、矛盾式和可满足式
5:22:23 - 4.2 具体推理转换为推理形式
5:29:44 - 4.3 推理形式转换为复合命题形式
5:35:22 - 4.4 有效推理形式的判定：真值表法
5:58:03 - 4.5 有效推理形式的判定：归谬赋值法

第五讲 复合命题的推理： 命题联结词的充足集
6:26:05 - 5.1 命题联结词：真值函数
6:40:18 - 5.2 析取范式
6:58:05 - 5.3 为复合命题形式作与之等值的析取范式
7:07:42 - 5.4 合取范式
7:20:36 - 5.5 范式存在定理
7:24:10 - 5.6 命题联结词的充足集
7:49:10 - 5.7 命题联结词的独元充足集

第六讲 命题演算：公理系统
8:02:54 - 6.1 公理系统的构成
8:30:50 - 6.2 命题演算的公理系统 L
8:47:38 - 6.3 命题演算公理系统 L 中的证明
8:59:56 - 6.4 命题演算公理系统 L 中的证明（续）
9:09:13 - 6.5 命题演算公理系统 L 中的推演

第七讲 命题演算：公理系统，自然演绎系统
9:23:24 - 7.1 公理系统出发点的延伸
9:42:13 - 7.2 公理系统的评价
9:59:05 - 7.3 公理系统的性质和评价及其意义
10:14:18 - 7.4 命题演算的自然演绎系统
10:28:47 - 7.5 命题演算自然演绎系统中的证明和推演

🌟🌟 课程介绍 🌟🌟

“逻辑”一词很常用，但作为一门学科和课程，“逻辑学”涉及的内容范围，比“逻辑”一词日常的用法范围要小得多。它的研究对象是推理，更准确地说，是“有效推理形式”。什么样的是有效推理形式？怎样判定？怎样生成？逻辑学中要给出基本的方法。

作为面向非逻辑学专业学生的逻辑学概论课，本课程的着眼点不仅仅在于讲授逻辑学中的具体内容，而更致力于使学生了解逻辑学的基本思路、准则和方法。能否和如何运用于实践，则有待于我们的共同努力。

🌟🌟关于讲师🌟🌟

陈为蓬，清华大学 人文学院副教授。研究方向：自然语言的逻辑等。在清华大学开设《逻辑学概论》等课程。多次获清华大学教学成果奖。

👍👍 小鹿课堂 👍👍
频道主页：[ Ссылка ]
若觉得频道不错，请不吝订阅、评论和点赞，小鹿才更有动力上传更多课程！～

свернуть