逻辑推理 词项逻辑
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
主项(法人)：S 谓项(具有民事行为能力的)：P
量项和联项(所有…都是…)：A
全称肯定命题的逻辑形式：SAP，简记为：A
LOGICIZE 4 - 6
全称肯定命题：SAP 全称否定命题：SEP 特称肯定命题：SIP 特称否定命题：SOP
A命题 E命题 I命题
O命题
LOGICIZE 4 - 7
第四讲 词项逻辑
LOGICIZE 4 - 1
4.1 性质命题
4.1.1 何谓性质命题
性质命题（直言命题）：反映对象具有或
不具有某种性质的简单命题。
[例1] 凡违反法律的民事行为是无效的。
[例2] 有些被告不是有罪的。
[例3] 李律师是优秀律师。
LOGICIZE 4 - 2
性质命题的逻辑结构：
4.1.4 周延性
在性质命题中，我们称主项或谓项是周 延的，若其全部外延都得到了断定。
命题形式 SAP SEP SI P SOP
LOGICIZE 4 - 8
S 周延 周延
P 周延 周延
4.2 性质命题的对当关系
4.2.1 性质命题的真值
真 况 命题种类
S与P 假 的外延 情 关系
S P P S S P S P P S
不该走的走 了？！我没有 走。所以，我 该走！？
所以，我是该走的。
LOGICIZE 4 - 21
或者说他们俩，或者说我。 没说他们俩。 相容选言推理 的否定肯定式
没说他们俩？！ 那就是说我 了！？
所以，说我。
LOGICIZE 4 - 22
有些 量项 被告 主项 不是 有罪的。 谓项
联项
对象 反映为命题的 主项 S 性质 反映为命题的 谓项 P (不) 具有 反映为命题的 联项 是，不是 量 反映为主项的 量项（词）这个，所有，有些
一般形式： 所有（这个，有些）S 是（不是）P
LOGICIZE 4 - 3
性质命题的质： 性质命题的联项只有两种： 肯定联项：是，为 否定联项：不是，不为 性质命题的量： 性质命题的量项有三种： 全称量项： 所有，一切，任意 特称(存在)量项： 有的，有些，存在 单称量项： 这个，那个
结论：Байду номын сангаас
所以，所有的天使都不是魔鬼 大项（P）
LOGICIZE 4 - 18
小项（S）
4.5.3 三段论的规则
规则1：中项的两次出现中至少有一次周延。
规则2：在前提中不周延的项（小项和大项）在
结论中也不得周延。[=结论中周延的项在前提中
必须周延]
规则3：前提与结论中否定命题的个数相等。
LOGICIZE 4 - 19
换质法的公式：
SAP SIP SEP；SEP SOP ；SOP
LOGICIZE 4 - 14
SAP； SIP。
4.4.2 换位法
通过改变作为前提的性质命题主项和谓项的位 置，从而得出另一个性质命题为结论的推理。 换位法的规则有：
1. 主项和谓项互易其位，不改变前提的质。 2. 前提中不周延的词项在结论中也不得周延。
所有该来的都是还没来的。
换质 所有该来的都不是已来的。 换位 所有已来的都不是该来的。 我是已来的。
三段论 所以，我不是该来的。
LOGICIZE 4 - 20
该来的不来？！ 我来了。所以， 我不该来！？
所有不该走的都是走了的。
换质 所有不该走的都不是未走的。 换位 所有未走的都不是不该走的。 换质 所有未走的都是该走的。 我是未走的。 三段论
LOGICIZE 4 - 16
三段论定义：
(a) (b)
三段论由三个性质命题组成，2个前 提，1个结论。 前提和结论中总共出现3个词项，每 个词项刚好出现两次。
(c) 任何一个词项都不在同一性质命题中 出现两次。
LOGICIZE 4 - 17
4.5.2 三段论的结构
中项（M）
小前提： 所有的天使都是说真话的 大前提： 所有的魔鬼都不是说真话的
换位法的公式有：
SAP SIP PIS（限制换位）；SEP PIS ；SOP
LOGICIZE 4 - 15
PES；
（不能换位）。
4.5 三段论
4.5.1 三段论概述
简史：三段论学说是由古希腊逻辑学家 Aristotle（384 BC－322 BC）所建立 的历史上第一个成熟的逻辑理论。
评价：西方传统逻辑最重要的组成部分
LOGICIZE 4 - 11
差等关系推理 SAP SEP SIP SOP SIP SOP SAP SEP
反对关系推理
SAP SEP SEP SAP
下反对关系推理 SIP SOP SOP
LOGICIZE 4 - 12
SIP
4.4 性质命题的命题变形推理
命题变形推理是指通过改变性质命题的质，
或者改变性质命题的主项和谓项的位置，或 两者都发生改变，而得出结论的推理。
换位法
换质位法
LOGICIZE 4 - 13
换质法
4.4.1 换质法
通过改变作为前提的性质命题的质，从而得出
另一个性质命题为结论的推理。
换质法的规则：
1. 将肯定的联词改为否定的联词，或者将否定的联词改为 肯定的联词。主项和量词保持不变。 2. 用与前提的谓项具有矛盾关系的词项作为结论的谓项。
LOGICIZE 4 - 4
4.1.2 性质命题的种类
按质与量的不同，性质命题可分为以下六种： 全称肯定命题 肯定命题 性 质 命 题
特称肯定命题
单称肯定命题 全称否定命题
否定命题
特称否定命题 单称否定命题
LOGICIZE 4 - 5
4.1.3 性质命题的逻辑形式
全称肯定命题 [例] 所有法人都是具有民事行为能力的。
A E I O
T T F F F F F F T T T T F F T T A、E、I、O 的真假情况及其欧拉图解
LOGICIZE 4 - 9
F T F T
4.2.2 对当方阵 A E
反对关系
下反对关系 矛盾关系
I
O
差等关系
LOGICIZE 4 - 10
4.3 对当关系推理
矛盾关系推理 SAP SAP SEP SEP SOP SOP SIP SIP SOP SOP SIP SIP SAP SAP SEP SEP
量项和联项(所有…都是…)：A
全称肯定命题的逻辑形式：SAP，简记为：A
LOGICIZE 4 - 6
全称肯定命题：SAP 全称否定命题：SEP 特称肯定命题：SIP 特称否定命题：SOP
A命题 E命题 I命题
O命题
LOGICIZE 4 - 7
第四讲 词项逻辑
LOGICIZE 4 - 1
4.1 性质命题
4.1.1 何谓性质命题
性质命题（直言命题）：反映对象具有或
不具有某种性质的简单命题。
[例1] 凡违反法律的民事行为是无效的。
[例2] 有些被告不是有罪的。
[例3] 李律师是优秀律师。
LOGICIZE 4 - 2
性质命题的逻辑结构：
4.1.4 周延性
在性质命题中，我们称主项或谓项是周 延的，若其全部外延都得到了断定。
命题形式 SAP SEP SI P SOP
LOGICIZE 4 - 8
S 周延 周延
P 周延 周延
4.2 性质命题的对当关系
4.2.1 性质命题的真值
真 况 命题种类
S与P 假 的外延 情 关系
S P P S S P S P P S
不该走的走 了？！我没有 走。所以，我 该走！？
所以，我是该走的。
LOGICIZE 4 - 21
或者说他们俩，或者说我。 没说他们俩。 相容选言推理 的否定肯定式
没说他们俩？！ 那就是说我 了！？
所以，说我。
LOGICIZE 4 - 22
有些 量项 被告 主项 不是 有罪的。 谓项
联项
对象 反映为命题的 主项 S 性质 反映为命题的 谓项 P (不) 具有 反映为命题的 联项 是，不是 量 反映为主项的 量项（词）这个，所有，有些
一般形式： 所有（这个，有些）S 是（不是）P
LOGICIZE 4 - 3
性质命题的质： 性质命题的联项只有两种： 肯定联项：是，为 否定联项：不是，不为 性质命题的量： 性质命题的量项有三种： 全称量项： 所有，一切，任意 特称(存在)量项： 有的，有些，存在 单称量项： 这个，那个
结论：Байду номын сангаас
所以，所有的天使都不是魔鬼 大项（P）
LOGICIZE 4 - 18
小项（S）
4.5.3 三段论的规则
规则1：中项的两次出现中至少有一次周延。
规则2：在前提中不周延的项（小项和大项）在
结论中也不得周延。[=结论中周延的项在前提中
必须周延]
规则3：前提与结论中否定命题的个数相等。
LOGICIZE 4 - 19
换质法的公式：
SAP SIP SEP；SEP SOP ；SOP
LOGICIZE 4 - 14
SAP； SIP。
4.4.2 换位法
通过改变作为前提的性质命题主项和谓项的位 置，从而得出另一个性质命题为结论的推理。 换位法的规则有：
1. 主项和谓项互易其位，不改变前提的质。 2. 前提中不周延的词项在结论中也不得周延。
所有该来的都是还没来的。
换质 所有该来的都不是已来的。 换位 所有已来的都不是该来的。 我是已来的。
三段论 所以，我不是该来的。
LOGICIZE 4 - 20
该来的不来？！ 我来了。所以， 我不该来！？
所有不该走的都是走了的。
换质 所有不该走的都不是未走的。 换位 所有未走的都不是不该走的。 换质 所有未走的都是该走的。 我是未走的。 三段论
LOGICIZE 4 - 16
三段论定义：
(a) (b)
三段论由三个性质命题组成，2个前 提，1个结论。 前提和结论中总共出现3个词项，每 个词项刚好出现两次。
(c) 任何一个词项都不在同一性质命题中 出现两次。
LOGICIZE 4 - 17
4.5.2 三段论的结构
中项（M）
小前提： 所有的天使都是说真话的 大前提： 所有的魔鬼都不是说真话的
换位法的公式有：
SAP SIP PIS（限制换位）；SEP PIS ；SOP
LOGICIZE 4 - 15
PES；
（不能换位）。
4.5 三段论
4.5.1 三段论概述
简史：三段论学说是由古希腊逻辑学家 Aristotle（384 BC－322 BC）所建立 的历史上第一个成熟的逻辑理论。
评价：西方传统逻辑最重要的组成部分
LOGICIZE 4 - 11
差等关系推理 SAP SEP SIP SOP SIP SOP SAP SEP
反对关系推理
SAP SEP SEP SAP
下反对关系推理 SIP SOP SOP
LOGICIZE 4 - 12
SIP
4.4 性质命题的命题变形推理
命题变形推理是指通过改变性质命题的质，
或者改变性质命题的主项和谓项的位置，或 两者都发生改变，而得出结论的推理。
换位法
换质位法
LOGICIZE 4 - 13
换质法
4.4.1 换质法
通过改变作为前提的性质命题的质，从而得出
另一个性质命题为结论的推理。
换质法的规则：
1. 将肯定的联词改为否定的联词，或者将否定的联词改为 肯定的联词。主项和量词保持不变。 2. 用与前提的谓项具有矛盾关系的词项作为结论的谓项。
LOGICIZE 4 - 4
4.1.2 性质命题的种类
按质与量的不同，性质命题可分为以下六种： 全称肯定命题 肯定命题 性 质 命 题
特称肯定命题
单称肯定命题 全称否定命题
否定命题
特称否定命题 单称否定命题
LOGICIZE 4 - 5
4.1.3 性质命题的逻辑形式
全称肯定命题 [例] 所有法人都是具有民事行为能力的。
A E I O
T T F F F F F F T T T T F F T T A、E、I、O 的真假情况及其欧拉图解
LOGICIZE 4 - 9
F T F T
4.2.2 对当方阵 A E
反对关系
下反对关系 矛盾关系
I
O
差等关系
LOGICIZE 4 - 10
4.3 对当关系推理
矛盾关系推理 SAP SAP SEP SEP SOP SOP SIP SIP SOP SOP SIP SIP SAP SAP SEP SEP