矛盾律

或称不矛盾律。传统逻辑基本规律之一。通常就表达“A不是非A”或“A不能既是B又不是B”。传统逻辑中的矛盾律有4方面的含义。①事物规律：任一事物不能同时既具有某属性又不具有该属性。②思维规律：任一命题不能既真又假。这就是说任何包含逻辑矛盾“p并且不p”的思想总是假的。所以思想的无矛盾性(不包含逻辑矛盾)是正确思维不可缺少的条件，无矛盾性也是构造一个理论体系的重要原则之一。③认识的规范：任何人不应同时断定一个命题及其否定。这就是说，对一个命题及其否定不应持两可之说，以免自相矛盾。④语义规则：在同一语境中，同一语词或语句不应既表达某一思想又不表达某一思想。后两种含义也叫做矛盾律的要求。矛盾律是亚里士多德最早指出来的。在现代逻辑中，(p∧p)是命题逻辑的矛盾律；x(F(x)∧F(x))是一阶谓词逻辑中的矛盾律；A∩A′=是关于集合的矛盾律。(p∧p)不是多值逻辑的定理，但多值逻辑的元逻辑仍不允许A和“并非A”都成立。