排中律

旧称“拒中律”、“不容间位律”。形式逻辑的基本规律之一。基本内容是：在同一思维论断过程中，对同一个对象两个互相矛盾的思想来说，不可能都是假的，必定有一个是真的，没有第三种可能。例如，“实践是检验真理的唯一标准”和“实践不是检验真理的唯一标准”，这是一对矛盾判断，两者不能同假，其中必有一真。公式是：或者A或者非A。“A”和“非A”必须是一对互相矛盾的判断；二者必择其一，以保证思想有明确的内容，因此，排中律是关于思想明确性的规律。如果含混其词，既不肯定这个，又不肯定那个，就犯了“模棱两可”的逻辑错误。这一逻辑规律，由亚里士多德最先提出：“在矛盾的叙述之间不可能有中间的存在”(《形而上学》)。中国《墨经·经上》：“辩，争彼也。”“彼，不可两不可也。”又：“辩，或谓之牛，或谓之非牛，是争彼也。”