(4)特称否定判断 特称否定判断是断定某类中至少有一个对象 不具有某种性质的判断。 特称否定判断通常用符号“O”来表示。 特称否定判断的逻辑形式是: 有的S不是P, 也可简写为 SOP
• （4）特称否定判断 • 特称否定判断是断定某类中至少有一个对象 不具有某种性质的判断。 • 特称否定判断通常用符号“O”来表示。 • 特称否定判断的逻辑形式是： • 有的S不是P， • 也可简写为 • SOP
(5)单称肯定判断 单称肯定判断是断定某一个别对象具有某种 性质的判断。 ·单称肯定判断的逻辑形式是: 这个S是P (6)单称否定判断 单称否定判断,是断定某一个别对象不具有 某种性质的判断。 单称否定判断的逻辑形式是: 这个S不是P
• （5）单称肯定判断 • 单称肯定判断是断定某一个别对象具有某种 性质的判断。 • 单称肯定判断的逻辑形式是： • 这个S是P。 • （6）单称否定判断 • 单称否定判断，是断定某一个别对象不具有 某种性质的判断。 • 单称否定判断的逻辑形式是： • 这个S不是P
三、日常语言中性质判断的规范化 日常语言中的性质判断,有些以标准形式表送是 规范的;号有大量的以非标准形式表达,是不规范 的。如 ①法律是有强制性的 ②很多动物可以直立行走。 ③有的产品不合格 ·在对这样一些不规范的判断进行分析前,我们一定 要根据其原意将其恢复成标准形式,以利于分析 但同时一定要注意两点:首先,不能改变句子原意; 其次,同一判断可以整理成不同形式
• 三、日常语言中性质判断的规范化 • 日常语言中的性质判断，有些以标准形式表达，是 规范的；另有大量的以非标准形式表达，是不规范 的。如： • ①法律是有强制性的。 • ② 很多动物可以直立行走。 • ③有的产品不合格。 • 在对这样一些不规范的判断进行分析前，我们一定 要根据其原意将其恢复成标准形式，以利于分析。 但同时一定要注意两点：首先，不能改变句子原意； 其次，同一判断可以整理成不同形式
四、性质判断之间的对当关系 1.什么是对当关系 存在于A、E、、O四种判断之间的这种真假制约关 系就是性质判断之间的对当关系。 2.性质判断的真和假 在实践之中,人们通常把反映主项的这一类事物称 为S类,反映谓项的这一类事物称为P类,我们在探 讨主、谓项关系时,就可以用S与P来表示,那么, S与P之间的关系主要反映在二者的外延上,归结起 来有五种:全同关系、真包含于关系、真包含关系 交叉关系、全异关系
• 四、性质判断之间的对当关系 • 1． 什么是对当关系 • 存在于A、E、I、O四种判断之间的这种真假制约关 系就是性质判断之间的对当关系。 • 2． 性质判断的真和假 • 在实践之中，人们通常把反映主项的这一类事物称 为S类，反映谓项的这一类事物称为P类，我们在探 讨主、谓项关系时，就可以用S与P来表示，那么， S与P之间的关系主要反映在二者的外延上，归结起 来有五种：全同关系、真包含于关系、真包含关系、 交叉关系、全异关系
3.A、E、l、O四种判断的真假 (1)SAP的真假。 SAP是全称肯定判断,它断定S类所有分子 都是P类分子,所以只有S与P具有全同或真 包含于关系时,SAP才是真的。 当S与P具有真包含关系、交叉关系、全异关 系时,SAP就是假的
• 3．A、E、I、O四种判断的真假 • (1) SAP的真假。 • SAP是全称肯定判断，它断定S类所有分子 都是P类分子，所以只有S与P具有全同或真 包含于关系时，SAP才是真的。 • 当S与P具有真包含关系、交叉关系、全异关 系时，SAP就是假的