课程目录

【清华大学】逻辑学概论精品视频

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

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 有效推理形式的判定:归谬赋值法

第四讲练习题


邮箱
huangbenjincv@163.com