- 来自www.xuetangx.com
课程详情
教学大纲
- 第一讲 什么是逻辑学
- 1.1 “逻辑"和逻辑学
- 1.2 推理和推理形式
- 1.3 有效推理形式
- 1.4 逻辑学的特点
- 1.5 逻辑学的基本准则
- 1.6 逻辑学和其他学科的关系
- 1.7 关于本课程《逻辑学概论》
- 第一讲练习题
- 第二讲 逻辑学的产生和发展
- 2.1 中国古代逻辑思想(上)
- 2.2 中国古代逻辑思想(中)
- 2.3 中国古代逻辑思想(下)
- 2.4 印度古代逻辑
- 2.5 古希腊和中世纪逻辑
- 2.6 近代西方逻辑
- 2.7 数理逻辑的提出和实现
- 2.8 数理逻辑的发展
- 第二讲练习题
- 第三讲 命题联结词及其基本推理形式
- 3.1 推理和命题
- 3.2 基本命题和复合命题
- 3.3 常用命题联结词及其基本推理形式(1)
- 3.4 常用命题联结词及其基本推理形式(2)
- 3.5 常用命题联结词及其基本推理形式(3)
- 3.6 常用命题联结词及其基本推理形式(4)
- 3.7 常用命题联结词及其基本推理形式(5)
- 3.8 常用命题联结词及其基本推理形式(6)
- 3.9 常用命题联结词及其基本推理形式(7)
- 第三讲练习题
- 第四讲 复合命题的推理: 有效推理形式的判定
- 4.1 重言式、矛盾式和可满足式
- 4.2 具体推理转换为推理形式
- 4.3 推理形式转换为复合命题形式
- 4.4 有效推理形式的判定:真值表法
- 4.5 有效推理形式的判定:归谬赋值法
- 第四讲练习题
- 第五讲 复合命题的推理: 命题联结词的充足集
- 5.1 命题联结词:真值函数
- 5.2 析取范式
- 5.3 为复合命题形式作与之等值的析取范式
- 5.4 合取范式
- 5.5 范式存在定理
- 5.6 命题联结词的充足集
- 5.7 命题联结词的独元充足集
- 第五讲练习题
- 第六讲 命题演算:公理系统
- 6.1 公理系统的构成
- 6.2 命题演算的公理系统 L
- 6.3 命题演算公理系统 L 中的证明
- 6.4 命题演算公理系统 L 中的证明(续)
- 6.5 命题演算公理系统 L 中的推演
- 第六讲练习题
- 第七讲 命题演算:公理系统,自然演绎系统
- 7.1 公理系统出发点的延伸
- 7.2 公理系统的评价
- 7.3 公理系统的性质和评价及其意义
- 7.4 命题演算的自然演绎系统
- 7.5 命题演算自然演绎系统中的证明和推演
- 第七讲练习题
- 第八讲 基本命题的构成
- 8.1 基本命题的结构
- 8.2 词项的内涵和外延
- 8.3 词项的种类
- 8.4 词项间的关系
- 8.5 词项的定义
- 8.6 词项的划分
- 8.7 谓词的分类
- 8.8 量词
- 8.9 联词
- 第八讲练习题
- 第九讲 传统逻辑中基本命题的推理
- 9.1 基本命题的推理
- 9.2 传统逻辑对基本命题的分析
- 9.3 性质命题中主、谓词的周延
- 9.4 命题变形的推理
- 9.5 根据对当关系的推理
- 9.6 三段论
- 9.7 三段论的式与格
- 9.8 有效三段论的判定
- 第九讲练习题
- 第十讲 基本命题的推理
- 10.1 性质命题
- 10.2 主词非空的预设
- 10.3 关系命题的结构
- 10.4 关系命题根据量词的推理
- 10.5 关系命题根据谓词性质的推理方法
- 10.6 谓词演算简介
- 第十讲练习题
- 第十一讲 非经典逻辑初步
- 11.1 非经典(非标准)逻辑
- 11.2 多值逻辑
- 11.3 模糊逻辑
- 11.4 模态逻辑
- 11.5 规范逻辑
- 11.6 时态逻辑
- 11.7 弗协调逻辑
- 第十一讲练习题
- 第十二讲 余论
- 12.1 演绎和归纳
- 12.2 探求因果关系的逻辑方法
- 12.3 证论和反驳
- 12.4 悖论
- 12.5 本课程《逻辑学概论》内容回顾
- 第十二讲练习题
先决条件
没有。
讲师
- 陈为蓬
平台
慕华(北京)网络技术有限公司旗下的学堂在线是免费公开的MOOC(大规模开放在线课程)平台,是教育部在线教育研究中心的研究交流和成果应用平台,致力于通过来自国内外一流名校开设的免费网络学习课程,为公众提供系统的高等教育,让每一个中国人都有机会享受优质教育资源。通过和清华大学在线教育研究中心、以及国内外知名大学的紧密合作,学堂在线将不断增加课程的种类和丰富程度。
此内容评级为 5/5
(没有评论)此内容评级为 5/5
(没有评论)完成这个资源,写一篇评论