谈谈矛盾律和排中律中的“矛盾”

谈谈矛盾律和排中律中的“矛盾”

“矛盾”这个词在日常生活中非常常见，但在逻辑学里，矛盾律与排中律中的“矛盾”是一个有着严格含义的技术概念。理解它，关键在于：逻辑里的讨论不是“对立/冲突”这么简单，而是关于命题真假如何被规则约束的讨论。

简单地说：

1.日常矛盾：更多是冲突或对立，不必非此即彼。

2.严格矛盾（经典逻辑）：P 与 ¬P——既不能同真，也不能同假。

3.矛盾律与排中律的区别：

· 矛盾律：强调“不能同真”（典型对象：严格矛盾）

· 排中律：强调“不能同假”（典型对象：严格矛盾，体现在 P∨¬P）

一、日常“矛盾”：更多是“冲突或对立”

在日常语言中，我们说“他俩意见矛盾”“这件事很矛盾”，通常只是指：

· 有冲突、有分歧、互不相容（但并不必然意味着非此即彼）

· 可能是一种张力，也可能在某些条件下互相不兼容

例如，“这辆车很贵”和“这辆车很省油”在现实里并不互相排斥，它们可能同时是真的，并不构成严格意义上的“非此即彼”。

所以，日常“矛盾”是宽泛的：只要不一样、对着干，就可能被叫作矛盾。但它和逻辑中技术性的“矛盾”并不是一回事。

二、经典逻辑中最严格的“矛盾”：严格矛盾（contradictories）

在经典逻辑里，“矛盾”通常指更严格的情形——严格矛盾（也常叫“互为矛盾的命题”）。

当我们有一个命题 P，它的否定是 ¬P。如果在经典逻辑的语义设定下：

一方断言 P，另一方断言 ¬P

那么它们的真假安排是非常强的：不可能同真，也不可能同假。也就是：必有一真一假。

严格矛盾之间有两个重要点同时成立：

1.不能同真：¬(P∧¬P)

2.不能同假：P∨¬P

这正是矛盾律与排中律所围绕的核心。

需要说明的是：上述严格矛盾关系是现代经典逻辑的核心处理对象。而在传统逻辑（如逻辑正方形）的框架下，还会讨论另一种关系——反对关系，我们将在下文说明。

三、矛盾律（Principle of Non-Contradiction）：不能同真

1）核心要求

矛盾律的核心要求是：

两个命题不能同时为真。

最典型地，它针对严格矛盾关系 P 与 ¬P。形式化写作：

¬(P∧¬P)

你可以把它理解成一个基本约束：同一件事不可能在经典真值意义下既“被断言为真”又“被断言为假”。

2）它和“反对关系”的关系：也不能同真，但不保证“必有一真”

在一些传统逻辑框架（例如命题正方形的讨论）里，还会出现一种关系叫反对（contraries）。反对关系的两命题往往有一个共同特点：

不能同真（满足矛盾律所体现的“不能同真”这一半）

例如（用命题正方形的直觉类比）：

·“所有 S 都是 P”

·“所有 S 都不是 P”

这两个命题在经典解释下不可能同时为真。

但是，反对关系通常还有一个区别点：

它们可以同时为假

（比如：S 的集合里既有 P，也有非 P。）

因此，反对关系确实符合“矛盾律强调的不能同真”，但它不满足“必有一真、必有一真一假”那种更强的排中式结论。

小结：矛盾律最典型地对应严格矛盾，其核心是“不能同真”。反对关系虽然也满足“不能同真”，但它不属于严格矛盾，不在后面介绍的排中律的管辖范围内。

四、排中律（Principle of Excluded Middle）：不能同假

1）核心要求

排中律的核心要求是：

两个命题不能同时为假。

在经典逻辑中，它针对的是命题与其否定的严格矛盾关系：PP 与 ¬P¬P。因此经典逻辑接受：

P∨¬P

这就意味着：

不可能“既不承认 P 为真，也不承认 ¬P 为真”，所以必有一方为真

2）为什么反对关系不在排中律的强约束里？

还是以“反对关系”为例：反对命题可以同时为假。

当它们都可能为假时，就意味着它们并不满足排中律所要求的“不能同假”。

小结：排中律的强约束是“不能同假”，通常只在严格矛盾（PP 与 ¬P¬P）的语境下成立。

五、示例说明

用两个“小例子”把关键点彻底落地：一个用日常天气例子解释 矛盾律、排中律，另一个用逻辑正方形的“反对关系”解释为什么它们“不仅不必一真一假”。

例子1：天气——严格矛盾下的矛盾律与排中律

令命题：

· P：今天下雨

· ¬P：今天不下雨

在经典逻辑里，P 和 ¬P 是严格矛盾（严格互为矛盾），因此必满足：

（1）矛盾律：不能同真

“今天下雨”为真，就不可能同时“今天不下雨”为真。

也就是说：

¬(P∧¬P)

同真（同时下雨且不下雨）不可能。

（2）排中律：不能同假

如果“今天下雨”为假，意味着它不是“下雨”。那么“今天不下雨”就必须为真。

同样，“今天下雨”和“今天不下雨”不可能同时为假。即：

P∨¬P

至少有一个是真的。

用一句话总结：

严格矛盾保证“一真一假”。

例子2：逻辑正方形——反对关系：不能同真，但可以同假

现在用传统命题正方形中的量化命题直觉（为方便起见，用常见的人话解释）。以“所有/没有/有些”来构造 S 与 P：

设：

· S：所有学生

· P：某个性质（比如“很认真”）

考虑下面两句（这对就是反对关系）：

· A：所有 S 都是 P（所有学生都很认真）

· E：所有 S 都不是 P（没有学生很认真 / 所有学生都不很认真）

（1）为什么它们不能同真？（对应矛盾律的“不能同真”半边）

若 A 为真：每个学生都很认真。

那么 E 不可能也为真：E 要求每个学生都不很认真。

因此 A 与 E 不可能同时为真。

（2）为什么它们可以同假？（所以它们不满足排中律那种强结论）

“可以同假”意味着：既不是“所有都很认真”，也不是“所有都不很认真”。

这完全可能发生：

· 有的学生很认真（使“不是所有都不认真”）

· 也有的学生不够认真（使“不是所有都认真”）

于是：

· A 为假：因为并非每个人都很认真（至少有一个不很认真）

· E 为假：因为并非每个人都不很认真（至少有一个很认真）

所以反对关系满足：

不能同真 ，但 可以同假（这正是它“不属于排中律所要求的那种严格互补”的原因）

用一句话总结：

反对关系满足“不能同真”，但不保证“必有一真”。

由此可见，反对关系只满足矛盾律的“不能同真”，却不满足排中律的“不能同假”。这正是矛盾律与排中律在适用范围上的关键区别。

附录、逻辑方阵（Logical Square）解说 https://blog.csdn.net/cnds123/article/details/153330688