Ignorance with(out) Grasping

Dit artikel introduceert een hyperintensioneel, topicsensitief semantisch kader om drie vormen van onwetendheid te modelleren, waardoor het probleem van de logische alwetendheid wordt opgelost door rekening te houden met de inhoudelijke grasp van een agent.

De kern

Weten wat je niet weet: Waarom "niet weten" complexer is dan het lijkt

Stel je voor dat je een enorme bibliotheek bent. In deze bibliotheek staan boeken met alle mogelijke feiten over de wereld. Normaal gesproken denken we dat als je een boek niet kent, je simpelweg "niet weet" wat erin staat. Maar dit paper, geschreven door Ekaterina Kubyshkina en Mattia Petrolo, stelt dat het veel ingewikkelder is. Het zegt: niet weten is niet altijd hetzelfde als niet weten.

Hier is de kern van hun idee, vertaald naar alledaags taalgebruik.

1. Het probleem: Twee boeken, één verhaal

Stel je twee boeken voor in je bibliotheek:

• Boek A: "De aarde is rond."
• Boek B: "De aarde is rond en er is een onzichtbare geest die de wolken aanraakt."

Logisch gezien zeggen deze twee boeken bijna hetzelfde (als de geest er niet toe doet, is de eerste zin waar, en als de eerste zin waar is, is de tweede ook waar). In de oude logica zou je denken: als je Boek A kent, ken je automatisch ook Boek B. En als je Boek A niet kent, ken je Boek B ook niet.

Maar in het echte leven werkt dat niet zo.
Stel je voor dat je een ouderwetse koning bent (zoals Willem III in het paper). Je weet dat de aarde rond is (Boek A). Maar je hebt nooit gehoord van "geesten" of "nucleaire oorlogen" (het extra stukje in Boek B).

• Ben je onwetend over de aarde? Nee, je weet het.
• Ben je onwetend over de aarde plus die rare geest? Ja, want het concept "geest" is voor jou onbegrijpelijk. Je kunt het niet eens in je hoofd plaatsen.

Dit paper noemt dit hyperintensionaliteit. Het betekent dat het onderwerp (de "topic") van wat je niet weet, uitmaakt. Je kunt onwetend zijn over iets, terwijl je niet onwetend bent over iets anders dat logisch gezien hetzelfde is, simpelweg omdat je het onderwerp niet "bevat" of "begrijpt".

2. De oplossing: Een bril voor onderwerpen

De auteurs zeggen: "Laten we stoppen met kijken naar alleen de waarheid van een zin, en gaan kijken naar wat de zin over gaat."

Ze gebruiken een metafoor van een bril met verschillende lenzen.

• De ene lens kijkt naar de feiten (is het waar of niet?).
• De andere lens kijkt naar het onderwerp (weet de persoon überhaupt wat dit woord betekent?).

Als je een zin leest over "nucleaire oorlog", maar je hebt nooit geleerd wat "nucleair" betekent, dan is je brein niet in staat om die zin te "grijpen". Je bent niet gewoon onwetend; je bent onbegrijpelijk onwetend. Je kunt er niet eens over nadenken.

3. Drie soorten "Niet Weten"

Het paper onderscheidt drie manieren waarop iemand iets niet kan weten, en maakt voor elk een eigen logisch systeem:

1. Onwetendheid over "Ja of Nee" (Ignorance Whether):

   • Voorbeeld: Je weet niet of het morgen regent. Je hebt geen idee.
   • De twist: Als je het onderwerp "weer" niet begrijpt, kun je niet eens vragen of het morgen regent. Je bent onwetend over de vraag zelf.

2. Onwetendheid als "Onbekende Waarheid" (Ignorance as Unknown Truth):

   • Voorbeeld: Er is een waarheid die klopt (bijv. "Er is leven op Mars"), maar jij weet het niet.
   • De twist: Als je het concept "leven op Mars" niet begrijpt, kun je niet zeggen dat je het "niet weet". Je bent er gewoon niet bij betrokken. Het is alsof je blind bent voor dat specifieke boek in de bibliotheek.

3. Onwetendheid door "Afkeuring" (Disbelieving Ignorance):

   • Voorbeeld: Je bent er 100% van overtuigd dat de aarde plat is, terwijl het rond is. Je bent "onwetend" omdat je het verkeerde gelooft.
   • De twist: Om dit te doen, moet je het onderwerp wel begrijpen! Je moet weten wat "aarde" en "plat" betekenen om ze te kunnen verwarren. Als je het onderwerp niet begrijpt, kun je het ook niet verkeerd geloven; je bent dan gewoon compleet onwetend.

4. Waarom is dit belangrijk? (Het "Alwetende Robot"-probleem)

In de computerwetenschap en logica hebben we vaak last van het probleem van logische alwetendheid.
Stel je een robot voor die alle feiten kent. Als hij weet dat "1+1=2", dan moet hij volgens de oude logica ook weten dat "1+1=2 en de hemel is blauw", en "1+1=2 en er zijn oneindig veel priemgetallen".
Dit is onrealistisch voor mensen. Wij kunnen niet alles afleiden wat logisch volgt uit wat we weten.

Door te zeggen: "Je bent onwetend als je het onderwerp niet begrijpt", losten de auteurs dit op.

• Een robot (of een mens) kan weten dat 1+1=2.
• Maar als de robot het concept "priemgetallen" niet begrijpt, is hij onwetend over de zin "1+1=2 en er zijn oneindig veel priemgetallen".
• Hierdoor is de robot niet meer "alwetend". Hij is beperkt door wat hij begrijpt, net als een mens.

Samenvatting in één zin

Dit paper leert ons dat "niet weten" niet zomaar een leeg gat is in je kennis; het is een actief proces waarbij het onderwerp van de vraag bepaalt of je überhaupt in staat bent om de vraag te stellen of het antwoord te begrijpen.

Het is alsof je probeert een gesprek te voeren met iemand die een andere taal spreekt: je bent niet alleen onwetend over hun mening, je bent onwetend omdat je de taal (het onderwerp) niet spreekt. En dat maakt het verschil tussen "niet weten" en "niet kunnen weten".

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Ignorance with(out) Grasping" van Kubyshkina en Petrolo, geschreven in het Nederlands.

Titel: Onwetendheid met (zonder) Begrip: Hyperintensionele Semantiek voor Onwetendheid

1. Probleemstelling

Het artikel adresseert een fundamenteel probleem in de epistemische logica: de behandeling van onwetendheid (ignorance) als een hyperintensionele notie.

• Hyperintensionaliteit: In standaard logische systemen (zoals Kripke-semantiek) worden logisch equivalentie proposities (bijv. $p$ en $p \land (q \lor \neg q)$) als identiek beschouwd. Als een agent ignorant is over de ene, moet hij per definitie ignorant zijn over de andere.
• Het tekort: De auteurs betogen dat dit intuïtief onjuist is. Een agent kan onwetend zijn over een complex concept (bijv. "nucleaire oorlog") terwijl hij wel begrip heeft van een logisch equivalent maar simpeler concept (bijv. "oorlog vermijden").
• Logische alwetendheid: Standaard systemen voor onwetendheid (zoals $I_w$, $I_u$, $I_d$) lijden onder het probleem van logische alwetendheid. Ze behandelen onwetendheid vaak als een simpele afwezigheid van kennis of geloof, zonder rekening te houden met de inhoud of het onderwerp (topic) dat de agent moet kunnen vatten ("grasping") om een propositie te evalueren.

2. Methodologie

De auteurs hanteren een onderwerpgevoelige semantiek (topic-sensitive semantics) om hyperintensionaliteit te modelleren.

• Topic-gevoelige modellen: In plaats van alleen mogelijke werelden ($W$) en toegankelijkheidsrelaties ($R$), introduceren ze een structuur voor "onderwerpen" ($T$).
  • Een topic is wat een propositie over gaat.
  • Er is een fusie-operator ($\oplus$) om onderwerpen te combineren.
  • Er is een aangewezen topic ($K$) dat vertegenwoordigt wat de agent "begrijpt" of "kan vatten" (grasps).
  • Een functie $t$ wijst elk propositioneel variabele een onderwerp toe.
• De "Grasping" conditie: Een agent is niet alleen ignorant omdat hij de waarheidswaarde niet kent, maar ook als hij het onderwerp van de propositie niet begrijpt. De waarheidswaarde van een onwetendheidsoperator ($I\phi$) hangt dus af van:
  1. De waarheidswaarden in mogelijke werelden.
  2. Of het onderwerp van $\phi$ een deel is van wat de agent begrijpt ($t(\phi) \sqsubseteq K$).

De auteurs analyseren drie bestaande vormen van onwetendheid en passen deze aan met deze nieuwe semantiek:

1. Onwetendheid of (Ignorance Whether - $I_w$): De agent weet niet of $\phi$ waar of onwaar is.
2. Onwetendheid als onbekende waarheid (Ignorance as Unknown Truth - $I_u$): $\phi$ is waar, maar de agent weet het niet.
3. Ongelovige onwetendheid (Disbelieving Ignorance - $I_d$): $\phi$ is waar, maar de agent gelooft dat $\neg\phi$ waar is.

3. Belangrijkste Bijdragen

De paper introduceert drie nieuwe logische systemen die hyperintensioneel zijn:

1. $HIW$ (Hyperintensional Ignorance Whether):
   • Semantiek: $M, w \models I_w\phi$ iff $t(\phi) \not\sqsubseteq K$ OF de agent heeft toegang tot werelden waar $\phi$ waar is en waar $\phi$ onwaar is.
   • Als de agent het onderwerp niet begrijpt ($t(\phi) \not\sqsubseteq K$), is hij per definitie ignorant, zelfs als de propositie logisch triviaal is.
2. $HIU$ (Hyperintensional Ignorance as Unknown Truth):
   • Semantiek: $M, w \models I_u\phi$ iff $t(\phi) \not\sqsubseteq K$ OF ($\phi$ is waar in $w$ en er is een toegankelijke wereld waar $\neg\phi$ waar is).
   • Hier is onwetendheid niet langer feitelijk (factive) als het onderwerp niet wordt begrepen; de operator is alleen feitelijk als de agent het onderwerp wel begrijpt.
3. $HDI$ (Hyperintensional Disbelieving Ignorance):
   • Semantiek: $M, w \models I_d\phi$ iff $t(\phi) \sqsubseteq K$ EN $\phi$ is waar in $w$ EN in alle toegankelijke werelden (anders dan $w$) is $\neg\phi$ waar.
   • Cruciaal verschil: Voor ongelooflijke onwetendheid moet de agent het onderwerp wel begrijpen. Als hij het niet begrijpt, is het geen "ongelooflijke onwetendheid" maar "volledige onwetendheid".

Axiomatische Systemen:
Voor elk systeem wordt een geluid (sound) en volledig (complete) axioma-systeem gepresenteerd. Deze systemen bevatten specifieke axioma's voor:

• De relatie tussen het begrijpen van een onderwerp en onwetendheid.
• De interactie tussen logische equivalentie en onderwerpen (bijv. als $Var(\psi) \subseteq Var(\phi)$ en de agent $\phi$ begrijpt, begrijpt hij ook $\psi$).

4. Resultaten

• Soundness en Completeness: De auteurs bewijzen dat de systemen $HIW$, $HIU$ en $HDI$ zowel geluid als volledig zijn ten opzichte van hun topic-gevoelige semantiek. De bewijzen gebruiken canonieke modellen gebaseerd op maximaal consistente verzamelingen.
• Oplossing voor Logische Alwetendheid:
  • In standaard systemen ($IW, IU, DI$) geldt vaak: als $\phi \leftrightarrow \psi$, dan is onwetendheid over $\phi$ equivalent aan onwetendheid over $\psi$.
  • In de hyperintensionele systemen ($HIW, HIU, HDI$) gilt dit niet.
  • Voorbeeld: William III is niet onwetend over "Engeland kan oorlog vermijden" ($p$), maar wel onwetend over "Engeland kan nucleaire oorlog vermijden" ($p \land (q \lor \neg q)$), omdat hij het onderwerp "nucleaire oorlog" ($q$) niet begrijpt.
  • De principes van logische alwetendheid (sluiting onder implicatie, noodzakelijkheid, en equivalentie) worden ongeldig gemaakt in deze systemen, wat een realistischere weergave biedt van menselijke cognitieve beperkingen.

5. Significatie

• Filosofische Impact: Het artikel verlegt de focus van onwetendheid als puur een "gebrek aan kennis" naar een concept dat afhankelijk is van de inhoudelijke grasp van de agent. Dit lost het debat op over of onwetendheid een mentale toestand is: het is een toestand die afhankelijk is van de interactie tussen de agent's cognitieve capaciteiten (onderwerpen) en de wereld.
• Logische Innovatie: Het biedt een formele raamwerk om de "New View" van onwetendheid (waarbij onwetendheid feitelijk moet zijn) te reconciliëren met de intuïtie dat agents niet over alles onwetend kunnen zijn als ze het concept niet begrijpen.
• Toepassing: De aanpak biedt een robuuste oplossing voor het probleem van logische alwetendheid in epistemic logica, niet door agents "dommer" te maken, maar door de structuur van hun kennis (de topics) te modelleren. Dit is relevant voor kunstmatige intelligentie (AI) en multi-agent systemen waar beperkte rekenkracht en kennisrepresentatie cruciaal zijn.

Samenvattend introduceert dit werk een nieuw paradigma waarin onwetendheid hyperintensioneel is: twee logisch equivalente proposities kunnen verschillende onwetendheidsstatussen hebben, afhankelijk van of de agent het onderwerp van de propositie begrijpt.