逻辑学概论(2017秋)

随堂模式

  • 什么是随堂模式?

    随堂模式课程一般为每学期一轮次,课程每周更新,作业、考试有截止时间,由课程提供方老师、助教指导,课程完结,成绩由老师确认后,统一发放证书。

  • 什么是自主模式?

    自主模式课程常年开放加入,课件全部开放,作业、考试无截止时间,有学堂在线招募选拔的助教指导,考核通过即可自动获得证书。

来自于: 清华大学 | 分类: 数学(107)哲学(94)

课程描述

“逻辑”是什么?大家都很熟悉却又似乎难以说清。本课程将告诉你:作为一门学科,逻辑学研究的是什么,以及它的基本思路、原则和方法。

什么是认证证书?
免费学习
认证学习
名师签名
实名认证
权威性
纸质证书
付费购买
免费赠送

课程简介

“逻辑”一词很常用,但作为一门学科和课程,“逻辑学”涉及的内容范围,比“逻辑”一词日常的用法范围要小得多。它的研究对象是推理,更准确地说,是“有效推理形式”。什么样的是有效推理形式?怎样判定?怎样生成?逻辑学中要给出基本的方法。 作为面向非逻辑学专业学生的逻辑学概论课,本课程的着眼点不仅仅在于讲授逻辑学中的具体内容,而更致力于使学生了解逻辑学的基本思路、准则和方法。能否和如何运用于实践,则有待于我们的共同努力。 主要内容包括:中外逻辑发展简史,复合命题的推理,命题演算,性质命题的推理,关系命题的推理,谓词演算概要,归纳推理简介,非经典(非标准)逻辑初步等。

展开

课程章节

第一讲 什么是逻辑学
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 本课程《逻辑学概论》内容回顾
第十二讲练习题
期末考试
期末考试

授课教师

  • 陈为蓬清华大学 人文学院 副教授

    陈为蓬,清华大学人文学院副教授,研究方向:自然语言的逻辑。讲授《逻辑学概论》、《数理逻辑基础》等课程多年,多次获清华大学教学成果奖。

精华笔记

精华笔记正在评选中,去看看全部笔记

常见问题

目前还没有常见问题哟!