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

Dieser Artikel formalisiert Cornelius Castoriadis' Begriff des Magmas als Klasse von nichtleeren offenen Teilmengen einer mit einer Präordnung versehenen Atommengen, die eine hierarchische Struktur bilden, in der Elemente voneinander abhängen und sich von klassischen Cantor-Mengen unterscheiden.

Das Wesentliche

Hier ist eine einfache, bildhafte Erklärung des wissenschaftlichen Artikels von Athanassios Tzouvaras über Cornelius Castoriadis' Idee des „Magmas".

Das Grundproblem: Warum unsere üblichen Mengen nicht ausreichen

Stell dir vor, du hast eine Schublade voller einzelner, klarer Objekte: einen roten Stift, einen blauen Würfel, einen goldenen Schlüssel. In der klassischen Mathematik (der sogenannten „Cantorianen Mengenlehre") sind diese Dinge völlig unabhängig voneinander. Du kannst den Stift herausnehmen, ohne dass der Würfel verschwindet. Jedes Ding ist für sich genommen definiert und isoliert.

Der Philosoph Cornelius Castoriadis sagte jedoch: „Das ist nicht die ganze Wahrheit!" Er dachte an Dinge wie Bedeutungen in einer Sprache oder unsere Erinnerungen.

• Das Beispiel der Sprache: Wenn du das Wort „Liebe" denkst, kannst du es nicht isoliert betrachten. Es ruft automatisch „Herz", „Schmerz", „Freude" oder „Familie" in deinem Kopf hervor. Du kannst das Wort „Liebe" nicht aus deiner Gedankenwelt herausschneiden, ohne dass der ganze Zusammenhang mitgerissen wird. Die Elemente hängen voneinander ab.
• Das Beispiel der Erinnerung: Deine Erinnerung an einen bestimmten Urlaub ist untrennbar mit dem Geruch des Meeres, dem Gefühl der Sonne und dem Lachen deiner Freunde verbunden. Du kannst die Erinnerung nicht als isoliertes „Atom" betrachten.

Castoriadis nannte solche vernetzten, abhängigen Sammlungen Magmen (von dem griechischen Wort für „Teig" oder „Mischung"). Er meinte, dass unsere traditionelle Logik, die alles in isolierte Kisten packt, diese Art von Realität nicht erfassen kann.

Die Herausforderung: Wie misst man „Teig"?

Das Problem ist: Die Mathematik liebt klare Grenzen. Wie kann man etwas formalisieren, das fließend, vernetzt und nicht isolierbar ist? Der Autor dieses Artikels, Athanassias Tzouvaras, versucht genau das: Er baut eine mathematische Struktur, die diese „abhängigen Elemente" abbildet, ohne die Regeln der Mathematik komplett aufzugeben.

Die Lösung: Ein mathematisches Netz aus Abhängigkeiten

Stell dir vor, du hast eine riesige Gruppe von Atomen (kleine Bausteine, die noch keine Mengen sind). Normalerweise sind diese Bausteine einfach da. Tzouvaras gibt ihnen nun eine Regel der Abhängigkeit.

Er führt eine Beziehung ein, die wir uns wie einen Pfeil vorstellen können:

• Wenn ein Pfeil von A nach B zeigt, bedeutet das: „A hängt von B ab" oder „Wenn B da ist, muss auch A da sein."
• Wenn du also B in deine Sammlung nimmst, darfst du A nicht vergessen, sonst bricht das System zusammen.

Die Magmen-Regel: Der offene Raum

In diesem neuen System ist eine „Menge" (ein Magma) keine willkürliche Auswahl von Steinen. Eine gültige Sammlung muss nach unten offen sein.

• Die Analogie: Stell dir einen Wasserfall vor. Wenn du einen Stein (ein Element) in den Wasserfall legst, fließt das Wasser (die Abhängigkeiten) automatisch mit nach unten. Du kannst nicht nur den Stein oben halten, ohne das Wasser darunter zu haben.
• Eine „Menge" in diesem System ist also eine Gruppe von Elementen, die alle ihre Abhängigkeiten mit einschließt. Wenn du ein Element hast, musst du auch alle Elemente haben, von denen es abhängt.

Der Turm der Magmen (Die Hierarchie)

Der Autor baut nun einen riesigen Turm aus diesen Mengen:

1. Ebene 1 (Der Boden): Hier sind die rohen Atome (z. B. Wörter, Erinnerungen). Wir bilden alle möglichen Gruppen, die die Abhängigkeitsregeln einhalten. Das sind die ersten Magmen.
2. Ebene 2 (Der erste Stock): Jetzt nehmen wir diese Magmen und behandeln sie wie neue Bausteine. Wir fragen: „Welche Gruppen von Magmen hängen voneinander ab?" Wir bilden neue, größere Magmen aus den alten.
3. Ebene 3, 4, 5...: Dieser Prozess geht unendlich weiter. Jede Ebene baut auf der vorherigen auf, aber immer mit der Regel: Kein Element darf isoliert sein.

Ein wichtiges Ergebnis ist: In diesem System gibt es keine „kleinsten" Mengen. Du kannst immer weiter in die Abhängigkeiten eintauchen. Es gibt keinen Punkt, an dem du sagst: „Hier ist das Ende, hier ist ein isoliertes Ding." Alles ist verbunden.

Was passiert mit den alten Regeln?

In der normalen Mathematik gelten bestimmte Gesetze, die hier anders funktionieren:

• Die leere Menge: Es gibt keine leere Menge. Ein Magma muss immer etwas enthalten, sonst ist es kein Magma.
• Einzelne Elemente: Eine Menge mit nur einem Element (z. B. {Liebe}) ist in diesem System fast unmöglich, weil „Liebe" immer andere Wörter mit sich bringt. Du kannst das eine Element nicht isoliert betrachten.
• Machtmenge (Powerset): Wenn du eine Magmen-Sammlung hast, ist die Sammlung aller ihrer Teilmengen auch wieder eine Magmen-Sammlung (nur eine Ebene höher im Turm). Das funktioniert erstaunlich gut.

Warum ist das wichtig?

Der Autor zeigt, dass man mit dieser neuen Struktur drei der fünf ursprünglichen Regeln von Castoriadis beweisen kann:

1. Es gibt immer Untermengen: Jede Magmen-Sammlung enthält andere Magmen-Sammlungen (man kann den Teig immer weiter teilen).
2. Man kann sie nicht trennen: Man kann eine Magmen-Sammlung nicht in zwei völlig getrennte Hälften zerlegen, ohne die Verbindung zu zerstören. (Wie man einen Traum nicht in zwei unabhängige Teile schneiden kann).
3. Die Welt besteht aus Magmen oder Atomen: Alles, was keine Magmen-Sammlung ist, ist entweder ein einzelnes Atom (ein roher Baustein) oder eine ganz normale, isolierte Menge (wie in der alten Mathematik).

Fazit: Eine neue Art zu denken

Dieser Artikel ist wie ein Versuch, einen Garten anzulegen, in dem die Pflanzen Wurzeln haben, die sich untrennbar verflechten. In der normalen Mathematik sind die Pflanzen in Töpfen, die man einzeln verschieben kann. In Castoriadis' Magmen-Welt sind die Pflanzen ein einziges, wachsendes Gewebe.

Der Autor sagt am Ende ehrlich: „Ich habe das mit den alten Werkzeugen der klassischen Logik gebaut, obwohl Castoriadis diese Werkzeuge eigentlich ablehnte." Aber er hofft, dass dieser mathematische Versuch zeigt, dass es möglich ist, abhängige Dinge (wie Gedanken, Bedeutungen, soziale Beziehungen) in ein strenges mathematisches System zu integrieren, ohne sie zu zerstören.

Es ist ein Versuch, die Mathematik „menschlicher" zu machen, indem sie zulässt, dass Dinge nicht isoliert existieren, sondern immer im Kontext ihrer Beziehungen zueinander.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des Papers „Sets with dependent elements: A formalization of Castoriadis' notion of magma" von Athanassios Tzouvaras auf Deutsch.

1. Problemstellung und Motivation

Das Papier adressiert die formale Erfassung des Begriffs „Magma", wie er vom griechischen Philosophen und Sozialtheoretiker Cornelius Castoriadis eingeführt wurde. Castoriadis kritisierte die klassische Mengenlehre (Cantorsche Mengenlehre), da diese von der Annahme ausgehe, dass Elemente einer Menge ontologisch unabhängig, eindeutig bestimmt und voneinander trennbar seien.

Castoriadis' Beispiele für „Magmen" (z. B. die Gesamtheit der Bedeutungen einer natürlichen Sprache oder die Gesamtheit der Erinnerungen eines Individuums) zeichnen sich durch Abhängigkeit aus: Ein Element kann nicht isoliert existieren, ohne dass andere, damit verbundene Elemente ebenfalls auftreten. Die klassischen Axiome der Mengenlehre (insbesondere das Trennungsaxiom) scheitern an solchen Strukturen, da sie eine vollständige Separierbarkeit der Elemente voraussetzen.

Das Ziel des Autors ist es, eine mathematische Formalisierung dieser „abhängigen Mengen" zu entwickeln, die innerhalb eines erweiterten ZF-Rahmens (ZFA) operiert, ohne jedoch Castoriadis' ursprüngliche, teils widersprüchlichen Prinzipien (M1–M5) vollständig zu übernehmen. Stattdessen werden die Prinzipien M2, M3 und M5 modifiziert (zu M2*, M3*, M5*), um eine konsistente formale Theorie zu ermöglichen.

2. Methodik und Formaler Rahmen

Der Autor arbeitet in einer leicht verstärkten Version der ZFA (Zermelo-Fraenkel-Set-Theorie mit Atomen/Urelementen), bezeichnet als ZFAD.

Grundlegende Konstruktion:

1. Atome und Präordnung: Es wird eine unendliche Menge $A$ von Atomen (Urelementen) angenommen, die mit einer primitiven Präordnungsrelation $\preccurlyeq$ ausgestattet ist.

   • $a \preccurlyeq b$ bedeutet: „$a$ hängt von $b$ ab" oder „$b$ impliziert $a$".
   • Die Relation ist reflexiv und transitiv.
   • Wichtige Bedingung (Axiom D3): Es gibt keine minimalen Elemente in $A$ bezüglich $\preccurlyeq$. Das heißt, für jedes $a \in A$ existiert ein $b$, sodass $b \prec a$ (d.h. $b \preccurlyeq a$ und nicht $a \preccurlyeq b$). Dies garantiert, dass keine endlichen, isolierten „Basis"-Elemente existieren, die nicht weiter auf andere verweisen.

2. Definition von Magmen (Ebene 1):
   Magmen werden als nicht-leere, nach unten offene Teilmengen von $A$ bezüglich der durch $\preccurlyeq$ induzierten unteren Topologie definiert.

   • Eine Menge $x \subseteq A$ ist offen, wenn für jedes $a \in x$ gilt: $\{b \in A \mid b \preccurlyeq a\} \subseteq x$.
   • Die Klasse der ersten Ebene Magmen ist $M_1(A) = LO(A, \preccurlyeq)$.
   • Aufgrund von Axiom D3 sind alle Elemente in $M_1(A)$ unendlich und es gibt keine $\subseteq$-minimalen Mengen.

3. Die magmatische Hierarchie (Verschiebung der Ordnung):
   Um höhere Ebenen zu konstruieren, wird die Präordnung $\preccurlyeq$ auf die Potenzmenge $P(A)$ „verschoben" (Exponential-Shifting).

   • Für $x, y \subseteq A$ wird definiert: $x \preccurlyeq^+ y \iff \forall a \in x, \exists b \in y : a \preccurlyeq b$.
   • Ein zentrales Ergebnis (Proposition 3.2) ist, dass die Einschränkung von $\preccurlyeq^+$ auf die Klasse $LO(A, \preccurlyeq)$ genau die Inklusionsrelation $\subseteq$ ist.
   • Dies ermöglicht eine rekursive Definition der Hierarchie $M_\alpha(A)$ für alle Ordinalzahlen $\alpha \ge 1$:
     • $M_1(A) = LO(A, \preccurlyeq)$
     • $M_{\alpha+1}(A) = LO(M_\alpha(A), \subseteq)$
     • $M_\lambda(A) = \bigcup_{\beta < \lambda} M_\beta(A)$ für Limit-Ordinalzahlen $\lambda$.

4. Das magmatische Universum:
   Das magmatische Universum ist die Klasse $M(A) = \bigcup_{\alpha \ge 1} M_\alpha(A)$.

3. Wichtige Beiträge und Ergebnisse

Strukturelle Eigenschaften:

• Unendlichkeit und Nicht-Minimalität: Jedes Element in $M(A)$ ist eine unendliche Menge. Es gibt keine $\subseteq$-minimalen Mengen in $M(A)$. Dies spiegelt Castoriadis' Idee wider, dass Magmen nicht in atomare, trennbare Teile zerlegt werden können.
• Schichtung: Die Ebenen $M_n$ (für endliche $n$) sind paarweise disjunkt ($M_n \cap M_m = \emptyset$ für $n \neq m$).
• Beziehung zur ZFA: $M(A)$ ist eine echte Teilklasse des Universums $V(A)$ der ZFA. Es enthält keine reinen Mengen (Mengen ohne Atome), da der Boden $M_1$ nur Atome enthält.
• Axiomatische Gültigkeit: Im Struktur $\langle M(A) \cup A, \in \rangle$ gelten:
  • Das Potenzmengen-Axiom (Pow): Für jedes Magmen $x$ ist die Menge aller seiner Teilmagmen (die in $M$ liegen) wieder ein Magmen der nächsten Ebene.
  • Das Vereinigungs-Axiom (Un) gilt nur eingeschränkt: Die Vereinigung einer Menge von Magmen liegt genau dann wieder in $M$, wenn die Menge entweder nur aus Magmen der ersten Ebene besteht oder keine Elemente der ersten Ebene enthält. Andernfalls führt die Vereinigung zu Atomen, die nicht in $M$ liegen.
  • Axiome wie Extensionalität und Fundierung gelten, während das Axiom der leeren Menge, des Paares und der Unendlichkeit (im klassischen Sinne) scheitern.

Validierung von Castoriadis' Prinzipien:
Der Autor zeigt, dass die modifizierten Prinzipien in $M(A)$ erfüllt sind:

• M2 (Existenz von Submagmen):* Zu jedem Magmen $x$ existiert ein echtes Teil-Magmen $y \subsetneq x$. Dies folgt aus dem Fehlen minimaler Mengen.
• M3 (Unzerlegbarkeit):* Basale Magmen (die offenen Mengen $pr(a)$) lassen sich nicht in endlich viele disjunkte Teil-Magmen zerlegen.
• M5 (Komplementarität):* Alles, was kein Magmen ist, ist entweder eine klassische Menge oder ein Atom.

4. Signifikanz und Ausblick

Theoretische Bedeutung:
Das Paper bietet einen rigorosen mathematischen Rahmen für ein Konzept, das traditionell als philosophisch und vage galt. Es demonstriert, dass man „abhängige Mengen" konsistent innerhalb einer Erweiterung der klassischen Mengenlehre modellieren kann, ohne die Logik vollständig aufzugeben. Die Konstruktion zeigt, wie eine Präordnung auf Atomen eine Topologie erzeugt, die sich durch die Hierarchie der Potenzmengen fortsetzt, wobei die Inklusion die neue Abhängigkeitsrelation wird.

Kritische Reflexion:
Der Autor räumt ein, dass Castoriadis selbst die Anwendung der klassischen Mengenlehre („identitär-ensamblistische Logik") auf Magmen wahrscheinlich abgelehnt hätte. Die vorliegende Arbeit ist daher kein Versuch, Castoriadis' Gedanken „authentisch" zu übersetzen, sondern ein technisches Experiment, um die logischen Konsequenzen von Abhängigkeitsrelationen zu explorieren.

Zukünftige Forschungsrichtungen:
Der Autor schlägt zwei Wege vor:

1. Magmatische Analoga: Konstruktion von magmatischen Entsprechungen für Standardobjekte wie geordnete Paare, Funktionen oder natürliche Zahlen. Dies würde bedeuten, mathematische Intuition in einer Welt zu entwickeln, in der Objekte nicht isoliert, sondern in dichten Abhängigkeitsnetzen existieren.
2. Syntaktische Axiomatisierung: Entwicklung einer eigenen axiomatischen Theorie für Magmen, die auf einer primitiven Abhängigkeitsrelation $D(x,y)$ basiert, möglicherweise inspiriert von Arbeiten von H. Skala, die das Paarungsaxiom ausschließen, um Abhängigkeiten zuzulassen.

Zusammenfassend stellt das Paper einen bedeutenden Schritt dar, um die philosophische Intuition von Castoriadis in die mathematische Logik zu integrieren, indem es zeigt, dass Abhängigkeit formalisierbar ist, auch wenn dies den Verlust klassischer Mengenaxiome (wie der Existenz endlicher, isolierter Mengen) erfordert.