核心方程
~6 分钟 · 2,045 字
核心方程
以下是明在哲学数学形式化中最核心的方程的简要预览，不是全部。它们不是理解本书的必要条件：对数学不感兴趣的读者可以安全地跳过本节，直接进入正文，不会影响阅读体验。本书的哲学论证完全以自然语言展开，数学只是为追求精确表述的读者提供的一个平行视角。
每条方程旁附简要的符号说明。完整的形式化定义见后续各节；正文中的对应定义或定理由旁注标签指引。
明在哲学四律
四条定律浓缩了整个明在哲学框架，每一条对应一个哲学层次：第零律对应本体论（实在是什么），第一律对应认识论（认知的边界在哪里），第二律对应体验论（第一人称体验不可还原），第三律对应政治哲学（清醒必须是集体的）。编号致敬热力学定律，逻辑上层层递进：先有实在，再有认知的边界，再有体验的不可替代，最后有集体清醒的不可或缺。四这个数来自这一致敬，并非框架层次数的推论：伦理（第§VI章的四条桥接公理）、情感、实践与文明诸层都不在这四条之内。四律是选出来的骨架，而非穷尽的清单。
实在是统一基底，有不可分离的两面：可形式化的理与不可言说的玄。
\[\text{实在} = \bigl(\Omega,\; \mathcal{F},\; \mathcal{P}(\Omega) \setminus \mathcal{F}\bigr) \quad\text{且}\quad \mathcal{F} \subsetneq \mathcal{P}(\Omega)\]
此处的「\(=\)」是建模缩略：以该形式结构代表实在的可理解骨架，并非同一性断言；下文「本体论基础」中的五元组同理。
任何有限能动者都无法达到完全清醒；认知的边界本身是需要被认知的事物之一。
\[\forall\, a \in A:\; 0 < \mathcal{M}(a,t) < 1\]
每个能动者的第一人称体验是不可还原的，再多的信息也无法替代存在本身。
\[\nexists\; f\colon \mathcal{D} \to \mathbb{R}_{\geq 0}^k \quad \text{使得 } f \text{ 可计算且 } \forall a:\; f(D(a)) = \mathcal{E}(a)\]
没有能动者能独自持续清醒；集体清醒通过互动涌现，需要制度性体现才能持久。
\[\mathcal{M}_{\text{集体}} = \Psi\!\bigl(\mathcal{M}_1, \ldots, \mathcal{M}_n;\; \{\beta_{ij}\}\bigr)\]
本体论基础
实在的形式结构（D1）
实在并非一个「东西」。以下五元组是它的一个模型，捕捉的是它的可理解骨架，而非它自身的完整结构（B.1.1）。 \[\text{实在} = (\Omega,\; \mathcal{F},\; \mu,\; \tau,\; U)\]
双面性不等式（公设三）
实在不可被完全理解：理有边界，边界之外即是玄。 \[\mathcal{F} \subsetneq \mathcal{P}(\Omega)\]
自因性不动点（公设一）
实在不需要外在原因。它是自身展开算子的不动点。这比斯宾诺莎的causa sui弱：不动点刻画的是结构上的自洽，并非形而上学的必然性（B.1.1）。 \[U(\Omega) = \Omega\]
涌现定理（T2）
整体不可被还原为部分：展开模式的拓扑不等于分量拓扑的直积。 \[\tau_{\mathcal{U}} \neq \tau_1 \otimes \tau_2 \otimes \cdots \otimes \tau_n\]
明度数学
明度的双面性积（D5）
明是两种觉察的乘积：理解可理解之物，同时敬畏不可言说之物。任何一种为零，明即为零。 \[\mathcal{M}(a) = \lambda(a) \cdot \xi(a)\]
遮蔽（D6）
你看不见的部分。遮蔽是明的补数。 \[O(a) = 1 - \mathcal{M}(a)\]
边界定理（T1）
全书最重要的定理。完全清醒不可达，完全遮蔽也不可达。有限存在者永在开区间内。 \[\forall\, a \in A: \quad 0 < \mathcal{M}(a) < 1\]
明度梯度
梯度的较大分量始终对应较弱的维度：边际回报在最薄弱处最高。这给出的是方向，选择清醒本身则由桥接公理E4给出。 \[\nabla\mathcal{M} = (\xi,\; \lambda)\]
四模态主方程（B.15）
理的四种基本模式（耗散、梯度、选择、反馈）合并为一个描述明度随时间演化的主方程。每种模式恰好贡献一个数学因子。 \[\frac{d\mathcal{M}}{dt} = \underbrace{\alpha\mathcal{M}}_{\text{反馈}} \cdot \underbrace{(1-\mathcal{M})}_{\text{选择}} \cdot \underbrace{\sin(2\theta)}_{\text{梯度}} \;-\; \underbrace{\gamma\mathcal{M}}_{\text{耗散}}\]
认识论
认知有限性（公设六）
双重有界。每个能动者可及的结构严格小于理的全体，理本身又严格小于实在全体。 \[\forall\, a \in A: \quad \mathcal{F}_a \subsetneq \mathcal{F} \subsetneq \mathcal{P}(\Omega)\]
理解度序列（T3推论）
射程永远可以更大：每一层级皆可达，但其上确界 \(\lambda^*\) 不可达。这道序列攀升的只是 \(\lambda\)；明度 \(\mathcal{M} = \lambda \cdot \xi\) 是另一个量（见 B.9）。 \[\lambda_1 < \lambda_2 < \lambda_3 < \cdots < \lambda^*\]
信息与熵
香农熵
不确定性的信息论度量。 \[H(X) = -\sum_{i=1}^{n} P(x_i) \log_2 P(x_i)\]
玻尔兹曼熵
不确定性的热力学度量：微观态数越多，熵越大。 \[S = k_B \ln W\]
体验
体验不可还原性（公设五）
从完备的第三人称物理描述到第一人称现象体验，不存在可计算的映射：再完备的描述也无法替代身处其中。这是框架对qualia所取的哲学立场，它不裁决意识神经科学内部的理论之争（§XIX）。 \[\nexists\; f: \mathcal{D} \to \mathbb{R}_{\geq 0}^k \quad \text{使得 } f \text{ 可计算且 } \forall a:\; f(D(a)) = \mathcal{E}(a)\]
本附录为主文本中以自然语言表述的概念提供数学形式化。它是可选的：跳过本附录不影响对明在哲学的理解。但对于那些与格者（Logonaut）一样热爱精确表述的读者，本附录揭示了明在哲学概念背后的数学结构，以及这些结构的哲学意味。
每一节包含三个部分：数学定义、明在哲学解读、哲学意涵。
阅读指南。 本附录是模块化的。如果你熟悉基本微积分和概率论：可以通读全文。如果你熟悉代数但不熟悉微积分：跳过B.3、B.5、B.13–B.16；其余各节只使用集合论、逻辑和离散数学。如果你是哲学读者，没有数学背景：阅读B.1（本体论基础）、B.9（哥德尔与认知极限）、B.11（伦理交互的博弈论）和B.12（实践练习）。这些节在最低限度的数学前提下即可理解。
关于内容类型。本附录包含三种不同性质的材料，区分它们对阅读很重要：
独立数学结果：在所选形式框架内自行成立的构造与证明（如B.13中的梯度定理、B.11中的博弈论均衡）。这些是真正的数学推导。
形式模型：将哲学主张操作化的数学结构，赋予其精确定义并探索其后果（如B.1中实在的五元组模型、B.14中明度乘积\(\mathcal{M} = \lambda \cdot \xi\)）。这些是建模选择：具有启发性且受到约束，但并非由哲学唯一决定。
符号重述：将正文命题翻译为形式记号，使其逻辑结构显式化，但不增加新的数学内容。
三者皆有价值，但它们证明的东西不同。第一种在证明，第二种在建模，第三种在澄清。各节在正文中已有相应标注。