当前课程知识点：逻辑学概论 > 第九讲 传统逻辑中基本命题的推理 > 9.2 传统逻辑对基本命题的分析 > Video
好 前面 我们介绍了
基本命题的组成部分
传统逻辑里边
对性质命题是怎么分析的
它分析成 谓词 主词 量词
这个和现代逻辑是一样的
那么它这里多一个就是联词
也就是说 这个主词和谓词的联结
是肯定的呢 还是否定的
那么这一部分
这部分 这个成分 叫做联词
我们再补充说明一下
就是所谓基本命题
本来是包括性质命题和关系命题
也就是说这个谓词是一元的
还是二元以至于多元的
但是在传统逻辑里面
它不讨论 这个关系命题的
那一部分
也就是说 虽然我们说
基本命题有性质命题
和关系命题
但是在传统逻辑里面
它不讨论 不考虑关系命题
它只考虑性质命题
所以这里基本命题
和性质命题所说的东西
是一样的
那么在传统逻辑的
教科书里边一般叫做简单命题
我们在这里称为基本命题
性质命题
好 那么这几个部分
主词和谓词
主词是千变万化的
谓词也是千变万化的
因为主词是我们涉及的事物
事物多了 关于人 关于宇宙
关于水果 关于书本 等等等等
我们都可以作为主词
那么谓词是它的性质
这个性质也是
所有的东西千变万化的性质
这是举不完的
但是量词和联词
这个在逻辑里边是有限的
量词是说你这个主词
我现在涉及它的全体呢
还是涉及一部分呢
还是涉及一个呢
这是 全称 特称 单称
那么前面我们说明过了
单称 一般地我们就处理为全称
所以就是全称和特称
联词 也就是主词和谓词的
它的一种联系的方式
肯定 否定 两种
那么也就是说
经过整理呢
我们说这个传统逻辑里边
这个基本命题或者说简单命题
我们现在说的性质命题
它的成分 主词 谓词
然后有一个量词
量词有全称和特称
联词有肯定和否定
那么我们还要再强调一下
就是逻辑里边的特称
虽然是我们可以说
“有的”“有些”“有”
但是要注意
这里和我们日常所谓的
“有的”“有些”是不一样的
日常说的“有的”“有些”
意思是 仅仅是一部分
不是全体
而我们这里是 至少一个
也可以是全体
也就是说 我们日常如果说
有的金属是导体
是不能那么说的
因为日常说有的金属是导体
那你意味着难道
还有的金属不是导体吗
所以日常语言里边不能这么说
但是作为逻辑的这个
作为逻辑的语言是可以这么说的
因为我说有的金属是导体
实际上更准确的说法是
存在着金属是导体
也就是说至少有一种
至少有一块金属是导体
其他的金属是不是导体
我这里不涉及
所以特别要请大家注意
好 那么另外就是全称和特称
全称量词是可以不说的
金属是导体
意味着所有金属是导体
那么联词里边 肯定和否定
肯定 是可以不说的
今天星期六
等于说今天是星期六
那个“是”可以不说
好 那么因为主词和谓词
它们有两种量词 两种联词
那么这样组合以后
就有四种
所以性质命题 也就是
传统逻辑里边的
所谓简单命题
它根据量词两种
联词两种
根据它们的组合
一共就是四种
叫做 全称肯定 全称否定
特称肯定 特称否定
那么是这样的
第一个叫做全称肯定
S是主词 P是谓词
这里的A意思就是所有S是P
所有金属是导体
我们就写S表示金属P表示导体
所有金属是导体就是SAP
所有正数大于零
好 那么S表示正数
P表示大于零
那么就是SAP就是所有正数大于零
那么这个E是全称否定
所有的都不是
所有金属都不是绝缘体
所有金属
所有正数都不会小于零
这都是一样的
所有的都不是
I是有 有的是
至少有一个是
有的学生是北京人
至少有一个学生是北京人
用I
O是有的不是
有的学生不是北京人
至少有一个S 至少有一个学生
他不是北京人
那么这里用 A E I O
那么也可以就是说
A命题 E命题 I命题 O命题
那这四个字母
是从拉丁文里边来的
拉丁文里边 肯定 否定
第一个元音字母
第二个元音字母
放在这里
就是作为这个四种不同的
这个性质命题的这个标志
那么这个请大家牢记
A什么意思 E什么意思
I什么意思 O什么意思
因为在下边 这一讲里边
我们后边所涉及的
所有的有效推理形式
都是围绕着 A E I O
这四种性质命题
这四种简单命题
展开的
所以请大家熟记
所以以后一看见A就知道
所有的是
一看见E就知道所有的不是
I有的是 O有的不是
请大家熟记 A E I O
下边我们这一讲里边
所有的推理
都将围绕着 A E I O 展开
那么这个也就是
传统逻辑里边
这个性质命题
也就是简单命题
就是那么四种
这个四种之间有些什么样的推理
那我们从这个后边
就要开始来介绍
-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
-第十二章作业
