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

Este artículo presenta una formalización de la noción castoriadiana de "magma" como colecciones de elementos dependientes, representándolas mediante subconjuntos abiertos no vacíos en un marco de teoría de conjuntos ZFA fortalecida y construyendo una jerarquía magmática que se sitúa dentro del universo de ZFA.

Lo esencial

Imagina que el mundo que conocemos está hecho de bloques de construcción independientes. Si tienes una caja con 100 bloques rojos, puedes sacar uno, dejarlo solo en la mesa y seguir teniendo 99 bloques en la caja. Nada cambia en los demás bloques; son independientes. Esta es la visión tradicional de las matemáticas (la teoría de conjuntos de Cantor): todo es un objeto separado, definido y aislado.

Pero el filósofo Cornelius Castoriadis pensaba: "¿Y si el mundo no fuera así? ¿Y si las cosas estuvieran tan conectadas que no pudieras tener una sin que las otras aparecieran también?". Él llamó a estas colecciones especiales "magma".

Este artículo es un intento de un matemático, Athanassios Tzouvaras, de darle una estructura matemática rigurosa a esa idea de Castoriadis, usando un lenguaje que Castoriadis mismo criticaba (la lógica clásica), pero que es la única herramienta que tenemos por ahora.

Aquí te explico la idea central con analogías sencillas:

1. El problema de los "Bloques Independientes" vs. el "Magma"

• El mundo normal (Conjuntos): Imagina una lista de compras. Si quitas "leche", la lista sigue existiendo con "pan" y "huevos". Los elementos no dependen unos de otros.
• El mundo del Magma (Castoriadis): Imagina el significado de las palabras en un idioma. Si piensas en la palabra "amor", inmediatamente tu mente evoca "cariño", "pasión", "corazón", "romance". No puedes tener el concepto de "amor" aislado en tu mente sin que aparezcan todos esos otros conceptos asociados. Si intentas separarlos, el significado se desmorona.
  • La regla del magma: En un magma, si tienes un elemento, debes tener también todos los elementos de los que depende. No puedes tener una parte sin el todo conectado.

2. La analogía de la "Red de Dependencia"

Para formalizar esto, el autor usa una idea llamada pre-orden. Imagina una red de relaciones donde una cosa "apunta" a otra.

• Si la idea A depende de la idea B, entonces A "apunta" a B.
• En el magma, si tienes a A, obligatoriamente tienes que tener a B.
• La regla de oro: No puede haber un "principio absoluto" o un elemento que no dependa de nada más. Todo fluye hacia atrás en una cadena infinita de dependencias. No hay "piedras fundamentales" aisladas; todo es una red.

3. El "Universo Mágico" (La construcción matemática)

El autor construye un "universo" matemático especial para estos objetos dependientes. Imagina que construyes este universo por niveles, como pisos de un edificio:

• El Sótano (Nivel 1): Tienes una base de "átomos" (ideas básicas, palabras, recuerdos). Pero no son bloques sueltos; están conectados por la red de dependencias. Los "magma" de este nivel son grupos de ideas que siempre viajan juntos. Si tomas una idea, debes tomar todo su grupo de acompañantes.
• Los Pisos Superiores: Ahora, imagina que esos grupos de ideas (que ya son magma) se convierten en los nuevos "átomos" para el siguiente piso.
  • En el piso 2, no tienes palabras sueltas, tienes colecciones de colecciones de palabras.
  • La regla se mantiene: si tienes una colección de ideas, debes tener todas las subcolecciones de las que depende.
• El resultado: Un edificio infinito donde nunca puedes encontrar un "elemento mínimo" que esté solo. Siempre hay algo más profundo debajo, una dependencia infinita.

4. ¿Qué nos dice esto sobre la realidad?

El autor demuestra que en este universo matemático especial:

1. No hay conjuntos de un solo elemento: No puedes tener un magma que sea solo una cosa aislada (como {amor}). Siempre es {amor, pasión, recuerdo...}.
2. No se pueden cortar: No puedes dividir un magma en dos partes separadas sin destruir su naturaleza. Si intentas separar "amor" de "pasión", dejas de tener el magma original.
3. El Poder de la Unión: Si juntas dos magmas, sigues teniendo un magma (la unión de dependencias sigue siendo una dependencia).

En resumen

El autor nos dice: "Castoriadis tenía razón al intuir que nuestra mente y el lenguaje funcionan como un magma, no como una caja de bloques sueltos. Las ideas, los recuerdos y los significados están tan entrelazados que no existen en aislamiento. He creado un mapa matemático para este tipo de realidad, donde las cosas no se pueden separar sin perder su esencia".

Es como si el universo no estuviera hecho de puntos (cosas separadas), sino de nubes (nubes de significado donde todo se mezcla y depende de todo lo demás). Y este artículo es el intento de dibujar esas nubes con precisión matemática.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Sets with dependent elements: A formalization of Castoriadis' notion of magma" de Athanassios Tzouvaras, estructurado según los puntos solicitados.

1. El Problema

El artículo aborda la necesidad de formalizar matemáticamente el concepto de "magma" introducido por el filósofo y sociólogo Cornelius Castoriadis. En la tradición racionalista occidental y en la teoría de conjuntos de Cantor (ZFC/ZFA), los conjuntos se componen de elementos distintos, definidos y ontológicamente independientes. Castoriadis argumenta que esta visión es insuficiente para describir ciertas totalidades humanas y sociales, como el "conjunto de significados de un lenguaje" o la "totalidad de las memorias de una persona".

En estos conjuntos "inusuales" o magmas, los elementos no son independientes; existen en una relación de dependencia mutua. Un elemento no puede ocurrir en el conjunto sin que ocurran también aquellos de los que depende. Por ejemplo, un significado específico en un lenguaje no puede aislarse completamente de otros significados relacionados. Castoriadis propuso cinco principios (M1-M5) para definir los magmas, pero el autor señala que:

• Los principios M1 y M4 son contradictorios entre sí.
• La definición carece de rigor formal.
• El objetivo del artículo es capturar la esencia de la dependencia de los elementos dentro de un marco formal, descartando los principios inconsistentes y reformulando los válidos.

2. Metodología

El autor utiliza una extensión de la teoría de conjuntos con átomos (ZFA - Zermelo-Fraenkel con Átomos) para construir un modelo formal. La metodología se basa en los siguientes pasos técnicos:

• Base de Átomos Dependientes: Se parte de un conjunto infinito de átomos $A$ (urelementos) equipado con una relación de pre-orden primitiva $\preccurlyeq$. Esta relación representa la dependencia: $a \preccurlyeq b$ significa que "$a$ depende de $b$" o que la ocurrencia de $b$ implica la de $a$.
• Condición de No-Minimalidad: Se impone una condición crítica al pre-orden: no debe haber elementos mínimos. Formalmente, para todo $a \in A$, existe un $b$ tal que $b \prec a$ (donde $\prec$ es la parte estricta de $\preccurlyeq$). Esto asegura que ningún elemento dependa de sí mismo exclusivamente o sea un "punto final" aislado, reflejando la naturaleza infinita y abierta de los magmas.
• Topología de Abajo (Lower Topology): Los magmas en el nivel base se definen como los subconjuntos no vacíos de $A$ que son abiertos con respecto a la topología de abajo inducida por $\preccurlyeq$. Un conjunto $x$ es abierto si es cerrado hacia abajo: si $b \in x$ y $a \preccurlyeq b$, entonces $a \in x$.
• Jerarquía Magmática: Se construye una jerarquía transfinita $M_\alpha(A)$:
  • $M_1(A) = LO(A, \preccurlyeq)$ (subconjuntos abiertos no vacíos de $A$).
  • Para sucesores, se "desplaza" (shift) el pre-orden al conjunto de potencias. Se define una relación de "simulación" $\preccurlyeq^+$ en $\mathcal{P}(A)$ tal que $x \preccurlyeq^+ y$ si $\forall a \in x, \exists b \in y (a \preccurlyeq b)$.
  • Un resultado clave es que, restringido a los magmas, esta relación de desplazamiento coincide con la inclusión de conjuntos ($\subseteq$).
  • Así, $M_{\alpha+1}(A) = LO(M_\alpha(A), \subseteq)$.
  • Para ordinales límite, $M_\alpha(A) = \bigcup_{\beta < \alpha} M_\beta(A)$.
• Sistema Formal: El trabajo se realiza en el sistema ZFAD (ZFA extendido con los axiomas de reflexividad, transitividad y no-minimalidad para $\preccurlyeq$).

3. Contribuciones Clave

1. Formalización Rigurosa del Magma: Se transforma una noción filosófica vaga en una estructura matemática precisa dentro de la teoría de conjuntos, utilizando topologías inducidas por pre-órdenes.
2. Resolución de Contradicciones: Se identifican y descartan los principios M1 y M4 de Castoriadis por ser contradictorios, y se reformulan los principios M2, M3 y M5 en versiones compatibles con la teoría formal ($M2^*, M3^*, M5^*$).
3. Construcción de la Jerarquía Magmática: Se demuestra que es posible construir niveles de magmas donde los elementos de un nivel son conjuntos de magmas del nivel inferior, manteniendo la propiedad de dependencia en cada escalón.
4. Análisis de Propiedades Lógicas: Se estudia qué axiomas de ZF se cumplen en el universo magmático $\langle M(A), \in \rangle$.

4. Resultados Principales

• Infinidad y No-Minimalidad: Bajo la condición de no-minimalidad del pre-orden base, todos los conjuntos en la jerarquía magmática $M(A)$ son infinitos y ninguno es $\subseteq$-mínimo. Esto evita la existencia de "conjuntos unitarios" aislados $\{a\}$, que serían contrarios a la noción de dependencia.
• Coincidencia de Estructuras: Se prueba que la relación de desplazamiento $\preccurlyeq^+$ restringida al conjunto de magmas $LO(A, \preccurlyeq)$ es idéntica a la inclusión de conjuntos $\subseteq$. Esto permite definir la jerarquía recursivamente usando solo la inclusión.
• Validación de Principios Reformulados:
  • $M2^*$ (Submagmas): Para todo magma $x$, existe un submagma $y \subsetneq x$. (Verdadero en el modelo).
  • $M3^*$ (Irreductibilidad): Un magma básico no puede particionarse en magmas disjuntos. (Verdadero para magmas básicos).
  • $M5^*$ (Exhaustividad): Lo que no es un magma es un conjunto clásico o un átomo. (Verdadero, ya que $M(A)$ es una subclase de $V(A)$).
• Axiomas de ZF en el Universo Magmático:
  • Potencia (Pow): Se cumple. El conjunto de submagmas de un magma es también un magma (de un nivel superior).
  • Unión (Un): Se cumple de forma restringida. La unión de un conjunto de magmas pertenece al universo si y solo si el conjunto de magmas no "toca" el nivel base de átomos de manera que genere un conjunto de átomos (que no es un magma).
  • Fracaso de otros axiomas: El axioma del conjunto vacío falla (no hay conjuntos finitos ni vacíos en $M$), el de pares falla (todos los conjuntos son infinitos), y el de infinito falla (el $\omega$ estándar no reside en $M$).
• Estructura de Niveles: Se demuestra que los niveles sucesores $M_{\alpha+n}$ no son acumulativos en el sentido de contener todos los elementos de niveles inferiores; hay una separación estricta entre niveles finitos ($M_n \cap M_m = \emptyset$ para $n \neq m$).

5. Significado e Implicaciones

El artículo tiene un doble significado:

1. Filosófico-Matemático: Ofrece un puente entre la filosofía de Castoriadis y la lógica matemática. Demuestra que es posible modelar la "dependencia ontológica" y la "indeterminación" de los elementos dentro de un marco formal, desafiando la suposición clásica de que todos los objetos en la teoría de conjuntos son independientes.
2. Limitaciones y Futuro: El autor es honesto sobre las limitaciones. Reconoce que Castoriadis probablemente rechazaría esta formalización porque utiliza la misma "lógica identitaria-ensemblista" que criticaba. Sin embargo, el trabajo sirve como una herramienta heurística para explorar cómo se vería una matemática basada en entidades dependientes.
3. Direcciones Futuras: El autor sugiere dos vías de investigación:
   • Construir "análogos magmáticos" de objetos estándar (pares ordenados, funciones, números naturales) para ver cómo cambiaría la intuición matemática en un mundo de entidades "gruesas" y dependientes.
   • Un enfoque sintáctico para axiomatizar directamente las propiedades de los magmas sin depender de ZFA, posiblemente inspirándose en trabajos previos sobre conjuntos con elementos dependientes (como los de H. Skala).

En resumen, Tzouvaras logra formalizar la noción de magma como una clase de conjuntos abiertos en una topología de dependencia, demostrando que esta estructura satisface una versión modificada de los principios de Castoriadis, aunque a costa de sacrificar propiedades fundamentales de la teoría de conjuntos estándar (como la finitud y la existencia de conjuntos unitarios).