🔢 mathematics

Computable Structuralism: A Categorical Rewrite Calculus of Mythic Variants

本文提出了“可计算结构主义”，这是一种形式化范畴框架，它将神话与叙事变体建模为双寄存器状态上的类型化重写程序，从而将列维-斯特劳斯的结构分析转化为一个能够测试连贯性、诊断结构失效，并将人类学与文化分析在不同叙事传统之间进行定量衔接的可计算系统。

原作者： Juan J. Segura

发布于 2026-01-22

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Juan J. Segura

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下你拥有一个巨大的故事图书馆：童话、宗教神话、超级英雄电影以及长篇电视剧系列。通常，当学者们比较这些故事时，他们寻找的是表面上的相似之处：“哦，灰姑娘和蜘蛛侠都有个悲惨的童年！”或者“他们都有一个神奇的助手！”

但这篇文章认为，仅仅通过寻找表面相似性来比较故事，就像只通过车漆颜色来评判两辆汽车一样。这会忽略引擎是如何运作的。由 Juan J. Segura 领导的作者们提出了一种新的比较故事的方法，这种方法将故事视为数学谜题或计算机代码，但同时仍能保留故事的人文意义。

以下是使用简单类比对他们构想的拆解：

1. 双寄存器机（“社会”与“规则”）

作者们建议，每个故事都在一台拥有两个不同“寄存器”（类似于磁带上的两条轨道或公路上的两个车道）的机器上运行：

寄存器 X（日常车道）： 这是混乱的、物理的世界。它有角色、战斗、工具、金钱和物理动作。例如：一只狼吃掉了祖母，或者一位超级英雄击打反派。
寄存器 Y（规则手册车道）： 这是法律、禁忌、预言和契约的无形世界。它是让行动产生意义的“为什么”。例如：母亲关于不要和陌生人说话的警告、要求超级英雄注册的法律，或是一场神圣的诅咒。

洞察： 在大多数故事中，物理动作（X）只有在撞击规则（Y）时才会变成一个“故事”。如果一只狼吃掉了祖母，那仅仅是一场悲剧。但如果他是因为违反了某种禁忌而这么做的，或者祖母因为某个预言而幸存了下来，这个故事就获得了它的结构。作者声称，除非你同时追踪这两个车道，否则你无法理解这个故事。

2. “变换”测试（魔术戏法）

结构主义者（如著名的克劳德·列维-斯特劳斯）认为，故事之间的关系不在于它们看起来是否相似，而在于其中一个可以通过特定的规则（角色互换、价值反转）变换为另一个。

作者们将这变成了一个数学测试。他们设想了两种更新故事的方式：

更新 A（直接方式）： 你改变了故事，但保持角色不变。（英雄仍然是英雄；法律仍然是法律）。
更新 B（规范方式）： 你进行了一个“魔术戏法”，把东西交换了位置。也许曾经是“规则”的东西变成了“反派”，或者“英雄”变成了“受害者”。

“连贯性检查”：
文章提出了这样一个问题：如果我交换角色（更新 B），这个故事在数学上是否仍然成立？
他们使用了一个名为“自然变换”（一个高级数学术语）的概念，它充当了质量控制印章。

通过： 如果故事在交换后依然能够成立，那么这种变换是“合法的”。这两个故事在结构上是相关的。
失败： 如果故事崩溃了（例如，“法律”突然表现得像个“工具”并破坏了逻辑），那么这种变换就是“非法的”。这种失败并非错误，而是一种诊断。它告诉研究人员：“你试图将这两者进行比较，但它们并不符合这些规则。”

3. “键”（故事的指纹）

故事是按特定顺序发生的。如果你交换事件的顺序（例如，英雄是在战斗之后而不是战斗之前获得剑），故事就会完全改变。

为了捕捉这一点，作者为每个故事分配了一个**“键”（标记为 A 到 E）。这可以看作是故事序列的“指纹”或“条形码”**。

它不告诉你发生了什么，但它告诉你事件是如何排列的。
这使得他们能够快速比较 80 个不同的故事，以查看它们是否共享相同的“结构节奏”，即使一个是关于青蛙王子的，而另一个是关于太空巫师的。

4. 实验：80 个故事

团队在 80 个故事上测试了这个系统：

20 个民间故事（例如，《灰姑娘》）
20 个宗教神话（例如，《亚当与夏娃》）
20 个超级英雄故事（例如，《蝙蝠侠》）
20 个系列作品（例如，《星球大战》）

他们的发现：

“规则手册”是真实存在的： 在 74% 的故事中，“规则手册车道”（Y）被明确命名了。无论是“禁忌”、“法律”、“预言”还是“契约”，这些故事都依赖这些无形的规则来驱动情节。
系统有效： 他们成功地将这些不同的类型映射到同一个双轨系统中。民间故事中的“仙女教母”和超级英雄电影中的“注册法”在同一个数学槽位中都充当着“中介者”或“约束条件”的角色。
它能捕捉错误： 当他们试图将一个故事强行放入错误的槽位（比如把“法律”称为“工具”）时，数学逻辑会崩溃。这证明该系统足够严格，可以捕捉到错误的比较。

核心结论

这篇文章并不是试图取代人类的叙事，也不是要告诉我们哪些故事“更好”。相反，它构建了一个翻译工具。

它将模糊的“结构相似性”概念转化为了一个可测试、可复制的数学问题。它允许研究人员得出结论：“这两个故事之所以相关，不仅是因为它们看起来相似，更是因为它们遵循着物理行动与社会规则相互作用的相同底层逻辑。”

这就像是将一堆杂乱无章、颜色各异的乐高积木进行整理，最后意识到它们都是通过完全相同的隐藏机制连接在一起的。作者们刚刚写下了那个机制的使用手册。

技术摘要：可计算结构主义

问题陈述
神话与叙事比较分析面临着一种方法论上的张力：一方面是坚持意义具有局部性与情境依赖性（社会、仪式、历史条件）的冲动；另一方面是结构主义观点，即认为叙事可以通过系统的变换（替换、反转、角色交换）进行比较。虽然结构人类学（如列维-斯特劳斯）已经确立了神话作为变换系统运作的原理，但当代文化分析学需要能够被显式地复现、质疑和规模化的方法。目前的方法通常依赖于基于相似性的度量（例如，主题重叠、嵌入相似度），这些方法量化了接近程度，却无法在显式的算子约束下表达“法则传输”（lawful transport）。本文指出，在将列维-斯特劳斯的变换操作化方面存在空白：目前缺乏一个既能将结构变换转化为数学形式，又能保持叙事分析的可读性，并具备可证伪约束的正式框架。

方法论
作者提出了一个将叙事建模为作用于耦合双寄存器状态 $(X, Y)$ 的类型化重写程序（typed rewrite programs）的正式框架。

双寄存器配置 ( $Z = (X, Y)$ )：
- 寄存器 X（日常/社会）： 追踪代理人、制度、生存约束、政治冲突以及物质条件。
- 寄存器 Y（象征/合法化）： 追踪法律、禁忌、预言、盟约、仪式、道德约束以及宇宙秩序。
- 该模型假设： $X$ 中的变换只有在被 $Y$ 识别或授权时才具有后果；而 $Y$ 中的破坏只有在重新组织 $X$ 时才具有真实性。
编码模式：
每个叙事被编码为一个四槽功能图式 $(a, b, x, y)$ ：
- $a$ ：核心代理人（变换的载体）。
- $b$ ：对立/扰动力量（对手、混沌、制度）。
- $x$ ：实现变换的媒介（工具、契约、助手）。
- $y$ ：约束/合法化秩序（法律、禁忌、规则）。
更新策略与自然变换：
该框架定义了两种系统性的更新策略（端函子）作用于配置：
- 直接策略 ( $U$ )： 更新保留寄存器角色（媒介保持为媒介；约束保持为约束）。
- 规范策略 ( $V$ )： 实现一种结构化的交换 + 反转移动（例如，约束变成冲突的对象；冲突被重构为约束）。
- 相干条件： 一个规范变换被定义为一个自然变换 $\eta: U \Rightarrow V$ 的存在。对于提议的变体间的传输 $h$ ，图表必须交换： $V(h) \circ \eta_Z = \eta_{Z'} \circ U(h)$ 。
- 可证伪性： 如果自然性方程失败，它会诊断出特定的错误：误设的对立关系、非法的算子传输或错误的寄存器分配。这使得结构分析转变为一种“面向语料库的类型检查”。
情境敏感性：
情境通过结构化算子选择进行内部化。可接受的重写算子和传输规则是特定于叙事家族的（例如，民间故事对比特许经营系列）。这通过规定特定的算子传输在违反声明的情境时是非法的，从而防止了“任何事物皆可映射为任何事物”的坍塌。
序数特征不变性（关键）：
为了解释序列顺序效应（例如，恶作剧者穿越、时间循环）——即“先交换再反转” $\neq$ “先反转再交换”——每个叙事都被分配了一个键（Archetypes A–E）。这些键使用编织原型（braid archetypes）和可计算的不变量来总结顺序效应，作为一种紧凑的结构指纹。

语料库与实验设计
本研究利用了一个分为四个媒介家族的分层语料库，共计 80 个叙事：

20 个民间故事（如《灰姑娘》、《小红帽》）
20 个宗教神话（如《亚当与夏娃》、《诺亚》）
20 个超级英雄叙事（如《蝙蝠侠》、《蜘蛛侠》）
20 个特许经营系列（如《星球大战》、《哈利·波特》）

该设计通过平衡以防止类型主导并确保方法在不同媒介间通用。通过对子集（ $n=20$ ）进行的两轮编码审计表明，具有高度的评分者间信度（对于 $x$ 和 $y$ ， $\kappa = 0.95$ ），分歧集中在 $x/y$ 边界处（媒介 vs. 约束），而这正是模型明确针对的目标。

关键结果

操作相干性： 该框架成功地将叙事建模为类型化重写。自然性条件作为一种诊断工具；在一个实际案例（《小红帽》）中，一个合理的误类型（将猎人的角色从媒介 $x$ 误设为约束 $y$ ）导致了自然性失败，从而定位了结构不一致之处。
约束普遍性： 在 80/80 (74%) 的叙事中， $y$ 寄存器明确命名了一个规范性约束（法律、禁忌、契约、预言）。这支持了双寄存器抽象的有效性。
跨媒介稳定性： 功能角色 $(a, b, x, y)$ 在不同媒介间保持清晰可辨。虽然实现方式不同（例如，民间故事中的“皇家宫廷”对比超级英雄中的“登记法”），但 $y$ 作为约束系统的结构功能依然存在。
键的敏感性： 微型测试（ $n=10$ ）显示，Keys 在保守归一化下是稳定的（8/10 的情况），但在“最坏情况”压力测试（交换 $x$ 和 $y$ ）下会发生变化，证实了该不变性对叙事特定结构逻辑的敏感性。
约束类型学： 对 $y$ 寄存器的分析揭示了不同语料库之间独特的“约束类型签名”（例如，超级英雄/特许经营系列倾向于法律/制度约束；宗教神话倾向于神圣/宇宙约束）。

意义与主张
本文声称提供了一个可测试的连接结构人类学与文化分析的桥梁。其主要贡献在于：

形式化： 它将列维-斯特劳斯的规范变换转化为一个可测试的相干条件（自然变换），而非松散的模板。
操作化： 它将比较从“相似性”转向“法则传输”，使结构主张变得显式、可传输且可驳斥。
诊断能力： 模型的失败并非缺陷，而是诊断工具，能够精确定位分析在哪里发生了坍塌（例如，混淆了媒介与约束）。
可解释性： 该框架通过 $a, b, x, y$ 图式和 Keys 维持了细读的可解释性，同时实现了语料库层面的计算。

作者明确指出，这是一个用于操作化的演示集，而非关于全球叙事普遍性的主张。该框架旨在使传输主张变得显式且可争辩，从而将编码内容、推论内容与测试内容区分开来。未来的工作确定为将编码从单次摘要扩展到情节级图谱，并发布复现包。