普通逻辑原理4～关系判断与模态判断.pptVIP

普通逻辑原理

№4.关系判断与模态判断;§.章节安排;§1.关系判断

一、关系判断的含义。

二、关系判断的结构。

三、关系判断的逻辑形式。

四、关系判断的种类。;一、关系判断的含义。

关系判断是断定事物之间关系的判断。如，

3大于2。

小李认识小刘。

有的大学生掌握几门外语。

保定在北京以南。?????;二、关系判断的结构。三局部构成：

1.关系者项。指某种关系的承担者。如,3,2;大学生，外语。用“a.b.c”表示。

2.关系项。指对象之间的关系。如,大于;认识;掌握。用“R”表示。

3.量项。指对象的范围或数量。如,有些人喜欢逛商店。

三、关系判断的逻辑形式。

a.b有R的关系;aRb或R(a.b.c)。;四、关系判断的种类。按关系性质分两类:

(一)对称性关系。指两个对象间的关系。

1.对称关系。有aRb关系,必有bRa关系。如,

小刘和小赵是邻居;甲和乙是同学。(关系对等)

2.反对称关系。有aRb关系,必无bRa关系。如,

5大于3;天津在北京以南。(关系不对等)

3.非对称关系。有aRb,那么bRa关系不定。如,

我信任领导;我喜欢她。(关系不一定对等);(二)传递性关系。指三个以上对象的关系。

1.传递关系。假设aRb,且bRc,必有aRc。如,

5＞3＞2;石家庄在保定以南,保定在北京以南.

2.反传递关系。假设aRb,且bRc,必无aRc。如,

甲是乙的叔父,乙是丙的叔父(或儿子)等。

3.非传递关系。假设aRb,且bRc,不定有aRc。如,

A认识B,B认识C(或是朋友)等。;1.分析以下关系判断的性质。

①甲真包含乙。

②甲和乙交叉。

③小李爱慕小王。

④甲队战胜乙队。

⑤老李了解小李,小李了解小刘。

⑥甲认识乙,乙认识丙。

⑦老李比老王年长,老王比小丁年长。

⑧“小张与小李是朋友”这是什么判断?

2.简述关系判断及其种类。;§2.模态判断

一、模态判断的含义。

二、模态判断的结构。

三、模态判断的语言形式。

四、模态判断的种类。

五、同素材模态判断间的逻辑关系。

六、模态判断与性质判断间的逻辑关系。

七、同素材性质模态判断间的逻辑关系。;一、模态判断的含义。

广义模态判断是指带有“必然、可能、禁止、允许、应当”等模态词的判断。带有“必然、可能”模态词的判断叫做真值模态判断，带有“禁止、允许、应当”模态词的判断叫做标准模态判断。

狭义模态判断是反映事物必然性或可能性的判断。如，正义必然战胜邪恶。明天可能下雨。

我们重点介绍狭义模态判断，即真值模态判断。;二、模态判断的结构。

1.实然判断。是指实际如此的判断。它是构成模态判断的肢判断，用“P”表示。如，正义战胜邪恶。他是经理。

2.模态词。是联结实然判断的概念。

“必然”模态词用“□”表示，如正义必然战胜邪恶。

“可能”模态词用“

”表示。如他允许是经理。

3.逻辑公式。

必然模态判断表示为：必然p或者□p。

可能模态判断表示为：可能p或者

p。;三、模态判断的语言形式。

1.主项是个实然判断，谓项是个模态词。如，

正义战胜邪恶是必然的。S必然是P。

超额完成任务是可能的。S可能是P。

2.主项是个概念，模态词是谓项的一局部。如，

这部作品是可能受欢送的。S可能是P。

正义事业是必然要胜利的。S必然是P。;四、模态判断的种类。有四种：

(一)必然肯定模态判断。是断定某事物一定具有某属性或特征的判断。如，

我们一定能完成任务。地球必然围绕太阳转。

逻辑公式：S必然是P；简称必然p或者□p。

(二)必然否认模态判断。是断定某事物一定不具有某属性或特征的判断。如，

认识一定不会停留在一个水平上。他肯定不来。

逻辑公式：S必然不是P；简称必然-p或者□-p。;(三)可能肯定模态判断。是断定某事物可能具有某属性或特征的判断。如，

飞碟可能是天外之物。他也许是收电费的。

逻辑公式：S可能是P；简称可能p或者

p。

(四)可能否认模态判断。是断定某事物可能不具有某属性或特征的判断。如，

明天可能没有雨。他可能不在北京。

逻辑公式：S可能不是P；简称可能-p或者

-p。;指主项、谓项相同的□p、□-p、

p、

-p之间的真假制约关系或对当关系。

可用逻辑方阵表示：;(一)□p与□-p是反对关系。

二者不可同真，可同假。

□p真□-p假，□-p真□p假。

□p假□-p不定，□-p假□p不定。

(二)

p与

-p是下反对关系。

二者不可同假，可同真。

p假

-p真，

-p假

p真。

p真

-p不定，

-p真

p不定。

(三)□p与

-p、□-p与

p是矛盾关系。

二者不可同真假。□p真

-p假，□-p真

p假。

□p假

-p真，□-p假

p真。;(四)□p与

p、□-p与

-p是差等关系。

“必然”真，“可能”一定真：

□p