[论文解读] Old and new approaches to the Sorites paradox

Bruno Dinis|arXiv (Cornell University)|Apr 3, 2017

Mathematical and Theoretical Analysis参考文献 30被引用 3

一句话总结

本文提出了一种利用非标准分析解决说者悖论（Sorites paradox）的新方法，通过外部数和中性集（neutrices）对模糊谓词（如'heap'）进行建模，严格捕捉对微小变化的容忍性以及大规模差异的出现。其核心贡献是一个形式化框架：标准数代表非堆，非标准（无穷）数代表堆，通过区分数量级而非设定严格边界来解决悖论。

ABSTRACT

The Sorites paradox is the name of a class of paradoxes that arise when vague predicates are considered. Vague predicates lack sharp boundaries in extension and is therefore not clear exactly when such predicates apply. Several approaches to this class of paradoxes have been made since its first formulation by Eubulides of Miletus in the IV century BCE. In this paper I survey some of these approaches and point out some of the criticism that these approaches have received. A new approach that uses tools from nonstandard analysis to model the paradox is proposed.

研究动机与目标

• 为长期存在的说者悖论问题提供解决方案，该悖论源于缺乏严格边界的模糊谓词。
• 批判现有方法（认识论、程度理论、模糊逻辑）在无法充分建模容忍性与不精确性方面的不足。
• 提出一种基于非标准分析的新形式化框架，以捕捉小变化不影响真值、但累积变化会导致影响的直观想法。
• 将'堆'或'高'等模糊概念建模为无严格边界的外部集合，而非精确集合，使用中性集和外部数。
• 证明当在说者推理的语境中区分标准（有限、朴素）数与非标准（无穷）数时，悖论即可消解。

提出的方法

• 利用非标准分析通过无穷小量和外部数来定义'小变化'与'大变化'，其中大变化是由大量小变化累积而成。
• 将模糊谓词（如'不是一堆'）建模为外部谓词，其真值由颗粒数是否为标准数决定。
• 应用'中性集'（即无下确界或上确界的外部集合）来表示不精确、模糊的数量，避免依赖精确边界。
• 引入'朴素'（标准）自然数与非标准数之间的区分，使用雷布（Reeb）的格言'Les entiers naïfs ne remplissent pas N'来支持这种分离。
• 将标准形式的说者归纳法与条件形式转化为非标准形式，将假言推理（modus ponens）限制在有限（标准）步数内，以防止得出悖论性结论。
• 运用外部数的强代数律，在直接建模不精确性的同时保持数学严谨性，避免使用数值真值度。

实验结果

研究问题

• RQ1 如何在不诉诸真值度或严格边界的情况下，形式化模糊谓词对小变化的容忍性？
• RQ2 为何在标准逻辑中，小变化似乎不影响真值，却仍导致明显错误的结论？
• RQ3 非标准分析能否提供一个数学上严谨的框架，以区分标准（非堆）与非标准（堆）数量级？
• RQ4 外部数与中性集在建模'堆'或'高'等模糊概念时起到什么作用，且无需假设精确阈值？
• RQ5 是否可以通过在非标准逻辑框架中重新解释归纳法与条件形式来解决说者悖论？

主要发现

• 当使用非标准数建模说者系列时，悖论即告消解：标准数的颗粒数（如一百万）不足以构成一堆，而非标准数（ω ≈ +∞）则可以。
• 外部谓词（如'不是一堆'）定义于标准数之上，而向一堆的转变仅在非标准数量级时发生，从而避免了任意设定边界的困境。
• 每个变化本身可忽略的微小变化，若在无穷多步中累积，可产生显著的差异，这是非标准分析中的自然结果。
• 该框架通过不赋予唯一数值真值，避免了程度理论的荒谬性，而是通过无下确界或上确界的集合来建模不精确性。
• 该模型保留了模糊术语的直观容忍性：系列中相邻项不可区分，但整体结构仍能区分有限与无穷数量级。
• 该解法与标准数在加倍下封闭的原则一致（st(n) → st(2n)），但容许在某些语境中 st(n) ∧ ¬st(2n) 成立，从而在损失部分代数性质的代价下保持灵活性。