欢迎来到在线教学平台
问题答疑
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
更多
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
教师登录
学生登录
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
首页 - 课程列表 - 课程详情
返回
逻辑学概论
课程类型：
选修课
主讲教师：
陈为蓬
课程来源：
清华大学
建议学分：
3.00分
课程编码：
xtzx0080
课程介绍
课程目录
教师团队
第一讲 什么是逻辑学
s
1.1 “逻辑"和逻辑学
（5分钟）
s
1.2 推理和推理形式
（9分钟）
s
1.3 有效推理形式
（14分钟）
s
1.4 逻辑学的特点
（16分钟）
s
1.5 逻辑学的基本准则
（22分钟）
s
1.6 逻辑学和其他学科的关系
（22分钟）
s
1.7 关于本课程《逻辑学概论》
（20分钟）
第二讲 逻辑学的产生和发展
s
2.1 中国古代逻辑思想（上）
（15分钟）
s
2.2 中国古代逻辑思想（中）
（12分钟）
s
2.3 中国古代逻辑思想（下）
（15分钟）
s
2.4 印度古代逻辑
（10分钟）
s
2.5 古希腊和中世纪逻辑
（7分钟）
s
2.6 近代西方逻辑
（16分钟）
s
2.7 数理逻辑的提出和实现
（19分钟）
s
2.8 数理逻辑的发展
（15分钟）
第三讲 命题联结词及其基本推理形式
s
3.1 推理和命题
（10分钟）
s
3.2 基本命题和复合命题
（19分钟）
s
3.3 常用命题联结词及其基本推理形式（1）
（11分钟）
s
3.4 常用命题联结词及其基本推理形式（2）
（10分钟）
s
3.5 常用命题联结词及其基本推理形式（3）
（9分钟）
s
3.6 常用命题联结词及其基本推理形式（4）
（6分钟）
s
3.7 常用命题联结词及其基本推理形式（5）
（13分钟）
s
3.8 常用命题联结词及其基本推理形式（6）
（7分钟）
s
3.9 常用命题联结词及其基本推理形式（7）
（7分钟）
第四讲 复合命题的推理： 有效推理形式的判定
s
4.1 重言式、矛盾式和可满足式
（11分钟）
s
4.2 具体推理转换为推理形式
（7分钟）
s
4.3 推理形式转换为复合命题形式
（6分钟）
s
4.4 有效推理形式的判定：真值表法
（23分钟）
s
4.5 有效推理形式的判定：归谬赋值法
（28分钟）
第五讲 复合命题的推理： 命题联结词的充足集
s
5.1 命题联结词：真值函数
（14分钟）
s
5.2 析取范式
（18分钟）
s
5.3 为复合命题形式作与之等值的析取范式
（10分钟）
s
5.4 合取范式
（13分钟）
s
5.5 范式存在定理
（4分钟）
s
5.6 命题联结词的充足集
（25分钟）
s
5.7 命题联结词的独元充足集
（14分钟）
第六讲 命题演算：公理系统
s
6.1 公理系统的构成
（28分钟）
s
6.2 命题演算的公理系统 L
（17分钟）
s
6.3 命题演算公理系统 L 中的证明
（12分钟）
s
6.4 命题演算公理系统 L 中的证明（续）
（9分钟）
s
6.5 命题演算公理系统 L 中的推演
（14分钟）
第七讲 命题演算：公理系统，自然演绎系统
s
7.1 公理系统出发点的延伸
（19分钟）
s
7.2 公理系统的评价
（17分钟）
s
7.3 公理系统的性质和评价及其意义
（15分钟）
s
7.4 命题演算的自然演绎系统
（14分钟）
s
7.5 命题演算自然演绎系统中的证明和推演
（30分钟）
第八讲 基本命题的构成
s
8.1 基本命题的结构
（9分钟）
s
8.2 词项的内涵和外延
（5分钟）
s
8.3 词项的种类
（7分钟）
s
8.4 词项间的关系
（12分钟）
s
8.5 词项的定义
（25分钟）
s
8.6 词项的划分
（11分钟）
s
8.7 谓词的分类
（9分钟）
s
8.8 量词
（10分钟）
s
8.9 联词
（6分钟）
第九讲 传统逻辑中基本命题的推理
s
9.1 基本命题的推理
（6分钟）
s
9.2 传统逻辑对基本命题的分析
（8分钟）
s
9.3 性质命题中主、谓词的周延
（10分钟）
s
9.4 命题变形的推理
（16分钟）
s
9.5 根据对当关系的推理
（8分钟）
s
9.6 三段论
（12分钟）
s
9.7 三段论的式与格
（11分钟）
s
9.8 有效三段论的判定
（31分钟）
第十讲 基本命题的推理
s
10.1 性质命题
（25分钟）
s
10.2 主词非空的预设
（19分钟）
s
10.3 关系命题的结构
（8分钟）
s
10.4 关系命题根据量词的推理
（11分钟）
s
10.5 关系命题根据谓词性质的推理方法
（25分钟）
s
10.6 谓词演算简介
（14分钟）
第十一讲 非经典逻辑初步
s
11.1 非经典（非标准）逻辑
（7分钟）
s
11.2 多值逻辑
（11分钟）
s
11.3 模糊逻辑
（18分钟）
s
11.4 模态逻辑
（20分钟）
s
11.5 规范逻辑
（13分钟）
s
11.6 时态逻辑
（12分钟）
s
11.7 弗协调逻辑
（18分钟）
第十二讲 余论
s
12.1 演绎和归纳
（19分钟）
s
12.2 探求因果关系的逻辑方法
（18分钟）
s
12.3 证论和反驳
（29分钟）
s
12.4 悖论
（14分钟）
s
12.5 本课程《逻辑学概论》内容回顾
（23分钟）
京公网安备 11011502004263