矛盾律

矛盾律
术语名称	矛盾律
英语名称	law of non-contradiction
别名	不矛盾律, 无矛盾律, law of contradiction, principle of non-contradiction, principle of contradiction, LNC, PNC

矛盾律(law of non-contradiction ，或 law of contradiction)是古典逻辑三大基本规律之一，指不能同时接受一个命题及其否命题，或者说不能接受一个命题既真又假，或者说一个 [math]\displaystyle{ A }[/math] 不能同时是非 [math]\displaystyle{ A }[/math] ，即“A 必不非 A”。

定理

永真式 [math]\displaystyle{ \vDash \lnot (P \land \lnot P) }[/math] 称为矛盾律(law of non-contradiction)，简写为 LNC 。 其中 [math]\displaystyle{ P }[/math] 和 [math]\displaystyle{ \lnot P }[/math] 称为一对矛盾(contradiction)。

在谓词逻辑中，矛盾律表现为： [math]\displaystyle{ \vDash \forall x \lnot (P(x) \land \lnot P(x)) }[/math] 。

常见等价形式包括：

• [math]\displaystyle{ \vDash (P \land \lnot P) \rightarrow \bot }[/math]
• [math]\displaystyle{ \vDash \lnot P \rightarrow P \rightarrow \bot }[/math]

意义

• 在自然演绎系统中，矛盾律常作为基本推理规则或定理出现，或者以爆炸原理的形式作为定理出现。
• 在 Hilbert 系统中，矛盾律通常作为一个重要的公理或定理。
• 矛盾律与同一律、排中律共同构成古典逻辑三大基本规律。在古典逻辑中：
  • 它确保了逻辑的一致性，即系统内不能包含逻辑矛盾；
  • 它为爆炸原理提供了逻辑基础；
  • 它是理性思维的基本前提，被认为是所有逻辑系统中最不可置疑的原则。
• 从理论系统中发现矛盾，即悖论，往往意味着理论系统的一致性缺陷。

非经典逻辑中的情况

• 直觉主义逻辑接受矛盾律，认为矛盾律比排中律更为基本。
• 多值逻辑，矛盾律通常以修正的形式成立；但 [math]\displaystyle{ P \land \lnot P }[/math] 本身可能取真假以外的其他值。
• 模糊逻辑中矛盾律不绝对成立，因为真值度连续变化。

其他表述

矛盾律的表述仅要求两个命题互为否定，可以扩展到命题逻辑外的逻辑领域中，并替换为一对互为否定的命题：

• 模态命题：不能既必然 A 又可能非 A ；不能既可能 A 又必然非 A 。
• 直言命题中的 A 与 O 、 E 与 I ：不能既所有 x 都具有性质 p 又有的 x 不具有性质 p ；不能既所有 x 都不具有性质 p 又有的 x 具有性质 p 。
• 直言命题中的单称命题：某个 x 不能既具有 p 又不具有 p 。即对一个个体词 [math]\displaystyle{ x }[/math] 及描述性质的谓词 [math]\displaystyle{ p }[/math] ，这一个体不能既具有这一性质（即命题 [math]\displaystyle{ p(x) }[/math] ）又不具有这一性质（即命题 [math]\displaystyle{ \lnot p(x) }[/math] ）。