Sets with dependent elements: A formalization of Castoriadis' notion of magma

Dit artikel presenteert een formele uitwerking van Cornelius Castoriadis' concept van 'magmas' als verzamelingen met onderling afhankelijke elementen, door deze te modelleren binnen een versterkte ZFA-theorie via een hiërarchie van open verzamelingen die voortbouwen op een voorkeuring op atomen.

De kern

Magmatische verzamelingen: Waarom sommige dingen niet los van elkaar bestaan

Stel je voor dat je een verzameling objecten hebt. In de gewone wiskunde (de "Cantoriaanse" wereld) zijn deze objecten als losse, perfecte balletjes. Je kunt één balletje uit de doos halen zonder dat de andere balletjes erdoor veranderen. Ze zijn onafhankelijk. Als je een setje met één balletje maakt, is dat een heel logische, complete zaak.

Maar de Griekse filosoof Cornelius Castoriadis dacht daar anders over. Hij zei: "Nee, in het echte leven, en zeker in onze gedachten en taal, werken dingen niet zo."

Het Magma: Een soep van betekenis
Castoriadis noemde deze speciale verzamelingen een magma. Een goed voorbeeld is de betekenis van woorden in een taal.
Stel je het woord "vrijheid" voor. Kun je dat woord echt losmaken van alles wat eromheen zit? Nee. Als je aan "vrijheid" denkt, komen er automatisch andere woorden en ideeën naar boven: "slavernij", "keuze", "verantwoordelijkheid", "regering". Je kunt het woord "vrijheid" niet isoleren als een losse eenheid; het bestaat alleen in relatie tot die andere woorden.

In een magma zijn de elementen dus afhankelijk van elkaar. Je kunt er geen één toevoegen of weghalen zonder dat de rest ook verandert. Het is meer als een soep dan als een doos met losse balletjes. Als je een lepel soep neemt, neem je altijd ook een beetje van de rest mee.

De uitdaging: Hoe maak je dit wiskundig?
De auteur van dit artikel, Athanassios Tzouvaras, wilde deze filosofische ideeën vertalen naar een strakke wiskundige formule. Het probleem is dat de standaardwiskunde (settheorie) uitgaat van die losse balletjes. Hij moest dus een nieuw soort wiskunde bouwen die deze "klevende" elementen kon bevatten.

Hij deed dit met een paar creatieve stappen:

1. De Atomen (De basis): Hij begint met een verzameling van "atomen" (de basis-elementen, zoals woorden of herinneringen).
2. De Kettingreactie (Afhankelijkheid): Hij voegt een regel toe: "Als A bestaat, moet B ook bestaan." Hij noemt dit een pre-ordening. Stel je voor dat woorden in een ketting hangen. Als je "vrijheid" zegt, moet je ook denken aan "keuze". Als je "keuze" zegt, moet je denken aan "verantwoordelijkheid".
3. Geen eindpunten: Een belangrijke regel is dat deze kettingen nooit stoppen. Er is geen woord dat "het allerlaatste woord" is dat niets meer oproept. Elke betekenis roept weer andere betekenissen op. Dit zorgt ervoor dat je nooit een "leeg" of "volledig gesloten" stukje magma kunt vinden.
4. Open Deuren: In deze wiskunde zijn de verzamelingen "open". Dat betekent dat als je een stukje magma pakt, je automatisch ook alles pakt dat daarop "aansluit". Je kunt niet alleen het woord "vrijheid" pakken zonder de context eromheen.

De Magmatische Hiërarchie (De verdiepingen)
De auteur bouwt nu een heel universum op, laag voor laag:

• Laag 1: De basis-verzameling van atomen (woorden) die aan elkaar hangen.
• Laag 2: Verzamelingen van die eerste verzamelingen. Denk aan een "hoofdstuk" in een boek. Een hoofdstuk is een verzameling van woorden, maar omdat de woorden zelf al afhankelijk zijn, is het hele hoofdstuk ook een complex, afhankelijk geheel.
• Laag 3: Verzamelingen van hoofdstukken (bijvoorbeeld een heel boek), en zo verder.

Elke laag is weer een nieuw type magma, gebouwd op de vorige. Het mooie is: in dit systeem gelden de regels van de gewone wiskunde (zoals "de verzameling van alle deelverzamelingen") nog steeds, maar dan toegepast op deze klevende, afhankelijke objecten.

Waarom is dit belangrijk?
Dit artikel laat zien dat we niet hoeven te kiezen tussen "wiskundige precisie" en "filosofische complexiteit". We kunnen een wiskundig model maken voor dingen die niet los van elkaar bestaan.

• Vergelijking: Stel je voor dat de gewone wiskunde een bibliotheek is waar je boeken kunt pakken zonder dat de andere boeken erdoor bewegen. De magmatische wiskunde is een bibliotheek waar de boeken aan elkaar vastgeplakt zijn met touwtjes. Als je één boek trekt, bewegen er tien mee. Je kunt niet één boek "alleen" hebben.

Conclusie
De auteur concludeert dat Castoriadis' ideeën over "magmas" (zoals onze gedachten, taal en cultuur) niet zomaar vaag zijn, maar dat ze een echte structuur hebben die we kunnen beschrijven. Hoewel Castoriadis zelf misschien twijfelde of wiskunde wel geschikt was voor dit soort dingen, toont dit artikel aan dat we met een beetje aanpassing van de regels wel degelijk een "huis" kunnen bouwen voor deze afhankelijke, klevende verzamelingen.

Het is een uitnodiging om te kijken naar de wereld niet als een verzameling losse dingen, maar als een web van onderlinge afhankelijkheden, en om te zien dat de wiskunde daar ruimte voor heeft.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Sets with dependent elements: A formalization of Castoriadis' notion of magma" van Athanassios Tzouvaras, in het Nederlands.

Probleemstelling

Het artikel adresseert de beperkingen van de klassieke Cantoriaanse verzamelingstheorie bij het modelleren van collecties waarbij elementen niet volledig onafhankelijk van elkaar zijn. Cornelius Castoriadis introduceerde het concept van de "magma" om zulke collecties te beschrijven (bijv. de betekenis van woorden in een taal of een persoon's herinneringen). In een magma zijn elementen onderling afhankelijk: het bestaan of het denken aan één element impliceert noodzakelijk het bestaan of het denken aan andere afhankelijke elementen.

Castoriadis' oorspronkelijke principes (M1-M5) voor magmas bleken echter formeel inconsistent (met name M1 en M4) en vaag gedefinieerd. Het centrale probleem is het ontwikkelen van een wiskundig formalisme dat:

1. De eigenschap van afhankelijkheid tussen elementen vastlegt.
2. Voorkomt dat een element geïsoleerd kan worden (zoals in de Cantoriaanse verzameling $\{a\}$).
3. Een hiërarchie bouwt die consistent is met de intuïtie van Castoriadis, maar binnen een strikt logisch kader.

Methodologie

Tzouvaras hanteert een methodologie die voortbouwt op de theorie ZFA (Zermelo-Fraenkel met Atomen/Urelementen), maar deze versterkt met een primitieve pre-orde relatie.

1. Grondslag (ZFA met Atomen):

   • De theorie begint met een oneindige verzameling $A$ van atomen (urelementen).
   • Een nieuwe primitieve binaire relatie $\preccurlyeq$ wordt toegevoegd aan de taal, die een afhankelijkheidsrelatie voorstelt. $a \preccurlyeq b$ betekent dat $a$ afhankelijk is van $b$ (of $b$ "wijst" naar $a$).

2. Axioma's voor Afhankelijkheid:

   • De relatie $\preccurlyeq$ is een pre-orde (reflexief en transitief).
   • Cruciaal is het axioma D3: Er bestaan geen minimale elementen. Voor elk $a \in A$ bestaat er een $b$ zodanig dat $b \prec a$ (d.w.z. $b \preccurlyeq a$ en $a \not\preccurlyeq b$). Dit garandeert dat afhankelijkheid oneindig doorgaat en dat er geen "eindpunten" zijn in de afhankelijkheidsketen.

3. Topologische Formalisering:

   • Magmas worden gedefinieerd als niet-lege, onderop open verzamelingen (lower open sets) van $A$ ten opzichte van de door $\preccurlyeq$ geïnduceerde onderste topologie.
   • Een verzameling $x \subseteq A$ is een magma als voor elke $a \in x$, alle elementen die van $a$ afhankelijk zijn ($pr(a)$) ook in $x$ zitten.
   • Door de afwezigheid van minimale elementen (D3) zijn alle magmas oneindig en bevat de verzameling van magmas geen $\subseteq$-minimale elementen.

4. Exponentiële Verschuiving en Hiërarchie:

   • Om een hiërarchie van magmas te bouwen, wordt de pre-orde $\preccurlyeq$ "geschoven" naar de machtsverzameling $P(A)$ via een relatie $\preccurlyeq^+$ (simulatie).
   • Een cruciaal resultaat is dat de restrictie van $\preccurlyeq^+$ tot de verzameling van eerste niveau magmas ($LO(A, \preccurlyeq)$) exact overeenkomt met de inclusierelatie $\subseteq$.
   • Dit stelt de auteur in staat een magmatische hiërarchie $M_\alpha(A)$ inductief te definiëren:
     • $M_1(A) = LO(A, \preccurlyeq)$
     • $M_{\alpha+1}(A) = LO(M_\alpha(A), \subseteq)$
     • Voor limietordinaal $\alpha$: $M_\alpha(A) = \bigcup_{\beta < \alpha} M_\beta(A)$.
   • De totale "magmatische universum" is $M(A) = \bigcup_{\alpha \ge 1} M_\alpha(A)$.

Belangrijkste Bijdragen en Resultaten

1. Formele Definitie van Magmas:
   De auteur biedt een strikte definitie van magmas als open verzamelingen in een pre-geordende ruimte, waarbij de afhankelijkheidsrelatie de structuur bepaalt. Dit lost de vaagheid van Castoriadis' oorspronkelijke beschrijvingen op.

2. Oplossing van Inconsistenties:
   Door de principes M1 en M4 (die in tegenspraak waren) te verwerpen en de overige principes aan te passen, toont de auteur aan dat het model voldoet aan:

   • M2:* Voor elke magma $M$ bestaat er een andere magma $N \subsetneq M$. (Geen magma is "atomair" of niet-deelbaar).
   • Zwakke M3:* Een "basale" magma kan niet worden gepartitioneerd in eindig veel disjuncte submagmas.
   • M5:* Alles wat geen magma is, is een atoom of een klassieke verzameling.

3. Eigenschappen van het Magmatische Universum $M(A)$:

   • Oneindigheid: Alle elementen in $M(A)$ zijn oneindige verzamelingen.
   • Geen Minimale Elementen: Er bestaat geen $\subseteq$-minimale verzameling in $M(A)$.
   • Axioma's: In het model $\langle M(A), \in \rangle$ gelden het Machtsverzameling-axioma (Pow) en een beperkte versie van het Unie-axioma (Un). Het Unie-axioma geldt alleen als de unie niet terugvalt naar de atomaire laag.
   • Disjunctie van Niveaus: Voor eindige $n \neq m$ zijn de niveaus $M_n$ en $M_m$ disjunct. Dit betekent dat magmas van verschillende rangen niet door elkaar lopen op de manier waarop Cantoriaanse verzamelingen dat doen.

4. Topologische Koppeling:
   Het artikel toont aan dat de structuur van magmas fundamenteel topologisch is (onderste topologie) en dat de operatie van "verzamelen" (magma's van een lager niveau) leidt tot een nieuwe laag in de hiërarchie die weer als basis dient voor de volgende laag.

Significantie en Conclusie

• Filosofische Implicaties: Het werk biedt een brug tussen de filosofische intuïties van Castoriadis over de "radicale verbeelding" en de strikte logica van de wiskunde. Het demonstreert dat het mogelijk is om een verzamelingstheorie te bouwen waarin afhankelijkheid een fundamentele, niet-reduceerbare eigenschap is, zonder de volledige Cantoriaanse theorie te verwerpen.
• Technische Innovatie: De methode van "exponentiële verschuiving" van een pre-orde naar machtsverzamelingen, waarbij de relatie op de eerste laag exact samenvalt met inclusie, is een elegant wiskundig instrument om een hiërarchie van afhankelijke structuren te construeren.
• Beperkingen en Toekomst: De auteur erkent dat Castoriadis zelf waarschijnlijk zou afwijzen dat settheorie de juiste raamwerk is (gezien zijn kritiek op "identitaire-ensemble" logica). Toch is dit formalisme een succesvolle poging om de structuur van afhankelijkheid te modelleren binnen de beschikbare logische middelen.
• Toekomstig Werk: De auteur suggereert twee richtingen: het construeren van "magmatische analoga" van standaard wiskundige objecten (paren, functies, natuurlijke getallen) en het ontwikkelen van een syntactische axiomatisatie met een primitieve afhankelijkheidsrelatie $D(x,y)$.

Kortom, dit artikel transformeert het filosofische concept van de "magma" in een rigoureus wiskundig object binnen een versterkte versie van ZFA, waarbij de kern-eigenschap van onderlinge afhankelijkheid wordt vertaald naar een topologische en hiërarchische structuur zonder minimale elementen.