Non-classical Topological Evidence Logic

Résumé Technique : Logique de l'Évidence Topologique Non Classique

Énoncé du Problème
La Logique de l'Évidence Topologique (TEL - Topological Evidence Logic) est un cadre épistémique où une hypothèse est considérée comme « cohérentement justifiée » si et seulement si elle est entailée par un ensemble ouvert dense au sein d'un espace topologique. Dans la TEL classique, cela est typiquement formulé comme une extension de la logique modale S4 avec une modalité globale ($A$), où l'opérateur d'intérieur ($\square$) représente l'évidence. Cependant, toutes les formulations existantes de la TEL reposent sur la logique propositionnelle classique. L'auteur note que la logique classique a été critiquée pour sa représentation erronée du raisonnement ordinaire des agents, particulièrement concernant les principes de clôture (par exemple, croire la conséquence d'une implication implique de croire l'implication elle-même). Bien que des logiques épistémiques non classiques (intuitionnistes et pertinentes) aient été développées pour répondre à ces problèmes, elles manquent actuellement de la machinerie topologique pour exprimer l'« justification cohérente » via des ensembles ouverts denses. Le problème central abordé est de savoir si l'approche de la TEL est robuste sous des modifications de la base propositionnelle, spécifiquement dans les cadres des logiques intuitionnistes et pertinentes.

Méthodologie
L'article emploie des sémantiques topologiques sur des structures relationnelles pour étendre la TEL vers des contextes non classiques.

1. TEL Intuitionniste : L'auteur étend les travaux de de Groot et Shillito sur la logique modale intuitionniste iS4. La méthodologie consiste à définir des « up-spaces » (ensembles pré-ordonnés équipés d'une topologie d'ensemble ascendant ou up-set) et à introduire une modalité globale ($A$). La relation de satisfaction est définie de telle sorte que $\square\phi$ correspond à l'intérieur de l'ensemble des mondes satisfaisant $\phi$, et $A\phi$ est vrai dans tous les mondes. L'auteur démontre qu'en dépit de la nature non classique de la négation, la combinaison de l'opérateur d'intérieur et de la négation intuitionniste permet d'exprimer l'intérieur d'un complément, ce qui est nécessaire pour définir la densité.

2. TEL Pertinente : L'auteur étudie l'application de la TEL à la logique pertinente, en utilisant spécifiquement des cadres de Routley–Meyer étendus par une topologie d'ensemble ascendant (RM up-spaces). Une extension naïve du langage (ajout de $\square$ et $A$ à la logique de base $B$) s'avère insuffisante. À travers des contre-modèles, l'article démontre que dans ce langage restreint, il est impossible d'exprimer l'intérieur d'un complément ou l'existence d'un ensemble ouvert dense soutenant une proposition. Pour résoudre cela, le langage est étendu avec un nouvel opérateur, $\square_c$, interprété comme « l'intérieur du complément » ($Int(P^c)$). Cette extension permet de définir la densité et la justification cohérente au sein du cadre pertinent.

3. Axiomatisation : Pour les deux systèmes, l'auteur construit des axiomatisations de type Hilbert. Les preuves de complétude utilisent des constructions de modèles canoniques. Un défi spécifique dans la logique modale pertinente est l'interaction entre la modalité globale et le modèle canonique ; l'auteur emploie une technique d'« ancrage », restreignant le modèle canonique aux théories qui concordent avec une théorie « ancre » fixe sur toutes les formules globales ($A\phi$).

Contributions Clés et Résultats

• TEL Intuitionniste : L'article prouve que la justification cohérente peut être exprimée dans une extension de l'iS4 de de Groot et Shillito avec une modalité globale $A$. Il fournit une axiomatisation saine et complète (système iS4A) pour cette logique. L'intuition technique clé est que la négation intuitionniste combinée à l'opérateur d'intérieur suffit à définir l'intérieur d'un complément, permettant ainsi l'expression de la densité ($A\diamond\square\phi$).

• TEL Pertinente : L'auteur établit qu'une logique modale pertinente standard avec une modalité globale est insuffisante pour la TEL. Il introduit BS4A,c, une logique étendant la logique modale faible BS4 avec une modalité globale $A$ et l'opérateur d'intérieur du complément $\square_c$.

  • Il prouve que dans BS4A,c, la justification cohérente est exprimable sous la forme $\square\phi \land A\diamond_c\square\phi$ (où $\diamond_c$ est le dual de $\square_c$).
  • Il fournit une axiomatisation saine et complète pour BS4A,c.
  • Comme sous-produit, ce résultat résout un problème ouvert concernant l'axiomatisation d'une logique pertinente avec une modalité globale ($A$) laissé en suspens par les travaux précédents (Standefer et al.), car l'axiomatisation de BS4A,c (moins les axiomes modaux pour $\square$ et $\square_c$) produit une axiomatisation complète pour la logique pertinente de base avec $A$.

• Limites d'Expressivité : L'article démontre rigoureusement via des contre-modèles (Figures 2, 3 et 4) que sans l'opérateur $\square_c$, la logique pertinente ne peut exprimer l'intérieur d'un complément ou la propriété d'un ensemble étant soutenu par un ouvert dense. De plus, il montre que même avec $\square_c$, le langage ne peut pas exprimer l'implication intuitionniste.

Signification et Revendications
L'article prétend combler le fossé entre la logique épistémique topologique basée sur l'évidence et les logiques propositionnelles non classiques. Sa principale signification réside dans la démonstration de la robustesse de l'approche TEL : le concept de justification cohérente, défini topologiquement, peut être transféré avec succès vers les contextes intuitionnistes et pertinents, à condition que le langage soit appropriément étendu.

L'auteur caractérise modestement ce travail comme « les premiers pas » dans cette direction. L'article ne prétend pas résoudre tous les problèmes de la logique épistémique non classique, mais plutôt établir les cadres sémantiques et syntaxiques fondamentaux pour la TEL intuitionniste et pertinente. La principale réussite technique est le théorème de correction et de complétude pour BS4A,c, qui valide l'utilisation des outils topologiques dans les logiques modales pertinentes faibles. L'article conclut en identifiant des travaux futurs, notamment l'extension des résultats de décidabilité aux nouveaux systèmes, l'étude de logiques pertinentes plus fortes (comme R ou E), et l'exploration de la relation entre les espaces topologiques et les quantales dans le contexte des cadres RM.