当前课程知识点：逻辑学概论 > 第一讲 什么是逻辑学 > 1.2 推理和推理形式 > movie_01_02.mp4
我们已经知道逻辑学是干什么的
逻辑学是以推理形式
为主要研究对象的一门学科
也就是说逻辑学是研究推理的
更准确的说
逻辑学是研究推理形式的
那么什么是推理
什么是推理形式
首先推理是大家所熟知的
就是从已知条件叫做前提
得到原来所不知道的东西
也就是结论
这么一个过程
从前提到结论这样的过程
就叫做推理
推理是我们常见的
也是我们常常要做的
甚至于是我们天天要做的
比如说某地发生了一个案子
那么这个案子当然要破
这个案子怎么破
侦察员要到现场提取各种材料
访问有关的人员
访问目击者
那么这个就是什么呢
这个就是在搜集各种各样的条件
当这些条件搜集达到一定的程度
足够得出结论了
他们又用了正确的推理形式
又用了正确的推理
那么就可以得出结论
就是这个案子作案的是什么人
然后就可以把他缉拿归案
所以破案子 侦破
这就是一个推理的过程
那么案子破了以后
法庭审案子的时候
同样是一个推理的过程
因为在法官面前有很多案卷
所谓案卷呢
就是关于这个案子
关于被告的种种的材料
种种的已知条件
另外我们适用的法律
法律条文也是已知的
那么根据这些材料
根据法律条文
法官就可以判定
这个人是不是犯了某一种罪
如果确实犯了某一种罪
那么该如何处罚呢
仍然是按照什么呢
按照他所做的事情
按照法律的条文
法律是怎么说的
他这个人做了什么样的事情
然后根据法律应该判
什么什么样的刑罚
所以审案子的过程
同样是推理的过程
我们在数学课上
我们证明定理
什么叫证明定理呢
就是用公理和在前面已经证明的定理
来推出新的定理
那么公理和已经证明的定理呢
是我们原来所知道的
而新的定理呢
是我们原来所不知道的
根据我们原来所知道的公理
和已经证明的定理
来得出新的定理的过程
也就是一个推理的过程
刚才我说我们每个人常常要做推理
甚至于每天要做推理
可能有人不信
说我不是警察
我也不是法官
我也不一定每天上数学课
所以我可能经常的
我很少做推理
我经常不做推理
但是我说实际上每个人
可以说每天你都要做推理
比方说在学校里边上课
比如说星期一下午
我们有几十个同学
都到了某一个教室
还有一个老师也到了这个教室上课
他们为什么在这个时间
到这个地方去呢
那么从老师和学生来说
他们手上都有一个
这个学期或者是这个星期的课程表
我星期一上什么课
也就是课程表告诉我们
这个学期每星期一下午几点
我都要在某一个教室
上某一门课
这是我原来已经知道的
因为这是学校发给我的课表
然后我又知道今天是星期一
当然怎么知道星期一呢
比如说我记得昨天是星期天
那么如果昨天是星期天
那么今天就是星期一
好 星期一根据我的课表
星期一几点是要在哪里上什么课的
那么所以我今天几点
就要到什么地方去上这门课
所以这些学生 这些老师
在这个时间都到这个地方去了
所以他们为什么去呢
都是因为他们做了几乎同样一个推理
当然你说这个事情太简单了
可能我并没有做推理
但是实际上是做了
因为这样的推理太常见
太容易
你可能不一定意识到
这个推理的存在
但实际上确实是做了这个推理
好 那么我们说推理
数学课上也做推理
警察也做推理
法官也做推理
我们每个人在日常生活中
都做推理
那么逻辑学你研究什么方面的推理呢
我们说逻辑学它是研究什么呢
它是研究推理形式
或者说推理的结构
也就是说它不是研究具体的推理
而是研究同类的
不同的具体推理
所具有的共同的结构
也就是推理形式
这个好像小孩 小学生
去上算术课
或者说数学课
一个苹果加一个苹果
等于两个苹果
这是关于苹果的
一本书加一本书
等于两本书
这是关于书的
一栋大楼加一栋大楼
等于两栋大楼
这是讲大楼的
那么数学课到底是关于苹果的
还是关于书的
还是关于大楼的呢
我们说都不是
那么数学是或者说算术
对小学生说是算术
其实也可以说就是数学
数学研究什么
数学是研究苹果 书本 大楼
这些东西它背后共有的那种什么呢
后头共有的那种数量关系
当然后边还要学到空间关系
所以具体事物背后的数量关系
和空间关系
是数学所要研究的内容
那么逻辑学
逻辑学是研究不同的具体推理
后边所具有的共同的那种推理的结构
或者说推理的形式
比如说这里有两个推理
所有金属都是导体
铜是金属 铜是导体
这个推理很常见
这是关于金属的
可以说是物理学上边的一个推理
所有鸟都是卵生的
企鹅是鸟 企鹅是卵生的
那么这两个推理
这个是物理学的
这个是生物学的
而且它们具有共同的结构
共同的形式
就是下边这个
因为所有A
这里的A是金属
这里的A是鸟
都是B
这里的B是导体
这里的B是卵生的
这里的C是铜
这里的C是企鹅
这里的A就是这个A
所以这个导体就是
这个金属就是这个金属
那么这个卵生的就是这个
这个鸟就是这个鸟
那么最后推出铜是导体
企鹅是卵生的
那么C是B
所以它们具有共同的推理的形式
那么逻辑就是要研究具体的
那些推理背后的共同的
那些推理的结构
叫做推理形式
就像刚才说的小学生的算术课
1+1不是一个苹果加一个苹果
也不是一本书加一本书
当然也可以说
它是一个苹果加一个苹果
是一本书加一本书
但是数学它要讨论的
是苹果和书背后的那个1+1的关系
也就是是金属 导体
鸟 卵生 企鹅 铜
这个背后的ABC之间的这种关系
逻辑研究的是这种推理的关系
-1.1 “逻辑"和逻辑学
--默认
-1.2 推理和推理形式
-1.3 有效推理形式
-1.4 逻辑学的特点
-1.5 逻辑学的基本准则
-1.6 逻辑学和其他学科的关系
-1.7 关于本课程《逻辑学概论》
-第一章作业
-2.1 中国古代逻辑思想（上）
--默认
-2.2 中国古代逻辑思想（中）
--逻辑学02-2
-2.3 中国古代逻辑思想（下）
--逻辑学02-3
-2.4 印度古代逻辑
--逻辑学20-4
-2.5 古希腊和中世纪逻辑
--逻辑学02-5
-2.6 近代西方逻辑
--逻辑学02-6
-2.7 数理逻辑的提出和实现
--逻辑学02-7
-2.8 数理逻辑的发展
--逻辑学02-8
-第二章作业
-3.1 推理和命题
--默认
-3.2 基本命题和复合命题
--默认
-3.3 常用命题联结词及其基本推理形式（1）
--默认
-3.4 常用命题联结词及其基本推理形式（2）
--默认
-3.5 常用命题联结词及其基本推理形式（3）
--默认
-3.6 常用命题联结词及其基本推理形式（4）
--逻辑学03-6
-3.7 常用命题联结词及其基本推理形式（5）
--逻辑学03-7
-3.8 常用命题联结词及其基本推理形式（6）
--逻辑学03-8
-3.9 常用命题联结词及其基本推理形式（7）
--逻辑学03-9
-第三章作业
-4.1 重言式、矛盾式和可满足式
--默认
-4.2 具体推理转换为推理形式
--默认
-4.3 推理形式转换为复合命题形式
--默认
-4.4 有效推理形式的判定：真值表法
--默认
-4.5 有效推理形式的判定：归谬赋值法
--默认
-第四章作业
-5.1 命题联结词：真值函数
--默认
-5.2 析取范式
--默认
-5.3 为复合命题形式作与之等值的析取范式
--默认
-5.4 合取范式
--默认
-5.5 范式存在定理
--Video
-5.6 命题联结词的充足集
--Video
-5.7 命题联结词的独元充足集
--Video
-第五章作业
-6.1 公理系统的构成
--Video
-6.2 命题演算的公理系统 L
--Video
-6.3 命题演算公理系统 L 中的证明
--Video
-6.4 命题演算公理系统 L 中的证明（续）
--Video
-6.5 命题演算公理系统 L 中的推演
--Video
-第六章作业
-7.1 公理系统出发点的延伸
--逻辑学07-1
-7.2 公理系统的评价
--逻辑学07-2
-7.3 公理系统的性质和评价及其意义
--逻辑学07-3
-7.4 命题演算的自然演绎系统
--逻辑学07-4
-7.5 命题演算自然演绎系统中的证明和推演
--逻辑学07-5
-第七章作业
-8.1 基本命题的结构
-8.2 词项的内涵和外延
-8.3 词项的种类
-8.4 词项间的关系
-8.5 词项的定义
-8.6 词项的划分
-8.7 谓词的分类
-8.8 量词
--8.8 量词
-8.9 联词
--8.9 联词
-第八章作业
-9.1 基本命题的推理
--Video
-9.2 传统逻辑对基本命题的分析
--Video
-9.3 性质命题中主、谓词的周延
--Video
-9.4 命题变形的推理
--Video
-9.5 根据对当关系的推理
--Video
-9.6 三段论
--Video
-9.7 三段论的式与格
--Video
-9.8 有效三段论的判定
--Video
-第九章作业
-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-1
-12.2 探求因果关系的逻辑方法
--逻辑学12-2
-12.3 证论和反驳
--逻辑学12-3
-12.4 悖论
--逻辑学12-4
-12.5 本课程《逻辑学概论》内容回顾
--逻辑学12-5
-第十二章作业
