From real analysis to the sorites paradox via Reverse Mathematics

Basic Information

• Paper ID: 2502.06596
• Title: From real analysis to the sorites paradox via Reverse Mathematics
• Authors: Walter Dean, Sam Sanders
• Classification: math.LO (Mathematical Logic), math.HO (History and Overview of Mathematics)
• Publication Date: February 10, 2025
• Paper Link: https://arxiv.org/abs/2502.06596

Abstract

This paper employs reverse mathematics to analyze several formulations of the sorites paradox. The authors first demonstrate how traditional formulations depend on the Hölder representation theorem for ordered Archimedean groups, which is provable in RCA₀. However, the paper also considers two formulations of the sorites paradox that depend on non-constructive principles: the continuous sorites paradox of Weber & Colyvan (2010) and a variant termed the covering sorites paradox. Within the framework of second-order arithmetic, the authors prove that the former depends on the existence of suprema and thus requires the Arithmetic Comprehension Axiom (ACA₀), while the latter depends on the Heine-Borel theorem and thus requires the Weak König's Lemma (WKL₀). Finally, the authors demonstrate how recursive counterexamples to these principles provide solutions to the corresponding paradoxes, which can be contrasted with supervaluationist, epistemicist, and constructivist approaches.

Research Background and Motivation

Importance of the Problem

The sorites paradox is a central issue concerning vagueness phenomena that attracts attention across multiple disciplines including philosophy, linguistics, psychology, decision theory, and economics. The paradox involves the application of vague predicates such as "short" and "orange" over the continuum, which are thought to exhibit "tolerance" to minute, indistinguishable differences.

Limitations of Existing Approaches

1. Limitations of traditional discrete formulations: Classical sorites paradoxes primarily focus on discrete sequences but inadequately address vague predicates over the continuum.
2. Neglect of mathematical foundations: Existing analyses often overlook the implicit mathematical representational dependencies in sorites arguments.
3. Lack of systematic strength analysis: The logical strength of mathematical principles required by different formulations of the sorites paradox lacks systematic comparison.

Research Motivation

The core motivation of this paper is to employ the tools of reverse mathematics to precisely analyze the logical strength of mathematical principles upon which different formulations of the sorites paradox depend, thereby providing new perspectives for understanding and resolving these paradoxes.

Core Contributions

1. Establishes connections between the sorites paradox and measurement theory: Proves that traditional formulations of the sorites paradox depend on the Hölder representation theorem.
2. Introduces the covering sorites paradox: Proposes a novel formulation of the sorites paradox based on compactness rather than completeness.
3. Precise reverse mathematical analysis:
   • Proves that the continuous sorites paradox is equivalent to ACA₀
   • Proves that the covering sorites paradox is equivalent to WKL₀
   • Proves that the traditional discrete sorites paradox can be handled in RCA₀
4. Provides novel solutions: Offers solutions to the sorites paradox based on computational complexity through recursive counterexamples.

Detailed Methodology

Measurement Theory Framework

Basic Setup

The authors place the sorites paradox within the framework of measurement theory, considering the structure A = ⟨A, ≺, ◦⟩, where:

• A is the domain containing objects
• ≺ is a linear ordering relation (e.g., "shorter than")
• ◦ is a concatenation operation

Hölder Representation Theorem

Theorem 1: If the structure A satisfies the axioms of an ordered, positive, regular, Archimedean semigroup, then for any fixed c ∈ A and positive real number r ∈ ℝ⁺, there exists a homomorphism φ: A → ℝ⁺ satisfying:

• φ(a ◦ b) = φ(a) + φ(b)
• a ≺ b → φ(a) < φ(b)
• φ(c) = r

Continuous Sorites Paradox

Leibniz Continuity Condition (LCC)

The tolerance principle proposed by Weber & Colyvan:

LCCsup(Ψ): ∀X ⊆ ℝ(X ≠ ∅ ∧ BA(X) ∧ ∀x(x ∈ X → Ψ(x)) → Ψ(sup(X)))

Open Induction Principle

The authors connect the continuous sorites paradox to open induction:

OI₁(Ψ): (Open(Ψ) ∧ Prog[0,1](Ψ)) → (∀x ∈ [0,1])Ψ(x)

Where:

• Open(Ψ): The extension of Ψ is an open set
• Prog0,1: The progressiveness condition

Covering Sorites Paradox

Covering Condition

The newly proposed tolerance principle is based on the intuition that every point is surrounded by a sufficiently small region such that all points in that region remain consistent with respect to the vague predicate.

Formalized as the existence of a covering C = {Oᵢ: i ∈ I} satisfying:

• ∀x ∈ 0,1∃i(x ∈ Oᵢ)
• ∀i ∈ I∀x,y ∈ Oᵢ(Ψ(x) ↔ Ψ(y))

Creeping Lemma

CL(Ψ): (∃CCov(Ψ,C) ∧ Ψ(0)) → ∀x ∈ [0,1]Ψ(x)

Experimental Setup

Reverse Mathematics Framework

The authors employ the standard hierarchy of second-order arithmetic:

• RCA₀: Recursive Comprehension Axiom, corresponding to computable mathematics
• WKL₀: Weak König's Lemma, corresponding to compactness principles
• ACA₀: Arithmetic Comprehension Axiom, corresponding to completeness principles

Encoding Methods

• Real numbers are encoded as rapidly converging sequences of rationals
• Open sets are encoded as unions of rational intervals
• Functions and sequences are encoded as sets

Experimental Results

Main Equivalence Theorems

Theorem 6 (Strength of the continuous sorites paradox): The following propositions are equivalent over RCA₀:

• (a) Arithmetic Comprehension Axiom ACA
• (b) Convergence of bounded monotone sequences
• (c) Convergence of Cauchy sequences
• (d) Existence of suprema for bounded sets
• (e) Open Induction Principle OI₁(Ψ) for Σ₁⁰ formulas

Theorem 7 (Strength of the covering sorites paradox): The following propositions are equivalent over RCA₀:

• (a) Weak König's Lemma WKL
• (b) Heine-Borel theorem for countable covers
• (c) Creeping Lemma CL(Ψ) for Σ₁⁰ formulas

Recursive Counterexamples

Specker Sequence

A computable increasing bounded sequence (sₙ) is constructed whose limit s is a non-computable real number. The predicate is defined as:

Σ(x) := 0 ≤ x ∧ ∃n(x < sₙ)

In the computable reals model Rec, Σ(x) satisfies all premises of the continuous sorites paradox, but ¬Σ(1), thereby avoiding contradiction.

Singular Covering

A sequence of open intervals is constructed that covers all computable reals but has total length less than 1, thereby avoiding the covering sorites paradox in the computable model.

Related Work

Theories of Vagueness

• Supervaluationism (Fine 1975): Handles vagueness through precisifications
• Epistemicism (Williamson 1994): Acknowledges sharp boundaries but claims they are unknowable
• Constructivist approaches: Treatment based on intuitionistic logic

Measurement Theory

• Classical measurement theory framework of Krantz et al. (1971)
• Generalized measurability and representation theorems

Reverse Mathematics

• Standard framework of Simpson (2009)
• Classification studies of theorems in real analysis

Conclusions and Discussion

Main Conclusions

1. Hierarchical structure: The three formulations of the sorites paradox form a strict hierarchy of strength:
   • Discrete sorites paradox ≤ RCA₀
   • Covering sorites paradox ≡ WKL₀
   • Continuous sorites paradox ≡ ACA₀
2. Novel solutions: Recursive counterexamples provide solutions to the paradox based on computational complexity, which:
   • Preserve classical logic
   • Avoid truth value gaps or epistemological commitments
   • Are based on computational characteristics of the continuum

Limitations

1. Scope of application: Primarily applicable to metric predicates; applicability to other types of vague predicates is limited.
2. Philosophical commitments: Acceptance of the proposed solutions depends on one's philosophical stance toward mathematical foundations.
3. Practical relevance: The connection to actual usage of vagueness in natural language requires further exploration.

Future Directions

1. Extension to higher-order reverse mathematics frameworks
2. Investigation of mathematical dependencies of other types of vague predicates
3. Exploration of connections with computational linguistics
4. Development of theories of vagueness based on computational complexity

In-Depth Evaluation

Strengths

1. Methodological innovation: First systematic application of reverse mathematics to sorites paradox analysis, providing precise mathematical tools.
2. Theoretical depth: Reveals essential differences and mathematical dependencies among different formulations of the sorites paradox.
3. Novel solutions: Recursive counterexamples provide a path that avoids both non-classical logic and philosophical commitments.
4. Rigor: All results are supported by complete mathematical proofs with reliable analysis.

Weaknesses

1. Depth of philosophical discussion: The philosophical significance of recursive counterexamples is discussed relatively briefly.
2. Practical applicability: The connection to vagueness phenomena in actual language use is insufficiently developed.
3. Scope: Primarily focuses on metric predicates; insufficient consideration of other types of vague predicates.

Impact

1. Interdisciplinary: Opens new directions for cross-disciplinary research among logic, philosophy, and computational theory.
2. Theoretical contribution: Provides new mathematical foundations for theories of vagueness.
3. Methodological value: Demonstrates the potential of reverse mathematics in analyzing philosophical problems.

Applicable Scenarios

1. Theoretical research: Applicable to theoretical research in vagueness, paradoxes, and philosophy of mathematics.
2. Computational applications: Provides theoretical foundations for computational systems handling uncertainty.
3. Teaching tool: Serves as a pedagogical case demonstrating connections between mathematics and philosophy.

References

The paper cites extensive literature covering:

• Classical reverse mathematics literature (Simpson 2009, etc.)
• Important works on theories of vagueness (Fine 1975, Williamson 1994, etc.)
• Foundational measurement theory literature (Krantz et al. 1971, etc.)
• Recent research on the sorites paradox (Weber & Colyvan 2010, etc.)

This paper provides an outstanding example of the application of reverse mathematics to philosophical problem analysis. Through precise mathematical tools, it reveals the deep structure of the sorites paradox and provides a novel perspective for understanding this classical philosophical problem.