|
性质判断对当关系推理规则的理解 摘要：性质判断对当关系推理规则，对初接触逻辑学的人来说是较为抽象的。本文主讲性质判断里主项概念同谓项概念间可能存在的关系，推导出性质判断对当关系推理的规则。 关键词：性质判断；推理规则 性质判断是归类判断，判断为真的性质判断中主项概念的外延对谓项概念的外延的关系以及性质判断间的对当关系，一般理解学书中都有叙述，这里不重复。 1性质判断推理规则及理解 1·1根据反对关系进行的推理 （1）A真推E假：SAP真，S对P而言只可能存在全同关系或真包含于关系，SEP假。 （2）E真推A假：SEP真，S对而言，只可能存在全异关系，SAP假。 （3）A假E真假不定：SAP假，S对P而言，只可能存在真包含、交叉、全异关系，SEP可真（S对P而言是全异关系），可假（S对P而言是真包含或交叉关系）。 （4）E假E真假不定：E假，S对P而言只可能存在全同、真包含于、真包含、交叉关系，当S对P而言是全同关系或真包含于关系时，SAP真，当S对P而言是真包含关系或交叉关系时，SAP假。 性质判断根据反对关系推理规则：由一个判断为真可确定另一个判断为假；由一个判断为假不能确定另一个判断的真假。 1·2根据下反对关系进行的推理 （1）I假O真：S对P而言只可能存在全异关系，那么SOP定真。 （2）O假I真：S对P而言只可能存在全异关系或真包含于关系，SIP真。 （3）I真，O真假不定：SIP真，S对P而言只可能存在全同、真包含于、真包含、交叉关系，当S对P而言是全同关系或真包含于关系时，SOP假；当S对P而言是真包含关系或交叉关系时，SOP真。 （4）O真，I真假不定：SOP真，S对P而言只可能存在真包含、交叉、全异关系，当S对P而言是真包含关系或交叉关系时，SIP真；当S对P而言是全异关系时，SIP假。 当我们不清楚主项概念同谓项概念的关系时，下反对关系的推理可以有两种有效式： ①I假O真：S对P而言只可能存在全异关系，那么SOP定真。 ②O假I真：S对P而言只可能存在全异或真包含于关系，SIP真。 1·3根据矛盾关系进行的推理 （1）A真推O假：SAP真，S对P而言只可能存在全同、真包含于关系，SPO假。 （2）O真推A假：SOP真·，S对P而言只可能存在真包含、交叉、全异关系，SAP假。 （3）E真推I假：SEP真，S对P而言只可能存在全异关系，SIP假。 （4）I真推E假：SIP真，S对P而言只可能存在全同、真包含于、真包含、交叉关系，SEP假。 （5）A假推O真：SAP假，S对P而言只可能存在真包含、交叉、全异关系，SOP真。 （6）O假推A真：SOP假，S对P而言只可能存在全同、真包含于关系，SAP真。 （7）E假推I真：SEP假，S对P而言只可能存在全同、真包含于、真包含、交叉关系、SIP真。 （8）I假推E真：SIP假，S对P而言只可能存在全异关系，SEP真。 当我们不清楚性质判断中主项概念与谓项概念的关系时，矛盾关系的推理可以有上面八种有效式。 1·4根据差等关系进行的推理 （1）A真推I真：SAP真，S对P而言只可能存在全同、真包含于关系，SIP真。 （2）I真A真假不定：SIP真，S对P而言可能存在全同、真包含于、真包含、交叉关系；S对P而言是全同、真包含于关系时，SAP真。 （3）E真推O真；SEP真，S对P而言只可能存在全异关系，SOP真。 （4）O真E真假不定：SOP真，S对P而言只可能存在真包含、交叉、全异关系；S对P而言是真包含、交叉关系时，SEP假，S对P而言是全异关系时，SEP真。 （5）A假I真假不定：SAP假，S对P而言可能存在真包含、交叉、全异关系；S对P而言是真包含、交叉关系时，SIP真，S对P而言是全异关系时，SIP假。 （6）I假推A假：SIP假，S对P而言只可能存在全异关系，SAP假。 （7）E假O真假不定：SEP假，S对P而言只可能存在全同、真包含于、真包含、交叉关系；S对P而言是全同、真包含于关系时，SOP假，S对P而言是真包含、交叉关系时，SOP真。 （8）O假推E假：SOP假，S对P而言只可能存在全同、真包含于关系，SEP假。 当我们不清楚性质判断中主项概念与谓项概念的关系时，差等关系的推理可以有四种有效式： ①A真推I真：SAP→SIP真 ②E真推O真：SEP→SOP真 ③I假推A假：SIP假→SAP假 ④O假推E假：SOP假→SEP假 2 性质判段的妙用——验证几个三段论有效式 2·1三段论第一格AII式的验证 证明：前提SIM中，令有的s是sl，则SIM变为S1AM, 前提MAP/SIM推结论就变成了由前提MAP/S1AM，因为AAA是有效式，所以S1AP，将S1还原为有的s，S1AP就是SIP，AII式是第一格的一个有效式。 2·2SEP→PES→POS 有的p可理解为所有的p中对象的任意部分对象，推理 过程可理解为s可否定全部的p，那么s也可否定任意的部分P。利用这一点可较简单地验证多个三段论的有效式：三段论第二格的AEE、AOO、EAE、EIO式和第四格的EIO式。 （1）三段论第二格的AEE式的验证 前提PAM/SEM，因为S可全否定全部的m，而p是全部的m或部分m，所以s可否定全部的p，SEP真，AEE是有效式。 （2）三段论第二格的AOO式的验证 前提PAM/SOM，令有的s是sl，则S1EM，结合前提PAM知S1EP，将S1还原为有的s，S1EP就是SOP,AOO是第二格的一个有效式。 （3）三段论第二格的EAE式的验证 前提PEM/SAM，p可否定全部的m，它就否定m中全部s，即SEP真，EAE式是第二格的一个有效式。 （4）三段论第二格的EIO式的验证 前提PEM/SIM，p可否定全部的m，它就否定m中部分s，即SOP真，EIO式是第二格的一个有效式（三段论第四格的EIO式的验证思路也一样）。 参考文献 【1】 刘瑜明，公文写作中判断不当的理解错误【J】，阅读与写作，2011（04）;35-36， 【2】 康瑞祥，阅读理解推理判断题得分技巧【J】，新校园；学习版，2011（5）;43-44. |
|
|
