当前课程知识点：逻辑学概论 > 第九讲 传统逻辑中基本命题的推理 > 9.1 基本命题的推理 > Video
这一讲的题目是传统逻辑中
基本命题的推理
时间很快
到现在呢
我们这个课程已经进行了一大半了
那么下面我们来简单回顾一下
我们前面的思路
因为我们说过
逻辑这个里面有很多具体的东西
特别是前几讲有一些技术性的东西
那么有的朋友看到那么多的 T F
蕴涵 括号
P{\fs10}1{\r} P{\fs10}2{\r}
有一点眼花缭乱
那么我们说没有关系
里边具体的很多细节
你不是马上弄清楚没有关系
但是你一定要弄清楚我们的思路
因为我前面说过
对于非逻辑专业的朋友来说
我们学逻辑最重要的是
领会它里边的逻辑的精神
逻辑的思路
逻辑的方法
那么下面我们来简单回顾一下
就是我们到现在为止
我们前面研究的关于推理
是一个什么样的思路
那么除了第一讲和第二讲
第一讲我们说了什么是逻辑
第二讲我们简单介绍了
历史上逻辑的产生和发展
然后从第三讲到第七讲
都是所谓复合命题的推理
那么什么叫复合命题的推理
就是说它的前提或者它的结论
是复合命题
而这个复合命题呢
它是由基本命题
加上命题联结词而组成的
那么这里面最重要的是命题联结词
所以第三讲到第七讲
关于复合命题的推理
它的根据都是命题联结词的性质
所以第三讲我们介绍了
常用的命题联结词
以及有关的一些基本的
有效推理形式
我们举例子
给出了一些关于复合命题推理的
有效推理形式
那么第四讲
我们就给出了有效推理形式的
判定的方法
这里边有两个方法
第一是基本的也是能行的方法
叫做真值表法
第二种是简化的
叫做归谬赋值法
那么第五讲呢
我们从另外一个角度来
研究命题联结词
我们研究了就是说
命题联结词理论上有多少个
因为第三讲只是给出了常用的
命题联结词
那么理论上命题联结词有多少个
第五讲我们看到
我们的结论是有无穷多个
但是这无穷多个命题联结词呢
我们可以用有限的几个
甚至于一个命题联结词
来表达它们
这就是所谓命题联结词的充足集
那么第四讲我们给出了
有效推理形式的
关于复合命题的有效推理形式的
判定的方法
然后第六讲和第七讲
我们又给出了所谓生成
有效推理形式的方法
这个方法 一个叫做公理系统的方法
一个叫做自然演绎系统的方法
它们都是从一定的出发点出发
可以源源不断地得出
相当于第四讲里边的
有效推理形式
那样的东西
好 第三讲到第七讲
都是关于复合命题的推理
那么从第八讲开始呢
是所谓基本命题的推理
那么所谓基本命题的推理
我们来看一下
刚才我们说过复合命题的推理
它是以复合命题作为前提
或者结论
它的推理依据
是命题联结词的性质
所以这个复合命题的推理呢
也可以叫做命题联结词的推理
那么下面我们要来研究的
是所谓基本命题的推理
那么基本命题的推理呢
它是以基本命题作为前提和结论
请大家注意
这里有一个区别
关于复合命题的推理
我们说以复合命题为前提
或者结论
也就是说复合命题推理
它的前提和结论里面
一定有复合命题
但不一定是复合命题
也会有基本命题放在那
作为一个前提
或者是作为一个结论
但是我们这里基本命题的推理呢
它的前提和结论
一定都是基本命题
所以有这个区别
所以基本命题的推理
它的前提是基本命题
它的结论也是基本命题
那么它的推理的依据是什么
是基本命题的内部成分
以及基本命题的结构
所以我们在第八讲里边
我们研究了基本命题的结构
基本命题的内部成分
然后第九讲我们要介绍
传统逻辑里边
对基本命题推理的一些分析和处理
然后第十讲
下一讲呢
我们要介绍数理逻辑
对于基本命题的推理
它的分析和处理
-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
-第十二章作业
