第三章：高维真值空间T的三种非经典态 深化：定义真值间隙、溢出、未定态

作者：张苏杭 河南洛阳

摘要

本文是《排中律的几何起源》系列的第三篇，核心任务是深化高维“或”态的逻辑结构，明确定义高维真值空间\mathcal{T}及其三种非经典状态：真值间隙、真值溢出、未定态。在经典二值逻辑中，真值仅取\{0,1\}，而高维真值空间\mathcal{T}允许命题与其否定共存、真值未锁定、甚至真值未定义。本文严格论证：这三种非经典态是排中律在高维失效的具体表现，也是投影映射\Pi需要“强制锁定”的根本原因。本章为后续的投影机制与二值化过程提供了精确的语义基础。

关键词：高维真值空间；真值间隙；真值溢出；未定态；排中律；MOC几何

一、引言

在系列第二篇中，我们建立了高维“或”态的基本概念：命题P与其否定\neg P可以共存，真值未锁定，排中律不必然成立。然而，“共存”并非单一状态。高维本源层的真值结构远比经典二值丰富，也远比简单的“亦此亦彼”复杂。

为了精确描述这一结构，本文引入高维真值空间\mathcal{T}，并从中识别出三种具有典型意义的非经典状态：

- 真值间隙（Truth-value Gap）：P与\neg P皆假，即两者都不成立。
- 真值溢出（Truth-value Glut）：P与\neg P皆真，即两者同时成立。
- 未定态（Indeterminate State）：P与\neg P的真值尚未确定，处于演化或未定义中。

这三种状态无法在经典二值逻辑框架内表达，却是高维“或”态的常态。理解它们，是理解为何投影映射\Pi必须“强制二值化”的关键。

二、高维真值空间\boldsymbol{\mathcal{T}}的定义

2.1 从经典真值到高维真值

经典二值真值集合为\{0,1\}，其中0表示假，1表示真。高维真值空间\mathcal{T}是对\{0,1\}的拓展，其元素不是单一的真值，而是真值赋值对或真值状态向量。

定义
\mathcal{T} = \{ (v(P), v(\neg P)) \mid P \in \mathcal{P} \}
其中\mathcal{P}为命题集合，v(P)和v(\neg P)的取值可以超出\{0,1\}，允许取第三值或未定义符号。

为简化论述，本文引入三个特殊符号：

- 0：假
- 1：真
- \bot：未定义/未确定

据此，高维真值空间\mathcal{T}至少包含以下可能状态（非穷举）：
\mathcal{T} \supseteq \{ (0,0),\ (1,1),\ (\bot,\bot),\ (0,\bot),\ (1,\bot),\ (\bot,0),\ (\bot,1),\ (0,1),\ (1,0) \}

其中(0,1)和(1,0)对应于经典二值逻辑的赋值；其余状态在经典逻辑中均被排除。

2.2 高维真值空间的拓扑解释

从MOC几何视角，高维真值空间对应于高维本源层的逻辑影子。在该层中，空间结构处于未剖分、未投影状态，因此命题的真值尚未被“切割”为互斥的两个区域。\mathcal{T}的丰富性正是高维几何结构的逻辑映射。

三、三种非经典态的精确定义

3.1 真值间隙（Truth-value Gap）

定义：命题P与其否定\neg P同时为假，即：
v(P) = 0,\quad v(\neg P) = 0
记作\text{Gap}(P)。

解释：P既不真也不假。这不是经典逻辑中的“未知”（未知仍可二值化），而是真值缺席——命题处于真值空间的“空洞”中。

示例（MOC语境）：在高维本源层中，一个尚未投影的命题可能尚未获得任何确定性。例如“该离散基元位于原点左侧”——在没有建立坐标轴之前，该命题既不为真也不为假。

对排中律的影响
经典排中律P \lor \neg P要求析取式中至少一个支命题为真。
在真值间隙条件下，v(P \lor \neg P) = \max(0,0) = 0，析取结果为假，排中律不再成立。

3.2 真值溢出（Truth-value Glut）

定义：命题P与其否定\neg P同时为真，即：
v(P) = 1,\quad v(\neg P) = 1
记作\text{Glut}(P)。

解释：P既真又假。这不是矛盾律所禁止的“爆炸性矛盾”，而是高维共存态的另一种表现——两种真值同时“在场”。

示例（MOC语境）：在高维“或”态中，P与\neg P可以共存而不冲突。例如“该点在A区域且不在A区域”——在经典几何中不可能，但在高维未投影空间中，点的位置尚未被唯一确定，两种描述可以同时成立。

对排中律的影响
代入运算可得 v(P \lor \neg P) = \max(1,1) = 1，析取式取值为真。
但此处的“真”并非经典意义上的“二者必居其一”，而是“两者都居”。排中律虽在真值层面成立，但其语义已经变质，不再具备经典逻辑内涵，仅为平凡成立。

3.3 未定态（Indeterminate State）

定义：命题P与\neg P的真值尚未确定，处于未定义状态：
v(P) = \bot,\quad v(\neg P) = \bot
记作\text{Indet}(P)。

解释：与真值间隙不同，未定态不是“假”，而是尚未获得真值。它对应于递归演化中尚未完成投影的中间阶段。

示例（MOC语境）：在递归层级中，一个命题可能正在从高维向低维过渡，尚未“靴子落地”。例如，在粗粒化过程中，多个离散基元正在合并，但尚未形成明确的连续点——此时任何关于该点的命题都处于未定态。

对排中律的影响
排中律P \lor \neg P生效的前提是命题拥有确定真值。当真值未定义时，排中律既不成立也不被否定，整体处于悬置状态。这表明排中律的有效性，建立在真值完成分配的基础之上。

四、三种非经典态的性质与相互关系

4.1 真值表汇总

表1 各类逻辑状态真值及排中律有效性

状态       排中律是否成立
经典真 1 0 1 成立
经典假 0 1 1 成立
真值间隙 0 0 0 不成立
真值溢出 1 1 1 平凡成立（语义变质）
未定态       悬置（无意义）

4.2 三者之间的转换关系

在高维本源层中，这三种状态可以共存且相互转换，变化趋势由递归层级、观测尺度与投影程度决定：

- 随着系统向低维投影，真值间隙可能被“填充”为经典真或假；
- 真值溢出在投影过程中被强制选择单一真值，完成矛盾消解；
- 未定态随投影流程收尾，逐步获得确定真值。

上述转换规律，为下一章研究投影映射\Pi提供了直接的逻辑对象与研究基础。

五、与经典逻辑及其他非经典逻辑的对比

表2 不同逻辑体系对非经典状态的容纳情况

逻辑体系 是否允许真值间隙 是否允许真值溢出 是否允许未定态
经典二值逻辑 否 否 否
直觉主义逻辑 是（但解释不同） 否 否
次协调逻辑 否 是（但处理爆炸） 否
三值多值逻辑 是（第三值为未定） 否 是（不区分间隙与未定）
MOC高维真值空间 是（真值缺席） 是（共存溢出） 是（演化未定义）

现有非经典逻辑大多仅针对某一类特殊真值状态单独建模，而MOC框架将真值间隙、溢出、未定态统一纳入几何投影模型，同时解释三类状态的内在联系与转换规则，这是本体系区别于其他逻辑理论的核心特征。

六、结论

本文完成了《排中律的几何起源》系列第三篇的核心内容梳理与论证，主要成果如下：

1. 定义高维真值空间\mathcal{T}：作为经典二值集合\{0,1\}的拓展，空间以(v(P),v(\neg P))为基本单元，并引入未定义符号\bot完善取值体系。
2. 精确定义三种非经典态：真值间隙对应(0,0)，二者皆假，排中律失效；真值溢出对应(1,1)，二者皆真，排中律仅形式成立、语义异化；未定态对应(\bot,\bot)，真值未定义，排中律被悬置。
3. 揭示状态转换关系：三类非经典态是高维本源层的常态，在投影映射\Pi的作用下，会逐步向经典二值态转化。
4. 铺垫后续研究：投影映射\Pi的“强制锁定”功能，本质就是消除真值间隙、消解真值溢出、填补未定态，最终在低维空间中重建排中律。

高维真值空间的三种非经典态，是逻辑学拓展至高维空间后呈现的自然形态，并非理论缺陷。经典排中律并非先天普适的逻辑法则，而是空间完成降维投影之后形成的低维规则。理清三类非经典态的特征与规律，是探明排中律几何起源的关键一步。

参考文献

[1] 张苏杭. 排中律的几何起源：第2章 高维“或”态[R]. 预印本, 2026.
[2] 张苏杭. MOC多原点几何逻辑框架的基础公理体系[R]. 预印本, 2026.
[3] Kripke S. Outline of a theory of truth[J]. Journal of Philosophy, 1975.
[4] Priest G. What is so bad about contradictions?[J]. Journal of Philosophy, 1998.