🔢 mathematics

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics

Cet article propose une approche inférentialiste de l'information fondée sur la sémantique déductive, remplaçant la vérité traditionnelle par l'inférabilité afin de développer un cadre mathématique-logique pour l'« inféron » permettant un raisonnement rigoureux sur le flux d'information dans les systèmes distribués.

Auteurs originaux : Matthew Collins, Timo Eckhardt, David Pym

Publié 2026-05-08

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Matthew Collins, Timo Eckhardt, David Pym

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

La Vue d'Ensemble : Qu'est-ce que l'Information, Vraiment ?

Imaginez que vous essayez de construire une maison. Vous avez des briques, du bois et des clous, mais vous n'avez pas de plan. Vous savez empiler les briques, mais vous ne savez pas pourquoi elles tiennent ou comment elles s'assemblent pour former une pièce.

Les auteurs de ce document soutiennent que dans notre monde moderne, nous parlons d'« information » tout le temps (dans les ordinateurs, les actualités, la science et la vie quotidienne), mais que nous n'avons pas vraiment de plan solide et mathématique pour définir ce qu'est l'information. Sans ce plan, il est difficile de comprendre comment fonctionnent réellement les systèmes complexes (comme Internet ou les chaînes d'approvisionnement mondiales).

Leur objectif est de construire un nouveau type de plan. Au lieu de définir l'information par le fait qu'elle soit « vraie » dans un sens statique (comme un fait écrit dans un livre), ils veulent la définir par la façon dont elle est utilisée pour faire une déduction. Ils appellent cela une approche « inférentialiste ».

L'Ancienne Méthode vs La Nouvelle Méthode

L'Ancienne Méthode (Le Modèle de la « Vérité ») :
Imaginez un bibliothécaire qui n'accepte que les livres qui sont factuellement corrects. Si un livre dit « Le ciel est bleu », le bibliothécaire consulte une carte parfaite et gigantesque de l'univers pour voir si le ciel est effectivement bleu. Si c'est le cas, le livre est une « information ». Si le livre dit « Le ciel est vert », il est rejeté comme faux.

Le Problème : Cela nécessite une carte externe parfaite de l'univers (un « modèle ») sur laquelle tout le monde s'accorde. Il est difficile de construire cette carte pour des systèmes complexes et changeants.

La Nouvelle Méthode (Le Modèle de l'« Inférence ») :
Les auteurs proposent un bibliothécaire différent. Ce bibliothécaire ne se soucie pas d'une carte gigantesque de l'univers. À la place, il se soucie des règles.

Imaginez que vous avez un ensemble de règles : « S'il pleut, alors le sol est mouillé. »
Si vous dites au bibliothécaire : « Il pleut », il peut immédiatement déduire : « Par conséquent, le sol est mouillé. »
Dans cette perspective, l'information ne consiste pas à faire correspondre un fait à la réalité ; elle consiste en ce que vous pouvez conclure logiquement en fonction des règles que vous possédez.

Les auteurs appellent cette nouvelle unité d'information un « inféron » (abréviation de « unité inférentielle »). Pensez à un inféron non pas comme un fait, mais comme un coup dans un jeu de logique. C'est un élément d'information qui dit : « Étant donné ces règles, je peux déduire cette prochaine étape. »

Les Trois Piliers du Document

Le document construit cette nouvelle théorie sur trois jambes principales :

1. La Philosophie (Le « Pourquoi »)

Les auteurs s'intéressent à un philosophe célèbre nommé Dretske, qui a affirmé que l'information doit être à propos de quelque chose, doit être vraie, et doit être transmissible.

La Pétition de Principe : Les auteurs conservent « à propos de quelque chose » et « transmissible », mais ils remplacent « vérité » par « inférabilité ».
Analogie : Au lieu de demander : « Cette affirmation est-elle vraie dans le monde réel ? », ils demandent : « Puis-je prouver cette affirmation en utilisant les règles que j'ai actuellement ? » Si vous pouvez le prouver, cela compte comme de l'information. Cela rend l'information dépendante de la personne (ou de l'ordinateur) qui pense et des règles qu'elle utilise.

2. La Logique (Le « Comment »)

Pour rendre cela fonctionnel mathématiquement, ils utilisent un outil appelé Sémantique Déductive.

L'Analogie : Imaginez un carnet de règles gigantesque et infini appelé une « Base ».
- Certaines règles sont simples : « Si vous avez une clé, vous pouvez ouvrir la porte. »
- Certaines règles sont complexes : « Si vous avez une clé ET que la porte est déverrouillée, vous pouvez entrer. »
Dans leur système, un « inféron » est un élément d'information soutenu par un ensemble spécifique de règles dans ce carnet. Si vous avez les bonnes règles (la Base), l'information « tient ». Si vous changez les règles, l'information peut changer.
Cela diffère de l'ancienne méthode (Théorie des Situations), qui traite l'information comme une photo instantanée d'une scène dans un film. La nouvelle méthode traite l'information comme une étape dans une recette.

3. Les Systèmes (Le « Où »)

Enfin, ils montrent comment cela fonctionne dans des systèmes réels, comme un réseau d'ordinateurs ou un poste de contrôle de sécurité.

L'Analogie : Pensez à une Lampe de poche. Une lampe de poche a un interrupteur et une ampoule.
- Dans l'ancienne vision, vous pourriez dire : « L'interrupteur est SUR, donc l'ampoule est ALLUMÉE. »
- Dans leur nouvelle vision, ils définissent un « canal » (une connexion) entre l'interrupteur et l'ampoule. Ils utilisent des règles pour dire : « Si l'interrupteur est SUR (dans ce contexte spécifique), alors l'ampoule doit être allumée. »
Ils appliquent cela à un exemple complexe : la Sécurité Aéroportuaire.
- Un passager passe par l'enregistrement, le contrôle des bagages et le contrôle des passeports.
- À chaque étape, différentes « bases » (ensembles de règles) sont utilisées. L'agent d'enregistrement a des règles sur les passeports ; l'agent des bagages a des règles sur les bagages.
- Le document montre comment l'information circule d'une station à l'autre non seulement comme des données, mais comme des déductions logiques. Par exemple : « Parce que le passeport a été vérifié à l'étape 1, et que les règles disent qu'un passeport vérifié autorise l'embarquement, le passager peut embarquer à l'étape 5. »

Points Clés à Retenir

L'Information est un Processus : Ce n'est pas un objet statique assis dans une base de données ; c'est un processus actif de raisonnement.
Le Contexte Compte : Ce qui compte comme information dépend des « règles » (la Base) que vous utilisez actuellement. Un fait qui est une information pour un médecin peut ne pas être une information pour un profane, car ils ont des livres de règles différents.
Les Agents Comptent : Le document souligne que les « agents » (personnes ou ordinateurs) ont leurs propres capacités spécifiques à inférer. Un système fonctionne lorsque ces agents peuvent transmettre l'information les uns aux autres en utilisant des règles partagées.

Résumé en Une Phrase

Le document propose que nous cessions de considérer l'information comme des « faits sur le monde » et que nous commencions à la considérer comme des « étapes dans un argument logique », où la valeur de l'information provient de ce que vous pouvez en déduire en utilisant un ensemble spécifique de règles.

Résumé Technique : Vers une Explication Inférentialiste de l'Information par la Sémantique Déductive

1. Énoncé du Problème

L'article aborde l'absence de fondements logiques ou mathématiques entièrement convaincants pour le concept d'« information », malgré sa centralité dans la société moderne et l'informatique. Les approches actuelles, en particulier celles enracinées dans la sémantique model-théorique (comme la Théorie des Situations), reposent sur des conditions de vérité dérivées de modèles externes. Les auteurs soutiennent que cette dépendance à l'égard de la vérité (spécifiquement la « Thèse de la Véridicité ») et des modèles externes limite la capacité à raisonner sur des écosystèmes d'information complexes et distribués. Ils postulent la nécessité d'un cadre où le sens de l'information est déterminé par son usage dans l'inférence plutôt que par sa correspondance à un modèle.

2. Méthodologie

Les auteurs proposent une théorie sémantique inférentialiste de l'information ancrée dans la Sémantique Déductive (P-tS), utilisant spécifiquement la Sémantique par Extension de Base (B-eS). La méthodologie implique trois composantes en interaction :

Analyse Conceptuelle (Métaphysique) : Les auteurs réinterprètent la métaphysique de l'information de Fred Dretske (Intentionnalité, Vérité, Transmissibilité). Ils remplacent l'exigence de Vérité par l'Inférabilité. L'information est définie non pas comme un fait vrai dans un modèle, mais comme une unité dérivable d'un ensemble de règles atomiques (une « base »).
Logique (Formalisation) : L'article emploie la P-tS pour construire une théorie mathématique-logique d'une unité primitive d'information appelée inféron. Cette approche s'oppose à l'infon model-théorique de la Théorie des Situations (Barwise, Seligman, et al.).
- Inférons : Définis comme des triplets $\langle\langle P, \mathcal{P}, b \rangle\rangle$ , où $P$ est une proposition ou un prédicat atomique, $\mathcal{P}$ est une base inféronique locale (un ensemble de règles atomiques), et $b$ est une polarité (affirmation ou négation).
- Sens : Le sens d'un inféron est dérivé d'une base globale de règles atomiques et de la base locale de l'inféron, plutôt que d'un modèle du premier ordre.
- Logique : Les auteurs développent une logique des inférons basée sur la logique intuitionniste, étendant la B-eS de Sandqvist pour la Logique Propositionnelle Intuitionniste (IPL) et l'extension de Gheorghiu à la logique du premier ordre.
Systèmes (Application) : Les outils P-tS développés sont appliqués pour modéliser des systèmes distribués. Les auteurs adaptent le cadre de la « Logique des Systèmes Distribués » (LDS) (Barwise & Seligman), remplaçant les classifications et les infomorphismes par des bases inféroniques et des inféromorphismes.

3. Contributions Clés

A. L'Inféron et la Sémantique Inférentialiste

La contribution centrale est la définition de l'inféron comme équivalent inférentialiste de l'infon de la Théorie des Situations.

Structure : Un inféron $\iota = \langle\langle P, \mathcal{P}, b \rangle\rangle$ se compose d'une proposition $P$ , d'une base locale $\mathcal{P}$ et d'une polarité $b$ .
Relation de Support : La validité est définie via une relation de support $\Vdash_B$ par rapport à une base $B$ . Un inféron atomique est supporté s'il est dérivable dans l'union de la base globale et de la base locale : $\Vdash_B \langle\langle P, \mathcal{P}, b \rangle\rangle$ si et seulement si $\vdash_{B \cup \mathcal{P}} \langle\langle P, b \rangle\rangle$ .
Agentivité : Le cadre introduit des modalités agentielles ( $[a]$ et $\langle a \rangle$ ) pour représenter les capacités inférentielles. La capacité d'un agent à supporter un inféron dépend de l'union de la base ambiante et de l'ensemble spécifique de bases de l'agent.

B. Résultats Logiques

L'article établit les propriétés formelles de la logique des inférons :

Correction et Complétude : Les auteurs prouvent le Théorème 11 (Correction) et le Théorème 12 (Complétude) pour la logique propositionnelle des inférons, en adaptant les preuves de Sandqvist. Ces résultats sont étendus au cas du premier ordre (Théorèmes 11 et 12 étendus).
L'Axiome (Inféron) : Un axiome spécifique est introduit pour gérer l'interaction entre les bases locales et la relation de support globale, assurant la cohérence entre le calcul de déduction naturelle et la sémantique par extension de base.
Inférons Composés : Le cadre permet des connecteurs logiques au sein des inférons, avec des relations de support définies de manière récursive (Figure 9).

C. Flux d'Information et Inféromorphismes

L'article développe une explication inférentialiste du flux d'information dans les systèmes distribués :

Inféromorphismes : Analogues aux infomorphismes en LDS, un inféromorphisme est une paire de fonctions ( $f^\vee$ sur les termes, $f^\wedge$ sur les prédicats) qui préserve la relation de dérivabilité à travers différentes bases.
Canaux : Un canal est défini comme une famille d'inféromorphismes partageant un noyau commun (une base centrale).
Flux d'Information : Le flux d'information est caractérisé par des contraintes entre les inférons à travers les canaux. Si une contrainte vaut dans le noyau, elle transfère l'information d'un composant à un autre.
Sites et Contextes : Les auteurs introduisent des sites (ensembles finis d'atomes inféroniques) et une relation de support contextuelle $\Vdash^P_B$ . Cela permet de modéliser le flux d'information où les contraintes sont internalisées via l'implication et la règle « Inf », plutôt que d'être des conditions sémantiques externes.

4. Résultats et Exemples

L'article démontre l'utilité du cadre à travers plusieurs exemples :

Pas de Fumée sans Feu : Formalise l'« accord » aux contraintes comme des règles d'inférence reliant des bases inféroniques. Il montre comment un agent peut dériver des informations sur une situation distante (feu) basé sur une perception locale (fumée) et une contrainte partagée, sans accès direct aux faits distants.
L'Énigme des Hommes Sages : Modélise l'énigme épistémique en utilisant des capacités inférentielles fixes. Les agents raisonnent sur l'incapacité d'autres agents à inférer, démontrant comment le cadre gère le raisonnement sur l'inférence elle-même sans nécessiter d'exploration d'un espace d'états illimité.
Contrôle d'Accès : Modélise un système où un mot de passe et un jeton conduisent à l'accès, illustrant comment les contraintes peuvent être internalisées dans la logique via l'implication.
Sécurité Aéroportuaire : Une étude de cas détaillée (Figure 11) modélisant le flux d'information (passeports, billets, bagages) à travers un système distribué. Elle démontre comment les sites (informations disponibles à un endroit) et les bases (capacités de raisonnement) évoluent et interagissent via des canaux pour assurer l'intégrité du système (par exemple, faire correspondre les passagers à leurs bagages).

5. Signification et Revendications

L'article prétend fournir un compte rendu mathématique-logique conceptuellement rigoureux de l'information fondé sur l'inférence et le raisonnement. Sa signification réside dans :

Le Changement de Fondement : Le passage d'une vision model-théorique (vérité dans un modèle) à une vision déductive (dérivabilité dans une base). Cela s'aligne avec la philosophie inférentialiste selon laquelle le sens est déterminé par l'usage.
Traitement des Catégories de Van Benthem : Les auteurs soutiennent que leur approche traite principalement de l'Information-comme-Corrélation (via les inférons et les situations) mais offre également des voies pour aborder l'Information-comme-Étendue (via les étendues de bases) et l'Information-comme-Code (via le contenu inférentiel des messages).
Modélisation des Systèmes Distribués : Il fournit une théorie du flux d'information basée sur le raisonnement applicable à l'organisation des systèmes de traitement de l'information, offrant un outil pour comprendre des écosystèmes complexes sans dépendre de modèles globaux potentiellement ingérables.
Modestie : Les auteurs caractérisent ce travail comme un « premier pas » vers une explication inférentialiste complète. Ils reconnaissent que des discussions plus profondes sur la véridicité, l'agentivité et l'intégration avec d'autres dynamiques logiques (par exemple, les travaux de van Benthem) sont laissées pour un travail futur. Ils ne prétendent pas avoir résolu tous les problèmes fondamentaux mais ont établi un cadre logique viable pour un développement ultérieur.