Computable Structuralism: A Categorical Rewrite Calculus of Mythic Variants

Technische Samenvatting: Computable Structuralism

Probleemstelling
De vergelijkende analyse van mythen en narratieven staat voor een methodologische spanning tussen twee impulsen: de nadruk op het feit dat betekenis lokaal en contextafhankelijk is (sociale, rituele, historische condities) en het structuralistische standpunt dat narratieven vergelijkbaar zijn via systematische transformaties (substituties, inversies, roluitwisselingen). Hoewel de structurele antropologie (bijv. Lévi-Strauss) heeft vastgesteld dat mythen functioneren als systemen van transformatie, vereist hedendaagse culturele analytiek methoden die expliciet genoeg zijn om reproduceerbaar, betwistbaar en schaalbaar te zijn. Huidige benaderingen vertrouwen vaak op op gelijkenis gebaseerde metrieken (bijv. motiefoverlap, embedding-gelijkenis), die nabijheid kwantificeren maar falen in het uitdrukken van "wetmatige transport" onder expliciete operatorbeperkingen. Het artikel identificeert een gat in het operationaliseren van de Lévi-Straussiaanse transformatie: er is geen formeel kader dat structurele transformatie tot wiskunde maakt terwijl het leesbaar blijft als narratieve analyse en in staat is tot falsifieerbare beperkingen.

Methodologie
De auteurs stellen een formeel kader voor dat narratieven modelleert als getypeerde rewrite-programma's die opereren op een gekoppeld twee-register systeem $(X, Y)$.

1. Twee-register configuratie ($Z = (X, Y)$):

   • Register X (Alledaags/Sociaal): Houdt actoren, instituties, overlevingsvoorwaarden, politieke conflicten en materiële condities bij.
   • Register Y (Symbolisch/Legitimatie): Houdt wet, taboe, profetie, verbond, ritueel, morele beperkingen en kosmologische orde bij.
   • Het model stelt dat transformaties in $X$ pas consequent zijn wanneer ze erkend of geautoriseerd worden in $Y$, en dat verstoringen in $Y$ pas reëel zijn wanneer ze $X$ herorganiseren.

2. Codering-schema:
   Elk narratief wordt gecodeerd in een vier-slots functioneel schema $(a, b, x, y)$:

   • $a$: Focale actor (drager van transformatie).
   • $b$: Tegenwerkende/verstorende kracht (antagonist, chaos, institutie).
   • $x$: Mediator die transformatie mogelijk maakt (instrument, pact, helper).
   • $y$: Beperkende/legitimerende orde (wet, taboe, regel).

3. Update-policies en Natuurlijke Transformatie:
   Het kader definieert twee systematische update-policies (endofunctoren) op configuraties:

   • Directe Policy ($U$): Updates behouden de rollen van de registers (de mediator blijft de mediator; de beperking blijft de beperking).
   • Canonieke Policy ($V$): Implementeert een gestructureerde swap + inversie beweging (bijv. een beperking wordt een object van conflict; een conflict wordt geherformuleerd als een beperking).
   • Coherentievoorwaarde: Een canonieke transformatie wordt gedefinieerd als het bestaan van een natuurlijke transformatie $\eta: U \Rightarrow V$. Voor een voorgestelde transport $h$ tussen varianten moet het diagram commuteren: $V(h) \circ \eta_Z = \eta_{Z'} \circ U(h)$.
   • Falsifieerbaarheid: Als de naturaliteitsequatie faalt, diagnosticeert dit een specifieke fout: een verkeerd gespecificeerde oppositie, een illegale operator-transport, of een incorrecte register-toewijzing. Dit transformeert structurele analyse in een "corpus-gezichtstypecheck".

4. Contextgevoeligheid:
   Context wordt geïnternaliseerd via gestructureerde operatorkeuze. Toelaatbare rewrite-operators en transportregels zijn specifiek voor narratieve families (bijv. volksverhalen versus franchises). Dit voorkomt de "alles mapt naar alles" instorting door te maken dat specifieke operator-transports illegaal zijn als ze de verklaarde context schenden.

5. Orde-signatuur Invariant (Kern):
   Om effecten van sequentiële volgorde te verklaren (bijv. trickster-overgangen, tijdloops) waarbij "eerst swappen dan inverteren" $\neq$ "eerst inverteren dan swappen", krijgt elk narratief een Key (archetypen A–E). Deze keys vatten orde-effecten samen met behulp van braid-archetypen en berekenbare invarianten, wat dient als een compact structureel vingerafdruk.

Corpus en Experimenteel Ontwerp
De studie maakt gebruik van een gestratificeerd corpus van 80 narratieven, verdeeld in vier mediafamilies:

• 20 Volksverhalen (bijv. Assepoester, Roodkapje)
• 20 Religieuze Mythen (bijv. Adam en Eva, Noach)
• 20 Superhelden-narratieven (bijv. Batman, Spider-Man)
• 20 Franchises (bijv. Star Wars, Harry Potter)

Het ontwerp is gebalanceerd om genre-dominantie te voorkomen en te waarborgen dat de methode over media heen werkt. Een twee-staps codering-audit op een subset ($n=20$) toonde een hoge inter-rater betrouwbaarheid ($\kappa = 0.95$ voor $x$ en $y$), waarbij onenigheid geconcentreerd was bij de $x/y$-grens (mediator versus beperking), wat het model expliciet target.

Belangrijkste Resultaten

1. Operationele Coherentie: Het framework slaagt erin narratieven te modelleren als getypeerde rewrites. De naturaliteitsvoorwaarde dient als een diagnostisch instrument; in een uitgewerkt voorbeeld (Roodkapje) veroorzaakte een plausibele mis-typering (het wisselen van de rol van de jager van mediator $x$ naar beperking $y$) een naturaliteitsfalen, waardoor de structurele incoherentie werd gelokaliseerd.
2. Prevalentie van Beperkingen: In 59/80 (74%) van de narratieven noemt het $y$-register expliciet een normatieve beperking (wet, taboe, contract, profetie). Dit ondersteunt de validiteit van de twee-register abstractie.
3. Cross-Media Stabiliteit: De functionele rollen $(a, b, x, y)$ blijven begrijpelijk over verschillende media heen. Hoewel de realisaties verschillen (bijv. "Koninklijk Hof" in volksverhalen versus "Registratiewet" in superhelden), blijft de structurele functie van $y$ als een systeem van beperkingen standhouden.
4. Key-gevoeligheid: Een micro-test ($n=10$) toonde aan dat Keys stabiel zijn onder conservatieve normalisatie (8/10 gevallen), maar veranderen onder "worst-case" stresstests (het swappen van $x$ en $y$), wat bevestigt dat de invariant gevoelig is voor de specifieke structurele logica van het narratief.
5. Typologie van Beperkingen: Analyse van het $y$-register onthult onderscheidende "beperking-type signaturen" over corpora heen (bijv. Superhelden/Franchises neigen naar juridische/institutionele beperkingen; Religieuze Mythen naar goddelijke/kosmische beperkingen).

Betekenis en Claims
Het artikel beweert een testbare brug te slaan tussen structurele antropologie en culturele analytiek. De primaire bijdragen zijn:

• Formalisering: Het vertaalt de de Lévi-Straussiaanse canonieke transformatie naar een testbare coherentievoorwaarde (natuurlijke transformatie) in plaats van een losse sjabloon.
• Operationalisering: Het verschuift vergelijking van "gelijkenis" naar "wetmatige transformatie", waardoor structurele claims expliciet, transporteerbaar en weerlegbaar worden.
• Diagnostische Kracht: Falen in het model is geen defect, maar een diagnose die exact lokaliseert waar een analyse is ingestort (bijv. het verwarren van een mediator met een beperking).
• Interpretatieerbaarheid: Het framework behoudt de interpretatieerbaarheid voor close reading (via het $a,b,x,y$-schema en de Keys) terwijl het corpus-niveau berekeningen mogelijk maakt.

De auteurs verklaren expliciet dat dit een demonstratieset is voor operationalisering, en geen claim over de wereldwijde narratieve prevalentie. Het framework is ontworpen om transformatieclaims expliciet en betwistbaar te maken, door wat wordt gecodeerd, wat wordt afgeleid en wat wordt getest van elkaar te scheiden. Toekomstig werk wordt geïdentificeerd als het uitbreiden van de codering van single-shot samenvattingen naar episode-niveau grafen en het publiceren van een replicatiepakket.