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

Il paper presenta una formalizzazione della nozione castoriadiana di "magma" come collezioni di elementi dipendenti, definendo una gerarchia di tali strutture all'interno di una versione rafforzata della teoria degli insiemi ZFA basata su un pre-ordine primitivo.

L'essenziale

Magmi e Catene Invisibili: Una nuova visione del "Mondo"

Immagina di avere due modi diversi di vedere il mondo e di raggruppare le cose.

1. Il modo classico (I "Set" di Cantor)
Pensa a un cesto di mele. Ogni mela è un oggetto distinto: puoi prenderne una, metterla nel cesto, e poi toglierla senza che le altre mele cambino o si sentano toccate. Sono indipendenti. Se hai una mela rossa, puoi isolare quella mela rossa e dire: "Questa è l'unica cosa che conta". Questo è il modo in cui la matematica classica (la teoria degli insiemi) vede il mondo: oggetti separati, definiti e indipendenti.

2. Il modo di Castoriadis (I "Magmi")
Ora, immagina il tuo linguaggio o i tuoi ricordi.
Se provi a isolare un singolo ricordo, diciamo "il mio primo giorno di scuola", scopri che non puoi. Quel ricordo è intriso di altri: l'odore della scuola, la paura, i volti dei compagni, le parole che hai imparato dopo. Se provi a tagliare via il ricordo, ne porti via anche la sua storia.
In questo mondo, le cose non sono isole, ma nodi di una rete. Non puoi avere un nodo senza che tutti i fili collegati ad esso esistano. Se sposti un filo, l'intera rete si muove.
Cornelius Castoriadis, un filosofo greco-francese, chiamava queste collezioni di cose legate tra loro "Magmi". Per lui, la realtà (come il significato delle parole o i pensieri umani) è un magma: non si può spezzare in pezzi indipendenti senza distruggere il senso stesso.

Il Problema: Come descrivere matematicamente un "Magma"?

Il problema è che la matematica classica è fatta per le "isole" (le mele nel cesto). Non sa come gestire le "reti" (i ricordi). Se provi a usare le regole normali, ti scontri con paradossi o contraddizioni.

L'autore di questo articolo, Athanassios Tzouvaras, ha detto: "Proviamo a costruire una nuova matematica per questi oggetti legati".

La Soluzione: La "Dipendenza" come Regola Fondamentale

L'autore immagina un mondo fatto di "atomi" (i mattoni base della realtà, come le parole o i ricordi). Ma invece di lasciarli liberi, li lega con una regola di dipendenza.

Immagina una catena di montaggio o un gioco di domino:

• Se cade il domino A, deve cadere anche il domino B perché A dipende da B.
• Se hai il domino B, non puoi averlo senza che ci sia anche A.

In termini matematici, l'autore usa un concetto chiamato "Pre-ordine". È come una mappa che dice: "Se hai questo elemento, devi avere anche quell'altro".
La regola d'oro di questo nuovo mondo è: Non esistono elementi "minimi" o "isolati". Ogni elemento dipende da qualcos'altro, che a sua volta dipende da qualcos'altro, all'infinito. Non c'è mai un "punto finale" dove la catena si ferma.

La Costruzione: Costruire l'Universo Magmatico

L'autore costruisce questo universo a strati, come una torta:

1. Livello 1 (Le basi): Prendiamo tutti i gruppi di atomi che rispettano la regola di dipendenza. Se prendi un gruppo, devi includere tutto ciò che quel gruppo "richiama". Questi gruppi sono i primi "Magmi".
2. Livello 2 (I magmi dei magmi): Ora prendiamo questi gruppi e li trattiamo come nuovi "atomi". Ma attenzione: anche qui, le regole di dipendenza si applicano. Se hai un gruppo di gruppi, devi includere tutto ciò che è collegato.
3. Livello 3, 4, 5...: Ripetiamo il processo all'infinito.

Il risultato è un Universo Magmatico dove ogni cosa è fatta di pezzi che non possono esistere da soli.

Cosa succede in questo nuovo mondo?

L'autore dimostra che in questo universo funzionano alcune regole strane ma logiche:

• Nessun "pezzo unico": Non puoi mai avere un insieme con un solo elemento (come {mela}), perché quell'elemento porta con sé tutto il suo "bagaglio" di dipendenze. Quindi, ogni insieme è infinito.
• Non si può tagliare: Non puoi dividere un magma in due parti separate che non si toccano. Se provi a tagliare un magma, rimarrà sempre un "residuo" che è ancora un magma. È come cercare di dividere l'acqua in due pezzi che non si toccano: l'acqua è continua.
• Potere e Unione: Funziona la regola che dice "l'insieme di tutti i sotto-insiemi è un insieme", ma funziona in modo diverso rispetto alla matematica classica.

Perché è importante?

Questo lavoro non è solo un gioco matematico. È un tentativo di dare una "casa" logica a cose che la nostra mente vive ogni giorno ma che la matematica classica non riesce a descrivere bene:

• Il significato di una parola (che cambia a seconda del contesto).
• La coscienza (dove un pensiero è legato a un altro).
• La cultura (dove un'idea non può esistere senza le altre che l'hanno preceduta).

L'autore ammette onestamente che Castoriadis stesso avrebbe potuto criticare questo tentativo, perché Castoriadis odiava la logica classica. Ma l'autore dice: "Ho usato gli strumenti che avevo (la logica classica) per costruire un ponte verso un mondo che non è classico. È un primo passo per capire come funzionano le cose quando non sono isolate, ma legate in una rete viva."

In sintesi

Immagina che la matematica classica sia come un archivio di foto staccate: ogni foto è un momento perfetto e isolato.
Questa nuova teoria è come un film: non puoi fermare il film su un singolo fotogramma senza perdere il movimento, il suono e la storia che lo precede e lo segue. I "Magmi" sono il modo matematico per studiare il film, non le foto staccate.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del lavoro di Athanassios Tzouvaras, Sets with dependent elements: A formalization of Castoriadis' notion of magma, presentata in italiano.

1. Il Problema e il Contesto

Il paper affronta la necessità di formalizzare matematicamente il concetto di "magma" introdotto dal filosofo e pensatore sociale Cornelius Castoriadis.

• Critica alla Teoria degli Insiemi Cantoriana: Castoriadis sostiene che la tradizione logica occidentale (logica "identitaria-insiemistica") assume erroneamente che ogni collezione di oggetti sia composta da elementi distinti, definiti e ontologicamente indipendenti. Esempi come il "totalità dei significati di una lingua naturale" o la "totalità delle memorie di un individuo" sfuggono a questa definizione: gli elementi di tali totalità non sono completamente separabili o indipendenti; la presenza di un elemento implica necessariamente la presenza di altri elementi correlati.
• Il Concetto di Magma: Per Castoriadis, un magma è una molteplicità da cui si possono estrarre infinite organizzazioni insiemistiche, ma che non può essere ricostituita (idealmente) da una composizione insiemistica finita o infinita di tali organizzazioni.
• Il Problema Formale: I principi originali proposti da Castoriadis (M1-M5) per definire i magmi contengono contraddizioni logiche (in particolare tra M1 e M4) e concetti vaghi (come "marcare"). L'obiettivo del paper è riformulare e formalizzare rigorosamente le proprietà essenziali dei magmi (in particolare la dipendenza degli elementi) all'interno di un quadro matematico coerente, evitando le contraddizioni dei principi originali.

2. Metodologia

L'autore utilizza una teoria degli insiemi con atomi, specificamente una versione rafforzata della teoria ZFA (Zermelo-Fraenkel con Atomi), denotata come ZFAD.

• Struttura di Base: Si parte da un insieme infinito di atomi $A$ (urelementi) equipaggiato con una relazione di pre-ordine primitiva $\preccurlyeq$.
  • $a \preccurlyeq b$ significa che "$a$ dipende da $b$" (o "$b$ richiama $a$").
  • La relazione è riflessiva e transitiva.
• Condizione di Non-Minimalità (Assioma D3): Viene introdotto un assioma cruciale: $(\forall a \in A)(\exists b \in A)(b \prec a)$, dove $\prec$ è la relazione di pre-ordine stretta. Questo garantisce che non esistano elementi minimi nella catena di dipendenza; ogni elemento dipende da almeno un altro elemento. Questo riflette l'idea che in un magma non ci siano "punti di partenza" assoluti e isolati.
• Topologia Inferiore: I magmi di base sono definiti come i sottoinsiemi non vuoti di $A$ che sono aperti rispetto alla topologia inferiore indotta da $\preccurlyeq$. Un sottoinsieme $x \subseteq A$ è aperto se è "chiuso verso il basso": se $b \in x$ e $a \preccurlyeq b$, allora $a \in x$.
• Gerarchia Magmatica: L'autore costruisce una gerarchia di livelli $M_\alpha(A)$:
  1. $M_1(A) = LO(A, \preccurlyeq)$: l'insieme dei sottoinsiemi aperti non vuoti di $A$.
  2. Per gli stadi successivi, la relazione di pre-ordine viene "spostata" (shifting) sui poteri insiemistici. Viene definita una relazione di "simulazione" $\preccurlyeq^+$ su $P(A)$: $x \preccurlyeq^+ y \iff (\forall a \in x)(\exists b \in y)(a \preccurlyeq b)$.
  3. Un risultato chiave (Proposizione 3.2) dimostra che, quando si restringe $\preccurlyeq^+$ all'insieme dei magmi $LO(A, \preccurlyeq)$, questa relazione coincide esattamente con l'inclusione insiemistica $\subseteq$.
  4. La gerarchia procede per induzione: $M_{\alpha+1}(A) = LO(M_\alpha(A), \subseteq)$ e per gli ordinali limite $M_\alpha(A) = \bigcup_{\beta < \alpha} M_\beta(A)$.

3. Contributi Chiave e Risultati Tecnici

• Costruzione dell'Universo Magmatico $M(A)$: Viene definito l'universo magmatico come l'unione di tutti i livelli della gerarchia: $M(A) = \bigcup_{\alpha \ge 1} M_\alpha(A)$. Questo universo è una classe propria di $V(A)$ (l'universo ZFA standard) e contiene solo insiemi infiniti.
• Assenza di Insiemi Minimali: Grazie all'assioma D3 (nessun elemento minimale in $A$), si dimostra che non esistono insiemi $\subseteq$-minimali in nessun livello della gerarchia magmatica. Ogni magma contiene sempre un sotto-magma proprio.
• Proprietà degli Assiomi di ZF in $M(A)$:
  • Assioma dell'Insieme Potere (Pow): È soddisfatto. Per ogni magma $x$, l'insieme dei suoi sottomagmi ($P(x) \cap M$) è esso stesso un magma (di livello superiore).
  • Assioma dell'Unione (Un): È soddisfatto in una versione ristretta. L'unione di una famiglia di magmi appartiene a $M$ se e solo se la famiglia è contenuta in un livello sufficientemente alto o non tocca il livello base degli atomi in modo problematico.
  • Fallimento di altri assiomi: Gli assiomi dell'Insieme Vuoto, della Coppia e dell'Infinito (nella forma standard) falliscono, poiché tutti gli elementi di $M$ sono infiniti e non esistono insiemi finiti o vuoti all'interno della struttura magmatica pura.
• Verifica dei Principi di Castoriadis (Riformulati): L'autore dimostra che l'universo $M(A)$ soddisfa tre principi riformulati:
  • M2:* Ogni magma contiene un altro magma proprio (sussistenza di sottomagmi).
  • M3 (debole):* Un magma "base" non può essere partizionato in un numero finito di sottomagmi disgiunti (riflette l'impossibilità di separare completamente gli elementi dipendenti).
  • M5:* Ciò che non è un magma è un insieme classico o un atomo (complementarità tra magmi e oggetti standard).

4. Significato e Conclusioni

• Formalizzazione di una Nozione Filosofica: Il lavoro riesce a tradurre intuizioni filosofiche complesse e apparentemente vaghe di Castoriadis in un modello matematico rigoroso all'interno della teoria degli insiemi. Dimostra che è possibile costruire una teoria dei collezioni in cui gli elementi sono intrinsecamente dipendenti l'uno dall'altro, senza cadere in paradossi logici.
• Sfida all'Indipendenza Cantoriana: Il modello sfida l'assunto fondamentale della teoria degli insiemi classica secondo cui gli elementi di un insieme sono indipendenti. In $M(A)$, la "separazione" è impossibile: rimuovere un elemento richiederebbe di rimuovere l'intera catena di dipendenza.
• Limiti e Prospettive Future: L'autore riconosce che Castoriadis avrebbe probabilmente rifiutato tale formalizzazione basata sulla logica classica ("identitaria-insiemistica"). Tuttavia, il lavoro serve come un primo passo necessario per esplorare la logica delle collezioni dipendenti.
  • Lavori Futuri: L'autore suggerisce due direzioni: (1) costruire "analoghi magmatici" di oggetti matematici standard (coppie ordinate, funzioni, numeri naturali) per vedere come la matematica cambierebbe in un mondo di entità dipendenti; (2) un approccio sintattico per assiomatizzare direttamente le proprietà dei magmi, forse ispirandosi a lavori precedenti come quelli di H. Skala su insiemi con elementi dipendenti.

In sintesi, il paper fornisce una struttura formale robusta per i "magmi", dimostrando che le collezioni con elementi dipendenti possono essere trattate matematicamente come un universo gerarchico ben definito, dove la dipendenza è codificata attraverso la topologia inferiore e la struttura di pre-ordine.