我于2017年在《哲学动态》11期上发表的“论先天易图与布尔代数的等价性——从格论的观点看”，虽然是国内首篇将中、德、英三位伟大的思想家的二元思想用格论统一起来。10年过去，我发现那篇文章的基础略显不足。再往下走下去，恐怕基础不牢，于是只有回过头来重新加固地基，使其为这个“科学易”的纲领立得住，这样才能往“易科学”继续走下去。

邵雍的先天易图、莱布尼茨的二进制算术以及布尔的逻辑代数，虽产生于不同时代与文化背景，却共享着深刻的数学结构。本文旨在通过格论（lattice theory）框架，揭示三者之间的同构关系，并进一步论证这些同构映射与各自系统内部运算的相容性，即它们构成一个协调的交换体系。这一分析不仅为“邵雍—莱布尼茨—布尔纲领”提供坚实的数学基础，也展示了人类思想在面对不同问题时，如何独立触及同一形式内核。

1 引言

思想史中常有这样的现象：不同文明、不同时代的学者，在各自的问题域中独立发展出结构相似的理论。邵雍（1011—1077）的先天六十四卦图以阴阳爻的二元对立生成宇宙演化的象数模型；莱布尼茨（1646—1716）发明二进制记数法，试图建立普遍字符；布尔（1815—1864）创立逻辑代数，将推理规则代数化。后世学者注意到三者的形式类似，刘钢更明确提出“邵雍—莱布尼茨—布尔纲领”，认为它们构成一个跨越时空的思想传统。

然而，这一纲领的合法性必须建立在严格的数学分析之上。仅仅指出表面相似性是不够的，需要证明三者之间不仅存在元素间的一一对应，而且这种对应与各自系统内的运算结构相容。格论为此提供了恰当的语言：它同时研究偏序关系与代数运算，能够精确刻画这些系统的共同内核——布尔格（Boolean lattice）。更进一步，我们还需考察不同系统之间的翻译映射是否保持运算，即是否满足某种“协调性”条件，这在数学上相当于要求这些映射构成一个交换图。这种协调性正是范畴论中“自然变换”观念的核心，但我们将在不引入范畴论术语的前提下，用经典的代数方法予以阐明。

2 三个系统的格论表示

2.1 邵雍先天易图

邵雍的先天六十四卦图由六爻卦组成，每爻非阴即阳。若以1表示阳爻（—），0表示阴爻（- -）（用0表示阴爻和1表示阳爻，是莱布尼茨1679年独自创立2进制算术后，于1701年收到法国来华传教士白晋的邵雍的圆图这样做到，这与我们通常见到莱布尼茨的手稿完全一致。它与中国本土的完全不一样，而且读的顺序也不一样，卦象是从下往上读，而莱布尼茨的二进制算术是从左往右写。这点必须交代清楚，无论如何它们都是二元结构。），则每一卦对应一个6位二进制串，全体六十四卦构成集合 𝑌={0,1}6。在Y上可定义自然的偏序：对 𝑥=(𝑥1,…,𝑥6),𝑦=(𝑦1,…,𝑦6)∈𝑌，规定 𝑥≤𝑦 当且仅当 𝑥𝑖≤𝑦𝑖 对所有 i 成立（即x的每一位都不大于y的对应位）。这一偏序下，Y有最小元 0=(0,…,0)（坤卦）和最大元 1=(1,…,1)（乾卦）。定义二元运算：

• 交（meet）𝑥∧𝑦：逐位取最小值，即 (𝑥∧𝑦)𝑖=min⁡(𝑥𝑖,𝑦𝑖)。

• 并（join）𝑥∨𝑦：逐位取最大值，即 (𝑥∨𝑦)𝑖=max⁡(𝑥𝑖,𝑦𝑖)。

此外，每个元素x有补元 ¬𝑥：逐位取反（0变1，1变0），即 (¬𝑥)𝑖=1−𝑥𝑖。

容易验证 (𝑌,≤,∧,∨,¬,0,1) 构成一个布尔格，且是6元自由布尔代数的具体表现。邵雍的“加一倍法”本质上递归生成所有6位二进制串，与布尔格的自由生成一致。

2.2 莱布尼茨二进制

莱布尼茨的二进制系统视0和1为数字，n位二进制数对应自然数0到 2𝑛−1。取n=6，全体二进制数 𝐵={0,1,…,63}。在B上可定义两种结构：

• 算术结构：按数值大小构成全序，但这与易图的偏序不同。

• 按位运算结构：定义按位与（bitwise AND）&、按位或（bitwise OR）∣、按位取反（bitwise NOT，限于6位）∼。这些运算恰好与Y上的交、并、补对应：若将B中每个数表示成6位二进制，则 & 对应 ∧，∣ 对应 ∨，∼ 对应 ¬。因此 (𝐵,&,∣,∼,0,63) 构成一个与Y同构的布尔格，同构映射 𝜑:𝑌→𝐵 即将二进制串视为整数。

2.3 布尔代数

布尔的逻辑代数以命题真值为研究对象。取6个原子命题 P_1 , ..., P₆， 则所有真值赋值构成集合T = {0,1}6其中0表示假，1表示真。在T上定义：

• 合取 ∧：逐位取最小值（与Y相同）。

• 析取 : 逐位取最大值。

• 否定 ¬：逐位取反。

至此，我们已有三个布尔格 (𝑌,∧𝑌,∨𝑌,¬𝑌)、(𝐵,&,∣,∼)、(𝑇,∧𝑇,∨𝑇,¬𝑇)，以及自然的双射 𝜑:𝑌→𝐵（二进制串转整数）和 𝜓:𝐵→𝑇（整数转真值赋值，或等价地，二进制展开）。复合映射 𝜓∘𝜑:𝑌→𝑇 就是直接将阴阳爻映射为真假值。

3 协调性：同构映射与运算的相容

以上三个布尔格之间的同构是明显的，但我们需要验证这些同构映射是否真正保持运算，即它们是否不仅是集合的双射，而且是布尔格同构。这需要验证：

• 对任意 𝑥,𝑦∈𝑌，有 𝜑(𝑥∧𝑌𝑦)=𝜑(𝑥)&𝜑(𝑦)，且类似地对并和补成立。

• 对任意 𝑢,𝑣∈𝐵，有 𝜓(𝑢&𝑣)=𝜓(𝑢)∧𝑇𝜓(𝑣)，且对并和补类似。

然而，更深层的协调性体现在“交换路径”上。考虑从Y出发到T的两条路径：直接映射 𝜓∘𝜑 与先经 𝜑 到B再经 𝜓 到T。由于 𝜑 和 𝜓 都是双射且保持位模式，复合映射与直接映射一致。但更关键的是，这种一致性对于所有可能的运算结果都成立，且与运算的顺序无关。例如，对于任意 𝑥,𝑦∈𝑌，我们有：

𝜓(𝜑(𝑥∧𝑌𝑦))=𝜓(𝜑(𝑥)&𝜑(𝑦))=𝜓(𝜑(𝑥))∧𝑇𝜓(𝜑(𝑦))。

这意味着直接计算 𝑥∧𝑌𝑦 再翻译，与先翻译再在T中做合取，结果相同。这一性质正是同态性的自然推论，但我们将它提升为一种“协调性条件”，它保证了三个系统之间的翻译是无歧义的、与各自内部规律兼容的。

更一般地，我们可以考虑任意两个系统之间的映射以及它们各自的运算，检验下列图表是否交换（以交运算为例）：𝑌×𝑌→∧𝑌𝑌𝜑×𝜑↓↓𝜑𝐵×𝐵→&𝐵

即 𝜑∘∧𝑌=&∘(𝜑×𝜑)。类似图表对 ∨,¬ 成立，并且对 𝜓 以及复合映射也成立。这些交换图精确地表达了翻译与运算的协调性。

4 从两两协调到全局交换

三个系统之间的关系可以组织成一个三角形：

其中每个箭头都是布尔格同构。我们已经验证了每个箭头保持运算，即每个三角形顶点之间的映射都是同态。但这里还有更微妙的一点：三角形的两个边（𝜓∘𝜑 与先 𝜑 后 𝜓）是否一致？由于 𝜑 和 𝜓 都是映射，复合自然唯一，但重要的是，如果我们考虑从Y出发，分别沿两条路径到达T，它们给出相同的元素，并且这种相等性与在Y中先做运算再沿任一路径到T，与先沿任一路径到另一系统再做运算，最终在T中相等，这由各边的同态性保证。实际上，整个三角形构成一个交换图，因为每个边都是同构，且复合路径一致。这种全局交换性意味着，无论我们选择哪种语言进行推理，只要遵循各自的运算规则，并通过翻译在语言间切换，最终得到的结果在翻译。

5 结论

通过格论的严格分析，我们证明了邵雍先天易图、莱布尼茨二进制、布尔代数三者不仅集合元素一一对应，而且其各自的运算（交、并、补）在对应下完全匹配。更重要的是，这些对应映射与运算之间满足协调性条件，即构成一系列交换图表。这揭示了三者实质上是同一个布尔格结构在不同符号体系下的具体实现。因此，“邵雍—莱布尼茨—布尔纲领”具有坚实的数学基础，其成立不依赖于历史传承的偶然性，而根植于三者共享的深层形式结构。这一结论也为进一步将这一结构拓展至拓扑、模态逻辑乃至量子逻辑的研究提供了可靠的基石和前提。 

T={0,1}6