直接推理
直接推理(immediate inference),是日常语言和亚里士多德的词项逻辑中常见的基本推理形式。不同于从两个直言命题得出一个直言命题的直言三段论,它从一个直言命题得出另一个直言命题,所以被称为是直接的[1] 。在传统逻辑中主要有换质法(Obversion)、换位法(Conversion)、对置法(Contraposition)和反对置法(Obverted 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):
。 - 全称否定命题(E),在主词对应的范畴确有个体存在的条件下,蕴涵特称否定命题(O):
。
全称肯定命题蕴涵特称肯定命题,在亚里士多德《前分析篇》中用于建立特定的三段论形式,即AAI-3和EAO-3。
蕴涵关系和对偶关系,将全称命题之间的反对关系体现为:
- 如果全称肯定命题(A)为真,并且主词对应的范畴确有个体存在,则全称否定命题(E)为假:。
- 如果全称否定命题(E)为真,并且主词对应的范畴确有个体存在,则全称肯定命题(A)为假:。
还确立了特称命题之间的下反对关系:
- 如果特称肯定命题(I)为假,并且主词对应的范畴确有个体存在,则特称否定命题(O)为真:。
- 如果特称否定命题(O)为假,并且主词对应的范畴确有个体存在,则特称肯定命题(I)为真:。
在主词对应的范畴没有个体存在之时:全称肯定命题(A)和全称否定命题(E)都为真;主词非空的前提为假,它与这两个全称命题的合取都为假;特称肯定命题(I)和特称否定命题(O)都为假。在主词对应的范畴有1个个体存在之时:要么全称肯定命题(A)和特称肯定命题(I)都为真,而全称否定命题(E)和特称否定命题(O)都为假;要么全称肯定命题(A)和特称肯定命题(I)都为假,而全称否定命题(E)和特称否定命题(O)都为真。随着这个范畴中个体数量增加,可能保持这种并立状态,也可能转变并保持为:全称肯定命题(A)和全称否定命题(E)都为假,特称肯定命题(I)和特称否定命题(O)都为真。
换位法
[编辑]换位法对调主词和谓词的位置:
- 全称肯定命题(A),在主词对应的范畴确有个体存在的条件下,蕴涵特称肯定命题(I):,有些P是S(假定了某些S的存在)。
- 全称否定命题(E):,所有P不是S。
- 特称肯定命题(I):,有些P是S。
换质法
[编辑]换质法否定谓词本身而改变命题的性质,这里有:
- 全称肯定命题(A)变为全称否定命题(E):,所有S不是非P。
- 全称否定命题(E)变为全称肯定命题(A):,所有S是非P。
- 特称肯定命题(I)变为特称否定命题(O):,有些S不是非P。
- 特称否定命题(O)变为特称肯定命题(I):,有些S是非P。
对置法
[编辑]对置法是换质后再换位:
- 全称肯定命题(A),变为全称否定命题(E):,所有非P不是S。
- 全称否定命题(E),在主词对应的范畴确有个体存在的条件下,蕴涵特称肯定命题(I):,有些非P是S(假定了某些S的存在)。
- 特称否定命题(O),变为特称肯定命题(I):,有些非P是S。
特称肯定命题(I)换质为特称否定命题(O)后不能换位。对置全称肯定命题(A)和对置特称否定命题(O),可以分别是三段论形式AOO-2和OAO-3的推导中的起始步骤。
反对置法
[编辑]反对置法是对置后再换质:
- 全称肯定命题(A),变为全称肯定命题(A):,所有非P是非S。
- 全称否定命题(E),在主词对应的范畴确有个体存在的条件下,蕴涵特称否定命题(O):,有些非P不是非S(假定了某些S的存在)。
- 特称否定命题(O),变为特称否定命题(O):,有些非P不是非S。
参见
[编辑]引用
[编辑]- ^ Churchill, Robert Paul. Logic: An Introduction 2nd. New York: St. Martin's Press. 1990: 162. ISBN 0-312-02353-7. OCLC 21216829.
Immediate inference is the assumption, without intervening—or 'mediating'—premises, that because one categorical statement is true (or false), a logically equivalent categorical statement must also be true (or false).