当前课程知识点：逻辑学概论 > 第八讲 基本命题的构成 > 8.9 联词 > 8.9 联词
下面我们还要说一个
这个只存在于传统逻辑里边
因为现代逻辑里边
我们大家记得 我们在前边
分析复合命题的时候
我们大家还记得
就是 今天是星期日
我们把今天作为主词
是星期日作为谓词
那么今天不是星期日呢
你把那个“不”拿出来
作为这个命题之外的东西
并非今天是星期四
我们一般可以这样来处理
也就是把那个否定是作为
也就是说
我们把肯定作为一个基本的东西
把否定呢 作为比肯定的
要多一个层次的东西 是吧
今天是星期四 这是基本的
今天不是星期四
这个要增加一个
增加一个层次
因为语言上也是
不是 你看 多一个字
所以多一个层次
今天是星期天是基本的
今天不是星期天
就是并非今天是星期天
是复杂一些的
是复合命题
那么还有一个就是有和没有
我有这本书
这是一个基本命题
我没有这本书
就是并非我有这本书
这是一个复合命题
我有这本书是一个基本命题
那么语言上也说得过去啊
你“有”是一个字
“没有”是两个字
所以有是基本的
没有是多一个层次
但是大家已经想到了
恐怕不见得 为什么
我不一定非要说
我不一定非得说
今天是星期日
今天不是星期日
我可以怎么说
今天是星期天
今天非星期天
可以吧 白马非马
我干嘛非要说白马不是马啊
所以是和非
它可以在同一个层次上
那么同样 有和没有
我干嘛非要说没有
我说无可以吧
有和无 你看是对着的
是和非是对着的
所以在这个
我们自然语言里边往往是这样
因此呢 在传统逻辑里边呢
把否定
分析成在性质命题内部的
和肯定相对的成份
这个数理逻辑就不一样
数理逻辑
我们把肯定作为一个基本的东西
把否定作为一个更多的一个层次
把它作为一个命题联结词
否定又变成复合命题了
肯定是一个基本命题
但是传统逻辑
和我们自然语言里边
它否定和肯定是对等的
否定并不比肯定要多一些
那么有和没有也是这样的
有和无 有和无是对等的
那么也就是现在 怎么样呢
今天是星期天
和今天非星期天
传统逻辑的这个分析
就把今天作为主词
把星期天作为一个谓词
然后这个主词
和谓词之间的关系呢
它可以是肯定的 叫做是
也可以是否定的 叫做非
或者叫做不是
同样的 我有这本书是一个说法
我无这本书又是一个说法
这两种说法是对等的
所以呢
就是主词和谓词之间的联接
也许是肯定的
也许是否定的
那么这个肯定和否定
就作为传统逻辑分析基本命题
里边的一个成份
就是说是肯定还是否定
那么现代逻辑里边
它往往就说默认
肯定 否定你拿到外面去
作为命题联结词
而这个传统逻辑里边不是这样
所以这里又多出来了一个成份
叫做联词
注意这个联词
和这个语言学里边的连词不一样的
这个联词也有叫做联项的
那么意思是
主词和谓词之间的联系
是一种肯定的联系呢
还是一种否定的联系
所以联词是有两种
一个叫肯定 一个叫否定
肯定联词是可以省略的
今天星期天
那个是可以不说
但是今天不是星期天
那你一定要说不
你说非也可以
你一定要说一个否定
否定词是不能省略的
这个肯定的是可以省略的
所以这个传统逻辑里边
又多了一个联词
那么总体来说
基本命题的组成部分是
谓词 主词 量词
这个在现代逻辑
在传统逻辑里边是一样的
但是传统逻辑里边呢
它又多了一个东西
叫做联词
是主词和谓词的联系
是一种肯定的联系呢
还是否定的联系
在现代逻辑里边呢
谓词和主词一定是肯定的联系
否定的联系
你把否定拿到外边去
作为命题联结词 好
那么这个是关于基本命题的
这个组成部分
那么关于它们的推理呢
我们将在下一讲开始来说 好
-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
-第十二章作业
