1 / 70
文档名称:

第三章 词项逻辑.ppt

格式:ppt   大小:1,534KB   页数:70页
下载后只包含 1 个 PPT 格式的文档,没有任何的图纸或源代码,查看文件列表

如果您已付费下载过本站文档,您可以点这里二次下载

分享

预览

第三章 词项逻辑.ppt

上传人:350678539 2022/7/3 文件大小:1.50 MB

下载得到文件列表

第三章 词项逻辑.ppt

相关文档

文档介绍

文档介绍:第三章 词项逻辑
第一页,共70页。
第一节 词项
一、概述
命题逻辑研究的是复合命题及其推理,词项逻辑研究的是简单命题及其推理。
简单命题推理就是以简单命题作为前提和结论的演绎推理。
例如:“凡犯罪行为都是有社会危害性的,的“人”就是在集合意义上使用的。“人是有思想的”、“人都是要死的”。其中的“人”就是在非集合意义上使用的。
第十二页,共70页。
四、词项外延之间的关系
任何两个词项,如果不考虑空项(无现实所指),那么,其外延关系可能是下列五种关系之一。
(一)全同关系
如果词项A与B的外延完全相同,即凡A是B并且B是A,那么,就是全同关系。如“法院”与“审判机关”就是全同关系。A与B的全同关系,可表现如下图:
A B
第十三页,共70页。
(二)种属关系
如果词项A的全部外延包含于B的全部外延之中,并且B的外延大于A的外延,那么A与B之间就是种属关系。如“法院”与“司法机关”就是种属关系。A与B之间的种属关系如下图表示:
A
B
第十四页,共70页。
(三)属种关系
如果A的外延包含了B的全部外延,并且A的外延大于B的外延,那么A与B之间就是属种关系。如“违法行为”与“侵权行为”之间就是属种关系。A与B之间的属种关系,如下图表示:
B
A
第十五页,共70页。
(四)交叉关系
如果A的外延与B的外延有一部分相同,又有一部分不同,那么A与B之间就是交叉关系。如“青年人”与“法官”就是交叉关系。A与B的交叉关系如图表示:
A
B
第十六页,共70页。
(五)全异关系
如果A与B的外延完全不同,A与B之间就是全异关系。如“自然人”与“法人”之间就是全异关系。A与B之间的全异关系如下图表示:
A
B
第十七页,共70页。
如果有明确的论域,可以进一步把全异关系分为反对关系和矛盾关系。
1、反对关系
如果A、B两个词项是全异关系,并且A、B两个词项外延之和小于它们的属概念I(论域),那么,A与B之间就是反对关系。例如“合法行为”与“犯罪行为”之间就是反对关系。A与B之间的反对关系可以用以下图形表示: I
A
B
第十八页,共70页。
2、矛盾关系
如果A、B之间是全异关系,并且A、B两个外延之和等于它们的属概念I(论域),那么A与B之间就是矛盾关系。如“有效合同”和“无效合同”之间就是矛盾关系。A、B之间的矛盾关系可以用以下图形表示:
I
A
B
第十九页,共70页。
第二节 直言命题
一、直言命题的特征
直言命题就是直接陈述事物具有或不具有某种性质的简单命题。
如:(1)“凡违反法律的民事行为都是无效的。”
(2)“有些合同不是双务合同。”
(3)“某甲是无罪的。”
直言命题也叫性质命题,以主谓式语句表达。直言命题有四种成分构成,分别是主项、谓项、量词和联词。
第二十页,共70页。
主项是表示被陈述的对象的词项。如(1)式中的“违反法律的民事行为”、(2)中的“合同”、(3)中的“某甲”。
谓项是表示被陈述对象所具有或不具有的性质的词项。如(1)中的“无效的”、(2)中的“双务合同”、(3)中的“无罪的”。
量词是表示主谓项外延数量情况的语词。
全称量词表示,在命题中陈述了主项所指称的对象的全部,或者说该命题陈述了主项的全部外延。表示全称的语词有“凡”、“所有”、“任何”、“每一个”、“一切”等。(1)中的量词是全称的,有时全称量词可省略。
第二十一页,共70页。
特称量词表示,在命题中至少陈述了主项所指称的对象中的一个,或者说该命题至少陈述了主项外延之中的一个对象。表示特称命题的语词有“有些”、“有”、“存在”。上述(2)中的量词就是特称的。
注意特称量词“有些”至少指称一个,至多可以指称全部对象。
特称量词又叫存在量词。这是因为,既然特称量词表示“至少有一个”,就表明该命题陈述主项所指称的对象是存在的。所以,特称命题又称存在命题。特称量词不能省略。
第二十二页,共70页。
有些直言命题没有量词,如上例(3)“某甲是无罪的。”这类命题叫做单称命题。
联词是表示主项和谓项之间联系的词项。直言命题的联词有两种:肯定联词“是”和否定联词“不是”。
在直言命题的构成成分中,主项和谓项是直言命题的内容成分,对应着命题形式中的变项,量词和联词构成直言命题中的常项。其中,量词的全称、特称,是命题的量;联词的肯定、否定,是命题的质。
第二十三页,共70页。
二、直言命题的种类
根据量,直言命题可以分为:全称命题、特称命题和单称命题;根据质,可分为:肯定命题和否定命题