何新老家伙
26-09-26 00:15 微博认证:第十二届全国政协委员何新

历史概念集合的数理形式化体系:一个初步框架

何新PEPClogic研究组

摘要

本文提出一种面向历时性演化概念的形式化结构——历史概念集合(historical concept cluster)。该结构在经典集合的元素封装特性基础上,引入时间维度上的序关系,将静态集合改造为带时序约束的动态演化载体。其核心构造包括:从概念集到全序时间轴的单射映射、由此导出的偏序演化关系,以及该偏序集的覆盖图(Hasse图)表示。针对真实历史场景中渐变、重叠与并行演化的需求,本文进一步引入基于Zadeh模糊关系与Allen区间代数的两类拓展模型。最后,本文对模型的数学定理属性与史学假说属性作出严格区分,并讨论其适用边界与证据规则。

关键词:历史概念集合;偏序集;Hasse图;模糊偏序;区间代数;形式化方法

一、引言

经典朴素集合论的核心属性为确定性、互异性与无序性。集合元素之间无天然时序先后关系,仅支持交、并、补等静态集合运算,其本质是对共时性共存客体的静态封装结构。然而,在历史学、生物学、制度演化等涉及历时性变化的领域中,概念本身具有明确的演化序列:种子发展为幼苗,幼苗成长为成株,成株开花结果。这类“历史概念”无法被朴素集合论充分刻画——它们不仅需要被封装为元素,更需要被赋予彼此之间的演化方向与先后关系。

何新自20世纪80年代起提出的“历史概念集合”思想,正是针对这一理论缺口。其核心洞见在于:同一客体的不同历史形态虽可被封装为一组元素,但这些元素之间天然携带由时间维度衍生的序关系,从而突破经典集合“绝对无序”的固有局限。本文旨在将这一思想转化为严格的数理形式化体系,明确其公理基础、结构性质、图论表示及拓展方向,并厘清其作为形式化工具的方法论边界。

在国际学术对话层面,本框架与若干西方既有传统存在可对话的接口。怀特海在《过程与实在》中将“事件”(event)而非“实体”(substance)作为基本本体论单元,其事件之间的“延展抽象”(extensive abstraction)关系与本文的演化序关系存在结构同构性,但怀特海侧重形而上学的过程本体论,本文则聚焦于概念层面的形式化建模。卡尔纳普在《世界的逻辑构造》中尝试以“基本体验”(Elementarerlebnisse)及其相似性关系为基础构造整个概念世界,其“应用逻辑”(applied logic)路径与本文从概念到序结构的形式化思路相通,但卡尔纳普的构造是共时性的,本文的构造是历时性的。da Costa等人发展的次协调逻辑(paraconsistent logic)允许在不导致系统平凡化的前提下容纳矛盾,为处理历史概念中的回流、断裂等反常现象提供了逻辑工具,本文第六节讨论的模型失效情形可视为次协调逻辑在历史形式化中的具体应用场景。本文的独立贡献在于:将上述思想线索整合为一个面向历史概念演化的、具有明确公理基础和图论表示的统一形式化框架。

本文的结构如下:第二节给出历史概念集合的基础定义与核心映射;第三节由时间全序导出偏序演化结构,并区分全序与偏序两类场景;第四节将偏序集具象化为覆盖图(Hasse图),即所谓“何新树”;第五节引入模糊偏序与区间代数两类拓展模型,以适配复杂真实演化场景;第六节讨论模型的适用范围、失效情形与证据规则。

二、基础定义:历史概念集合的初始结构

定义1(历史概念集合) 设存在一组描述同一客体不同演化阶段的概念集合A。若集合内所有概念元素一一对应该客体的唯一历史演化形态,且没有任意两个元素对应同一演化节点,则称A为该客体对应的历史概念集合。

示例1 以植物完整生长发育的演化过程为样本,可构造标准历史概念集合:
A(植物发育) = {种子, 胚芽, 幼苗, 成株, 花, 果实}

从经典集合视角判定,该集合完全满足朴素集合论的三大要求:元素概念明确、元素两两互异、集合原生无序。而历史概念集合的核心特殊性在于:在经典集合属性基础上,额外赋予元素由时间维度衍生的演化序关系。

为将抽象的概念演化关系转化为可量化、可推理的数理结构,我们构建从概念集A到全序时间轴T的单射映射。

定义2(时间全序集) T为线性时间轴构成的标准全序集,满足全序集完备公理:对T中任意两个时间戳ti, tj,必然满足 ti ≤ tj 或 tj ≤ ti。

定义3(单点时序单射映射) f:A → T为严格单射函数:对集合A中任意元素ai,存在唯一且专属的时间戳 ti = f(ai) 与之对应;不同概念元素一定对应不同时间戳。

该数理规则严格契合历史演化的核心特征:历史阶段唯一、演化节点不可重复,彻底规避“同一演化阶段对应多个时间节点”的逻辑矛盾。

示例2 承接示例1,植物发育集合的时序映射为:
f(种子) = t1, f(胚芽) = t2, f(幼苗) = t3, f(成株) = t4, f(花) = t5, f(果实) = t6
时序约束为:t1 < t2 < t3 < t4 < t5 < t6。

注记1 在单点时间戳映射下,集合中任意两个元素a,b,a→b与b→a必居其一。因此基础模型下的(A, →)实为全序集(链),刻画的是无分支的单线演化[张莱, 2005]。第三节所述“并行演化”场景,须以第五节的时间区间映射模型为前提,在单点时间戳模型内不可能出现偏序结构。

三、序关系构造:由全序时间轴推导演化结构

依托时间集T的全序属性,可在历史概念集合A上定义二元演化序关系→,读作“发展为”或“演化生成”。

定义4(演化序关系) 对于A中任意两个元素a, b,当且仅当 f(a) < f(b) 时,记 a → b,语义为“概念a演化生成概念b,a为b的前置历史形态”。

命题1 序偶(A, →)构成偏序集(在基础单点模型下实为全序集,见注记1),满足偏序集三大核心公理。

证明:

1. 自反性:对A中任意元素a,恒成立 f(a)=f(a),记 a→a。逻辑释义:任一概念自身是自身的稳态历史形态,保证序关系定义自洽,无悬空定义。

2. 反对称性:若同时有 a → b 与 b → a,可推出 f(a)<f(b)且f(b)<f(a),矛盾。故仅当a=b时二者同时成立。

3. 传递性:若 a → b,b → c,则 f(a)<f(b)且f(b)<f(c),可得 f(a)<f(c),即 a→c。逻辑释义:演化关系具备链式传递;例如由“种子→幼苗→花”可直接得到“种子→花”。证毕。

演化结构的场景分化

1. 全序型演化结构:无分支、单一线性演化。集合任意两元素均可比较时序,无并行节点。基础单点模型即可刻画,例如单株植物发育。

2. 偏序型演化结构:多分支、并行演化。集合内部存在时序不可比较的元素,不存在演化先后关系。例如人类历史文明集合内“春秋战国文明”与“波斯古典文明”同期并存,二者不存在→演化关系[张莱, 2005]。

注记2 偏序型场景预设第五节的时间区间模型。若强行使用单点时间戳,则两文明必各绑定一个时间戳,由全序公理必可比较,与本例矛盾。区间模型下,两概念绑定的时间区间相交,二者即不可比较,偏序结构由此真正出现。

四、进阶结构:偏序集的覆盖图表示(何新树)

将历史概念集合全部元素作为图节点,二元演化关系a → b作为有向边,可天然生成有向无环图(DAG)。

注记3(术语说明) 按数学标准术语,该结构即偏序集(A, →)的覆盖图(covering graph),亦称Hasse图。钱学森1982年4月17日致何新信中提出“何新树”构想时,其原意侧重三维拓扑可视化——“把一个时间的Venn图作为‘树’的横断面,以时间顺序把横断面一层层架在时间坐标上”——Hasse图为其二维投影的数学等价表达。下文沿用“何新树”之名,但其图论性质即为覆盖图,不另设新数学对象。

命题2(无环性) 何新树中不存在 a1 → a2 → … → an → a1 的时序闭环。

证明:由偏序集反对称公理可直接证得。全部有向边沿时间正向延伸,由根概念节点向外分叉拓展,形成层级化、网络化的演化树谱系。证毕。

历史概念集合与何新树的核心数理区分
从严格形式化层面界定:历史概念集合是抽象代数偏序结构,何新树是该偏序结构具象化生成的图论派生结构,二者同源但不属于同一类数学对象,核心差异体现在四个维度:

1. 数理对象类型不同。历史概念集合的本质是时序演化偏序集(A, →),属于代数序结构,仅定义元素间的演化逻辑关系,不涉及任何可视化、节点、边的具象载体,纯用于公理推演与形式化定义。何新树的本质是有向无环图,属于图论结构,以历史概念集合的元素为顶点、直接演化关系为有向边,是抽象序关系的具象拓扑实现。

2. 演化关系的收录范围不同。历史概念集合的演化关系→为其序关系的传递闭包,完整包含所有直接演化与间接演化关系,同时满足自反性公理,包含概念自身的稳态关系。何新树仅保留直接覆盖演化关系,图中仅绘制一步直接生成的邻接边,剔除所有传递衍生的间接关系与自反关系。间接演化逻辑不通过边直接定义,而是依托图的路径遍历间接体现。

3. 无环约束的生成逻辑不同。历史概念集合的无时序循环属性是原生公理约束,依托偏序集反对称性从定义层面彻底杜绝双向演化、循环演化的逻辑悖论。何新树的无环特征是派生推导结果,完全继承历史概念集合的公理约束,是原生序结构在图论形态下的自然呈现。

4. 数理功能与适配场景不同。历史概念集合作为底层基础结构,主打公理化定义、逻辑证明、时序体系建构,是整个动态演化理论的核心数理根基。何新树作为上层派生结构,呈现为多路径、多父节点、分叉式复杂演化建模,突破普通层级树单一父节点约束,支持多元素耦合共生演化。

何新树与普通树结构的核心差异
普通层级树严格遵循“单一子节点仅对应唯一父节点”的刚性约束,演化路径单一、线性,无法适配多元耦合的演化规律。何新树无此约束,允许多个独立父节点共同演化生成同一子节点,具备极强的复杂场景适配性。

示例3 概念节点“现代工业文明”,可同时由“科学革命”“启蒙运动”“资本主义萌芽”三个独立父节点共同演化生成,精准适配多因素耦合的人类历史复杂演化进程。

五、经典框架的拓展补全:适配复杂真实演化场景

基础历史概念集合建立在离散单点时间戳之上。针对真实世界渐变、时间区间重叠、多主体异步演化,发展出两类拓展模型。

1. 模糊偏序拓展模型
面向“青年→中年”这类边界连续渐变场景,将经典偏序中“是否满足a→b”的二值判定(成立/不成立),替换为隶属度函数 μ: A × A → [0, 1],表示演化完成程度或隶属强度。数值大小代表演化完成程度,弥补经典模型不能刻画过渡态的缺陷。

注记4 本模型源自 Zadeh 模糊集合与模糊关系理论(Zadeh, 1965; Zadeh, 1971),此处作为既有理论的应用,非新创。

2. 区间代数拓展模型
放弃单点时间戳映射 f(ai)=ti,改用时间区间映射:
f(ai) = [ti_start, ti_end]
每个概念绑定自身存续时间区间;依靠区间相交、包含、互斥等关系处理“青铜时代与铁器时代交错共存”等现象,兼容多主体异步演化网络。

注记5 本模型源自 Allen 区间代数(Allen, 1983)的区间关系体系,此处作为既有理论的应用,非新创。

注记6(模型适用范围重述) 单点模型刻画无分支线性演化;区间模型不仅处理渐变与重叠,也是并行分支(偏序)场景成立的必要前提;模糊模型处理概念边界的连续过渡。三者适用范围不同,不可混用。

六、方法论边界与模型失效情形

6.1 数学定理与史学假说的区分

本体系中,偏序三公理的成立、无环性的推导、传递闭包与覆盖图的区分,均为数学定理,其有效性由公理保证。而任一具体历史命题——例如“科学革命→现代工业文明”——是史学假说,其成立与否不由本框架证明,只能由史料检验。框架提供的是假说的呈现语言与推理规则,不提供历史事实本身。

6.2 模型失效与挑战情形

DAG 假设是建模选择,不是历史规律的决定论证明。以下真实历史现象对本框架构成挑战,使用时须显式讨论:

1. 回流与复兴:如文艺复兴对古典希腊罗马概念的重新援引,构成概念层面的“逆向”流动,与单向无环假设张力明显;

2. 断裂与突变:概念谱系的中断、跳跃式出现,使“前置形态”难以界定;

3. 合流与多向耦合:已由多父节点 DAG 刻画,但父节点贡献权重的判定无数学规则可依;

4. 概念边界争议:概念对应“唯一历史演化形态”是强假设,实际史学操作中概念的切分与命名恰是最具争议之处;

5. 赋值依赖史料:映射f的每一个时间戳、每一个区间端点,都须由独立史料支撑。

6.3 证据规则

何新树中每一条边(直接演化关系)的成立,都需要独立史料证据;路径的存在只表明假说的结构,不构成假说为真的证据。

参考文献

• Allen, J. F. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11), 832-843.

• da Costa, N. C. A., & French, S. (2003). Science and Partial Truth: A Unitary Approach to the Problem of Scientific Reasoning. Oxford University Press.

• 何新. (2005). 泛演化逻辑引论. 时事出版社

• 钱学森. (1982). 致何新信(1982年4月17日). 见《钱学森书信集》.

• Whitehead, A. N. (1929). Process and Reality. Macmillan.

• Zadeh, L. A. (1965). Fuzzy sets. Information and Control, 8(3), 338-353.

• Zadeh, L. A. (1971). Similarity relations and fuzzy orderings. Information Sciences, 3(2), 177-200.

• 张莱. (2005). 何新历史概念类集的数理结构.

• Carnap, R. (1928). Der logische Aufbau der Welt. Weltkreis-Verlag.

发布于 上海