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

Each language version is independently generated for its own context, not a direct translation.

Voici une explication de ce papier académique, traduite en langage simple et imagé, comme si nous discutions autour d'un café.

Le Titre : Quand les choses ne sont pas isolées

Imaginez le monde tel que les mathématiques classiques (la théorie des ensembles de Cantor) nous le décrivent. C'est un monde de briques de Lego parfaitement séparées. Chaque brique est distincte, définie et indépendante. Si vous avez une brique rouge, elle reste une brique rouge même si vous la mettez dans une boîte avec une brique bleue. Elle ne change pas, elle ne dépend pas de la bleue. C'est ce qu'on appelle un "ensemble" (ou set).

Mais l'auteur de ce papier, Athanassios Tzouvaras, s'intéresse à un philosophe nommé Cornelius Castoriadis. Castoriadis disait : "Attendez, le monde réel n'est pas comme ça !"

Prenons deux exemples :

Le sens des mots : Si vous pensez au mot "liberté", votre esprit ne s'arrête pas là. Il pense immédiatement à "esclavage", à "choix", à "politique", à "oiseau qui s'envole". Vous ne pouvez pas isoler le mot "liberté" de tout le reste de son réseau de sens.
Vos souvenirs : Votre souvenir d'un anniversaire d'enfance n'existe pas seul. Il est lié à l'odeur du gâteau, à la voix de votre mère, à la lumière de la pièce. Si vous essayez de couper ce souvenir du reste, il perd son sens.

Castoriadis appelle ces collections de choses liées entre elles des "Magmas". Dans un magma, les éléments sont collés les uns aux autres. On ne peut pas en enlever un sans emporter les autres avec lui.

Le Problème : Comment mathématiser le "collage" ?

Les mathématiciens classiques ont du mal avec ça. Leurs règles disent : "Si tu as un ensemble, tu peux enlever un élément et il reste un ensemble". Mais avec un magma, si vous enlevez un élément, tout s'effondre ou change de nature.

L'auteur du papier se demande : "Peut-on créer une nouvelle sorte de mathématiques pour décrire ces magmas, sans abandonner totalement les règles de la logique classique ?"

La Solution : Une forteresse de dépendances

Voici comment l'auteur construit son modèle, étape par étape, avec des métaphores :

1. Les Atomes et la "Toile d'Araignée"

Imaginez un tas de billes (les atomes). Dans la théorie classique, elles sont juste posées là. Ici, l'auteur ajoute une règle invisible : la dépendance.
Il imagine une "toile d'araignée" ou un réseau de fils invisibles reliant les billes.

Si la bille A est liée à la bille B, alors A "dépend" de B.
Si vous prenez B, vous devez aussi prendre A.
Il n'y a pas de bille "libre" qui ne dépend de personne (c'est une règle importante du modèle).

2. Les Magmas : Des "Nuages" ouverts

Dans ce nouveau monde, un "magma" n'est pas une boîte fermée avec des objets dedans. C'est plutôt comme un nuage ou une tache d'encre.

Si vous avez une partie du nuage, vous devez avoir tout ce qui est "en dessous" dans la toile d'araignée.
Vous ne pouvez pas avoir un petit morceau isolé. Si vous prenez un morceau, vous devez prendre tout ce qui y est connecté.
Ces nuages sont toujours infinis (ou potentiellement infinis), car la toile d'araignée ne s'arrête jamais.

3. L'Échelle des Magmas (La Pyramide)

L'auteur construit une pyramide géante :

Niveau 1 : Les nuages faits directement avec les billes de base.
Niveau 2 : On prend les nuages du Niveau 1 et on les traite comme de nouvelles "billes". On crée de nouveaux nuages à partir d'eux.
Niveau 3, 4, etc. : On continue indéfiniment.

C'est comme si vous preniez une carte de la France (un magma), puis que vous faisiez une carte de toutes les régions de cette carte, puis une carte de toutes les sous-régions, et ainsi de suite. Chaque niveau est plus complexe, mais respecte toujours la règle : rien n'est isolé.

Ce que cela nous apprend (Les résultats)

L'auteur montre que cette construction fonctionne mathématiquement et respecte trois grandes idées de Castoriadis :

On peut toujours trouver un sous-magma : Dans un magma, il y a toujours un "plus petit" magma à l'intérieur (comme une petite tache dans une grande tache d'encre).
On ne peut pas tout découper : Vous ne pouvez pas couper un magma en deux morceaux parfaitement séparés. Ils restent toujours liés. C'est comme essayer de couper un filet de pêche en deux sans casser les nœuds : ça ne marche pas proprement.
Le monde est mixte : Ce monde contient à la fois des "choses normales" (les atomes, les ensembles classiques) et ces "choses magmatiques" (les collections dépendantes).

Pourquoi c'est important ?

Ce papier est un pont entre la philosophie et les mathématiques pures.

Pour les philosophes : Il donne un langage rigoureux pour parler de choses floues comme les idées, les cultures ou les souvenirs, qui ne sont pas des objets solides.
Pour les mathématiciens : Il montre qu'on peut étendre les règles du jeu pour inclure des objets qui "collent" ensemble, sans tout casser.

En résumé

Imaginez que vous essayez de décrire une forêt.

La théorie classique dit : "La forêt est juste une liste d'arbres individuels. Si vous enlevez un arbre, la liste change, mais les autres arbres restent identiques."
La théorie des Magmas dit : "Non ! Un arbre ne peut pas exister sans le sol, sans les champignons autour de ses racines, sans l'ombre des autres arbres. Si vous enlevez un arbre, tout le sol autour change. La forêt est un seul grand organisme où tout dépend de tout."

L'auteur a réussi à construire les plans mathématiques de cette "forêt vivante" où rien n'est jamais vraiment seul. C'est une tentative audacieuse pour dire que même dans un monde régi par des règles strictes, l'interdépendance a sa place.

Each language version is independently generated for its own context, not a direct translation.

Voici un résumé technique détaillé de l'article « Sets with dependent elements: A formalization of Castoriadis' notion of magma » d'Athanassios Tzouvaras, rédigé en français.

1. Problématique et Contexte

L'article aborde la formalisation mathématique de la notion de « magma » telle que définie par le penseur Cornelius Castoriadis. Castoriadis critique la tradition rationnelle occidentale et la théorie des ensembles de Cantor (la « logique identitaire-ensembliste »), qui postulent que tout ensemble est composé d'éléments distincts, définis et ontologiquement indépendants les uns des autres.

Selon Castoriadis, certaines collections réelles (comme le « totalité des significations » d'une langue ou la « totalité des souvenirs » d'un individu) ne peuvent être modélisées par des ensembles classiques car leurs éléments sont dépendants les uns des autres. Un élément ne peut exister dans la collection sans entraîner l'existence d'autres éléments liés. Castoriadis propose cinq principes (M1 à M5) pour définir ces magmas, mais l'auteur note que ces principes contiennent des contradictions internes (notamment entre M1 et M4) et sont trop vagues pour une formalisation directe.

Le problème central est donc de construire un modèle mathématique rigoureux qui capture l'essence de cette dépendance ontologique entre les éléments d'une collection, tout en respectant les principes modifiés de Castoriadis (M2*, M3*, M5*), sans pour autant abandonner le cadre de la théorie des ensembles standard.

2. Méthodologie

L'auteur adopte une approche axiomatique en étendant la théorie des ensembles avec atomes (ZFA). La méthodologie repose sur les étapes suivantes :

Introduction d'une relation de dépendance primitive :
L'auteur part d'un ensemble infini d'atomes $A$ (urelements) muni d'une relation de pré-ordre primitive $\preccurlyeq$ . Cette relation représente la dépendance : $a \preccurlyeq b$ signifie que $a$ dépend de $b$ (ou que $b$ « rappelle » $a$ ).
- Axiome clé (D3) : La relation $\preccurlyeq$ ne possède aucun élément minimal. Pour tout $a \in A$ , il existe un $b$ tel que $b \prec a$ (dépendance stricte). Cela garantit qu'aucun élément ne peut exister isolément.
Définition des magmas de base (Niveau 1) :
Les magmas de premier niveau sont définis comme les sous-ensembles non vides et ouverts de $A$ par rapport à la topologie inférieure (lower topology) induite par $\preccurlyeq$ .
- Un sous-ensemble $x \subseteq A$ est un magma si pour tout $a \in x$ , l'ensemble des prédécesseurs $pr(a) = \{b \in A \mid b \preccurlyeq a\}$ est inclus dans $x$ .
- L'absence d'éléments minimaux dans $\preccurlyeq$ assure que tous ces ensembles sont infinis et qu'il n'existe pas de magma minimal (un magma ne peut être réduit à un singleton ou à un ensemble fini minimal).
Construction hiérarchique (Décalage exponentiel) :
Pour construire des magmas de niveaux supérieurs, l'auteur utilise une opération de « décalage » (shifting) de la relation de pré-ordre vers les ensembles de parties.
- La relation $\preccurlyeq^+$ sur $\mathcal{P}(A)$ est définie par : $x \preccurlyeq^+ y \iff \forall a \in x, \exists b \in y, a \preccurlyeq b$ .
- Une propriété cruciale (Proposition 3.2) est que la restriction de $\preccurlyeq^+$ à l'ensemble des magmas de base $LO(A, \preccurlyeq)$ coïncide avec la relation d'inclusion $\subseteq$ .
- Cela permet de définir une hiérarchie transfinie $M_\alpha(A)$ $M_{α} (A)$ :
  - $M_1(A) = LO(A, \preccurlyeq)$ .
  - $M_{\alpha+1}(A) = LO(M_\alpha(A), \subseteq)$ .
  - Pour les ordinaux limites, $M_\alpha(A)$ est l'union des niveaux précédents.
L'Univers Magmatique :
L'ensemble $M(A) = \bigcup_{\alpha \ge 1} M_\alpha(A)$ constitue l'univers magmatique au-dessus de $A$ .

3. Contributions Clés et Résultats Techniques

L'article établit plusieurs résultats fondamentaux concernant la structure de $M(A)$ :

Infini et Non-minimalité : En raison de l'axiome D3 (pas d'éléments minimaux), tous les ensembles appartenant à $M(A)$ sont infinis. De plus, il n'existe aucun ensemble $\subseteq$ -minimal dans $M(A)$ . Cela reflète l'idée castoridienne qu'un magma ne peut être « découpé » en éléments atomiques indépendants.
Structure Hiérarchique : Les niveaux $M_\alpha$ sont disjoints pour les ordinaux finis ( $M_n \cap M_m = \emptyset$ si $n \neq m$ ). Pour les ordinaux limites, la structure est cumulative, mais les niveaux successeurs ne le sont pas totalement (ils excluent certains éléments des niveaux inférieurs).
Validation des Principes de Castoriadis :
L'auteur démontre que l'ensemble $M(A)$ $M (A)$ satisfait les principes reformulés de Castoriadis :
- M2 (Existence de sous-magmas) :* Pour tout magma $x$ , il existe un sous-magma $y \subsetneq x$ . Cela découle de l'absence d'ensembles minimaux.
- M3 (Impossibilité de partition) :* Un magma « de base » (un ensemble ouvert fondamental) ne peut pas être partitionné en deux sous-magmas disjoints non vides. Cela modélise l'indivisibilité des significations ou des souvenirs.
- M5 (Exhaustivité) :* Tout objet qui n'est pas un magma est soit un ensemble classique, soit un atome.
Propriétés Axiomatiques :
- L'axiome de l'ensemble des parties (Power Set) est valide dans $M(A)$ : l'ensemble des sous-magmas d'un magma est lui-même un magma (au niveau supérieur).
- L'axiome de l'union (Union) est valide sous certaines conditions restrictives (il échoue si l'union fait « tomber » dans le niveau des atomes).
- Les axiomes de l'ensemble vide, de l'infini (au sens de $\omega$ ) et de la paire échouent, ce qui est cohérent avec la nature des magmas (pas d'ensembles finis, pas d'atome vide).

4. Signification et Implications

Formalisation d'une intuition philosophique : L'article réussit à traduire une notion philosophique complexe et floue (le magma) en un objet mathématique rigoureux au sein de la théorie des ensembles. Il montre que la théorie des ensembles standard, légèrement étendue par une relation de dépendance primitive, peut accommoder des structures d'objets interdépendants.
Défi à l'indépendance des éléments : Le modèle remet en cause l'hypothèse fondamentale de la théorie des ensembles classique selon laquelle les éléments d'un ensemble sont ontologiquement indépendants. Il propose un cadre où l'existence d'un élément est intrinsèquement liée à celle d'autres éléments.
Limites et Perspectives : L'auteur reconnaît que Castoriadis aurait probablement rejeté cette formalisation car elle utilise la « logique identitaire-ensembliste » qu'il critiquait. Cependant, l'auteur soutient que c'est l'outil le plus sûr disponible pour explorer ces concepts.
Travaux futurs : L'article suggère deux pistes :
1. Construire des « analogues magmatiques » des objets mathématiques standards (nombres, fonctions, paires ordonnées) pour voir comment les mathématiques évolueraient dans un monde d'entités dépendantes.
2. Explorer une approche syntaxique pure (axiomatisation) de la dépendance, en s'inspirant de travaux antérieurs comme ceux de H. Skala sur les ensembles avec dépendance.

En conclusion, ce papier offre une contribution significative à la logique mathématique et à la philosophie des mathématiques en démontrant la possibilité de modéliser formellement des collections d'éléments dépendants, validant ainsi partiellement la vision de Castoriadis tout en restant ancré dans le formalisme mathématique.