De l'analyse réelle au paradoxe du sorite via les mathématiques inverses

Informations fondamentales

• ID de l'article: 2502.06596
• Titre: From real analysis to the sorites paradox via Reverse Mathematics
• Auteurs: Walter Dean, Sam Sanders
• Classification: math.LO (Logique mathématique), math.HO (Histoire et aperçu des mathématiques)
• Date de publication: 10 février 2025
• Lien de l'article: https://arxiv.org/abs/2502.06596

Résumé

Cet article applique la méthode des mathématiques inverses pour analyser plusieurs formes du paradoxe du sorite. Les auteurs montrent d'abord comment la formulation traditionnelle dépend du théorème de représentation de Hölder pour les groupes archimédiens ordonnés, qui est démontrable dans RCA₀. L'article considère également deux formes du paradoxe du sorite dépendant de principes non constructifs : le paradoxe du sorite continu de Weber & Colyvan (2010) et une variante que les auteurs appellent le paradoxe du sorite de couverture. Dans le cadre de l'arithmétique du second ordre, les auteurs démontrent que le premier dépend de l'existence de la borne supérieure, nécessitant donc l'axiome de compréhension arithmétique (ACA₀), tandis que le second dépend du théorème de Heine-Borel, nécessitant donc le lemme faible de König (WKL₀). Enfin, les auteurs montrent comment les contre-exemples récursifs de ces principes fournissent des solutions aux paradoxes correspondants, solutions qui peuvent être contrastées avec les approches survaluationnistes, épistémistes et constructivistes.

Contexte et motivation de la recherche

Importance du problème

Le paradoxe du sorite est une question centrale concernant le phénomène du vague qui intéresse plusieurs domaines : la philosophie, la linguistique, la psychologie, la théorie de la décision et l'économie. Ce paradoxe concerne l'application de prédicats vagues tels que « petit » ou « orange » sur le continuum, prédicats réputés « tolérants » aux différences infinitésimales et indiscernables.

Limitations des approches existantes

1. Limitations de la forme discrète traditionnelle : Le paradoxe du sorite classique se concentre principalement sur les séquences discrètes, mais traite insuffisamment les prédicats vagues sur le continuum
2. Négligence des fondements mathématiques : Les analyses existantes omettent souvent les dépendances de représentation mathématique implicites dans les arguments du paradoxe du sorite
3. Absence d'analyse systématique de la force : Les différentes formes du paradoxe du sorite manquent d'une comparaison systématique de la force des principes mathématiques requis

Motivation de la recherche

La motivation centrale de cet article est d'utiliser les outils des mathématiques inverses pour analyser précisément la force logique des principes mathématiques dont dépendent différentes formes du paradoxe du sorite, fournissant ainsi une nouvelle perspective pour comprendre et résoudre ces paradoxes.

Contributions principales

1. Établissement du lien entre le paradoxe du sorite et la théorie de la mesure : Démonstration que la formulation traditionnelle du paradoxe du sorite dépend du théorème de représentation de Hölder
2. Introduction du paradoxe du sorite de couverture : Présentation d'une nouvelle forme du paradoxe du sorite, basée sur la compacité plutôt que sur la complétude
3. Analyse précise des mathématiques inverses :
   • Démonstration que le paradoxe du sorite continu est équivalent à ACA₀
   • Démonstration que le paradoxe du sorite de couverture est équivalent à WKL₀
   • Démonstration que le paradoxe du sorite discret traditionnel peut être traité dans RCA₀
4. Fourniture de nouvelles solutions : Proposition de solutions au paradoxe du sorite basées sur la complexité computationnelle via des contre-exemples récursifs

Explication détaillée de la méthode

Cadre de la théorie de la mesure

Configuration de base

Les auteurs placent le paradoxe du sorite dans le cadre de la théorie de la mesure, en considérant la structure A = ⟨A, ≺, ◦⟩, où :

• A est le domaine contenant les objets
• ≺ est la relation d'ordre linéaire (par exemple, « plus petit »)
• ◦ est l'opération de concaténation

Théorème de représentation de Hölder

Théorème 1 : Si la structure A satisfait les axiomes d'un semi-groupe archimédien ordonné, régulier et positif, alors pour tout c ∈ A fixé et tout nombre réel positif r ∈ ℝ⁺, il existe un homomorphisme φ: A → ℝ⁺ satisfaisant :

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

Paradoxe du sorite continu

Condition de continuité de Leibniz (LCC)

Principe de tolérance proposé par Weber & Colyvan :

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

Principe d'induction ouverte

Les auteurs relient le paradoxe du sorite continu à l'induction ouverte :

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

Où :

• Open(Ψ) : L'extension de Ψ est un ensemble ouvert
• Prog0,1 : Condition de progressivité

Paradoxe du sorite de couverture

Condition de couverture

Nouveau principe de tolérance proposé basé sur l'intuition que chaque point est entouré d'une région suffisamment petite telle que tous les points de cette région conservent la cohérence sur le prédicat vague.

Formalisé comme l'existence d'une couverture C = {Oᵢ: i ∈ I} satisfaisant :

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

Lemme de progression (Creeping Lemma)

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

Configuration expérimentale

Cadre des mathématiques inverses

Les auteurs utilisent la hiérarchie standard de l'arithmétique du second ordre :

• RCA₀ : Axiome de compréhension récursive, correspondant aux mathématiques calculables
• WKL₀ : Lemme faible de König, correspondant au principe de compacité
• ACA₀ : Axiome de compréhension arithmétique, correspondant au principe de complétude

Méthodes de codage

• Les nombres réels sont codés par des suites rapidement convergentes de nombres rationnels
• Les ensembles ouverts sont codés par des unions d'intervalles rationnels
• Les fonctions et suites sont codées par des ensembles

Résultats expérimentaux

Théorèmes d'équivalence principaux

Théorème 6 (Force du paradoxe du sorite continu) : Les propositions suivantes sont équivalentes sur RCA₀ :

• (a) Axiome de compréhension arithmétique ACA
• (b) Convergence des suites monotones bornées
• (c) Convergence des suites de Cauchy
• (d) Existence de la borne supérieure pour les ensembles bornés
• (e) Principe d'induction ouverte OI₁(Ψ) pour les formules Σ₁⁰

Théorème 7 (Force du paradoxe du sorite de couverture) : Les propositions suivantes sont équivalentes sur RCA₀ :

• (a) Lemme faible de König WKL
• (b) Théorème de Heine-Borel pour les couvertures dénombrables
• (c) Lemme de progression CL(Ψ) pour les formules Σ₁⁰

Contre-exemples récursifs

Suite de Specker

Construction d'une suite récursive croissante et bornée (sₙ) dont la limite s est un nombre réel non calculable. Définition du prédicat :

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

Dans le modèle de nombres réels calculables Rec, Σ(x) satisfait toutes les prémisses du paradoxe du sorite continu, mais ¬Σ(1), évitant ainsi la contradiction.

Couverture singulière

Construction d'une suite d'intervalles ouverts couvrant tous les nombres réels calculables, mais de longueur totale inférieure à 1, évitant ainsi le paradoxe du sorite de couverture dans le modèle calculable.

Travaux connexes

Théorie du vague

• Survaluationnisme (Fine 1975) : Traitement du vague par la précision
• Épistémisme (Williamson 1994) : Reconnaissance de frontières nettes mais inconnues
• Approches constructivistes : Traitement basé sur la logique intuitionniste

Théorie de la mesure

• Cadre classique de la théorie de la mesure de Krantz et al. (1971)
• Mesurabilité généralisée et théorèmes de représentation

Mathématiques inverses

• Cadre standard de Simpson (2009)
• Études de classification des théorèmes d'analyse réelle

Conclusion et discussion

Conclusions principales

1. Structure hiérarchique : Les trois formes du paradoxe du sorite forment une hiérarchie stricte de force :
   • Paradoxe du sorite discret ≤ RCA₀
   • Paradoxe du sorite de couverture ≡ WKL₀
   • Paradoxe du sorite continu ≡ ACA₀
2. Nouvelles solutions : Les contre-exemples récursifs fournissent des solutions au paradoxe basées sur la complexité computationnelle, qui :
   • Préservent la logique classique
   • Évitent les lacunes de vérité ou les engagements épistémologiques
   • Sont basées sur les caractéristiques computationnelles du continuum

Limitations

1. Portée d'application : Principalement applicable aux prédicats métriques, avec une applicabilité limitée à d'autres types de prédicats vagues
2. Engagements philosophiques : L'acceptabilité des solutions dépend de la position philosophique sur les fondements mathématiques
3. Pertinence pratique : Le lien avec l'utilisation réelle du vague dans le langage naturel nécessite une exploration supplémentaire

Directions futures

1. Extension aux cadres des mathématiques inverses d'ordre supérieur
2. Étude des dépendances mathématiques d'autres types de prédicats vagues
3. Exploration des connexions avec la linguistique computationnelle
4. Développement d'une théorie du vague basée sur la complexité computationnelle

Évaluation approfondie

Avantages

1. Innovation méthodologique : Application systématique pour la première fois des mathématiques inverses à l'analyse du paradoxe du sorite, fournissant des outils mathématiques précis
2. Profondeur théorique : Révélation des différences essentielles et des dépendances mathématiques entre différentes formes du paradoxe du sorite
3. Solutions novatrices : Les contre-exemples récursifs offrent une voie qui évite à la fois la logique non classique et les engagements philosophiques
4. Rigueur : Tous les résultats sont soutenus par des preuves mathématiques complètes, avec une analyse fiable et rigoureuse

Insuffisances

1. Profondeur de la discussion philosophique : La signification philosophique des contre-exemples récursifs est traitée de manière relativement brève
2. Applicabilité pratique : Le lien avec les phénomènes de vague dans l'utilisation réelle du langage n'est pas suffisamment étroit
3. Couverture : Se concentre principalement sur les prédicats métriques, avec une considération insuffisante d'autres types de prédicats vagues

Impact

1. Interdisciplinarité : Ouverture de nouvelles directions pour la recherche interdisciplinaire entre la logique, la philosophie et la théorie computationnelle
2. Contribution théorique : Fourniture de nouveaux fondements mathématiques pour la théorie du vague
3. Valeur méthodologique : Démonstration du potentiel d'application des mathématiques inverses à l'analyse de problèmes philosophiques

Scénarios d'application

1. Recherche théorique : Applicable à la recherche théorique en vague, paradoxes et philosophie des mathématiques
2. Applications computationnelles : Fourniture de fondements théoriques pour les systèmes computationnels traitant l'incertitude
3. Outils pédagogiques : Utilisation comme cas d'étude pédagogique montrant les connexions entre mathématiques et philosophie

Références bibliographiques

L'article cite une riche littérature couvrant :

• Littérature classique des mathématiques inverses (Simpson 2009, etc.)
• Ouvrages importants en théorie du vague (Fine 1975, Williamson 1994, etc.)
• Littérature fondamentale en théorie de la mesure (Krantz et al. 1971, etc.)
• Recherches récentes sur le paradoxe du sorite (Weber & Colyvan 2010, etc.)

Cet article fournit un exemple remarquable d'application des mathématiques inverses à l'analyse de problèmes philosophiques, révélant la structure profonde du paradoxe du sorite par des outils mathématiques précis et offrant une nouvelle perspective pour la compréhension de ce problème philosophique classique.