| 排中律 law of excluded middle 旧称“拒中律”、“不容间位律”。传统形式逻辑的基本规律之一。其内容是：在同一思维过程中，两个互相矛盾的思想不可能都是假的，其中必有一个是真的。在欧洲逻辑史上，亚里士多德最早明确表述了排中律的基本内容。他指出：“在相反叙述之间也不能有间体，于一个主题我们必须肯定或否定一个云谓。”(《形而上学》)“两个相反显然不能同时都真，——另一方面，也不能一切叙述都是假的。”(同上)排中律的基本内容可以用公式表示为：A或者A(或A∨A)。其中符号“”表示否定，“∨”表示析取，A表示任何一个判断。例如，“所有的金属都是固体”和“有些金属不是固体”是具有矛盾关系的两个判断，两者不可能同时都是假的，其中必有一个是真的，此外，不存在第三种可能，排中律也因此而得名。排中律的逻辑要求是：在两个互相矛盾的判断中必须肯定其中之一为真，不能对两者同时都加以否定，即不能对同一对象(是否具有某种性质或关系)既不肯定，又不否定。遵守排中律的逻辑要求，可以消除思维的不确定性，保证思维的明确性。如果违反排中律的逻辑要求，就会犯“模棱两可”的逻辑错误。排中律只是要求在两个互相矛盾的思想中排除中间的可能性，即要求在两者之中必须承认有一个是真的。如果客观事物确实存在第三种可能性，两个判断不是互相矛盾的判断，那么，就不能以排中律为根据而要求承认其中之一必然是真的。因此，在现代的非二值逻辑即多值逻辑中，表示排中律的公式“A∨A”就失去其作用而不被看作是逻辑规律和普遍有效的规定。此外，数理逻辑中的直觉主义也否定排中律的普遍应用，而认为排中律只能运用于“有限集”。比如，设命题A为R(n)，A当然即R(n)，其中n为任意的自然数。对非递归的谓词R(n)来说，排中律是不能成立的。 |