🔢 mathematics

Computable Structuralism: A Categorical Rewrite Calculus of Mythic Variants

Questo articolo propone lo "Strutturalismo Computabile", un quadro categoriale formale che modella le varianti mitiche e narrative come programmi di riscrittura tipizzati su uno stato a registro duale, traducendo così l'analisi strutturalista di Lévi-Strauss in un sistema computabile capace di testare la coerenza, diagnosticare fallimenti strutturali e colmare quantitativamente il divario tra antropologia e analisi culturale attraverso diverse tradizioni narrative.

Autori originali: Juan J. Segura

Pubblicato 2026-01-22

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Juan J. Segura

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immaginate di avere una biblioteca gigante di storie: fiabe, miti religiosi, film di supereroi e lunghe saghe televisive. Di solito, quando gli studiosi confrontano queste storie, cercano somiglianze: "Oh, sia Cenerentola che Spider-Man hanno un'infanzia triste!" oppure "Entrambi hanno un aiutante magico!".

Ma questo articolo sostiene che cercare somiglianze superficiali è come giudicare due auto solo in base al colore della vernice. Significa ignorare come funzionano realmente i loro motori. Gli autori, guidati da Juan J. Segura, propongono un nuovo modo per confrontare le storie che le tratta come rompicapi matematici o codice informatico, ma che mantiene intatto il significato umano della storia.

Ecco la scomposizione della loro idea utilizzando analogie semplici:

1. La Macchina a Due Registri (Il "Sociale" vs Le "Regole")

Gli autori suggeriscono che ogni storia giri su una macchina con due registri distinti (come due tracce su una cassetta o due corsie su un'autostrada):

Registro X (La Corsia del Quotidiano): Questo è il mondo fisico, disordinato. Comprende i personaggi, le combattute, gli strumenti, i soldi e le azioni fisiche. Esempio: un lupo che mangia una nonna, o un supereroe che tira un pugno a un cattivo.
Registro Y (La Corsia del Libro delle Regole): Questo è il mondo invisibile di leggi, tabù, profezie e contratti. È il "perché" che rende l'azione significativa. Esempio: l'avvertimento di una madre di non parlare con estranei, una legge che richiede la registrazione dei supereroi, o una divina maledizione.

L'Intuizione: Nella maggior parte delle storie, l'azione fisica (X) diventa una "storia" solo quando si scontra con le regole (Y). Se un lupo mangia una nonna, è solo una tragedia. Ma se lo fa perché ha infranto un tabù, o se la nonna sopravvive grazie a una profezia, la storia acquisisce la sua struttura. Gli autori affermano che non si può comprendere la storia a meno che non si traccino entrambi i binari simultaneamente.

2. Il Test della "Trasformazione" (Il Trucco Magico)

I strutturalisti (come il famoso Claude Lévi-Strauss) credono che le storie siano correlate non perché si somiglino, ma perché una può essere trasformata in un'altra attraverso regole specifiche (scambio di ruoli, inversione di valori).

Gli autori trasformano questo concetto in un test matematico. Immaginano due modi per aggiornare una storia:

Aggiornamento A (La Via Diretta): Cambi la storia, ma mantieni invariati i ruoli. (L'eroe è ancora l'eroe; la legge è ancora la legge).
Aggiornamento B (La Via Canonica): Esegui un "trucco magico" in cui scambi le cose tra loro. Magari ciò che era una "regola" diventa il "cattivo", o l'"eroe" diventa la "vittima".

Il "Controllo di Coerenza":
L'articolo pone la domanda: Se scambio i ruoli (Aggiornamento B), la storia ha ancora senso matematicamente?
Utilizzano un concetto chiamato "Trasformazione Naturale" (un termine matematico sofisticato) che funge da timbro di controllo qualità.

Passa: Se la storia regge ancora dopo lo scambio, la trasformazione è "legale". Le due storie sono strutturalmente correlate.
Fallisce: Se la storia cade a pezzi (ad esempio, la "legge" improvvisamente agisce come uno "strumento" e rompe la logica), la trasformazione è "illegale". Questo fallimento non è un errore; è una diagnosi. Dice al ricercatore: "Hai cercato di confrontare queste due cose, ma non si incastrano affatto sotto queste regole".

3. La "Chiave" (L'Impronta Digitale della Storia)

Le storie accadono in un ordine specifico. Se si scambia l'ordine degli eventi (ad esempio, l'eroe ottiene la spada dopo la battaglia invece che prima), la storia cambia completamente.

Per catturare questo aspetto, gli autori assegnano a ogni storia una "Chiave" (etichettata da A a E). Consideratela come un impronta digitale o un codice a barre per la sequenza della storia.

Non dice cosa accade, ma come sono disposti gli eventi.
Ciò permette di confrontare rapidamente 80 storie per vedere se condividono lo stesso "ritmo strutturale", anche se una riguarda un principe rana e l'altra un mago spaziale.

4. L'Esperimento: 80 Storie

Il team ha testato questo sistema su 80 storie:

20 Fiabe (es. Cenerentola)
20 Miti Religiosi (es. Adamo ed Eva)
20 Storie di Supereroi (es. Batman)
20 Saghe/Franchise (es. Star Wars)

Cosa hanno scoperto:

Il "Libro delle Regole" è reale: Nel 74% delle storie, la "Corsia del Libro delle Regole" (Y) era esplicitamente nominata. Che si trattasse di un "tabù", di una "legge", di una "profezia" o di un "contratto", le storie facevano affidamento su queste regole invisibili per guidare la trama.
Il Sistema Funziona: Sono riusciti a mappare questi diversi generi sullo stesso sistema a due binari. Una "fata madrina" in una fiaba e una "legge sulla registrazione" in un film di supereroi funzionano entrambe come il "mediatore" o il "vincolo" nello stesso slot matematico.
Intercetta gli Errori: Quando hanno provato a forzare una storia nel posto sbagliato (come chiamare una "legge" uno "strumento"), la matematica si è interrotta. Ciò ha dimostrato che il sistema è abbastanza rigoroso da scovare i confronti errati.

Conclusione

Questo articolo non cerca di sostituire lo storytelling umano o di dire quali storie siano "migliori". Inveve, costruisce uno strumento di traduzione.

Trasforma l'idea vaga di "somiglianza strutturale" in un problema matematico testabile e riproducibile. Permette ai ricercatori di dire: "Queste due storie sono correlate non solo perché si somigliano, ma perché seguono la stessa logica sottostante di come le azioni fisiche interagiscono con le regole sociali".

È come prendere un mucchio disordinato di mattoncini LEGO di diversi colori e rendersi conto che tutti si incastrano usando esattamente lo stesso meccanismo nascosto. Gli autori hanno appena scritto il manuale per quel meccanismo.

Sintesi Tecnica: Strutturalismo Computabile

Problema
L'analisi comparativa di miti e narrazioni affronta una tensione metodologica tra due impulsi: l'insistenza sul fatto che il significato sia locale e dipendente dal contesto (condizioni sociali, rituali, storiche) e la visione strutturalista secondo cui le narrazioni sono comparabili tramite trasformazioni sistematiche (sostituzioni, inversioni, scambi di ruoli). Sebbene l'antropologia strutturale (ad es. Lévi-Strauss) abbia stabilito che i miti funzionano come sistemi di trasformazione, l'attuale analisi culturale richiede metodi che siano abbastanza espliciti da poter essere riprodotti, contestati e scalati. Gli approcci attuali si affidano spesso a metriche basate sulla somiglianza (ad es. sovrapposizione di motivi, similarità di embedding) che quantificano la prossimità ma non riescono a esprimere il "trasporto legale" sotto vincoli operativi espliciti. Il documento identifica una lacuna nell'operazionalizzare la trasformazione lévi-straussiana: non esiste un framework formale che renda la trasformazione strutturale un oggetto matematico pur rimanendo leggibile come analisi narrativa e capace di vincoli falsificabili.

Metodologia
Gli autori propongono un framework formale che modella le narrazioni come programmi di riscrittura tipizzati che agiscono su uno stato a due registri accoppiato $(X, Y)$ .

Configurazione a due registri ( $Z = (X, Y)$ ):
- Registro X (Quotidiano/Sociale): Traccia agenti, istituzioni, vincoli di sopravvivenza, conflitti politici e condizioni materiali.
- Registro Y (Simbolico/Legittimazione): Traccia legge, tabù, profezia, patto, rituale, vincoli morali e ordine cosmologico.
- Il modello postula che le trasformazioni in $X$ siano consequenziali solo quando riconosciute/autorizzate in $Y$ , e che le perturbazioni in $Y$ siano reali solo quando riorganizzano $X$ .
Schema di Codifica:
Ogni narrazione è codificata in uno schema funzionale a quattro slot $(a, b, x, y)$ :
- $a$ : Agente focale (portatore della trasformazione).
- $b$ : Forza opposta/perturbatrice (antagonista, caos, istituzione).
- $x$ : Mediatore che abilita la trasformazione (strumento, patto, aiutante).
- $y$ : Ordine vincolante/legittimante (legge, tabù, regola).
Politiche di Aggiornamento e Trasformazione Naturale:
Il framework definisce due politiche di aggiornamento sistematiche (endofunctor) sulle configurazioni:
- Politica Diretta ( $U$ ): Gli aggiornamenti preservano i ruoli dei registri (il mediatore rimane mediatore; il vincolo rimane vincolo).
- Politica Canonica ( $V$ ): Implementa un movimento strutturato di scambio + inversione (ad es. un vincolo diventa oggetto di conflitto; un conflitto viene inquadrato come un vincolo).
- Condizione di Coerenza: Una trasformazione canonica è definita dalla presenza di una trasformazione naturale $\eta: U \Rightarrow V$ . Per un trasporto proposto $h$ tra varianti, il diagramma deve commutare: $V(h) \circ \eta_Z = \eta_{Z'} \circ U(h)$ .
- Falsificabilità: Se l'equazione di naturalità fallisce, essa diagnostica un errore specifico: una cattiva specificazione dell'opposizione, un trasporto di operatore illegale o un'errata assegnazione del registro. Ciò trasforma l'analisi strutturale in un "controllo dei tipi (type check) rivolto al corpus".
Sensibilità al Contesto:
Il contesto è internalizzato tramite la scelta di operatori strutturati. Gli operatori di riscrittura ammissibili e le regole di trasporto sono specifici per famiglie narrative (ad es. fiabe contro franchise). Ciò evita il collasso del tipo "tutto mappa su tutto", rendendo illegali i trasporti di operatori specifici se violano il contesto dichiarato.
Invariante della Firma d'Ordine (Chiave):
Per tenere conto degli effetti di ordine sequenziale (ad es. attraversamenti di trickster, loop temporali) dove "scambio poi inversione" $\neq$ "inversione poi scambio", a ogni narrazione viene assegnata una Chiave (archetipi A–E). Queste chiavi riassumono gli effetti d'ordine utilizzando archetipi di treccia (braid) e invarianti computabili, fungendo da impronta digitale strutturale compatta.

Corpus e Disegno Sperimentale
Lo studio utilizza un corpus stratificato di 80 narrazioni divise equamente in quattro famiglie di media:

20 Fiabe (ad es. Cenerentola, Cappezzo Rosso)
20 Miti Religiosi (ad es. Adamo ed Eva, Noè)
20 Narrazioni Superheroistiche (ad es. Batman, Spider-Man)
20 Franchise (ad es. Star Wars, Harry Potter)

Il disegno è bilanciato per evitare la dominanza di un genere e garantire che il metodo sia traslabile attraverso i media. Un audit di codifica a due passaggi su un sottoinsieme ( $n=20$ ) ha dimostrato un'alta affidabilità inter-rater ( $\kappa = 0.95$ per $x$ e $y$ ), con disaccordi concentrati al confine $x/y$ (mediatore vs vincolo), che il modello mira esplicitamente.

Risultati Chiave

Coerenza Operativa: Il framework modella con successo le narrazioni come riscritture tipizzate. La condizione di naturalità funge da strumento diagnostico; in un esempio lavorato (Cappezzo Rosso), una cattiva tipizzazione (scambiare il ruolo del cacciatore da mediatore $x$ a vincolo $y$ ) ha causato un fallimento della naturalità, localizzando l'incoerenza strutturale.
Prevalenza dei Vincoli: In 59/80 (74%) delle narrazioni, il registro $y$ nomina esplicitamente un vincolo normativo (legge, tabù, contratto, profezia). Ciò supporta la validità dell'astrazione a due registri.
Stabilità Cross-Media: I ruoli funzionali $(a, b, x, y)$ rimangono intelligibili attraverso i media. Sebbene le realizzazioni differiscano (ad es. "Corte Reale" nelle fiabe vs "Legge di Registrazione" nei supereroi), la funzione strutturale di $y$ come sistema di vincolo persiste.
Sensibilità della Chiave: Un micro-test ( $n=10$ ) ha mostrato che le Chiavi sono stabili sotto normalizzazione conservativa (8/10 casi), ma cambiano sotto test di stress "worst-case" (scambio tra $x$ e $y$ ), confermando che l'invariante è sensibile alla specifica logica strutturale della narrazione.
Tipologia dei Vincoli: L'analisi del registro $y$ rivela distinte "firme di tipo di vincolo" attraverso i corpora (ad es. Supereroi/Franchise tendono verso vincoli legali/istituzionali; Miti Religiosi verso vincoli divini/cosmici).

Significato e Rivendicazioni
Il paper sostiene di fornire un ponte testabile tra l'antropologia strutturale e l'analisi culturale. I suoi principali contributi sono:

Formalizzazione: Rende la trasformazione canonica di Lévi-Strauss in una condizione di coerenza testabile (trasformazione naturale) anziché in un modello vago.
Operazionalizzazione: Sposta il confronto dalla "somiglianza" al "trasporto legale", rendendo le affermazioni strutturali esplicite, trasportabili e confutabili.
Potere Diagnostico: I fallimenti nel modello non sono difetti, ma diagnosi che localizzano esattamente dove l'analisi è collassata (ad es. confondere un mediatore con un vincolo).
Interpretabilità: Il framework mantiene l'interpretabilità per l'analisi ravvicinata (tramite lo schema $a, b, x, y$ e le Chiavi) pur consentendo l'analisi computazionale a livello di corpus.

Gli autori dichiarano esplicitamente che questo è un set dimostrativo di operazionalizzazione, non una rivendicazione sulla prevalenza globale delle narrazioni. Il framework è progettato per rendere le affermazioni di trasformazione esplicite e contestabili, separando ciò che è codificato, ciò che è inferito e ciò che è testato. Il lavoro futuro è identificato nell'estensione della codifica dai riassunti a colpo singolo ai grafi a livello di episodio e nella pubblicazione di un pacchetto di replicazione.