🔢 mathematics

Computable Structuralism: A Categorical Rewrite Calculus of Mythic Variants

Cet article propose le « structuralisme calculable », un cadre catégorique formel qui modélise les variantes mythiques et narratives comme des programmes de réécriture typés sur un état à double registre, traduisant ainsi l'analyse structurelle lévi-straussienne en un système calculable capable de tester la cohérence, de diagnostiquer les défaillances structurelles et de jeter un pont quantitatif entre l'anthropologie et l'analyse culturelle à travers diverses traditions narratives.

Auteurs originaux : Juan J. Segura

Publié 2026-01-22

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Juan J. Segura

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous possédez une bibliothèque géante d'histoires : contes de fées, mythes religieux, films de super-héros et longues franchises de séries télévisées. Habituellement, lorsque les chercheurs comparent ces récits, ils cherchent des similitudes : « Oh, Cendrillon et Spider-Man ont tous deux une enfance triste ! » ou « Les deux ont un aide magique ! »

Mais cet article soutient que chercher des similitudes de surface revient à juger deux voitures uniquement par la couleur de leur peinture. Cela fait l'impasse sur la manière dont leurs moteurs fonctionnent réellement. Les auteurs, dirigés par Juan J. Segue, proposent une nouvelle façon de comparer les histoires qui les traite comme des puzzles mathématiques ou du code informatique, tout en préservant l'essence humaine du récit.

Voici la décomposition de leur idée à l'aide d'analogies simples :

1. La machine à deux registres (Le « Social » vs Les « Règles »)

Les auteurs suggèrent que chaque histoire fonctionne sur une machine dotée de deux registres distincts (comme deux pistes sur une cassette ou deux voies sur une autoroute) :

Registre X (La voie du quotidien) : C'est le monde physique, désordonné. Il contient les personnages, les combats, les outils, l'argent et les actions physiques. Exemple : Un loup mangeant une grand-mère, ou un super-héros frappant un méchant.
Registre Y (La voie du livre de règles) : C'est le monde invisible des lois, des tabous, des prophéties et des contrats. C'est le « pourquoi » qui donne de l'importance à l'action. Exemple : Une mise en garde d'une mère de ne pas parler aux inconnels, une loi exigeant l'enregistrement des super-héros, ou une malédiction divine.

L'intuition : Dans la plupart des histoires, l'action physique (X) ne devient une « histoire » que lorsqu'elle entre en collision avec les règles (Y). Si un loup mange une grand-mère, c'est juste une tragédie. Mais s'il le fait parce qu'il a brisé un tabou, ou si la grand-mère survit grâce à une prophétie, l'histoire acquiert sa structure. Les auteurs affirment qu'on ne peut pas comprendre l'histoire sans suivre simultanément les deux voies.

2. Le test de « Transformation » (Le tour de magie)

Les structuralistes (comme le célèbre Claude Lévi-Strauss) pensent que les histoires sont liées non pas parce qu'elles se ressemblent, mais parce que l'une peut être transformée en l'autre via des règles spécifiques (échange de rôles, inversion de valeurs).

Les auteurs transforment cela en un test mathématique. Ils imaginent deux façons de mettre à jour une histoire :

Mise à jour A (La voie directe) : Vous modifiez l'histoire, mais vous gardez les mêmes rôles. (Le héros reste le héros ; la loi reste la loi).
Mise à jour B (La voie canonique) : Vous effectuez un « tour de magie » où vous échangez les éléments. Peut-être que ce qui était une « règle » devient le « méchant », ou que le « héros » devient la « victime ».

Le « Contrôle de cohérence » :
L'article pose la question suivante : Si je change les rôles (Mise à jour B), est-ce que l'histoire conserve toujours un sens mathématique ?
Ils utilisent un concept appelé « Transformation naturelle » (un terme mathématique sophistiqué) qui agit comme un tampon de contrôle qualité.

Réussite : Si l'histoire tient toujours debout après l'échange, la transformation est « légale ». Les deux histoires sont structurellement liées.
Échec : Si l'histoire s'effondre (par exemple, si la « loi » se comporte soudainement comme un « outil » et brise la logique), la transformation est « illégale ». Cet échec n'est pas une erreur ; c'est un diagnostic. Il dit au chercheur : « Vous avez essayé de comparer ces deux choses, mais elles ne s'emboîtent pas réellement sous ces règles. »

3. La « Clé » (L'empreinte digitale de l'histoire)

Les histoires se déroulent dans un ordre spécifique. Si vous inversez l'ordre des événements (par exemple, le héros obtient l'épée après la bataille plutôt qu'avant), l'histoire change complètement.

Pour capturer cela, les auteurs attribuent à chaque histoire une « Clé » (étiquetée de A à E). Considérez cela comme une empreinte digitale ou un code-barres pour la séquence de l'histoire.

Elle ne dit pas ce qui se passe, mais comment les événements sont agencés.
Cela leur permet de comparer rapidement 80 histoires pour voir si elles partagent le même « rythme structurel », même si l'une traite d'un prince grenouille et l'autre d'un sorcier de l'espace.

4. L'expérience : 80 histoires

L'équipe a testé ce système sur 80 histoires :

20 contes populaires (ex: Cendrillon)
20 mythes religieux (ex: Adam et Ève)
20 histoires de super-héros (ex: Batman)
20 franchises (ex: Star Wars)

Ce qu'ils ont découvert :

Le « Livre de règles » est réel : Dans 74 % des histoires, la « Voie du livre de règles » (Y) était explicitement nommée. Qu'il s'agisse d'un « tabou », d'une « loi », d'une « prophétie » ou d'un « contrat », les histoires s'appuient sur ces règles invisibles pour piloter l'intrigue.
Le système fonctionne : Ils ont réussi à cartographier ces différents genres sur le même système à deux pistes. Une « marraine la fée » dans un conte de fées et une « loi d'enregistrement » dans un film de super-héros fonctionnent tous deux comme le « médiateur » ou la « contrainte » dans le même emplacement mathématique.
Il détecte les erreurs : Lorsqu'ils ont tenté de forcer une histoire dans le mauvais emplacement (comme appeler une « loi » un « outil »), les mathématiques ont échoué. Cela a prouvé que le système est assez strict pour détecter les mauvaises comparaisons.

L'essentiel

Cet article ne cherche pas à remplacer la narration humaine ou à dire quelles histoires sont « meilleures ». Au lieu de cela, il construit un outil de traduction.

Il transforme l'idée vague de « similitude structurelle » en un problème mathématique testable et reproductible. Il permet aux chercheurs de dire : « Ces deux histoires sont liées non seulement parce qu'elles se ressemblent, mais parce qu'elles suivent la même logique sous-jacente de l'interaction entre les actions physiques et les règles sociales. »

C'est comme prendre un tas désordonné de briques LEGO de différentes couleurs et réaliser qu'elles s'emboîtent toutes grâce au même mécanisme caché. Les auteurs viennent de rédiger le manuel d'utilisation de ce mécanisme.

Résumé Technique : Structuralisme Computable

Énoncé du Problème
L'analyse comparative des mythes et des récits fait face à une tension méthodologique entre deux impulsions : l'insistance sur le fait que le sens est local et dépendant du contexte (conditions sociales, rituelles, historiques) et la vision structuraliste selon laquelle les récits sont comparables via des transformations systématiques (substitutions, inversions, échanges de rôles). Si l'anthropologie structurale (ex. Lévi-Strauss) a établi que les mythes fonctionnent comme des systèmes de transformation, l'analyse culturelle contemporaine nécessite des méthodes suffisamment explicites pour être reproduites, contestées et mises à l'échelle. Les approches actuelles reposent souvent sur des mesures de ressemblance (ex. chevauchement de motifs, similitude d'embeddings) qui quantifient la proximité mais échouent à exprimer un « transport légal » sous des contraintes d'opérateurs explicites. L'article idente une lacune dans l'opérationnalisation de la transformation lévi-straussienne : il n'existe pas de cadre formel qui rende la transformation structurelle mathématique tout en restant lisible comme une analyse narrative et capable de contraintes falsifiables.

Méthodologie
Les auteurs proposent un cadre formel modélisant les récits comme des programmes de réécriture typés agissant sur un état à deux registres couplés $(X, Y)$ .

Configuration à deux registres ( $Z = (X, Y)$ ) :
- Registre X (Quotidien/Social) : Suit les agents, les institutions, les contraintes de survie, les conflits politiques et les conditions matérielles.
- Registre Y (Symbolique/Légitimation) : Suit la loi, le tabou, la prophétie, l'alliance, le rituel, les contraintes morales et l'ordre cosmologique.
  Le modèle postule que les transformations dans $X$ ne sont conséquentes que lorsqu'elles sont reconnues ou autorisées dans $Y$ , et que les ruptures dans $Y$ ne sont réelles que lorsqu'elles réorganisent $X$ .
Schéma d'encodage :
Chaque récit est encodé en un schéma fonctionnel à quatre emplacements $(a, b, x, y)$ :
- $a$ : Agent focal (porteur de la transformation).
- $b$ : Force opposée/perturbatrice (antagoniste, chaos, institution).
- $x$ : Médiateur permettant la transformation (outil, pacte, aide).
- $y$ : Ordre contraignant/légitimant (loi, tabou, règle).
Politiques de mise à jour et transformation naturelle :
Le cadre définit deux politiques de mise à jour systématiques (endofoncteurs) sur les configurations :
- Politique Directe ( $U$ ) : Les mises à jour préservent les rôles des registres (le médiateur reste médiateur ; la contrainte reste contrainte).
- Politique Canonique ( $V$ )) : Implémente un mouvement structuré de permutation + inversion (ex. une contrainte devient un objet de conflit ; un conflit est recadré en tant que contrainte).
- Condition de Cohérence : Une transformation canonique est définie comme l'existence d'une transformation naturelle $\eta: U \Rightarrow V$ . Pour un transport $h$ entre variantes, le diagramme doit commuter : $V(h) \circ \eta_Z = \eta_{Z'} \circ U(h)$ .
- Falsifiabilité : Si l'équation de naturalité échoue, elle diagnostique une erreur spécifique : une mauvaise spécification de l'opposition, un transport d'opérateur illégal, ou une erreur d'assignation de registre. Cela transforme l'analyse structurelle en un « contrôle de type » faisant face au corpus.
Sensibilité au Contexte :
Le contexte est internalisé via le choix d'opérateurs structurés. Les opérateurs de réécriture et les règles de transport admissibles sont spécifiques aux familles de récits (ex. contes de fées vs franchises). Cela empêche l'effondrement du « tout peut correspondre à tout » en rendant les transports d'opérateurs spécifiques illégaux s'ils violent le contexte déclaré.
Invariant de Signature d'Ordre (Clé) :
Pour rendre compte des effets d'ordre séquentiel (ex. traversées de tricksters, boucles temporelles) où « permuter puis inverser » $\neq$ « inverser puis permuter », chaque récit se voit assigner une Clé (archétypes A–E). Ces clés résument les effets d'ordre en utilisant des archétypes de tresses et des invariants calculables, servant de empreinte structurelle compacte.

Corpus et Design Expérimental
L'étude utilise un corpus stratifié de 80 récits divisés également en quatre familles de médias :

20 Contes de fées (ex. Cendrillon, Le Petit Chaperon Rouge)
20 Mythes religieux (ex. Adam et Ève, Noé)
20 Récits de super-héros (ex. Batman, Spider-Man)
20 Franchises (ex. Star Wars, Harry Potter)

Le design est équilibré pour éviter la dominance de genre et garantir que la méthode voyage à travers les médias. Un audit de codage en deux passes sur un sous-ensemble ( $n=20$ ) a démontré une haute fiabilité inter-juges ( $\kappa = 0,95$ pour $x$ et $y$ ), les désaccords étant concentrés à la frontière $x/y$ (médiateur vs contrainte), ce que le modèle cible explicitement.

Résultats Clés

Cohérence Opérationnelle : Le cadre modélise avec succès les récits comme des réécritures typées. La condition de naturalité sert d'outil de diagnostic ; dans un exemple travaillé (Le Petit Chaperon Rouge), une erreur de typage plausible (inverser le rôle du chasseur de médiateur $x$ à contrainte $y$ ) a provoqué un échec de naturalité, localisant l'incohérence structurelle.
Prévalence des Contraintes : Dans 59/80 (74 %) des récits, le registre $y$ nomme explicitement une contrainte normative (loi, tabou, contrat, prophétie). Cela soutient la validité de l'abstraction à deux registres.
Stabilité Trans-Médias : Les rôles fonctionnels $(a, b, x, y)$ restent intelligibles à travers les médias. Bien que les réalisations diffèrent (ex. « Cour Royale » dans les contes vs « Loi d'enregistrement » dans les super-héros), la fonction structurelle de $y$ en tant que système de contrainte persiste.
Sensibilité de la Clé : Un micro-test ( $n=10$ ) a montré que les Clés sont stables sous une normalisation conservatrice (8/10 cas) mais changent sous des tests de stress « pire cas » (inversion de $x$ et $y$ ), confirmant que l'invariant est sensible à la logique structurelle spécifique du récit.
Typologie des Contraintes : L'analyse du registre $y$ révèle des « signatures de types de contraintes » distinctes selon les corpus (ex. les Super-héros/Franchises penchent vers des contraintes légales/institutionnelles ; les Mythes religieux vers des contraintes divines/cosmiques).

Signification et Revendications
L'article affirme fournir un pont testable entre l'anthropologie structurale et l'analyse culturelle. Ses principales contributions sont :

Formalisation : Il rend la transformation canonique de Lévi-Strauss en une condition de cohérence testable (transformation naturelle) plutôt qu'en un modèle lâche.
Opérationnalisation : Il déplace la comparaison de la « ressemblance » vers le « transport légal », rendant les affirmations structurelles explicites, transportables et réfutables.
Pouvoir Diagnostique : Les échecs du modèle ne sont pas des défauts mais des diagnostics qui localisent précisément l'endroit où une analyse s'est effondrée (ex. confondre un médiateur avec une contrainte).
Interprétabilité : Le cadre maintient l'interprétabilité pour la lecture attentive (via le schéma $a, b, x, y$ et les Clés) tout en permettant le calcul au niveau du corpus.

Les auteurs déclarent explicitement qu'il s'agit d'un ensemble de démonstration pour l'opérationnalisation, et non d'une affirmation sur la prévalence narrative globale. Le cadre est conçu pour rendre les revendications de transformation explicites et contestables, séparant ce qui est encodé, ce qui est inféré et ce qui est testé. Le travail futur est identifié comme l'extension de l'encodage des résumés ponctuels vers des graphes de niveau épisodique et la publication d'un package de réplication.

1. La machine à deux registres (Le « Social » vs Les « Règles »)

2. Le test de « Transformation » (Le tour de magie)

3. La « Clé » (L'empreinte digitale de l'histoire)

4. L'expérience : 80 histoires

L'essentiel

Articles similaires