💬 NLP

On Ambiguity: The case of fraction, its meanings and roles

该论文通过引入"fracterm"、"fracvalue"等新术语来厘清初等算术中“分数”一词的歧义，论证了分数并非单一数学概念而是一个涵盖多种概念的“范畴”，并据此探讨了数系界定及与结构主义的关系。

原作者： Jan A Bergstra, John V Tucker

发布于 2026-04-07

📖 1 分钟阅读☕ 轻松阅读

原作者： Jan A Bergstra, John V Tucker

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

这篇论文探讨了一个看似简单却暗藏玄机的数学概念——“分数”（Fraction）。作者认为，我们在小学算术里学的“分数”，其实并不是一个定义清晰的单一概念，而是一个**“模糊的集合”**。

为了把这个问题讲清楚，作者发明了一套新的“语言工具”，并提出了一个有趣的哲学观点。我们可以用以下的生活化比喻来理解这篇论文：

1. 核心问题：为什么“分数”是个“捣蛋鬼”？

想象一下，你在餐厅点菜，服务员问你要什么。

如果你说“我要一份披萨"，厨师可能会困惑：你是要整张披萨（作为物体）？还是要披萨的切片（作为食物）？还是要披萨的图片（作为菜单上的符号）？

在数学里，“分数”就像这个“披萨”。

有时候，它指写在纸上的符号（比如 $\frac{1}{2}$ 这行字）。
有时候，它指背后的数值（比如 0.5 这个大小）。
有时候，它指一种结构（分子除以分母的动作）。

作者指出，在教科书和日常对话中，我们混用了这些意思，却很少意识到它们其实是不同的东西。这就好比把“披萨的图片”、“披萨的实物”和“吃披萨的感觉”混为一谈，导致逻辑上会出现像"1 等于 2"这样的荒谬结论。

2. 作者的解决方案：给“分数”拆包

为了解决这个混乱，作者提出不要试图给“分数”下一个完美的定义，而是把它拆解成四个清晰的“零件”（就像把披萨拆成：菜单图片、实物、味道、制作过程）。作者给这四个零件起了新名字：

Fracterm（分式项）：
- 比喻：这是**“披萨的配方单”**。
- 它只关注结构。比如 $\frac{1}{2}$ 或 $\frac{4}{8}$ ，它们就是写在纸上的符号组合。不管它们等于多少，只要长这样，就是“分式项”。它甚至包含像 $\frac{1}{0}$ 这种“坏掉的配方”。
Fracvalue（分式值）：
- 比喻：这是**“披萨的实际大小”**。
- 它关注数值。 $\frac{1}{2}$ 和 $\frac{4}{8}$ 作为“分式项”长得不一样，但作为“分式值”，它们都是 0.5，是一样大的。
Fracsign（分式符号）：
- 比喻：这是**“披萨的 Logo"**。
- 它是抽象的符号本身，比如那个斜杠 / 或者分数线。
Fracsign occurrence（分式符号实例）：
- 比喻：这是**“黑板上写的那具体的 Logo"**。
- 它是符号在具体语境下的出现。黑板上写的 $\frac{1}{2}$ 和试卷上写的 $\frac{1}{2}$ ，虽然符号一样，但它们是两次不同的“出现”。

作者的新发明：Fraxion（分式混合体）
作者把上面这四个东西打包，起名叫 "Fraxion"。这就好比说：“当我们说‘披萨’时，我们其实是在指代‘配方单、实物、Logo 和具体那一份’的总和。”

关键点：作者认为，“分数”本身不是一个严格的数学概念，而是一个**“类别”（Category）。它像一个购物篮**，里面装着上述四个不同的概念。

3. 为什么这很重要？（生活中的例子）

作者用了一个经典的逻辑陷阱来展示混淆的后果：

错误逻辑：
1. $\frac{1}{2}$ 的分子是 1。
2. $\frac{2}{4}$ 的分子是 2。
3. $\frac{1}{2}$ 等于 $\frac{2}{4}$ 。
4. 结论：所以 1 等于 2？（显然荒谬！）
作者的解释：
这个错误是因为我们混淆了**“配方单”（Fracterm）和“实物大小”（Fracvalue）**。
- 作为“配方单”， $\frac{1}{2}$ 和 $\frac{2}{4}$ 确实不同（分子不同）。
- 作为“实物大小”，它们确实相等。
- 你不能拿“配方单”的分子去和“实物大小”做比较。一旦把这两个概念分清，逻辑陷阱就消失了。

4. 更深层的哲学：数字也是“多面体”

论文后半部分把这种思路延伸到了**“数字”**本身。
作者认为，就像“分数”一样，“数字 7"也不是一个绝对单一的实体。

它可以是罗马数字 VII。
它可以是二进制 111。
它可以是集合论里的 $\{\emptyset, \{\emptyset\}, ...\}$ 。

作者提出了**“标签”（Label）和“形状”（Shape）**的概念：

标签：比如“自然数”、“整数”。这就像给商品贴的分类标签。
形状：比如“十进制”、“二进制”、“罗马数字”。这就像商品具体的包装形式。

比喻：
想象“苹果”是一个标签。

红富士是“形状 A"。
青苹果是“形状 B"。
苹果酱是“形状 C"。
当我们说“苹果”时，我们其实是在指代所有这些不同包装形式的集合。在数学里，我们不需要纠结“真正的苹果”是什么，只要知道我们在用哪种“包装”（形状）即可。

5. 总结：这对我们意味着什么？

这篇论文并不是要推翻小学数学，而是告诉我们：

接受模糊性：在日常生活和初级教学中，混用“分数”的不同含义是高效且必要的（就像我们平时说“披萨”不需要区分是图片还是实物）。
精确化需求：当我们进行严谨的逻辑推理、编程或处理复杂数学问题时，必须把“符号”、“数值”和“结构”区分开来，否则就会出错。
教育启示：教孩子数学时，我们其实是在教他们如何操作这些“形状”和“符号”，而不仅仅是教他们抽象的“数字”。

一句话总结：
作者告诉我们，“分数”不是一个单一的数学怪物，而是一个由“符号、数值、结构和实例”组成的家庭。只有分清家庭成员谁是谁，我们才能避免逻辑上的混乱，同时也能理解为什么数学既需要严谨的定义，也需要灵活的日常用法。

这篇论文《关于歧义：分数的案例、其含义与角色》（On Ambiguity: The case of fraction, its meanings and roles）由 Jan A. Bergstra 和 John V. Tucker 撰写，旨在探讨数学话语中“分数”（fraction）一词的歧义性，并提出了一套解决歧义的方法论。文章认为“分数”并非一个单一的数学概念，而是一个包含多个相关概念的“类别”（category）。

以下是该论文的详细技术总结：

1. 问题背景 (Problem)

在初等算术和日常数学文献中，“分数”一词具有高度的歧义性。它既可以指代一种句法结构（带有除法运算符的表达式），也可以指代一个数值（通常是有理数），甚至指代文本符号本身。

核心矛盾：现有的定义无法统一覆盖分数的各种用法。例如，表达式 $\frac{4}{6}$ 和 $\frac{2}{3}$ 在数值上相等（作为 fracvalue），但在结构上不同（作为 fracterm，前者未化简，后者已化简）。
后果：这种歧义导致逻辑悖论（如错误地推导出 $1=2$ ）和教学上的困惑。作者指出，试图为“分数”寻找一个单一、精确的数学定义是徒劳的，因为它本质上是一个混合了句法和语义的模糊概念。

2. 方法论 (Methodology)

作者提出了一种通用的消除歧义方法（Method 3.1），并将其应用于“分数”：

识别歧义：承认术语 $w$ （此处为 fraction）在特定语境下对应多个不同的解释。
引入“地标概念” (Landmark Notions)：不试图定义原词，而是引入一组新的、定义精确的术语，这些术语是原词含义的“近邻”或具体化。
分类与层级：将原词视为一个类别 (Category)，包含多个具体的概念 (Concepts)。
重构话语：用这些精确的新术语替换模糊的原词，以消除逻辑矛盾并澄清语义。

3. 关键贡献与核心概念 (Key Contributions & Concepts)

作者引入了四个新的核心术语来区分“分数”的不同层面，并提出了一个综合概念：

A. 四个基础概念 (The Four Landmarks)

Fracterm (分式项)：
- 定义：一种句法实体，即以除法运算符为主导函数的表达式。
- 特点：关注结构而非数值。例如， $\frac{4}{6}$ 和 $\frac{2}{3}$ 是不同的 fracterm。它允许分子分母包含除法，甚至允许分母为零（在特定代数结构中）。
Fracvalue (分式值)：
- 定义：fracterm 所指向的数值（通常是数）。
- 特点：关注语义。 $\frac{4}{6}$ 和 $\frac{2}{3}$ 具有相同的 fracvalue。它可能包含“外围数”（peripheral numbers），如 $\bot$ (错误/未定义)、 $\infty$ 等。
Fracsign (分式符号)：
- 定义：表示分式的文本符号或抽象符号（如 $a \div b$ , $a/b$ , $\frac{a}{b}$ ）。
- 特点：关注文本表现形式，独立于具体的数学对象。
Fracsign occurrence (分式符号出现)：
- 定义：文本中具体的符号实例（包括字体、大小、颜色等物理属性）。
- 特点：这是最低抽象层级，是语境中实际被引用的对象。

B. 综合概念：Fraxion (分式实体)

定义：作者引入了 Fraxion 作为上述四个概念（或其中三个主要部分：fracvalue, fracterm, fracsign）的不相交并集。
性质：Fraxion 是一个无歧义的析取概念（disjunctive concept）。它在定义中明确包含了“选择”机制：根据上下文，一个 fraxion 可以被解析为 fracterm、fracvalue 或 fracsign。
作用：它承认了“分数”一词的歧义性，但通过明确这种歧义是结构化的，从而使其在逻辑上可控。

C. 数字系统的“标签”与“形状” (Labels and Shapes)

为了进一步澄清 fracvalue 的本质，作者扩展了讨论至数字系统：

标签 (Label)：标识数字的类型（如自然数、整数、有理数）。
形状 (Shape)：定义该类型数字的具体构造方式或呈现形式（例如，十进制自然数、戴德金自然数、冯·诺依曼自然数）。
观点：数字（如“数 7"）是一个跨切概念 (Cross-cutting notion)，它跨越了不同的“形状”。作者区分了正常形状 (Normal Shape)（同构且相等即相同）和次正常形状 (Subnormal Shape)（相等但实例不同，如未化简的分数对）。

4. 主要结果与分析 (Results & Analysis)

A. 解决逻辑悖论

作者通过区分 fracterm 和 fracvalue 解决了经典的逻辑悖论。

悖论示例：
1. $\frac{1}{2}$ 的分子是 1。
2. $\frac{2}{4}$ 的分子是 2。
3. $\frac{1}{2} = \frac{2}{4}$ 。
4. 因此 $1=2$ 。
解析：该推导错误在于混淆了层级。
- 前提 1 和 2 是关于 fracterm 的（结构属性，分子不同）。
- 前提 3 是关于 fracvalue 的（数值属性，值相等）。
- 不能将 fracterm 的分子属性直接应用于 fracvalue。一旦明确层级，矛盾消失。

B. 对除零问题的处理

在 fracterm 的句法层面， $\frac{1}{0}$ 是一个合法的表达式。
在 fracvalue 的语义层面，作者建议在初等算术和计算机代数中，将 $\frac{1}{0}$ 的值定义为 $\bot$ （一个传播错误的外围元素），而不是未定义。这被称为“公共草甸”（Common Meadows）代数结构，使得算术运算在包含除零时依然封闭且可计算。

C. 教学与日常语言

教学启示：小学算术本质上是教授“形状”（如十进制、分式符号）及其变换规则，而非抽象的数学实体。
语言效率：虽然“分数”是歧义的，但作为一种“垂直跨切概念”（vertical cross-cutting notion），它在自然语言中非常高效。强制消除所有歧义（即只用 fracterm 或 fracvalue）会降低日常交流的灵活性。

5. 意义与结论 (Significance & Conclusion)

哲学立场：
- “分数”不是一个单一的数学概念 (Concept)，而是一个类别 (Category)。
- 这挑战了数学概念必须具有唯一精确定义的传统观点。作者认为，某些术语（如分数、概率）的功能在于作为一个集合，容纳多个相关但不同的概念。
- 这种观点与结构主义 (Structuralism) 相关，但作者提出了一种“朴素的结构主义”（Naive Structuralism），强调在初等数学中，具体的“形状”（如十进制表示）比抽象的同构结构更为重要。
技术贡献：
- 为计算机算术和形式化验证提供了更精确的基础。通过区分句法（fracterm）和语义（fracvalue），可以更严谨地处理除零、化简和类型转换问题。
- 提出的“标签 - 形状”框架为理解不同数字系统（如浮点数、有理数、p-adic 数）之间的关系提供了新的分析工具。
对歧义的新看法：
- 歧义不一定是缺陷。在数学中，某些“生产性歧义”（productive ambiguity）允许术语在不同语境下灵活应用。
- 解决歧义的方法不是强行统一，而是通过引入“地标概念”来显式化其内部结构，从而在需要精确时进行消歧，在需要灵活时保持原样。

总结：
Bergstra 和 Tucker 通过解构“分数”这一术语，展示了数学语言中句法与语义的复杂交织。他们提出的 fracterm, fracvalue, fracsign 等概念不仅消除了初等算术中的逻辑混乱，还为理解数字本体论（Ontology of Numbers）提供了一种基于“形状”和“标签”的新视角，对数学教育、计算机代数系统以及数学哲学均有深远影响。