改换一个性质判断的主项和谓项的位置以推出一个新判断的直接推理。
其规则是:(1)联项不变。
(2)前提中不周延的概念,在结论中不得周延。
如由“所有的金属都是元素”推出“有些元素是金属”。
直接推理是日常语言和亚里士多德的词项逻辑中常见的基本推理形式。
不同于从两个直言命题得出一个直言命题的直言三段论,它从一个直言命题得出另一个直言命题,所以被称为是直接的。
在传统逻辑中主要有换质法(Obversion)、换位法(Conversion)和对置法(Contraposition)。
直言命题的四种类型的谓词逻辑表示: 全称肯定命题(A):,所有S都是P 全称否定命题(E):,所有S都不是P 特称肯定命题(I):,有些S是P 特称否定命题(O):,有些S不是P 依据全称量词和存在量词之间的对偶关系(对立四边形中矛盾关系)可以直接得出: 全称肯定命题(A):,没有S不是P 全称否定命题(E):,没有S是P 特称肯定命题(I):,并非所有S都不是P 特称否定命题(O):,并非所有S都是P 假定了主词对应的范畴确有个体存在之后(从对立四边形中的反对关系)可得出: 全称肯定命题(A)蕴涵否定全称否定命题(I):,并非所有S都不是P(假定某个S的存在性) 全称否定命题(E)蕴涵否定全称肯定命题(O):,并非所有S都是P(假定某个S的存在性) 换位法对调主词和谓词的位置(采用谓词逻辑就没有了传统的 全称肯定命题(A)蕴涵特称肯定命题(I):,有性) 全称否定命题(E):,所有P都不是S 特称肯定命题(I):,有些P是S 换质法否定谓词本身而改变命题的性质 全称肯定命题(A)变):,所有S都不是非P 全称否定命题(E)变为全称肯定命题(A): 特称肯定命题(I)变为特称否定命题(O):,有些S 特称否定命题(O)变为特称肯定P 对置法是换质后换位: 全称肯定命题(A)变为全称否定命题(E 全称否定命题(E)蕴涵特称肯定命题(I):,有些非P是S(假定某个S的存在性) 特称否定命题(O)变为特称肯P是S 对置后再换质叫反对置法(Obverted Contraposition): 全称肯定命题(A)变为全称肯定命题(A):,所有非P都是非S 全称否定命题(E)蕴涵特称否定命题(O):,有些非P不是非S(假定某个S的存在性) 特称否定命题(O)变为特称否定命题(O):,有些非P不是非S 换位法:通过交换前提的主、谓项的位置从而推出结论的直接推理方法。
规则:1、结论和前提的质相同,即如果前提肯定,则结论也肯定,如前提否定,则结论否定,2、结论的主项和谓项,分别是前提的谓项和主项,3、前提中不周延的概念,到结论中不得周延。
推理形式:SAP
PIS,SEP
PES,SIP
PIS。
O判断不能换位,因为O判断的主项是不周延的,如果换位,前提中的O判断的主项作为结论中否定判断的谓项就是周延的,这样违反了前提中不周延的概念到结论中不得周延的规则。
内容来自网友回答
存在量词和特称命题