On Contextuality as a Feature of Logic and Probability Theory

Dit artikel introduceert contextualiteit wiskundig als een fundamenteel kenmerk van waarschijnlijkheidstheorie en logica, in plaats van als een eigenschap die specifiek is voor de kwantummechanica.

De kern

De Magie van de Context: Waarom de Wereld niet altijd "Klaarligt"

Stel je voor dat je een mysterieuze doos hebt. In de klassieke wereld (zoals onze dagelijkse ervaring) zit er altijd al iets in die doos, of je hem nu opent of niet. Als je de doos opent, zie je gewoon wat erin zat. De "context" (hoe je de doos opent) verandert niets aan de inhoud; het onthult alleen wat er al was.

Dit artikel stelt echter een heel ander idee voor: Soms hangt het antwoord af van de vraag die je stelt.

In de quantumwereld (en in bepaalde logische puzzels) is het alsof de doos pas beslist wat erin zit op het moment dat je hem opent, en dat het antwoord verandert afhankelijk van welke andere doos je tegelijkertijd ook zou kunnen openen. Dit noemen we contextualiteit.

Hier is hoe het werkt, stap voor stap:

1. Het Spel met de Enveloppen (De Basis)

Stel je een spel voor met twee spelers, Alice en Bob, die in verschillende kamers zitten en niet met elkaar kunnen praten. Een scheidsrechter geeft ze elk twee enveloppen:

• Alice heeft envelop A0 en A1.
• Bob heeft envelop B0 en B1.

Elke ronde kiezen ze één envelop om te openen. In de envelop zit een briefje met een 0 of een 1.

• Als ze A0 en B0 kiezen, krijgen ze bepaalde cijfers.
• Als ze A0 en B1 kiezen, krijgen ze weer andere cijfers.

De grote vraag: Zijn de cijfers al in de enveloppen geschreven voordat ze hun keuze maakten (een "verborgen waarheid"), of hangt het cijfer af van welke combinatie van enveloppen ze hebben gekozen?

• Niet-contextueel (De klassieke wereld): De enveloppen zijn als een voorverpakt cadeau. Wat erin zit, is vast. Het maakt niet uit of je A0 kiest of A1; de inhoud van A0 is altijd hetzelfde. Je kunt een "globale lijst" maken van wat er in alle enveloppen zit.
• Contextueel (De quantumwereld): Het is alsof de enveloppen "slim" zijn. Als Alice A0 kiest terwijl Bob B0 kiest, staat er een 1 in. Maar als Alice A0 kiest terwijl Bob B1 kiest, staat er plotseling een 0 in. De inhoud van A0 is niet vast; hij verandert afhankelijk van wat Bob doet. Er is geen enkele "globale lijst" die voor alle situaties klopt.

2. De "Lijer"-Paradox (Waarom het onmogelijk is)

Het artikel gebruikt een mooi voorbeeld (de Popescu-Rohrlich-doos) om te laten zien waarom dit zo gek is. Stel je voor dat je probeert een verhaal te vertellen dat voor alle enveloppen klopt:

1. Als A0 een 1 is, dan moet B0 ook een 1 zijn.
2. Als B0 een 1 is, dan moet A1 ook een 1 zijn.
3. Als A1 een 1 is, dan moet B1 een 0 zijn.
4. Maar als B1 een 0 is, dan moet A0 een 0 zijn...

Wacht even! We begonnen met "A0 is een 1" en eindigden met "A0 is een 0". Dit is een logische kringloop, een leugenaarsparadox. Het betekent dat het onmogelijk is om een wereld te bedenken waarin alle enveloppen vooraf een vast getal hebben. De realiteit is "gebroken" of "gecontextualiseerd".

3. De Logica van de "Deel-Waarheid"

In de gewone wiskunde (kansen en logica) gaan we er vaak van uit dat er één grote "sample space" is: een lijst met alle mogelijke uitkomsten die bestaan, ook als we ze niet bekijken.

• Steen's Theorema (uit het artikel) zegt eigenlijk: "Als je logica hebt die perfect werkt als een gewone booleaanse algebra, dan moet er een lijst met alle mogelijke uitkomsten bestaan."

Maar in de quantumwereld (en bij contextuele systemen) kunnen we niet alle vragen tegelijk stellen. Sommige vragen zijn onverenigbaar (zoals de positie en snelheid van een deeltje).

• Vergelijking: Stel je voor dat je een foto van een gebouw maakt. Als je naar de voorkant kijkt, zie je de voordeur. Als je naar de zijkant kijkt, zie je het raam. Je kunt niet tegelijkertijd de voordeur én het raam in één enkel 2D-beeld zien zonder vervorming.
• In de quantumlogica zijn er geen "globale foto's". Er zijn alleen maar "lokale foto's" (contexten). Soms passen deze lokale foto's niet bij elkaar tot één groot, logisch plaatje.

4. De Drie Soorten "Knoeiwerk"

Het artikel onderscheidt drie manieren waarop iets contextueel kan zijn:

1. Sterk Contextueel: Er is geen enkele manier om een consistent verhaal te vertellen. Het is alsof de puzzelstukjes simpelweg niet passen, hoe je ze ook draait. (Zoals de Popescu-Rohrlich-doos).
2. Logisch Contextueel: Je kunt een paar stukjes van het verhaal wel vertellen, maar niet het hele verhaal. Er zijn tegenstrijdigheden op bepaalde plekken.
3. Zwak (Probabilistisch) Contextueel: Het verhaal klopt bijna, maar de kansen kloppen niet. Als je berekent hoe vaak iets gebeurt, krijg je tegenstrijdige resultaten. Dit is wat we vaak zien in echte quantumexperimenten (zoals de CHSH-ongelijkheid).

5. Waarom is dit belangrijk?

Het artikel wil laten zien dat contextualiteit niet alleen iets is dat in quantummechanica gebeurt. Het is een fundamentele eigenschap van logica en kansrekening zelf.

• Het betekent dat we onze manier van denken over "waarschijnlijkheid" moeten aanpassen. We kunnen niet altijd aannemen dat er een verborgen, vaste realiteit is die we alleen maar moeten ontdekken.
• Soms is de realiteit pas "echt" op het moment dat we kijken, en hangt die realiteit af van hoe we kijken.

De Grootste Les:
Stel je voor dat je een muur bekijkt. In de klassieke wereld is de muur altijd rood, of je nu met een lamp of met een flitslicht kijkt. In de contextuele wereld is de muur rood als je met de lamp kijkt, maar blauw als je met de flitslicht kijkt. En het gekke is: als je probeert te zeggen "de muur is rood én blauw", krijg je een logische crash.

Dit artikel is een uitnodiging om te accepteren dat de wereld (en de logica die we gebruiken om hem te beschrijven) soms net zo raar en verbonden is als een goedkope magische show: het antwoord hangt af van de vraag, en niet alles bestaat tegelijk.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On Contextuality as a Feature of Logic and Probability Theory" van Ask Ellingsen, in het Nederlands.

Titel: Over Contextualiteit als een Eigenschap van Logica en Kansrekening

Auteur: Ask Ellingsen
Datum: 13 maart 2026

---

1. Probleemstelling

Het artikel adresseert een fundamenteel vraagstuk in de kwantummechanica (QM) en de theoretische fysica: wat maakt een systeem kwantummechanisch in plaats van klassiek? Hoewel er geen universeel akkoord is over de definitie, delen kwantumtheorieën een kernkarakteristiek: niet alle informatie die uit een systeem kan worden gehaald, kan gelijktijdig worden waargenomen.

In de klassieke mechanica wordt aangenomen dat alle eigenschappen van een systeem vooraf gedefinieerd zijn ("reeds aanwezig"), ongeacht welke metingen worden uitgevoerd. In de kwantummechanica echter hangt het resultaat van een meting af van de context (de combinatie van andere observabelen die gelijktijdig worden gemeten). Dit fenomeen staat bekend als contextualiteit.

Het centrale probleem dat dit artikel aanpakt, is dat contextualiteit vaak wordt gezien als een exclusief kenmerk van de kwantummechanica. De auteur betoogt echter dat contextualiteit een meer fundamentele eigenschap is van kansverdelingen en logica, die losstaat van de specifieke wiskundige formalismen van de QM. Het doel is om een algemene, wiskundige definitie van contextualiteit te geven die toepasbaar is op zowel kwantum- als niet-kwantumsystemen.

2. Methodologie

De auteur hanteert een multidisciplinaire aanpak die elementen combineert uit:

• Kansrekening: Analyse van conditionele kansen en randverdelingen.
• Logica: Gebruik van partiële Boolese algebra's om de relaties tussen gebeurtenissen te modelleren.
• Topologie en Categorietheorie: Toepassing van bundel-diagrammen, Stone-ruimten en het concept van schoven (sheaves) om de "topologische obstructie" van globale waarden te visualiseren.

Specifieke methodologische stappen:

1. Gedachte-experiment (Alice en Bob): Het artikel introduceert een spel met enveloppen om het concept van contextualiteit intuïtief en wiskundig te definiëren zonder directe verwijzing naar QM. Hierbij wordt gekeken of een gezamenlijke (globale) kansverdeling bestaat die de lokale conditionele kansen verklaart.
2. Kwantumformalismen: Bespreking van de Born-regel en de rol van commutatieve operatoren in de Hilbertruimte.
3. Algebraïsche Structuur: Introductie van partiële Boolese algebra's als een veralgemening van klassieke Boolese algebra's. In plaats van een globale verzameling van gebeurtenissen, worden gebeurtenissen beschouwd binnen "contexten" (commutatieve deelverzamelingen).
4. Stones Representatiestelling: Het gebruik van deze stelling om aan te tonen dat klassieke kansverdelingen altijd een onderliggende steekproefruimte (sample space) hebben, terwijl dit voor contextuele systemen niet het geval is.

3. Belangrijkste Bijdragen

• Veralgemening van Contextualiteit: Het artikel positioneert contextualiteit primair als een eigenschap van verzamelingen van kansverdelingen, niet als een eigenschap van de kwantumtheorie zelf.
• Hiërarchie van Contextualiteit: Het onderscheidt drie vormen van contextualiteit, gerangschikt op sterkte:
  1. Sterke Contextualiteit: Er bestaat geen enkele globale toewijzing van waarden die consistent is met de lokale data (bijv. de Popescu-Rohrlich doos).
  2. Logische Contextualiteit: Er bestaan sommige lokale toewijzingen, maar niet alle lokale secties kunnen worden uitgebreid tot een globale sectie.
  3. Wekke (Probabilistische) Contextualiteit: Lokale verdelingen zijn consistent op de randen, maar kunnen niet worden "samengeplakt" tot één globale kansverdeling zonder informatie te verliezen (correlaties gaan verloren bij marginalisatie).
• Formulering via Partiële Boolese Algebra's: Het biedt een rigoureuze logische basis voor contextuele systemen door de commensurabiliteitsrelatie (welke metingen kunnen samen) centraal te stellen, in plaats van een totale Boolese algebra aan te nemen.
• Topologische Interpretatie: Het illustreert dat contextualiteit een topologische obstructie is: het onvermogen om lokale secties (metingen in een context) te "lijmen" tot een globale sectie (een volledige beschrijving van het systeem).

4. Resultaten

• Definitie van Contextualiteit: Een scenario is niet-contextueel als er een "verborgen globale verdeling" ($P_h$) bestaat die de lokale conditionele kansen reproduceert. Als zo'n verdeling niet bestaat, is het systeem contextueel.
• Signalerende vs. Niet-signalerende Systemen: Het artikel onderscheidt systemen waarbij metingen informatie uitwisselen (signalerend, wat leidt tot discontinuïteiten in bundel-diagrammen) van systemen zonder signaaluitwisseling (niet-signalerend). Zelfs niet-signalerende systemen (zoals de PR-doos) kunnen sterk contextueel zijn.
• Kochen-Specker Theorema: Het artikel presenteert een versie van het Kochen-Specker-theorema binnen de taal van partiële Boolese algebra's. Het bewijst dat voor kwantumsystemen met een dimensie van 3 of hoger (bijv. $Proj(\mathbb{C}^3)$), er geen morfisme bestaat naar de triviale Boolese algebra $\{0, 1\}$. Dit betekent dat het onmogelijk is om aan alle projecties gelijktijdig en context-onafhankelijk waarheidswaarden toe te kennen.
• Schoven en Kansrekening: Het artikel concludeert dat de mislukking om lokale kansverdelingen te verenigen tot een globale verdeling een schaalprobleem is. Sterke contextualiteit betekent dat er geen compatibele familie van lokale waarheidswaarden bestaat. Zwakke contextualiteit betekent dat er wel lokale waarheidswaarden zijn, maar dat de schoven van lokale kansverdelingen geen schoven (sheaf) vormen.

5. Betekenis en Conclusie

De betekenis van dit artikel ligt in zijn conceptuele verschuiving:

1. Onafhankelijkheid van QM: Het toont aan dat de wiskundige structuur van contextualiteit (de onmogelijkheid van globale waarden) een logisch en probabilistisch fenomeen is dat losstaat van de fysica. Dit maakt het mogelijk om contextuele gedragingen te bestuderen in klassieke systemen, computerwetenschappen en logica.
2. Brug tussen Disciplines: Het artikel fungeert als een brug tussen de kwantummechanische gemeenschap en onderzoekers in punt-vrije (point-free) kansrekening, topologie en categorietheorie.
3. Toekomstperspectief: De auteur pleit voor een schoven-theoretische formulering van kansrekening. Net zoals schoven essentieel zijn voor topologie en meetkunde, zouden ze een natuurlijk en rijk raamwerk kunnen bieden voor kansrekening, vooral voor systemen waar geen globale steekproefruimte bestaat.

Kortom, het artikel levert een wiskundig onderbouwde, algemene definitie van contextualiteit die de grenzen tussen logica, kansrekening en kwantumfysica doorbreekt, en suggereert dat de "kwantum" aard van het universum misschien beter begrepen kan worden als een fundamentele eigenschap van informatie en logica, in plaats van alleen als een eigenschap van deeltjes en golven.