第四章谓词逻辑一(词项逻辑)

合集下载

一阶逻辑基本概念谓词逻辑(离散数学)

一阶逻辑基本概念谓词逻辑(离散数学)
4
一、个体词、谓词、量词的概念


个体常项:具体的客体,用a, b, c表示。
个体变项:抽象或泛指的事物,用x, y, z表示。 例:x高于y。x,y都是个体变项。 个体域(论域): 个体变项的取值范围。

有限个体域 即个体域是 有限集合
无限个体域 即个体域是 无穷集合
全总个体域 宇宙间一切 事物组成。
“ 1”, 则 L(2,1) 就是命题“ 21” 。此时二元谓
词变成0元谓词。
同理:一元谓词F(x)中的x代以个体“小王”, 则F(小王)就是命题“小王是女孩”。也是0
元谓词。
谓词逻辑包括命题逻辑。
9
一、个体词、谓词、量词的概念
例1:用0元谓词将下述命题符号化。 (1) 墨西哥位于南美洲 在命题逻辑中, 设 p: 墨西哥位于南美洲 符号化为 p, 该命题为真命题。 在一阶逻辑中, 设 a:墨西哥; F(x):x位于南美洲; 符号化为F(a)
35
4.
二、个体变项的自由出现与约束出现
例1:说明以下各式量词的辖域与变元的约 束情况:
(1) x(F(x,y)G(x,z))
A=(F(x,y)G(x,z))为的辖域, x为指导变元, A中x的两次出现均为约 束出现,y与z均为自由出现。
36
二、个体变项的自由出现与约束出现
( 2 )xy( P( x, y) Q( x, y )) xP( x, y)
( 2 )x( F ( x, y) yG( x, y, z ))
x( F ( x, y ) tG( x, t , z ))
或 x( F ( x, w ) yG( x, y, z ))
三、公式的解释
引例:给定公式 A=x(F(x)G(x)) 个体域N, F(x): x>2, G(x): x>1 代入得A = 成真解释

词项逻辑(概念)课件

词项逻辑(概念)课件

CHAPTER 05
概念的应用与实践
概念在日常生活中的应用
购物决策
在购物时,人们会使用概念来判 断商品的质量、价格、品牌等,
从而做出购买决策。
社交互动
在人际交往中,人们使用概念来 理解他人的言行举止,形成对人
的印象和评价。
信息筛选
在获取信息时,人们会使用概念 来筛选出与自己相关的信息,过
滤掉无关的信息。
概念的外延
总结词
概念所适用的范围或事物集合
详细描述
概念的外延是指概念所适用的范围或事物集合,即具有该概念所反映的本质属性 的事物。一个概念的外延越广泛,说明该概念的应用范围越广泛。
概念的属性
总结词
事物具有的某种特征或性质
详细描述
概念的属性是指事物具有的某种特征或性质。一个概念可能包含多个属性,其中一些属性是本质属性,而另一些 是非本质属性。在认识和理解概念时,需要区分本质属性和非本质属性。
二次划分
在子类的基础上,再次进行划分,将 子类划分为更小的类别,以进一步明 确概念的内涵。
概念定义的规则与技巧
避免循环定义
概念的定义不能依赖于该概念本 身,否则会导致无限循环。
考虑实际应用
概念的定义应当考虑实际应用的需 要,符合实践中的认知和运用。
使用实例说明
通过实例来说明概念的定义,有助 于更直观地理解概念的内涵和外延 。
概念在学术研究中的应用
学科研究
在各个学科领域的研究中,学者们通过概念来定义研究对象、构 建理论体系、进行实证分析等。
学术交流
在学术交流中,学者们使用概念来阐述自己的观点、论证自己的结 论,并对他人的观点进行评判。
知识传承
在教育领域,教师通过概念来传授知识,帮助学生理解学科的基本 原理和方法。

L4谓词逻辑1 离散数学.ppt

L4谓词逻辑1 离散数学.ppt

么x是动物〞.所以这个命题涉及两个谓词
Man( 最精新 选.文档 )和Animal( )间的蕴涵.
4
为什么需要谓词逻辑?
• 可描述更丰富的推理形式.
• 例如下面这个推理用命题逻辑无法描述.
• 人皆有死.
a
• 苏格拉底是人. b
• 苏格拉底会死. c
• 用谓词逻辑可以很好地描述.
• 我们介绍的是一阶谓词逻辑(FOL),它根本 上覆盖了人们在数学和日常生活中用到
25
例:自然语句形式表示(续)
(6) “函数f (x)在[a,b]上的点x0处连续〞的 - 定义.
( )( > 0 ( )( > 0
( x)( |x - x0 | < )))
|f (x) – f (x0)| <
最精新 选.文档
26
例:自然语句形式表示(续)
(7)屡次量化:如对P(x,y) 有四种屡次量化情形:
谓词逻辑

精最选新文. 档
1
主要内容
• 谓词与量词 • 谓词公式 • 等值演算 • 范式 • 谓词逻辑推理 • 归结法推理
最精新 选.文档
2
谓词逻辑与命题逻辑的区别
• 命题逻辑:简单命题是分析的根本单元,不再对 简单命题的内部构造进展分析.
• 例如a:“柏拉图是人〞和b:“亚里士多德是人 〞是两个相互独立的命题,看不出a和b有什么联 系.
• 例如:假设函数father(x)表示x的父亲,谓 词P(x)表示x是教师,那么P(father(x))就 表示x的父亲是教师.
最精新 选.文档
10
量词
• 量词(quantifier)用来对论域中参与判断 的个体数量进展约束.

4.1一阶谓词逻辑基本概念

4.1一阶谓词逻辑基本概念

(1) (2) (3)
(1) (2) (3) (4) (5) (6)
(7)
(8) (9) (10) (11) (12)
x(J(x)→L(x)) (4) x(L(x)∧S(x)) (5) x(J(x)∧O(x)∧V(x)) (6) (7) J(j)∧O(j)∧V(j) (8) x(L(x)→J(x)) (9) x(S(x)∧L(x)∧C(x)) (10) x(C(x)∧V(x)) (11) x((C(x)∧O(x))→L(x)) (12) x(W(x)∧C(x)∧H(x)) x(W(x)∧J(x)∧C(x)) x(L(x)→y(J(y)∧A(x,y))) x(S(x)∧y(L(y)→A(x,y)))
◦ 由一个谓词和若干个个体变元组成的命题形式称为简单命 题函数,表示为P(x1,x2,…,xn)。由一个或若干个简单命题函 数以及逻辑联结词组成的命题形式称为复合命题函数
◦ 命题函数不是命题,没有确定真值,但其中谓词是谓词常量时,可 通过个体指派使其成为命题。如:若简单命题函数P(X)表示“x是 质数”,则P(1)为F,P(2)为T。
(1) 5是质数 (2) 张明生于北京 (3) 7=3×2
P(5)
G(a,b)
H(7,3,2)
P(x):x是质数
G(x, y): x生于y ,a:张明,b:北京
H(x, y, z) :x=y×z
谓词 个体词 谓词函数
例 将下列命题在一阶逻辑中用0元谓词符号化,并讨论真值。 (1)只有2是素数,4才是素数。 (2)如果5大于4,则4大于6.
除个体指派外,还常用“量”作出判断,如:“所有的人都是要死 的”、“有的数是质数”。这种表述在数理逻辑目标语言中需要引 入量词,当然量化与个体指派之间是有联系的,数理逻辑中常用量 词有两个——全称量词和存在量词。

逻辑学课后习题答案

逻辑学课后习题答案

第一章绪论(P6)一、1.逻辑学的研究对象是思维的形式结构及其规律,逻辑学是研究思维形式结构及其规律的科学。

2.思维形式结构是思维内容的存在方式、联系方式。

逻辑常项是思维形式结构中的不变部分,它决定思维的逻辑内容。

逻辑变项是思维形式结构中的可变部分,它容纳思维的具体内容。

如“所有S是P”这一全称肯定命题的思维形式结构,其中“所有……是……”是逻辑常项,表明该命题具有“全称肯定”的逻辑内容。

“S”、“P”是逻辑变项(词项变项),代入不同具体词项,表达不同的具体思维内容,并有真假。

又如“如果P,那么Q”这一充分条件假言命题的思维形式结构,其中“如果……那么……”是逻辑常项,表明该命题具有蕴涵式的逻辑内容,即前件真则后件真(“有之必然”),并非前件真而后件假(并非“有之而不然”)。

“P、Q”是逻辑变项(命题变项),代入不同的具体命题,表达不同的具体思维内容,并有真假。

3.对思维形式结构的代入,是指用具体的词项或命题替换思维形式结构中的逻辑变项,因而使思维形式结构成为有内容的具体思想,并具有真假值。

如用具体的词项“杨树”和“落叶乔木”,分别替换“所有S是P”这一全称肯定命题的思维形式结构中的逻辑变项“S”和“P”,因而使思维形式结构成为有内容的具体思想“所有杨树是落叶乔木”,并具有真值。

又如用具体的命题“过度砍伐森林”和“会破坏生态平衡”,分别替换“如果P,那么Q”这一充分条件假言命题的思维形式结构中的逻辑变项“P”和“Q”,因而使思维形式结构成为有内容的具体思想“如果过度砍伐森林,那么会破坏生态平衡”,并具有真值。

4.现代逻辑从形式上定义和说明逻辑规律。

如命题逻辑中的逻辑规律就是重言式(一真值形式在命题变项的任意一组赋值下都真),谓词逻辑中的逻辑。

规律就是普遍有效式(指一命题形式在任一解释下都得到一个真命题)①,传统逻辑主要从内容、作用上定义和说明逻辑规律。

逻辑规律有特殊和一般之分。

如定义、划分的规则,是特殊的逻辑规律,作用于定义、划分的特殊范围。

谓词逻辑(一)PPT上习题及答案

谓词逻辑(一)PPT上习题及答案

谓词逻辑(一)PPT上习题及答案1、所有的企业家都是MBA.所以,并非所有的企业家都不是MBA。

SAP→﹁SEP2、所有的客观规律都不是以人的意志为转移的,所以,并非所有的客观规律都是以人的意志为转移的。

SEP→﹁SAP3、并非有的有限责任公司是上市公司,所以,有的有限责任公司不是上市公司。

﹁SIP→SOP4、在库存的产品中,并非有的产品不是劣质产品,所以,在库存的产品中,有的产品是劣质产品。

﹁SOP→SIP5、所有的人都有保护环境的义务,所以,并非有些人没有保护环境的义务。

SAP→﹁SOP6、凡放火罪都不是过失犯罪,所以,并非有的放火罪是过失犯罪。

SEP→﹁SIP7、有的兼职律师是教师,所以,并非所有的兼职律师都不是教师。

SIP→﹁SEP8、有的克里特岛人不说谎,所以,并非所有的克里特岛人都说谎。

SOP→﹁SAP9、并非所有的公民都偷税漏税,所以,有的公民不偷税漏税。

﹁SAP→SIP10、并非所有国家都没有发生疯牛病,所以,有些国家发生了疯牛病。

﹁SEP→SIP11、并非有的正当防卫是负刑事责任的,所以,所有的正当防卫都不是负刑事责任的。

﹁SIP→SEP12、并非有的醉酒的人犯罪不负刑事责任,所以,所有醉酒的人犯罪都要负刑事责任。

﹁SOP→SAP13、所有作案者都有作案时间,所以,有的作案者有作案时间。

SAP→SIP14、并非有些未满18 岁的青少年有选举权,所以,并非所有未满18 岁的青少年都有选举权。

﹁SIP→﹁SAP15、凡不能正确表达意志的人不能作证,所以,有些不能正确表达意志的人不能作。

SEP→SOP16、并非有些花朵不是美丽的,所以,并非所有花朵都不是美丽的。

﹁SOP→﹁SEP通过调查得知,并非所有个体商贩都有偷税、逃税行为。

如果上述调杏的结论是真实的,那么以下哪项一定为真?A. 所有的个体商贩都没有偷税、逃税行为。

B. 多数个体商贩都有偷税、逃税行为。

C. 并非有的个体商贩没有偷税、逃税行为。

数理逻辑-谓词逻辑


体事物或抽象的概念 ;个体域 个体域是个体(客体)的取 个体域 值范围;谓词 谓词是用来刻划个体词的性质或事物之间 谓词 的关系的词
大写字母表示谓词,小写字母表示个体(客体) 注意:单独的个体词和谓词不能构成命题,将个体
词和谓词分开不是命题.
2.1 谓词逻辑基本概念
个体词与谓词
谓词也称为命题函数 命题函数或简单命题函数 命题函数 相关概念:零元谓词,n元谓词,全总个体域,复合命题
求在解释I下各公式的真值.
(1) x( F(x)∧G(x,a)) (2) xy L(x,y)
2.3 谓词的等值演算
谓词公式分类
在任何解释下,谓词公式A取真值1,公式A 为逻辑有效式(永真式); 在任何解释下谓词公式A取真值0,公式A为 永假式; 至少有一个解释是公式A取真值1,公式A称 为可满足式。
函数
命题是谓词的特殊情况
2.1 谓词逻辑基本概念
全称量词与存在量词
量词是在命题中表示数量的词 量词有两类:
全称量词,表示“所有的”,“任何的”,或 “每一个”; 存在量词,表示“存在某个”或“至少有一 个”.
命题符号化必须指明个体域
2.1 谓词逻辑基本概念
全称量词与存在量词
对于一个谓词,如果其中每个变量都有一个量词作 用之下,则它就不再是命题函数,而是一个命题了。 在谓词逻辑,使用量词应注意以下几点:
2.2 谓词公式
相关概念:
字母表 项:递归定义 P43 原子公式
2.2 谓词公式
合式公式
递归定义:P43
命题常数0,1,一个命题和命题变元以及一个命题 0 1 函数P(x1,x2, ,xn) P(x ,…,x ),统称原子公式 由原子公式、联结词和量词可构成谓词公式(严格定 义见教材). 命题的符号化结果都是谓词公式。

第四章、谓词逻辑

第四章 谓词逻辑
命题逻辑是关于命题联结词用法的逻辑理论。在命题逻辑中,简单命题 不含任何命题联结词,因此它们用字母p、q、r等表示;每个复合命题都是从 简单命题运用命题联结词构造起来的。真值表方法能够用来判定一个仅仅涉 及命题联结词的推理是否有效,命题逻辑的自然演绎系统能够证明任何命题 逻辑的有效推理形式。但是,还有一些有效的推理形式是命题逻辑不能处理 的,例如下面的三段论:
更一般地,有n元谓词符号,表示n个个体之间的关系,用H(t1, …, tn)表达t1, …, tn 所代表的n个个体具有H所代表的关系。例如下面的三元关系:
(9)武汉位于重庆与上海之间。
(10)孙悟空、猪八戒和沙和尚是师兄弟。
这两个命题很容易写成用三元谓词符号表达的三元关系。对命题(9),用a表 示“武汉”,b表示“重庆”,c表示“上海”,用H(x1, x2, x3)表示“x1位于x2和x3之 间”,那么H(a, b, c)表示“武汉位于重庆与上海之间”。命题(10)的符号形式类似 表示。
除了“所有”和“有的”这两个量词之外,自然语言中还有许多量词。例如,至 少有两个、至多有两个、恰好有两个;大多数、少许、许多;有穷多个、无穷多个, 等等。在谓词逻辑中,我们仅仅关心“所有”和“有的”这两个量词以及能够在谓词 逻辑中定义的其它量词,如至少有两个、至多有两个、恰好有两个,等等。
第二节 谓词逻辑的形式语言
我们构造项的符号有三种:个体变元:个体常元:c0, c1, c2, …;个体常元:x0, x1, x2, …;n(1自然数)元函数符号:fn, gn, hn, …。我们用s、t等代表任何项。项是 按如下规则构造的表达式:
(T1)每个个体变元x是项。
(T2)每个个体常元c是项。
(T3)如果t1, …, tn是项并且f是一个n元函数符号,那么f(t1, …, tn)是项。 (T4)只有按照(T1)—(T3)构造的表达式才是项。

04-2第四章 推理技术-谓词逻辑


第4章 推理技术
解 释(语义)
语言的解释是在某个论域(domain)中定义非逻辑 符号。语句的语义是在解释下定义出语言L的真假值。 I是L的一个解释,且在I中为真,则记为 I ⊨ ,称作I满足 ,或者I 是的一个模型。 类似地,给定一个语句和一个语句 ,如果对 每个解释I ,有I ⊨ 蕴含I ⊨ ,换言之,如果I 是 的一个模型则I也是的一个模型,则记为 ⊨ ,我 们称为的一个逻辑结果。
推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻
辑。 20世纪30年代,数理逻辑广泛发展,成为数学和计算 机科学基础。
8
第4章 推理技术
逻辑系统
一个逻辑系统是定义语言和它的含义的方法。
逻辑系统中的一个逻辑理论是该逻辑的语言的一个语句集合,它包括: • 逻辑符号集合:在所有该逻辑的逻辑理论中均出现的符号;
逻辑学与计算机科学
• 逻辑学:研究思维规律的科学 • 计算机科学:模拟人脑行为和功能(思维)的科学 • 思维:大脑、逻辑、语言、计算机 • 逻辑是知识表示和推理的重要形式和工具
第4章 推理技术
逻辑的历史
• Aristotle——逻辑学 • Leibnitz——数理逻辑: 逻辑+数学 • Gottlob Frege (1848-1925)——一阶谓词演算系统 逻辑是探索、阐述和确立有效推理原则的学科,最早 由古希腊学者亚里士多德创建的。用数学的方法研究关于
1、在一条街上,有5座房子,喷了5种颜色; 2、每个房里住着不同国籍的人; 3、每个人喝不同的饮料,抽不同品牌的香烟,养不同的 宠物。
问题是:谁养鱼?
第4章 推理技术
爱因斯坦的世界难题(2)
条件是:
1、英国人住红色房子; 2、瑞典人养狗; 3、丹麦人喝茶; 4、绿色房子在白色房子左面; 5、绿色房子主人喝咖啡; 6、抽PallMall香烟的人养鸟; 7、黄色房子主人抽Dunhill香烟;

谓词逻辑定义

谓词逻辑定义谓词逻辑,又称词义逻辑,是20世纪晚期出现的一种对概念的认知逻辑和思维方式,在当今的社会发展过程中发挥着越来越重要的作用。

谓词逻辑涉及多方面的内容,其定义可以分为两部分概括:一是逻辑概念:谓词逻辑是指以有意义的形式表达出概念、定义和结论的一种逻辑思维方法,主要用于解决日常生活中复杂的推理问题。

二是形式概念:这里指的是谓词逻辑的形式系统。

谓词演绎语言(First-Order Logic,FOL)是其中最核心的内容,它由一组基本形式模式(变元、谓词、量词和逻辑符号)组成,用来构成更加复杂的语句,形成一种关系系统。

谓词逻辑的定义是以概念与形式为基础的,其目的是用正确的方法更好地表达概念,特别是当表达的概念非常复杂、也涉及到很多因素时,谓词逻辑便发挥了它的作用。

举个例子,当我们要求一个团体每一位成员都要参与一次活动时,为了使这个活动有效,我们就可以用谓词逻辑来表达:“对于X,X是每一位成员”。

从这个简单的定义就能看出,谓词逻辑的主要目的就是帮助我们更加准确、更加简洁、更加明确地表达出概念来。

当我们更进一步地深入研究谓词逻辑时,我们会发现,它不仅仅是一种表达概念的方法,还可以被用于许多其他用途,比如它可以帮助我们更加清楚、更有效地定义问题本身,以及在处理模糊问题时使用模糊逻辑,当处理逻辑错误时就可以使用模式识别,帮助我们区分正确与错误。

除此之外,谓词逻辑也能应用到数理逻辑,用来解决一些难解的数学问题。

总之,谓词逻辑是一种全面、系统的思维方式,它能够用来处理一些语言和逻辑计算的关系。

它能够帮助我们更加正确、清楚地表达出概念和定义,也可以用来处理一些日常生活中的模糊问题,这使得它成为当今社会对概念认知和思维方式的一种重要发展。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

在真包含于关系和真包含关系中,都有一个外 延较大的词项和一个外延较小的词项。
外延较大的词项所表达的概念叫做属概念,
外延较小的词项所表达的概念叫做种概念。
真包含于关系和真包含关系就相应的可称为种 属关系和属种关系。
属概念和种概念的区别是相对的,例如,“大 学生”相对于“学生”来说,“大学生”是种概 念;而“大学生”相对于“女大学生”来说,则 是属概念。
否定词项总是相对于某个特定的范围而言的, 这个特定的范围,逻辑上称之为论域。
论域实际上是指一个否定词项与其相对应的肯 定词项所指称的对象组成的类。
例如,“非法行为”的论域就是非法行为与合法 行为组成的类——行为;“未成年人”的论域就 是未成年人与成年人组成的类——人。由此也可 以说,一个否定词项的论域恰好是这一否定词项 同与其相对应的肯定词项的外延之和。
S与P之间的真包含于关系可用图2表示。
3、真包含关系 如果S的部分外延同P的全部外延重合,即所有
的P都是S并且有S不是P,那么S与P之间的关系 就是真包含关系。例如,当S和P分别表示“违法 行为”与“犯罪行为”或“公民”与“年满十八 周岁的公民”时,S与P之间就是真包含关系。即 S⊃P。
S P
图3
例如:凡国家干部都要奉公守法,
凡检察干部都是国家干部;
所以,凡检察干部都要奉公守法。
这是一个有效的三段论推理。如果从命题逻辑 的角度分析,它的推理形式可表示为:
p∧q→r
用真值表判定可以知道,这个推理不是重言式, 也就是说,在命题逻辑中,它是无效的推理形式。 原因在于:这种推理的有效性不是依赖于命题之 间的关系,而是依赖于命题内部结构中各部分之 间的关系。
[案例]不同概念同一外延
有一们咬文嚼字的老秀才,对“跳”和“跃” 两字的注解记得特别深,说“跳”就是两脚平地 而起;“跃”是一脚在前,一脚在后蹬。有一次 老秀才外出看望朋友,一水沟挡住去路,一老农 告诉他:“你向前跳一步,不就过去了吗?”秀 才觉得言之有理,双脚并拢,闭起眼睛,奋力向 上一跳,“朴通”一声掉到水里。老农摇头说: “真笨,你一脚在前,一脚在后用力一蹬,不就 过去了吗。”秀才恼火地吼道:“那是跃,不是 跳。”
第四章 谓词逻辑一 (词项逻辑)
第一节 词项 第二节 直言命题及其直接推理 第三节 间接推理
第一节 词项
前面讲的命题逻辑所研究的是以命题为基本单 位、根据命题间的逻辑关系进行推演的推理。日 常思维中还有许多有效推理,它们的有效性依靠 命题逻辑是不能得到证明的,而必须对命题内部 的结构作进一步的分析。
[案例]郑板桥巧出对联 郑板桥有一天到金山寺游览,见方丈室里挂许多字画,
便进去欣赏起来。老方丈不认识郑板桥,见有人进来,便 招呼一声:“坐。”并漫不经心地吩咐小和尚一声: “茶。”接着老方丈问郑板桥:“请问先生府上何方?” 郑板桥答说:“扬州兴化。”老方丈说:“与贫僧同乡, 幸会幸会。请坐!”并吩咐小和尚:“泡茶。”方丈接问: “先生既是兴化人,可认识郑板桥否?他的字画名扬四海, 可了得。”郑说:“他的字画我见过,没什么了不起。” 老方丈指着一幅墨竹说:“此画画得惟妙惟肖,真是巧夺 天工,堪称本寺一宝!”郑说:“这幅墨竹我亲眼看着他 画的。”老方丈摸不着头脑问道:“先生你是…..”“敝 人便是郑板桥。”方丈忙说:“久仰,久仰!”然后指着 大红椅说:“请上坐!”并向小和尚喊道:“泡好茶!” 茶叙毕,郑起身告辞。方丈说:“贫僧求大人留点墨宝, 不知赏光否?”郑板桥提笔写了一幅对联。上联:“坐, 请坐,请上坐;”下联:“茶,泡茶,泡好茶!”
S与P之间的反对关系可用图7表示。
S
P
ቤተ መጻሕፍቲ ባይዱ
图6
S
P
图7
词项外延间的上述五种关系,是任意两个词 项之间可能具有的全部关系。因此,两个具体 词项之间的关系必然是这五种关系中的一种, 也只能是这五种关系中的一种。
S与P之间的矛盾关系可用图6表示。
②反对关系
如果两个具有全异关系的词项S和P所表达的概 念都是Q概念的种概念,并且它们的外延之和小 于Q的外延,那么,S与P之间的关系就是反对关 系。例如,当S和P分别表示“侵犯财产罪”与 “渎职罪”或“民法”与“刑法”时,它们的外 延之和分别小于它们的属概念,“犯罪”或“法 律”,S与P之间的关系就是反对关系。
要分析和判定这类推理的逻辑有效性,就需要 我们进一步分析构成复合命题的最小单位——原 子命题的内部结构,了解构成原子命题的词项的 逻辑特征,研究词项之间的逻辑联系以及由词项 所组成的原子命题的逻辑性质。这就是词项逻辑 所要研究的内容。这一点和谓词逻辑是一致的, 所以有的教材称之为传统谓词逻辑。
一、词项和概念的联系与区别 词项是指原子命题的主项或谓项。
S与P之间的全异关系如下图
s
p
具有全异关系的两个词项,有的是属于同一论域的,如 “成年人”与“未成年人”、“侵犯财产罪”与“渎职 罪”;有的是不属于同一论域的,如“法院”与“律师”。 就同一论域来说,词项的全异关系还可进一步分为矛盾关 系和反对关系。
①矛盾关系
如果两个具有全异关系的词项S和P所表达的概 念都是Q概念的种概念,并且它们的外延之和等 于Q的外延,那么,S与P之间的关系就是矛盾关 系。例如,当S和P分别表示“成年人”与“未成 年人”或“有罪”与“无罪”时,它们的外延之 和分别等于它们的属概念“人”或“行为”的外 延,S与P之间的关系就是矛盾关系。
上例中,“中国人”、“国有企业”、“我们的 干部”等词项所指称的对象是非集合体,它们都 是非集合词项。
对比[例1]与[例4]、[例2]与[例5]、[例3]与[例 6],我们还可知,同一个语词在不同的命题中, 有时是集合词项,有时是非集合词项。因此,集 合词项和非集合词项的判定要依据一定的语境。
在实际使用中,如果搞不清集合词项与非集合 词项的区别,就会犯混淆概念的错误。
例如:城市是一类事物,北京、伦敦、纽约等是组成它的 分子。城市具有的属性,北京、伦敦、纽约等必然具有。 中国工人阶级是一个集合体,张某、李某、王某等一个个 中国工人是组成它的个体。中国工人阶级具有的属性,构 成它的每个中国工人未必具有。例如,中国工人阶级是大 公无私的,而作为它的个体的每一个中国工人则不一定是 大公无私的。
明确否定词项的论域十分重要,因为只有弄清 其论域,才能明确否定词项的内涵与外延,才能 避免诡辩。
3、集合词项与非集合词项
根据词项所指称的对象是否为集合体,可以把词项分为 集合词项和非集合词项。
在客观事物中,存在着两种不同的联系,一是类和分子 的联系,一是集合体和个体的联系。
类的属性,必然为组成它的任一分子所具有;集合体的属 性,构成它的任一个体并不必然具有。
第二,同一概念可以用不同的语词来表达。例如 “马铃薯”、“土豆”和“洋芋”,“宇宙观” 和“世界观”,“诉讼”和“打官司”,其中每 一组语词所表达的都是同一概念。
第三,同一语词在不同的语境中可以表达不同的 概念。例如“逻辑”一词,既可以用来表达“客 观规律”这个概念,还可以用来表达“逻辑学” 这个概念。
反言之,不表达概念的语词不是词项,表达 概念却未充当原子命题的主项或谓项的语词也不 是词项。
概念有两个基本的逻辑特征,即内涵与外延。 概念的内涵是指概念所反映的对象的特有属性, 概念的外延是指概念所反映具有这些特有属性对 象的范围。
例如,“商品”这个概念的内涵是“用来交换的劳动产 品”,其外延是“一切投入市场交换的各种类型的劳动产 品”。
S与P之间的全同关系可用图1表示。
sp 图1
P S
图2
2、真包含于关系
如果S的全部外延同P的部分外延相相重合,即 所有的S都是P并且有P不是S,那么S与P之间的 关系就是真包含于关系。
例如,当S和P分别表示“企业法人”与“法人” 或“盗窃罪”与“侵犯财产罪”时,S与P之间就 是真包含于关系。即S⊂P。
词项分类方式:
①单独与普遍词项; ②肯定与否定词项; ③集合与非集合词项。
三、词项外延之间的关系
设S和P分别表示两个不同的词项,它们外延之 间的关系,可能是下列五种关系之一。
1、全同关系
如果S和P的外延完全重合,即所有的S都是P并 且所有的P都是S,那么,S与P之间的关系就是全 同关系。
全同关系又叫同一关系。例如,当S和P分别表 示“宪法”与“国家的根本法”或“全国人民代 表大会”与“中国最高国家权力机关”时,S与P 之间就是全同关系。
集合词项是以集合体为指称对象的词项。非集合 词项是不以集合体为指称对象的词项。 [例1] 中国人是勤劳智慧的。 [例2] 国有企业一直控制着我国国民经济的命脉。 [例3] 我们的干部来自五湖四海。 上例中,“中国人”、“国有企业”、“我们的干 部”等词项所指称的对象是集合体,它们都是集合 词项。 [例4] 我是中国人。 [例5] 国有企业是可以破产的。 [例6] 我们的干部应当全心全意为人民服务。
“法律”这个概念的内涵是“经国家制定或认可的、体 现统治阶级意志的、由国家强制力保证执行的行为规范”, 其外延是“一切成文法和不成文法”。
[案例]不同概念同一外延
杰克有一爱财如命只进无出的吝啬朋友,有一天与朋友 外出游玩,不小心,这位吝啬朋友掉到水里,大家跑去救 他,其中一人跪在地上伸出手并喊到;“把手给我。”吝 啬鬼宁可被水淹得两眼发直,就是不肯伸手,杰克跑过去 喊到:“拿着我的手。”吝啬鬼马上伸出手让杰克将其拖 上岸。
[例1] 中国是世界上人口最多的国家。 [例2] 法院是审判机关。 [例3] 以基因工程为代表的生物技术是当代知识经 济的制高点。 [例4] 张某和李某是同乡。
上面各例都是原子命题,其中划横线的部分都 是词项,它们都充当原子命题的主项或谓项。 词项是概念和语词的统一体。概念是词项的思想内 容,这种思想内容是以语词为语言表达形式的。
概念是反映事物本质属性或特有属性的
思维形式。概念的形成和存在必须依赖于语 词,每一概念都是同与它相应的语词一起形 成,并用语词把它确定下来、巩固起来和表 达出来的。但是,概念和语词之间并不是一 一对应的。这表现在:
相关文档
最新文档