Classical Logic without Bivalance

Ce papier applique la sémantique de Sandqvist pour la logique classique sans bivalence aux questions métamathématiques fondamentales, démontrant que cette approche permet de traiter l'incomplétude $\omega$, de fonder l'induction sur le sens et d'établir une preuve de consistance élémentaire de l'arithmétique de Peano sans recourir aux ordinaux transfinis ni à une vérité transcendant la reconnaissance.

L'essentiel

🌟 L'Arithmétique Classique sans le "Tout ou Rien" : Une Nouvelle Manière de Voir les Mathématiques

Imaginez que vous essayez de construire une maison (les mathématiques) en utilisant des règles strictes. Traditionnellement, les architectes (les logiciens) avaient deux façons de voir les choses :

1. Le Formaliste : "La maison est juste un jeu de règles sur du papier. Si vous suivez les règles, c'est valide."
2. Le Réaliste : "La maison existe vraiment quelque part, dans un monde magique indépendant de nous. Nos règles doivent simplement décrire cette réalité."

Le problème ? Le réaliste suppose l'existence d'un monde magique (ce qui est philosophiquement lourd), et le formaliste a du mal à expliquer pourquoi certaines règles semblent "incomplètes" (comme si on pouvait vérifier chaque brique individuellement, mais pas la maison entière).

Cet article propose une troisième voie : l'Inférentialisme. C'est l'idée que le sens d'un mot (comme "nombre" ou "plus") ne vient pas d'une réalité cachée ni d'un simple jeu de règles, mais de comment nous utilisons ce mot dans nos raisonnements.

Voici les trois idées clés de l'article, expliquées simplement :

1. La Règle du "Dictionnaire de la Maison" (La Sémantique de Sandqvist)

Imaginez que les mathématiques sont un jeu de rôle. Pour savoir si une phrase est vraie, on ne regarde pas si elle correspond à une réalité extérieure, mais si elle est justifiée par les règles du jeu que nous avons acceptées.

L'auteur utilise une méthode appelée "sémantique de la base".

• L'analogie : Imaginez un dictionnaire vivant. Si vous dites "Le chat est sur le tapis", cela a du sens seulement si les règles de votre jeu (votre "base") permettent de déduire cela à partir d'autres faits acceptés.
• Le résultat : Cette méthode permet de résoudre un vieux problème appelé l'"incomplétude ω". C'est comme si vous pouviez prouver que "le 1 est rouge", "le 2 est rouge", "le 3 est rouge"... pour chaque nombre, mais que vous ne pouviez pas prouver "Tous les nombres sont rouges".
• La solution de l'article : Dans ce nouveau système, si votre théorie (votre jeu) dit que "tout ce qui existe est un nombre", alors prouver que chaque nombre est rouge suffit à prouver que tout est rouge. Pas besoin de chercher des "nombres fantômes" invisibles.

2. La Preuve de Cohérence (Le Test de Sécurité)

Le grand défi des mathématiques est de prouver qu'elles ne contiennent pas de contradictions (c'est-à-dire qu'on ne peut pas prouver à la fois "2+2=4" et "2+2=5").

• Le problème habituel : Pour prouver que l'arithmétique (les maths de base) est sûre, les mathématiciens devaient souvent utiliser des outils très puissants et complexes (comme des nombres infinis gigantesques appelés "ordinaux transfinis"). C'est un peu comme utiliser un bulldozer pour tuer une mouche. De plus, cela semblait circulaire : on utilisait des maths très avancées pour prouver que les maths de base étaient sûres.
• La solution de l'article : L'auteur montre qu'on peut prouver la sécurité de l'arithmétique en utilisant seulement la méthode de base : l'induction (le principe qui dit que si c'est vrai pour 0, et si ça passe de n à n+1, alors c'est vrai pour tout le monde).
• L'analogie du "Poids" : Pour prouver que le système ne s'effondre pas, l'auteur attribue un "poids" à chaque expression mathématique.
  • Le nombre 0 a un poids de 0.
  • Le nombre 1 (qui est S(0)) a un poids de 1.
  • Si vous faites une opération, le poids change de manière prévisible.
  • Le coup de génie : Il montre que dans ce système, il est impossible de prouver une absurdité (comme 1=0) parce que les "poids" ne correspondraient jamais. C'est une preuve simple, élémentaire, qui ne nécessite pas de "super-maths".

3. Pourquoi c'est révolutionnaire ?

L'auteur répond à deux critiques principales :

1. "Vous utilisez quand même des maths complexes pour prouver les maths simples !"
   • Réponse : Non. Nous utilisons la logique de tous les jours (l'induction) pour expliquer le sens des mots mathématiques. Ce n'est pas un cercle vicieux, c'est une clarification. C'est comme expliquer ce qu'est "manger" en utilisant le concept de "nourriture", plutôt que de dire "manger existe parce que la réalité existe".
2. "Vous supposez l'existence des nombres !"
   • Réponse : Non. Pour l'inférentialiste, les nombres n'existent pas "quelque part" dans le ciel. Ils existent parce que nous savons comment les utiliser. Comprendre ce qu'est un nombre, c'est comprendre comment on raisonne avec. L'induction n'est pas une hypothèse sur un monde extérieur, c'est la définition même de ce qu'est un nombre pour nous.

🎯 En Résumé

Cet article dit : "Arrêtons de chercher des vérités cachées dans l'univers pour valider nos maths. Regardons comment nous utilisons les mots."

En changeant notre point de vue (du "réel" vers "l'usage"), l'auteur parvient à :

• Résoudre des problèmes de logique compliqués (l'incomplétude).
• Prouver que l'arithmétique est sûre sans avoir besoin d'outils mathématiques surpuissants.
• Montrer que la logique classique (celle qu'on utilise tous les jours) fonctionne parfaitement bien, même sans supposer que chaque phrase est soit "vraie" soit "fausse" dans un monde absolu.

C'est une victoire pour une vision des mathématiques qui est plus humaine, plus ancrée dans notre façon de raisonner, et moins dépendante de mystères métaphysiques.

Résumé technique

Voici un résumé technique détaillé de l'article « Classical Arithmetic Without Bivalence » d'Alexander V. Gheorghiu, structuré selon les points demandés.

1. Le Problème : Les Fondements de la Métamathématique et l'Incomplétude $\omega$

L'article s'attaque aux limites des fondements traditionnels de la logique et des mathématiques, spécifiquement dans le contexte de l'arithmétique de Peano (PA).

• Le dilemme fondationnel : La logique formelle repose traditionnellement sur deux approches : le formalisme (les mathématiques comme manipulation de symboles) et le dénominationnalisme (les mathématiques comme référence à des structures indépendantes de l'esprit).
  • Le formalisme peine à expliquer l'incomplétude $\omega$ : une théorie $\Gamma$ peut prouver $\varphi(n)$ pour tout entier $n$, mais échouer à prouver $\forall x \varphi(x)$. Pour le formaliste, c'est une limitation brute du calcul.
  • Le dénominationnalisme explique cela par l'existence d'entités non nommées (modèles non standards), mais au prix d'une métaphysique réaliste et d'une théorie de la vérité conditionnelle, ce qui contredit les exigences de l'anti-réalisme (Dummett).
• La question centrale : Comment fournir une account anti-réaliste du raisonnement classique et prouver la consistance de l'arithmétique sans recourir à des ordinaux transfinis ou à une vérité transcendant la reconnaissance ?

2. Méthodologie : Sémantique Inférentielle de Sandqvist

L'auteur applique la sémantique de Sandqvist (2009) pour la logique classique sans bivalence, une approche inférentiste où le sens est ancré dans le rôle inférentiel et l'assertibilité justifiée.

• Le Cadre Sémantique :
  • Base ($B$) : Un ensemble de règles atomiques représentant les engagements inférentiels matériels d'un agent.
  • Relation de Support ($\Vdash_B$) : Définie inductivement (Figure 1). Une formule est soutenue par une base si elle est dérivable à partir des règles de la base et des règles logiques.
  • Quantification Universelle : $\Vdash_B \forall x \varphi$ si et seulement si $\Vdash_B \varphi[x \mapsto t]$ pour tous les termes clos $t$.
• Approche de la Théorie :
  • L'ontologie n'est pas fixée par des modèles externes, mais par la théorie elle-même via les rôles inférentiels des termes.
  • Une théorie est numériquement définie si pour tout terme clos $t$, la théorie prouve $t = \bar{n}$ (où $\bar{n}$ est un numéral).
  • Dans ce cadre, l'incomplétude $\omega$ disparaît : si la théorie sait que son domaine est capturé par les numéraux, la preuve de $\varphi(\bar{n})$ pour tout $n$ implique $\forall x \varphi(x)$.

3. Contributions Clés

L'article apporte plusieurs contributions techniques et philosophiques majeures :

1. Résolution de l'Incomplétude $\omega$ par Définition Ontologique :

   • Proposition 5 : Si une théorie est numériquement définie, elle est $\omega$-complète. La quantification universelle ne "flotte" pas au-dessus de la syntaxe ; elle est restreinte aux termes de la langue.
   • Cela efface la distinction sémantique entre l'arithmétique de Robinson ($Q$) et celle de Peano ($PA$) : la différence n'est plus sémantique (modèles) mais purement syntaxique (puissance de déduction).

2. L'Induction comme Constitutive du Sens :

   • Proposition 6 : L'induction est dérivée de la définition numérique. Comprendre les nombres naturels, c'est saisir leur rôle inférentiel, ce qui rend l'induction constitutive de la compréhension arithmétique (contre le réalisme comportemental de Weir).

3. Preuve Élémentaire de Consistance de PA :

   • Le cœur de l'article est la preuve que PA est consistant ($PA \nVdash \bot$) en utilisant uniquement l'induction sur les nombres naturels, sans ordinaux transfinis ni modèles externes.

4. Résultats Techniques : La Preuve de Consistance

La preuve de consistance (Théorème 9) repose sur la construction explicite d'une base arithmétique $A$ (Figure 2).

• Construction de la Base $A$ :
  • $A$ contient des règles atomiques correspondant aux axiomes de PA (successeur, addition, multiplication, égalité).
  • L'auteur définit une fonction de poids $w(t)$ sur les termes clos par récurrence primitive :
    • $w(0) = 0$
    • $w(S(t)) = w(t) + 1$
    • $w(t_1 + t_2) = w(t_1) + w(t_2)$
    • $w(t_1 \cdot t_2) = w(t_1) \cdot w(t_2)$
• Argument de Consistance :
  • Par induction sur la structure des dérivations dans $A$, il est démontré que si une équation $t_1 = t_2$ est dérivée, alors $w(t_1) = w(t_2)$.
  • Puisque $w(1) = 1$ et $w(0) = 0$, il est impossible de dériver $1 = 0$.
  • Par conséquent, $A$ ne supporte pas le faux ($\bot$), et puisque $A$ supporte tous les axiomes de PA, PA est consistant.
• Validité dans la Logique Classique :
  • Grâce à la propriété de sonorité (Soundness) de la sémantique de Sandqvist (si $\Gamma \vdash \varphi$ alors $\Gamma \Vdash \varphi$), la consistance sémantique ($PA \nVdash \bot$) implique la consistance syntaxique classique ($PA \nvdash \bot$).
  • L'article montre également que ce résultat tient même si l'on étend le langage avec une infinité de constantes pour obtenir une complétude, en traitant ces constantes comme de simples noms alternatifs pour zéro.

5. Signification et Implications

• Anti-Réalisme et Métamathématique :

  • La preuve ne dépend pas d'une ontologie réaliste (structures indépendantes) ni d'un formalisme strict. Elle s'appuie sur une circularité pragmatique (Dummett) : l'induction est justifiée par la pratique inférentielle elle-même, constitutive du concept de nombre.
  • Cela répond à la critique de Dummett selon laquelle justifier le raisonnement classique est un problème fondamental. Sandqvist et Gheorghiu montrent que la logique classique est compatible avec l'anti-réalisme.

• Réponse aux Objections :

  • Contre le Formalisme : L'objection selon laquelle la définition de la relation de support est trop complexe (quantificateurs alternés) est rejetée car elle présuppose le formalisme comme standard. Dans l'inférentialisme, la relation de support est une explication méta-théorique du sens, pas une formule à arithmétiser.
  • Contre le Réalisme Modélisateur : L'utilisation de l'induction dans la preuve n'est pas un déplacement du problème. Sur le plan inférentiste, l'induction n'est pas une hypothèse sur une structure objective, mais la manifestation de la compréhension des nombres.

• Statut du Programme de Hilbert :

  • L'auteur précise que ce résultat n'est pas une contribution au Programme de Hilbert au sens strict (établir la consistance dans une méta-théorie plus faible au sens formel). Il s'agit plutôt d'une réinterprétation fondationnelle où la consistance est démontrée par des moyens acceptables pour un anti-réaliste, sans recourir à des entités transcendant la reconnaissance.

En résumé, l'article démontre que l'arithmétique classique peut être fondée sur une sémantique inférentielle sans bivalence, éliminant les problèmes d'incomplétude $\omega$ par la définition de l'ontologie via la théorie, et fournissant une preuve de consistance élémentaire qui légitime le raisonnement classique sans réalisme métaphysique.