跳到正文

核心方程

~4 分钟 · 1,256

核心方程

以下是明在道数学形式化(附录B)中最核心的方程的简要预览,不是全部。它们不是理解本书的必要条件:对数学不感兴趣的读者可以安全地跳过本章,直接进入正文,不会影响阅读体验。本书的哲学论证完全以自然语言展开,数学只是为追求精确表述的读者提供的一个平行视角。

每条方程旁附简要的符号说明。完整的形式化定义见附录B;正文中的对应定义或定理由旁注标签指引。

明在道四律

四条定律浓缩了整个明在道框架,每一条对应一个哲学层次:第零律对应本体论(实在是什么),第一律对应认识论(认知的边界在哪里),第二律对应体验论(第一人称体验不可还原),第三律对应政治哲学(清醒必须是集体的)。编号致敬热力学定律,逻辑上层层递进:先有实在,再有认知的边界,再有体验的不可替代,最后有集体清醒的不可或缺。恰好四条,不多不少,因为框架恰好覆盖这四个层次。

第零律 · 道在公设一 + 公设三 + D1D4

实在是统一基底,有不可分离的两面:可形式化的理与不可言说的玄。

\[\text{道} = (\mathcal{F},\; \Omega \setminus \mathcal{F}) \quad\text{且}\quad \mathcal{F} \subsetneq \mathcal{P}(\Omega)\]

第一律 · 明有界T1 + 公设六 + T3

任何有限能动者都无法达到完全清醒;认知的边界本身是需要被认知的事物之一。

\[\forall\, a \in A:\; 0 < \mathcal{M}(a,t) < 1\]

第二律 · 验不可替公设五 + D9 + E2

每个能动者的第一人称体验是不可还原的,再多的信息也无法替代存在本身。

\[\nexists\; f\colon \mathcal{D}(a) \to \mathcal{E}(a) \quad \text{使得 } f \text{ 可计算}\]

第三律 · 明在群T5 + D12 + P15

没有能动者能独自持续清醒;集体清醒通过互动涌现,需要制度性体现才能持久。

\[\mathcal{M}_{\text{集体}} = \Phi\!\bigl(\mathcal{M}_1, \ldots, \mathcal{M}_n;\; \{\beta_{ij}\}\bigr) \;\neq\; \frac{1}{n}\sum_{i} \mathcal{M}_i\]

本体论基础

道的形式结构D1

道并非一个「东西」,乃一个五元组,即实在自身的完整结构。 \[\text{道} = (\Omega,\; \mathcal{F},\; \mu,\; \tau,\; U)\]

双面性不等式公设三

实在不可被完全理解:理有边界,边界之外即是玄。 \[\mathcal{F} \subsetneq \mathcal{P}(\Omega)\]

自因性不动点公设一

道不需要外在原因。它是自身展开算子的不动点,即自因。 \[U(\Omega) = \Omega\]

涌现定理T2

整体不可被还原为部分:展开模式的拓扑不等于分量拓扑的直积。 \[\tau_{\mathcal{M}} \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\]

明度梯度

梯度永远指向较弱的维度,实践的方向是补短,不是扬长。 \[\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推论)

永远可以更清醒:每一层级皆可达,但其上确界 \(L^*\) 不可达。 \[L_1 < L_2 < L_3 < \cdots < L^*\]

信息与熵

香农熵

不确定性的信息论度量。 \[H(X) = -\sum_{i=1}^{n} P(x_i) \log_2 P(x_i)\]

玻尔兹曼熵

不确定性的热力学度量:微观态数越多,熵越大。 \[S = k_B \ln \Omega\]

体验

体验不可还原性公设五

从完备的第三人称物理描述到第一人称现象体验,不存在可计算的映射,意识不可还原为信息处理。 \[\nexists\; f: D(a) \to \mathcal{E}(a) \quad \text{使得 } f \text{ 可计算且 } f(D(a)) = \mathcal{E}(a)\]