🔢 mathematics

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics

Dit artikel stelt een inferentialistische opvatting van informatie voor die is gegrondvest op proeftheoretische semantiek, waarbij traditionele waarheid wordt vervangen door inferabiliteit om een wiskundig-logisch raamwerk te ontwikkelen voor de "inferon" dat strikt redeneren over informatiestromen in gedistribueerde systemen mogelijk maakt.

Oorspronkelijke auteurs: Matthew Collins, Timo Eckhardt, David Pym

Gepubliceerd 2026-05-08

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Matthew Collins, Timo Eckhardt, David Pym

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Het Grote Plaatje: Wat is Informatie, Eigenlijk?

Stel je voor dat je een huis probeert te bouwen. Je hebt bakstenen, hout en nagels, maar je hebt geen blauwdruk. Je weet hoe je bakstenen moet stapelen, maar je weet niet waarom ze blijven staan of hoe ze samenkomen om een kamer te vormen.

De auteurs van dit artikel betogen dat we in onze moderne wereld voortdurend praten over "informatie" (in computers, nieuws, wetenschap en het dagelijks leven), maar dat we eigenlijk geen stevige, wiskundige blauwdruk hebben voor wat informatie is. Zonder deze blauwdruk is het moeilijk te begrijpen hoe complexe systemen (zoals het internet of wereldwijde toeleveringsketens) eigenlijk werken.

Hun doel is om een nieuw soort blauwdruk te bouwen. In plaats van informatie te definiëren op basis van of het "waar" is in een statische zin (zoals een feit dat in een boek staat), willen ze het definiëren op basis van hoe het wordt gebruikt om een deductie te maken. Ze noemen dit een "inferentialistische" aanpak.

De Oude Weg versus de Nieuwe Weg

De Oude Weg (Het "Waarheid"-Model):
Stel je een bibliothecaris voor die alleen boeken accepteert die feitelijk correct zijn. Als een boek zegt "De lucht is blauw", controleert de bibliothecaris een gigantische, perfecte kaart van het universum om te zien of de lucht echt blauw is. Als dat zo is, is het boek "informatie". Als het boek zegt "De lucht is groen", wordt het afgewezen als onwaar.

Het Probleem: Dit vereist een perfecte, externe kaart van het universum (een "model") waar iedereen het over eens is. Het is moeilijk om die kaart te bouwen voor complexe, veranderende systemen.

De Nieuwe Weg (Het "Inferentie"-Model):
De auteurs stellen een andere bibliothecaris voor. Deze bibliothecaris geeft niets om een gigantische kaart van het universum. In plaats daarvan geeft hij om regels.

Stel je een reeks regels voor: "Als het regent, dan is de grond nat."
Als je de bibliothecaris vertelt: "Het regent", kan hij direct concluderen: "Daarom is de grond nat."
In dit perspectief gaat het bij informatie niet om het matchen van een feit met de realiteit; het gaat om wat je logisch kunt concluderen op basis van de regels die je hebt.

De auteurs noemen deze nieuwe eenheid van informatie een "inferon" (een afkorting voor "inferentiële eenheid"). Denk aan een inferon niet als een feit, maar als een zet in een spel van logica. Het is een stukje informatie dat zegt: "Gegeven deze regels, kan ik deze volgende stap afleiden."

De Drie Pilaren van het Artikel

Het artikel bouwt deze nieuwe theorie op drie hoofdonderdelen:

1. De Filosofie (Het "Waarom")

De auteurs kijken naar een beroemde filosoof genaamd Dretske, die zei dat informatie over iets moet gaan, waar moet zijn en overdraagbaar moet zijn.

De Twist: De auteurs behouden "over iets gaan" en "overdraagbaar", maar ze vervangen "waarheid" door "afleidbaarheid".
Analogie: In plaats van te vragen: "Is deze uitspraak waar in de echte wereld?", vragen ze: "Kan ik deze uitspraak bewijzen met de regels die ik nu heb?" Als je het kunt bewijzen, telt het als informatie. Dit maakt informatie afhankelijk van de persoon (of computer) die denkt en de regels die ze gebruiken.

2. De Logica (Het "Hoe")

Om dit wiskundig werkend te maken, gebruiken ze een hulpmiddel genaamd Semantiek op Basis van Bewijstheorie.

De Analogie: Stel je een gigantisch, oneindig notitieboek met regels voor dat een "Basis" wordt genoemd.
- Sommige regels zijn simpel: "Als je een sleutel hebt, kun je de deur openen."
- Sommige regels zijn complex: "Als je een sleutel HEBT EN de deur niet op slot zit, kun je binnenkomen."
In hun systeem is een "inferon" een stukje informatie dat wordt ondersteund door een specifieke set regels in dit notitieboek. Als je de juiste regels hebt (de Basis), "houdt" de informatie stand. Als je de regels verandert, kan de informatie veranderen.
Dit is anders dan de oude manier (Situatietheorie), die informatie behandelt als een momentopname van een scène in een film. De nieuwe manier behandelt informatie als een stap in een recept.

3. De Systemen (Het "Waar")

Tot slot tonen ze aan hoe dit werkt in systemen uit de echte wereld, zoals een netwerk van computers of een beveiligingscontrole.

De Analogie: Denk aan een zaklamp. Een zaklamp heeft een schakelaar en een lampje.
- In het oude perspectief zou je kunnen zeggen: "De schakelaar staat AAN, dus het lampje brandt."
- In hun nieuwe perspectief definiëren ze een "kanaal" (een verbinding) tussen de schakelaar en het lampje. Ze gebruiken regels om te zeggen: "Als de schakelaar AAN staat (in deze specifieke context), dan moet het lampje branden."
Ze passen dit toe op een complex voorbeeld: Luchthavenbeveiliging.
- Een passagier gaat door check-in, bagagecontrole en paspoortcontrole.
- Bij elke stap worden verschillende "bases" (sets regels) gebruikt. De agent bij de check-in heeft regels over paspoorten; de agent bij de bagage heeft regels over bagage.
- Het artikel laat zien hoe informatie van het ene station naar het volgende stroomt, niet alleen als data, maar als logische deducties. Bijvoorbeeld: "Omdat het paspoort bij stap 1 is gecontroleerd, en de regels zeggen dat een gecontroleerd paspoort instappen toestaat, kan de passagier bij stap 5 instappen."

Belangrijkste Punten

Informatie is een Proces: Het is geen statisch object dat in een database zit; het is een actief proces van redeneren.
Context is Belangrijk: Wat als informatie telt, hangt af van de "regels" (de Basis) die je momenteel gebruikt. Een feit dat informatie is voor een arts, is misschien geen informatie voor een leek, omdat ze verschillende regelboeken hebben.
Actoren zijn Belangrijk: Het artikel benadrukt dat "actoren" (mensen of computers) hun eigen specifieke vermogens hebben om af te leiden. Een systeem werkt wanneer deze actoren informatie aan elkaar kunnen doorgeven met behulp van gedeelde regels.

Samenvatting in Eén Zin

Het artikel stelt voor dat we stoppen met het denken over informatie als "feiten over de wereld" en beginnen met het denken over het als "stappen in een logisch argument", waarbij de waarde van de informatie voortkomt uit wat je eruit kunt afleiden met behulp van een specifieke set regels.

Technische Samenvatting: Naar een Inferentialistische Rekening van Informatie via Bewijstheoretische Semantiek

1. Probleemstelling

Het artikel adresseert het gebrek aan volledig overtuigende logische of wiskundige fundamenten voor het concept "informatie", ondanks diens centraliteit voor de moderne samenleving en informatica. Huidige benaderingen, met name die geworteld in modeltheoretische semantiek (zoals Situatietheorie), vertrouwen op waarheidsvoorwaarden afgeleid van externe modellen. De auteurs betogen dat deze afhankelijkheid van waarheid (specifiek de "Veridicaliteitsthees") en externe modellen de mogelijkheid beperkt om te redeneren over complexe, gedistribueerde informatiesystemen. Zij postuleren de noodzaak van een kader waarin de betekenis van informatie wordt bepaald door zijn gebruik in inferentie in plaats van door zijn correspondentie met een model.

2. Methodologie

De auteurs stellen een inferentialistische semantische theorie van informatie voor, geworteld in Bewijstheoretische Semantiek (P-tS), en maken specifiek gebruik van Base-Extension Semantiek (B-eS). De methodologie omvat drie interactieve componenten:

Conceptuele Analyse (Metafysica): De auteurs herinterpreteren Fred Dretske's metafysica van informatie (Intentionaliteit, Waarheid, Transmissibiliteit). Zij vervangen de vereiste van Waarheid door Inferabiliteit. Informatie wordt gedefinieerd niet als een feit dat waar is in een model, maar als een eenheid afleidbaar uit een verzameling atomaire regels (een "base").
Logica (Formalisering): Het artikel maakt gebruik van P-tS om een wiskundig-logische theorie te construeren van een primitieve eenheid van informatie genaamd het inferon. Deze benadering contrasteert met de modeltheoretische infon van Situatietheorie (Barwise, Seligman, et al.).
- Inferons: Gedefinieerd als drietallen $\langle\langle P, \mathcal{P}, b \rangle\rangle$ , waarbij $P$ een atomaire propositie of predikaat is, $\mathcal{P}$ een lokale inferonische base (een verzameling atomaire regels) is, en $b$ een polariteit is (bevestiging of ontkenning).
- Betekenis: De betekenis van een inferon wordt afgeleid uit een globale base van atomaire regels en de lokale base van het inferon, in plaats van uit een eerste-orde model.
- Logica: De auteurs ontwikkelen een logica van inferons gebaseerd op intuïtionistische logica, waarbij Sandqvist's B-eS voor Intuïtionistische Propositielogica (IPL) en Gheorghiu's uitbreiding naar eerste-orde logica worden uitgebreid.
Systemen (Toepassing): De ontwikkelde P-tS-tools worden toegepast om gedistribueerde systemen te modelleren. De auteurs passen het kader "Logica van Gedistribueerde Systemen" (LDS) (Barwise & Seligman) aan, waarbij classificaties en infomorfismen worden vervangen door inferonische bases en inferomorfismen.

3. Belangrijkste Bijdragen

A. Het Inferon en Inferentialistische Semantiek

De kernbijdrage is de definitie van het inferon als een inferentialistisch tegenhanger van de Situatietheorie infon.

Structuur: Een inferon $\iota = \langle\langle P, \mathcal{P}, b \rangle\rangle$ bestaat uit een propositie $P$ , een lokale base $\mathcal{P}$ , en een polariteit $b$ .
Ondersteuningsrelatie: Validiteit wordt gedefinieerd via een ondersteuningsrelatie $\Vdash_B$ ten opzichte van een base $B$ . Een atomair inferon wordt ondersteund als het afleidbaar is in de vereniging van de globale base en de lokale base: $\Vdash_B \langle\langle P, \mathcal{P}, b \rangle\rangle$ dan en slechts dan als $\vdash_{B \cup \mathcal{P}} \langle\langle P, b \rangle\rangle$ .
Agentie: Het kader introduceert agent-modaliteiten ( $[a]$ en $\langle a \rangle$ ) om inferentiële capaciteiten weer te geven. Het vermogen van een agent om een inferon te ondersteunen, hangt af van de vereniging van de omringende base en de specifieke verzameling bases van de agent.

B. Logische Resultaten

Het artikel vestigt de formele eigenschappen van de logica van inferons:

Geldigheid en Volledigheid: De auteurs bewijzen Theorema 11 (Geldigheid) en Theorema 12 (Volledigheid) voor de propositielogica van inferons, waarbij zij Sandqvist's bewijzen aanpassen. Deze resultaten worden uitgebreid naar het eerste-orde geval (Theorema 11 en 12 uitgebreid).
Het (Inferon) Axioma: Een specifiek axioma wordt geïntroduceerd om de interactie tussen lokale bases en de globale ondersteuningsrelatie te behandelen, waarbij coherentie tussen het natuurlijk deductie-calculus en de base-extension semantiek wordt gewaarborgd.
Samengestelde Inferons: Het kader staat logische connectieven binnen inferons toe, met ondersteuningsrelaties die recursief worden gedefinieerd (Figuur 9).

C. Informatiestroom en Inferomorfismen

Het artikel ontwikkelt een inferentialistische rekening van informatiestroom in gedistribueerde systemen:

Inferomorfismen: Analoge aan infomorfismen in LDS, is een inferomorfisme een paar functies ( $f^\vee$ op termen, $f^\wedge$ op predikaten) dat de afleidbaarheidsrelatie behoudt over verschillende bases heen.
Kanalen: Een kanaal wordt gedefinieerd als een familie van inferomorfismen die een gemeenschappelijke kern delen (een centrale base).
Informatiestroom: Informatiestroom wordt gekarakteriseerd door beperkingen tussen inferons over kanalen heen. Als een beperking geldt in de kern, wordt informatie van de ene component naar de andere overgedragen.
Sites en Contexten: De auteurs introduceren sites (eindige verzamelingen van inferonische atomen) en een contextuele ondersteuningsrelatie $\Vdash^P_B$ . Dit maakt het modelleren van informatiestroom mogelijk waarbij beperkingen worden geïnternaliseerd via implicatie en de "Inf"-regel, in plaats van externe semantische voorwaarden te zijn.

4. Resultaten en Voorbeelden

Het artikel demonstreert de bruikbaarheid van het kader via verschillende voorbeelden:

Geen Rook zonder Vuur: Formaliseert de "afstemming" op beperkingen als inferentieregels die inferonische bases met elkaar verbinden. Het toont aan hoe een agent informatie kan afleiden over een verre situatie (vuur) op basis van lokale perceptie (rook) en een gedeelde beperking, zonder directe toegang tot de verre feiten.
Het Wijzen Raadsel: Modelleert het epistemische raadsel met behulp van vaste inferentiële capaciteiten. Agenten redeneren over het onvermogen van andere agenten om te infereren, wat aantoont hoe het kader omgaat met redeneren over inferentie zelf zonder onbegrensde staatruimte-exploratie te vereisen.
Toegangscontrole: Modelleert een systeem waarbij een wachtwoord en een token leiden tot toegang, en illustreert hoe beperkingen kunnen worden geïnternaliseerd in de logica via implicatie.
Luchthavenbeveiliging: Een gedetailleerde casestudie (Figuur 11) die de stroom van informatie (paspoorten, tickets, bagage) door een gedistribueerd systeem modelleert. Het demonstreert hoe sites (informatie beschikbaar op een locatie) en bases (redeneercapaciteiten) evolueren en interageren via kanalen om systeemintegriteit te waarborgen (bijvoorbeeld het matchen van passagiers aan bagage).

5. Betekenis en Aanspraken

Het artikel claimt een conceptueel rigoureuze wiskundig-logische rekening van informatie te bieden, geworteld in inferentie en redeneren. De betekenis ervan ligt in:

Verschuiving van de Grondslag: De overgang van een modeltheoretisch perspectief (waarheid in een model) naar een bewijstheoretisch perspectief (afleidbaarheid in een base). Dit sluit aan bij de inferentialistische filosofie dat betekenis wordt bepaald door gebruik.
Aanpakken van Van Benthem's Categorieën: De auteurs betogen dat hun aanpak primair Informatie-als-Correlatie adresseert (via inferons en situaties), maar ook paden biedt om Informatie-als-Bereik (via bereiken van bases) en Informatie-als-Code (via de inferentiële inhoud van berichten) aan te pakken.
Modelleren van Gedistribueerde Systemen: Het biedt een op redeneren gebaseerde theorie van informatiestroom die toepasbaar is op de organisatie van informatieverwerkingssystemen, en biedt een hulpmiddel voor het begrijpen van complexe ecosystemen zonder te vertrouwen op potentieel onbeheersbare globale modellen.
Bescheidenheid: De auteurs karakteriseren dit werk als een "eerste stap" naar een volledige inferentialistische rekening. Zij erkennen dat diepere discussies over veridicaliteit, agentie, en de integratie met andere logische dynamieken (bijvoorbeeld het werk van van Benthem) worden achtergelaten voor toekomstig werk. Zij claimen niet alle fundamentele problemen opgelost te hebben, maar hebben wel een levensvatbaar logisch kader vastgesteld voor verdere ontwikkeling.