逻辑学概论

逻辑学概论课程简介：前往报名学习

逻辑学概论课程简介：

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

前往报名学习

逻辑学概论课程目录：

第一讲 什么是逻辑学

--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 本课程《逻辑学概论》内容回顾

期末考试

逻辑学概论授课教师：

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

清华大学人文学院副教授。研究方向为逻辑学、语言学、昆曲等。曾随北京、上海等地前辈曲家习曲，北京西郊小组（北大、清华）成员。2005年起在清华大学开设《昆曲艺术欣赏》课程。多次获清华大学教学成果奖。