A taxonomy for controlling (in)consistency

1. Problématique

L'article s'attaque à un manque de hiérarchie structurée au sein des Logiques de l'Inconsistance Formelle (LFI). Bien que les systèmes $C_n$ de Newton da Costa aient établi une hiérarchie pour les logiques paraconsistantes basées sur des degrés d'engagement, les LFI modernes (comme $mbC$, $mbCci$, $LFI1$) manquent souvent d'une structure comparable permettant de contrôler précisément le niveau de « méta-consistance ».

Le problème central est le suivant :

• Dans des logiques comme $mbCciw$, la consistance ($\circ$) peut être contradictoire à n'importe quel niveau d'itération (scepticisme radical).
• Dans des logiques comme $mbCci$, toute affirmation de consistance doit elle-même être consistante (dogmatisme), ce qui est trop restrictif pour certains contextes épistémologiques.
• Il existe un besoin de logiques intermédiaires capables de contrôler la consistance à un niveau d'itération $n$ spécifique (ex: on peut remettre en question la fiabilité d'un critère, mais pas la fiabilité de la remise en question de ce critère).
• De plus, il manque des LFI à plus de 3 valeurs (au-delà de $LFI1$) qui soient axiomatisables et sémantiquement bien comprises, pour offrir une plus grande expressivité.

2. Méthodologie

Les auteurs proposent une approche systématique combinant plusieurs outils sémantiques et algébriques :

• Hiérarchie Bidimensionnelle ($L^k_n$) : Ils introduisent une famille de logiques de consistance contrôlée (LCC) notée $L^k_n$.
  • La dimension $n$ contrôle le niveau d'itération où la consistance devient elle-même consistante (via l'axiome $\circ^{n+2}\alpha$).
  • La dimension $k$ contrôle la force de la négation et la détermination des opérateurs (ajout d'axiomes comme la double négation ou des équivalences entre négations de consistance).
• Sémantique par Structures de Swap (Swap Structures) : Pour les niveaux de base, ils utilisent des matrices non déterministes (Nmatrices) basées sur des structures de swap, où les valeurs de vérité sont des tuples (snapshots) représentant la valeur d'une formule, sa négation et sa négation de consistance.
• Structures de Twist et Logiques Multivaluées : Pour la logique $LFI3$ (une extension de $L^2_1$), ils transforment les structures non déterministes en matrices déterministes (twist structures) en imposant un ordre linéaire sur les valeurs et en définissant des opérateurs déterministes pour les connecteurs binaires.
• RNmatrices (Restricted Nmatrices) : Pour fournir une sémantique uniforme et générale à toute la hiérarchie $L^k_n$, ils utilisent des RNmatrices. Cela consiste à restreindre l'ensemble des valuations d'une Nmatrix de base pour satisfaire des conditions spécifiques (comme l'axiome de consistance itérée), évitant ainsi la complexité croissante des tables de vérité à mesure que le nombre de valeurs augmente.

3. Contributions Clés

A. La Hiérarchie $L^k_n$

Les auteurs définissent formellement la hiérarchie :

• $L^0_n$ : Ajoute l'axiome $(cc_n) \circ^{n+2}\alpha$ à $mbCciw$. Cela signifie que la consistance est garantie à partir du niveau $n+2$.
• $L^1_n$ : Ajoute la double négation $(\neg\neg\alpha \leftrightarrow \alpha)$, rendant la négation plus forte (ex: $Cbr$).
• $L^k_n$ (pour $k \ge 2$) : Ajoute des axiomes de type $(ip_j) : \neg\circ^j\neg\alpha \leftrightarrow \neg\circ^j\alpha$, renforçant la détermination de la négation sur les opérateurs de consistance itérés.

B. La Logique $LFI3$ (Logique à 5 valeurs)

C'est une contribution majeure. Les auteurs construisent une logique $LFI3$ qui est une extension de $L^2_1$ et un sous-ensemble de $LFI1$.

• Elle est caractérisée par une matrice logique à 5 valeurs : $\{T, t, b, f, F\}$ (Vrai, Contradictoire avec fiabilité, Contradictoire, Faux avec fiabilité, Faux).
• Elle est obtenue en transformant la structure de swap non déterministe de $L^2_1$ en une structure de twist déterministe.
• Ils fournissent un calcul de Hilbert complet pour $LFI3$ et prouvent qu'elle est maximale par rapport à $LFI1$ (toute extension propre de $LFI3$ par rapport à $LFI1$ coïncide avec $LFI1$).

C. Sémantique Unifiée via RNmatrices

Au lieu de construire des matrices complexes pour chaque niveau $n$ (qui deviendraient ingérables avec 8, 13, etc. valeurs), les auteurs montrent que toute la famille $L^k_n$ peut être caractérisée par des RNmatrices basées sur une Nmatrix de base simple (comme celle de $mbCciw$ ou $Cbr$), avec des restrictions sur les valuations. Cela prouve la complétude et la correction de toute la hiérarchie de manière uniforme.

4. Résultats Principaux

1. Correction et Complétude : Les auteurs démontrent la correction (soundness) et la complétude de la hiérarchie $L^k_n$ par rapport à la sémantique des structures de swap et des RNmatrices.
2. Théorème du Point Fixe : Ils prouvent que la logique $L^{n+1}_n$ est un point fixe : pour tout $m \ge n+2$, $L^{n+1}_n = L^m_n$. Cela signifie que renforcer la négation au-delà d'un certain seuil par rapport au niveau de contrôle de consistance $n$ n'ajoute pas de nouvelles puissances logiques.
3. Représentation Philosophique :
   • Scepticisme : $mbCciw$ (ou $L^0_0$ sans axiome de consistance itérée) modélise un scepticisme où l'on peut toujours remettre en cause la fiabilité des critères, à l'infini.
   • Dogmatisme : $L^0_0$ (équivalent à $mbCci$) modélise une position dogmatique où les critères sont acceptés comme fiables dès le premier niveau de méta-consistance.
   • Pragmatisme : La hiérarchie permet de modéliser des contextes où la remise en question s'arrête à un niveau $n$ spécifique (ex: dans un jeu de rôle, on peut mentir sur sa position, mais pas sur la fiabilité de la règle du jeu).
4. Opérateurs de Récupération : Dans $LFI3$, ils définissent de nouveaux opérateurs de consistance ($\circ^*$ et $\circ^\#$) qui permettent de récupérer respectivement la logique classique (CPL) et la logique $LFI1$ à l'intérieur de $LFI3$.

5. Signification et Impact

Cet article est significatif pour plusieurs raisons :

• Unification : Il offre un cadre unifié qui regroupe des logiques bien connues ($mbC$, $mbCci$, $Cbr$, $Cie$, $LFI1$) et en génère de nouvelles, créant une « taxonomie » claire des logiques paraconsistantes.
• Avancée Multivaluée : La construction de $LFI3$ brise la barrière des logiques LFI à 3 valeurs, démontrant qu'il est possible de créer des logiques paraconsistantes déterministes à 5 valeurs (et au-delà) avec une sémantique rigoureuse.
• Application Philosophique et Pragmatique : La hiérarchie fournit un outil formel pour modéliser des positions épistémologiques variées (du scepticisme radical au dogmatisme) en contrôlant précisément à quel niveau de profondeur la consistance d'un jugement peut être contestée.
• Méthodologique : L'utilisation des RNmatrices pour gérer la complexité croissante des niveaux d'itération offre une nouvelle voie de recherche pour l'étude des logiques non classiques complexes.

En résumé, Coniglio et Ongaratto réussissent à combler le vide entre les systèmes $C_n$ et les LFI modernes, offrant une flexibilité sémantique et syntaxique sans précédent pour le contrôle de l'inconsistance.