💻 computer science

Stratified Counterpossible Logic

Cet article introduit les systèmes de logique stratifiés SCP et SCP1, qui distinguent l'impossibilité logique de l'impossibilité métaphysique afin d'éviter les vérités contrefactuelles vacues tout en prouvant leur correction, leur complétude et leur décidabilité.

Auteurs originaux : Chen Huang (Institute of Logic,Cognition, Department of Philosophy, Sun Yat-sen University), Xuefeng Wen (Institute of Logic,Cognition, Department of Philosophy, Sun Yat-sen University)

Publié 2026-07-01

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Chen Huang (Institute of Logic,Cognition, Department of Philosophy, Sun Yat-sen University), Xuefeng Wen (Institute of Logic,Cognition, Department of Philosophy, Sun Yat-sen University)

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous soyez un juge présidant un tribunal des « Et si ». D'habitude, ces affaires sont faciles. Si quelqu'un demande : « Et si j'avais raté le bus ? », vous pouvez facilement imaginer un monde où vous avez raté le bus et calculer les conséquences (vous êtes en retard, vous avez faim, etc.).

Mais que se passe-t-il quand quelqu'un demande : « Et si 2 + 2 = 5 ? » ou « Et si Hobbes avait tracé le cercle par la règle ? » (une tâche mathématiquement impossible) ?

Pendant longtemps, les logiciens ont soutenu que, puisque ces points de départ sont impossibles, la réponse à toute question suivant ceux-ci devrait être « Vraie » par défaut. C'est comme dire : « Puisque la prémisse est absurde, l'ensemble de la phrase est automatiquement vraie. » Cela s'appelle le Vacuisme.

Les auteurs de cet article, Chen Huang et Xuefeng Wen, disent : « Attendez une minute. Cela ne semble pas juste. »

Intuition 1 : « Si Hobbes avait tracé le cercle par la règle, les enfants malades en Afghanistan auraient été guéris. » Cela semble Faux. Tracer le cercle par la règle n'a rien à voir avec la guérison d'enfants.
Intuition 2 : « Si Hobbes avait tracé le cercle par la règle, nous aurions été surpris. » Cela semble Vrai. Si quelqu'un faisait l'impossible, nous serions choqués.

Si la règle du « Vacuisme » était vraie, les deux phrases seraient vraies, ce qui ignore la différence entre une connexion absurde et une connexion logique. Les auteurs veulent construire un système qui respecte ces différences.

Le Problème : Confondre les impossibilités « dures » et « douces »

Les auteurs soutiennent que les systèmes précédents traitaient toutes les choses « impossibles » comme un même désordre. Ils ne distinguaient pas entre :

L'impossibilité métaphysique : Des choses qui violent les règles de notre univers mais pas les règles des mathématiques. (ex : « L'or a le numéro atomique 50 » ou « L'eau n'est pas H2O »).
L'impossibilité logique : Des choses qui violent les règles fondamentales de la logique elle-même. (ex : « Un cercle carré » ou « P et non-P »).

Les auteurs proposent une Logique Contre-possible Stratifiée (SCP). Voyez cela comme un bâtiment à trois étages où les règles changent à chaque étage.

Les trois étages du bâtiment

L'étage supérieur (Possibilité métaphysique) : C'est notre monde normal et des mondes légèrement différents mais qui font toujours sens. Ici, l'or est de l'or, l'eau est de l'eau, et les lois de la physique s'appliquent.
L'étage du milieu (Logiquement normal mais métaphysiquement impossible) : C'est la zone du « Et si ». Ici, nous pouvons imaginer que l'or ait le numéro atomique 50. C'est bizarre et cela brise les lois de la nature, mais les lois de la logique fonctionnent toujours. Nous pouvons toujours faire des mathématiques, et nous pouvons encore dire « Si l'or est 50, il est toujours un métal ». La logique est intacte ; c'est la chimie qui est différente.
Le sous-sol (Mondes anti-logiques) : C'est la zone du chaos pur. Ici, les règles de la logique elle-même s'effondrent. Une proposition peut être à la fois vraie et fausse en même temps. C'est là que réside le fait de « tracer le cercle par la règle ».

L'innovation clé : Le système des auteurs nous permet de descendre de l'étage supérieur vers l'étage du milieu pour discuter de scénarios « anti-essentiels » (comme l'or ayant un numéro différent) sans perdre la raison logique. Nous pouvons toujours raisonner clairement là. Mais si nous descendons jusqu'au sous-sol, les règles de la logique s'effondrent, et nous devons être très prudents quant à la manière dont nous jugeons les résultats.

Les deux systèmes : SCP et SCP1

L'article introduit deux versions de cette logique :

1. SCP (Le système de base) :
Ce système sépare avec succès les étages. Il nous permet de dire que « Si l'eau était XYZ, elle serait toujours mouillée » est une expérience de pensée valide parce que nous sommes sur l'étage du milieu où la logique fonctionne encore. Cependant, les auteurs ont remarqué une petite faille : si vous posez une question sur une impossibilité logique (comme tracer le cercle par la règle), le système pourrait techniquement dire : « Oh, il n'y a aucun monde dans le sous-sol où cela se produit », et déclarer l'énoncé « Vrai » simplement parce que la liste des mondes est vide. C'est une forme de « Vacuisme » qu'ils voulaient éviter.

2. SCP1 (Le système amélioré) :
Pour corriger la faille, les auteurs ont créé SCP1. Ils ont ajouté une règle stricte : La fonction de sélection ne peut pas être vide.
Imaginez un juge disant : « Même si la prémisse est impossible, vous devez trouver au moins un scénario dans le sous-sol pour évaluer la conséquence. »

Si vous demandez : « Si Hobbes avait tracé le cercle par la règle, les enfants seraient-ils guéris ? », SCP1 force le système à chercher un monde où Hobbes a tracé le cercle par la règle.
Dans ce monde chaotique du sous-sol, puisqu'il n'y a aucun lien logique entre « tracer le cercle par la règle » et « guérir les enfants », le système conclut que l'énoncé est Faux.
Cela empêche le système de tricher en disant : « C'est vrai parce que rien n'existe. »

Pourquoi cela importe

L'article prouve que cette nouvelle façon de penser est mathématiquement saine (elle ne se brise pas), complète (elle peut répondre à toutes les questions valides) et décidable (nous pouvons écrire un programme informatique pour la résoudre).

L'idée à retenir :
Les auteurs ont construit une meilleure carte des « Mondes impossibles ».

Les anciennes cartes disaient : « Tous les lieux impossibles sont les mêmes ; rien n'a de sens là-bas. »
Cet article dit : « Non, il existe différents types de lieux impossibles. Certains sont juste bizarres (Étage du milieu) où nous pouvons encore penser clairement. D'autres sont chaotiques (Sous-sol) où la logique se brise. Et même dans le sous-sol chaotique, nous ne devrions pas simplement abandonner et dire que tout est vrai ; nous devrions vérifier si le « Et si » est réellement lié au résultat. »

En séparant ces couches, les auteurs nous permettent d'avoir des conversations philosophiques sérieuses sur des scénarios impossibles sans perdre notre assise logique.

Résumé technique : Logique des contrepossibles stratifiée (SCP et SCP1)

Énoncé du problème
L'article traite des limites de la sémantique des contrefactuels standard (par exemple, Stalnaker-Lewis) lorsqu'elle est appliquée aux contrepossibles — des conditionnels ayant des antécédents impossibles. La sémantique standard produit souvent un « vacuisme », où tous les contrepossibles sont trivialement vrais parce que leurs antécédents sont insatisfaisables. Cela entre en conflit avec des distinctions intuitives, telles que la différence entre « Si Hobbes avait élevé le carré du cercle, les enfants seraient guéris » (intuitivement faux) et « Si Hobbes avait élevé le carré du cercle, nous serions surpris » (intuitivement vrai).

De plus, les approches non vacuistes existantes (par exemple, les mondes impossibles de Nolan) traitent souvent toutes les impossibilités comme une catégorie monolithique. Cette confusion entre les impossibilités métaphysiques (par exemple, « l'eau n'est pas H2O », qui viole des propriétés essentielles mais obéit à la logique classique) et les contradictions logiques (par exemple, $P \land \neg P$ ) crée un dilemme : les systèmes qui accommodent les contradictions logiques sacrifient souvent les règles d'inférence nécessaires au raisonnement sur les hypothèses métaphysiques. L'article soutient que les cadres actuels ne parviennent pas à modéliser suffisamment la structure interne du domaine impossible, ce qui conduit à un arbitrage entre la force logique et la capacité d'évaluer des contrepossibles non triviaux.

Méthodologie
Les auteurs proposent un cadre sémantique stratifié qui partitionne l'espace logique en trois couches distinctes :

Mondes logiquement normaux ( $N$ ) : Mondes cohérents avec la logique classique. Cette région est subdivisée par une relation d'accessibilité métaphysique ( $R_M$ ) pour distinguer les scénarios métaphysiquement possibles et métaphysiquement impossibles (mais logiquement possibles).
Mondes anti-logiques ( $I$ ) : Mondes où les normes de la logique classique échouent (par exemple, des mondes paraconsistants où $\phi \land \neg \phi$ est vrai).
Sémantique de sélection : Le système emploie une fonction de sélection $f$ $f$ pour évaluer les conditionnels. La fonction est contrainte par le type d'antécédent :
- Si l'antécédent est métaphysiquement possible, la sélection est restreinte aux mondes accessibles par $R_M$ .
- Si l'antécédent est métaphysiquement impossible mais logiquement possible, la sélection s'étend à $N$ mais reste au sein de $R_L$ (accessibilité logique).
- Si l'antécédent est logiquement impossible, la sélection s'étend à $I$ .

L'article définit deux systèmes :

SCP (Logique des contrepossibles stratifiée) : Le système de base établissant la hiérarchie $N/R_M/I$ . Il valide la logique propositionnelle classique dans $N$ et permet l'évaluation non vacueuse des impossibilités métaphysiques.
SCP1 : Une extension de SCP conçue pour résoudre le problème du « vacuisme » dans le domaine anti-logique. Elle impose une contrainte de non-vacuité sur la fonction de sélection ( $f(w, \phi) \neq \emptyset$ ) et traite l'accessibilité logique ( $R_L$ ) comme une relation universelle sur $N$ .

Contributions clés et résultats

Sémantique stratifiée : L'article formalise un modèle à trois couches où la nécessité métaphysique est imbriquée dans la nécessité logique. Cela permet au système d'évaluer des conditionnels « anti-essentiels » (par exemple, « Si l'or avait le numéro atomique 50... ») en utilisant la logique classique dans $N$ , tout en réservant $I$ pour les véritables contradictions logiques.
Systèmes axiomatiques :
- SCP est défini avec des axiomes pour la logique propositionnelle classique, les opérateurs modaux S5 pour la nécessité logique ( $\Box_L$ ) et métaphysique ( $\Box_M$ ), ainsi que des axiomes de conditionnel spécifiques (ID, SOC-M, SIC).
- SCP1 étend SCP avec les axiomes (NE) et (SOC-L) pour imposer la non-vacuité et l'accessibilité logique universelle.
Propriétés méta-logiques : Les auteurs fournissent des preuves rigoureuses pour les deux systèmes, démontrant :
- La correction (Soundness) : Les systèmes axiomatiques sont corrects par rapport à leurs modèles sémantiques respectifs.
- La complétude (Completeness) : Les deux systèmes sont complets ; toute inférence valide est dérivable.
- La décidabilité (Decidability) : Les deux systèmes possèdent la propriété du modèle fini, garantissant qu'ils sont décidables. Ceci est réalisé via des techniques de filtration qui construisent des modèles finis à partir de modèles canoniques.
Résolution du vacuisme : Dans SCP1, la contrainte de non-vacuité garantit que les contrepossibles avec des antécédents impossibles ne sont pas trivialement vrais. Au lieu de cela, leur valeur de vérité dépend de la connexion substantielle entre l'antécédent et le conséquent au sein des mondes anti-logiques sélectionnés.

Signification
L'article soutient que cette approche stratifiée distingue avec succès les différents types d'impossibilité sans sacrifier les règles d'inférence logique pour le raisonnement métaphysique. En séparant le domaine de la contradiction logique de celui de l'impossibilité métaphysique, le système permet une déduction significative dans des scénarios où les propriétés essentielles sont violées (par exemple, les expériences de pensée scientifiques) tout en maintenant un cadre robuste pour traiter les contradictions logiques.

Les auteurs suggèrent que ce cadre hiérarchique est généralisable à d'autres domaines modaux, tels que la distinction entre obligations primaires et secondaires en logique déontique ou la modélisation des limites cognitives en logique épistémique. Ce travail fournit une voie sémantique formelle pour résoudre les conflits modaux et caractériser la structure de l'impossibilité, dépassant la dichotomie binaire « possible vs impossible ».

Le Problème : Confondre les impossibilités « dures » et « douces »

Les trois étages du bâtiment

Les deux systèmes : SCP et SCP1

Pourquoi cela importe

Résumé technique : Logique des contrepossibles stratifiée (SCP et SCP1)

Articles similaires