抽象形式逻辑纲要(第三部分：判断1).doc

《抽象形式逻辑纲要(第三部分：判断1).doc》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、抽象形式逻辑刚要（第三部分：判断1）       抽象形式逻辑 纲要  (符号化正式版)           小乡碎石2012.073第三章 判断 判断指思维对客观事物属性特征之间关系的总结确定。   3.1一、判断的主要特征   判断的简单形式如“A是B”，其中，A是主项，“是”是联项，B是谓项。联项+谓项等于判断所断定的主项事物属性特征。否定判断相当于对事物否定性属性特征的判断，即进行负概念式的判断。   3.1.1总是有所判断确定，即一定对事物是否具有某些特征或是否具有某些关系有所判断确定。   3.1.2判断有正确

2、与否的区别，即有真假属性。判断P的真假值简记为：Pz   3.1.3判断与判断之间，有些是可以比较正确性大小的，因此，判断有成立性属性。无法比较或不知道其成立性大小的，其成立性未知，不是无。判断成立性值为0-1，真假实际上是成立性为1或0的特殊情形。判断P的成立性简记为：Pc    3.2二、判断的主要种类   3.2.1据有无摸态语句划分   3.2.1.1模态判断：有摸态语句，侧重于事物是否具有某属性特征的可能性或必然性的判断，如“A可能是B”、“A肯定是B”   3.2.1.2非模态判断：不带摸态语句的绝对判断，即通

3、常说的简单肯定否定判断，如“A是B”，侧重于事物是否具有某属性特征。   3.2.2据判断联项是肯定还是否定分   3.2.2.1肯定判断，也叫正判断，如“A是B”   3.2.2.2否定判断，也叫负判断，如“A不是B”    3.2.3据判断的组合情况分   3.2.3.1简单判断，即一个单独的判断，如“A是B”。   3.2.3.2复合判断，多个判断组合在一起的判断，如“A是B并且不是C”。   3.2.4据是否对判断主项所有对象进行判断分   3.2.4.1全称判断，对所有对象进行判断，如“所有A都是B”   3.2

4、.4.2非全称判断，对部分对象进行判断，如“有些A是B”   3.2.5按判断的主项和谓项关系分    3.2.5.1按是否对称关系分:   3.2.5.1.1对称关系：A与B对称，如A=B，A)(B，A交叉于B，A不等于B   3.2.5.1.2非对称关系：如A>B，A在B的左边   3.2.5.2按是否传递关系分   3.2.5.2.1传递关系：如A包含B，A=B，A>B   3.2.5.2.2非传递关系：如A交叉于B，A不是B，A不等于B，A)(B   在各种划分出来的判断种类基础上，还可根据需要按不同标准继续划分。

5、   3.2.6比较特殊比较典型的判断是：   3.2.6.1全称肯定判断，如“所有A都是B”。记为PA或A   3.2.6.2全称否定判断，如“所有A都不是B”。记为PE或E   3.2.6.3特称肯定判断，如“有些A是B”。记为PI或I   3.2.6.4特称否定判断，如“有些A不是B”，记为PO或O    3.3三、判断的大小   判断的大小由主项外延、联项性质、谓项外延来决定。判断的大小简记为Pd   3.3.1肯定判断的大小与主项外延成正比，与谓项外延成反比。即：Pd=P主项外延/P谓项外延3.3.2否定判断的大

6、小与主项外延成正比，与谓项外延成正比。即：Pd=P主项外延*P谓项外延3.4四、判断的成立性和真假值3.4.1成立性判断的成立性制判断在逻辑上正确的可能性大小。这个可能性大小的数值在0和1区间。当成立性为1时，这个判断在上就是正确的，是真的，当成立性为0时，判断就不正确，就是假的。判断越大，其所判断的内容越多，其成立性就越小，所以，判断的成立性与其大小成反比：   3.4.1.1Pc=1/Pd其中，Pd表示判断P的大小，Pc表示判断P成立性的大小。      上述成立性式子只表示成立性大小的变化关系，具体数值应该在0-1区

7、间，而且只在相关判断之间才有比较意义。3.4.2真假值特指成立性为1或0时情况。   3.5五、判断之间的主要关系   3.5.1按是否包含分   3.5.1.1包含关系：   二判断主项具有包含关系且联项和谓项相同，则二判断具有包含关系。如，P=A是B，Q=A1是B，当A包含A1时，P包含Q。P成立性小于Q成立性。   主项和联项相同且谓项具有包含关系：   肯定判断：如，P=A是B，Q=A是B1，当B包含B1时，P包含于Q。Pc>Qc   否定判断：如，P=A不是B，Q=A不是B1，当B包含B1时，P包含Q，Pc

8、   3.5.1.2交叉关系：   二判断主项具有交叉关系且联项和谓项相同，则二判断具有交叉关系。如，P=A是B，Q=C是B，当A、C交叉时，P、Q交叉。3.5.1.3无交关系：二判断之间无包含关系且无交叉关系。主要有，主项具有全异或无交关系，则二判断具有无交关系。如，P=A是B，Q=C是D，当A、C无