“逻辑”是什么?大家都很熟悉却又似乎难以说清。本课程将告诉你:作为一门学科,逻辑学研究的是什么,以及它的基本思路、原则和方法。
播放:182794次,课程ID:4233600
“逻辑”是什么?大家都很熟悉却又似乎难以说清。本课程将告诉你:作为一门学科,逻辑学研究的是什么,以及它的基本思路、原则和方法。
--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年起在清华大学开设《昆曲艺术欣赏》课程。多次获清华大学教学成果奖。