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

Este artigo apresenta uma formalização da noção de "magma" de Cornelius Castoriadis, caracterizada pela dependência entre elementos, dentro da teoria ZFA, definindo uma hierarquia de conjuntos não vazios abertos que constitui um "universo magmático" distinto do universo de conjuntos canônico.

O essencial

O Universo das Coisas Conectadas: Uma Explicação sobre "Magmas"

Imagine que você está tentando organizar sua vida mental. Você tem memórias, ideias, palavras e sentimentos. Na matemática tradicional (a que usamos para contar maçãs ou calcular a órbita de planetas), tudo é como uma caixa de Lego. Cada peça é independente. Você pode pegar uma peça vermelha, colocá-la numa caixa, e depois tirá-la sem que o resto da caixa mude. As peças não "sabem" que estão juntas; elas são apenas "lá".

O filósofo Cornelius Castoriadis dizia: "Espera aí! Isso não funciona para a mente humana".

Ele propôs que nossas memórias e significados não são peças de Lego soltas. Eles são como um teia de aranha ou uma sopa densa. Se você tentar puxar um fio (uma memória específica), você puxa todo o resto que está conectado a ele. Você não consegue isolar uma memória de "sua infância" sem trazer à tona o cheiro da casa da avó, o som da chuva e a sensação de segurança. Eles dependem uns dos outros.

Castoriadis chamou esse tipo de coleção de "Magma".

O artigo que você leu, escrito pelo matemático Athanassios Tzouvaras, é uma tentativa de criar uma "caixa de ferramentas" matemática para estudar esses Magmas, sem quebrar as regras da lógica moderna, mas adaptando-as.

1. A Ideia Central: Dependência vs. Independência

• O Mundo Normal (Conjuntos Cantorianos): Imagine uma lista de compras. Você pode ter "maçã", "leite" e "pão". Se você tirar o "pão", a lista ainda existe e as outras coisas continuam sendo o que são. Elas são independentes.
• O Mundo do Magma: Imagine o significado da palavra "amor". Você não pode entender "amor" isolado. Ele depende de "carinho", de "perda", de "família", de "paixão". Se você tentar isolar o "amor" de tudo isso, ele perde o sentido. No mundo do Magma, nada existe sozinho. Tudo puxa o resto junto.

2. Como o Matemático Resolveu o Problema?

O autor do artigo usou uma ideia chamada "Relação de Dependência".

Imagine que você tem um grupo de átomos (coisas básicas, como palavras ou memórias). Ele criou uma regra simples:

"Se a coisa A depende da coisa B, então, se B aparecer, A tem que aparecer junto."

Ele chamou isso de pré-ordem. Pense nisso como uma cascata. Se a água começa a cair no topo (B), ela inevitavelmente molha as pedras abaixo (A). Você não pode ter a pedra molhada sem a água ter passado por ela.

A Regra de Ouro do Magma:
O autor impôs uma regra estrita: Não pode haver nada no fundo da cascata.
Não pode existir um significado ou memória que seja "independente" e não dependa de nada. Se houver algo que não dependa de nada, ele não é um Magma, é apenas uma "pedra solta" (um átomo comum). Para ser um Magma, tudo tem que estar conectado em uma corrente infinita.

3. A "Torre de Magmas" (A Hierarquia)

Agora, o autor construiu uma estrutura matemática chamada Universo Mágico. Imagine uma torre de andares:

• Andar 1 (O Chão): São os significados básicos (as palavras, as memórias). Eles são todos infinitos e conectados. Não existe um significado "mínimo" que você possa pegar sozinho.
• Andar 2: Aqui, o autor pega os conjuntos do Andar 1 e os trata como novos blocos de construção. Mas, como as regras do Magma dizem que "tudo depende de algo", ele cria novas regras de dependência para este andar.
• Andar 3, 4, 5...: Ele continua subindo, criando camadas infinitas de complexidade.

O resultado é um universo onde não existem conjuntos vazios (vazio não existe no Magma, pois tudo tem conteúdo) e não existem conjuntos mínimos (você nunca chega ao "fundo" da dependência).

4. O Que Isso Significa na Prática?

O artigo prova que, dentro desse novo universo matemático, três ideias de Castoriadis funcionam perfeitamente:

1. Sub-Magmas: Dentro de qualquer Magma grande, você sempre pode encontrar um Magma menor dentro dele. (Ex: Dentro da sua "mente", existe o "magma das memórias de verão", que é menor, mas ainda é um magma).
2. Impossibilidade de Cortar: Você não consegue cortar um Magma em pedaços independentes. Se você tentar separar "família" de "trabalho" na sua mente, vai perceber que eles estão misturados. Não dá para fazer uma partição perfeita.
3. O Que Não é Magma: Tudo no universo é ou um Magma (coisas conectadas) ou um Átomo (coisa básica solta) ou um Conjunto comum (coisas independentes). Não há "meio-termo".

5. A Conclusão do Autor

O autor, Athanassios Tzouvaras, é honesto. Ele diz: "Eu sei que Castoriadis provavelmente odiaria isso."

Por quê? Porque Castoriadis achava que a lógica matemática tradicional (a lógica de "sim ou não", de "caixas separadas") era justamente o problema. Ele queria uma lógica que fosse mais fluida, mais humana.

O autor admite que ele usou a "velha lógica" para tentar descrever algo que foge dela. É como tentar desenhar um sonho usando apenas régua e esquadro. Não vai ficar perfeito, mas é a melhor ferramenta que temos hoje.

A Lição Final:
Este artigo nos convida a pensar que o nosso mundo mental, cultural e social não é feito de blocos de Lego soltos. É feito de teias. Se você tentar isolar uma ideia, uma cultura ou uma memória, você a destrói, porque ela só existe porque está conectada a tudo o mais. A matemática do "Magma" é uma tentativa de respeitar essa complexidade, mostrando que, às vezes, o todo é maior e mais conectado do que a soma das suas partes.

Resumo técnico

Resumo Técnico: Formalização do Conceito de Magma de Castoriadis

1. O Problema

O artigo aborda a necessidade de formalizar matematicamente o conceito de "magma", introduzido pelo filósofo e pensador social Cornelius Castoriadis. Na tradição da teoria de conjuntos de Cantor (o universo "ensemblistic-identitário"), os conjuntos são coleções de elementos distintos, definidos e ontologicamente independentes. Castoriadis argumenta que certas coleções humanas e sociais (como o "totalidade de significados" de uma língua ou o "totalidade de memórias" de um indivíduo) não se encaixam nessa definição.

O problema central é que, nesses "magmas", os elementos não são independentes; eles possuem uma dependência recíproca. Um elemento não pode existir ou ser pensado isoladamente sem que outros elementos dependentes também ocorram. A teoria de conjuntos padrão (ZFC/ZFA) não consegue modelar essa interdependência ontológica, pois permite a formação de conjuntos unitários $\{a\}$ que isolam completamente o elemento $a$, algo que seria impossível em um magma (onde $a$ sempre traz consigo seus dependentes).

O autor identifica que os princípios originais de Castoriadis (M1-M5) contêm contradições (especificamente entre M1 e M4) e são vagos. O objetivo do artigo é reformular esses princípios de modo coerente e construir um modelo formal dentro de uma extensão da teoria de conjuntos que capture a essência da dependência.

2. Metodologia

O autor utiliza a teoria ZFA (Zermelo-Fraenkel com Átomos/Urelementos) como base, mas a estende para acomodar a relação de dependência. A metodologia segue os seguintes passos:

• Base Teórica: Trabalha-se no universo $V(A)$ da ZFA, onde $A$ é um conjunto infinito de átomos (urelementos).
• Relação de Dependência: Introduz-se uma relação de pré-ordem primitiva $\preceq$ sobre o conjunto de átomos $A$.
  • $a \preceq b$ significa que "$a$ depende de $b$" (ou "$b$ aponta para $a$").
  • A relação é reflexiva e transitiva.
  • Condição Crítica (D3): A relação $\preceq$ não possui elementos mínimos. Para todo $a \in A$, existe um $b$ tal que $b \prec a$ (dependência estrita). Isso garante que nenhum elemento seja "isolado" ou terminal.
• Definição de Magma (Nível 1): Os magmas sobre $A$ são definidos como os subconjuntos não vazios de $A$ que são fechados para baixo (downward closed) em relação a $\preceq$.
  • Formalmente, um magma é um conjunto aberto não vazio na topologia inferior gerada por $\preceq$.
  • Classe $M_1(A) = LO(A, \preceq) = \{x \subseteq A \mid x \neq \emptyset \land \forall a \in x, \text{pr}(a) \subseteq x\}$.
• Hierarquia Magmática: Para construir níveis superiores, o autor utiliza um processo de "deslocamento exponencial" (shifting) da relação de ordem.
  • Define-se uma nova relação $\preceq^+$ sobre o conjunto das partes $P(A)$: $x \preceq^+ y \iff \forall a \in x, \exists b \in y (a \preceq b)$.
  • Um resultado crucial (Proposição 3.2) mostra que, quando restrita aos magmas de nível 1, essa nova relação coincide com a inclusão de conjuntos ($\subseteq$).
  • Isso permite definir recursivamente a hierarquia:
    • $M_1(A) = LO(A, \preceq)$
    • $M_{\alpha+1}(A) = LO(M_\alpha(A), \subseteq)$
    • $M_\alpha(A) = \bigcup_{\beta < \alpha} M_\beta(A)$ para ordinais limites $\alpha$.
• Universo Magmático: O universo total é $M(A) = \bigcup_{\alpha \geq 1} M_\alpha(A)$.

3. Contribuições Chave

1. Reformulação dos Princípios de Castoriadis: O autor descarta os princípios contraditórios (M1 e M4) e reformula os restantes em versões formalizáveis:
   • M2:* Todo magma contém um submagma próprio.
   • M3 (fraca):* Magmas básicos não podem ser particionados em submagmas finitos disjuntos.
   • M5:* O que não é um magma é um conjunto clássico ou um átomo.
2. Construção de uma Hierarquia Não-Trivial: Ao impor a condição de "sem elementos mínimos" (D3), o autor garante que todos os magmas sejam infinitos e que não existam conjuntos unitários $\{a\}$ dentro da estrutura magmática. Isso resolve a intuição de Castoriadis de que não se pode isolar um significado ou memória.
3. Propriedades Topológicas e Lógicas: Demonstra-se que a estrutura $M(A)$ possui propriedades topológicas interessantes (todos os conjuntos são abertos na topologia inferior) e que a operação de deslocamento da pré-ordem preserva a estrutura de inclusão nos níveis superiores.

4. Resultados Principais

• Inexistência de Conjuntos Finitos/Unitários: No universo magmático $M(A)$, não existem conjuntos finitos nem conjuntos unitários $\{x\}$. Todos os elementos de $M$ são conjuntos infinitos.
• Validade dos Axiomas:
  • O par $\langle M(A), \in \rangle$ satisfaz o Axioma do Conjunto das Potências (Pow): O conjunto de todos os submagmas de um magma é, ele mesmo, um magma (do nível imediatamente superior).
  • O Axioma da União (Un) é válido apenas de forma restrita: A união de um conjunto de magmas pertence a $M$ se e somente se o conjunto original estiver em um nível suficientemente alto ($M_{\alpha+2}$) ou se não contiver elementos do nível base que levem a átomos.
  • Axiomas como Vazio, Par, Infinito e Separação falham em $M(A)$, o que é esperado dado o caráter não-ensemblistic da estrutura.
• Verificação dos Princípios Reformulados:
  • M2 é verdadeiro:* Devido à ausência de elementos mínimos na ordem, todo magma possui um submagma próprio.
  • M3 (fraca) é verdadeiro:* Magmas básicos (conjuntos abertos básicos) não podem ser particionados em dois submagmas disjuntos não vazios, pois a interseção de conjuntos abertos não vazios na topologia inferior não pode ser vazia de forma a criar uma partição completa sem violar a definição de aberto.
  • M5 é verdadeiro:* A distinção entre magmas, conjuntos e átomos é mantida.

5. Significado e Conclusão

O artigo oferece uma formalização rigorosa, embora limitada, do conceito filosófico de Castoriadis.

• Limitação Reconhecida: O autor admite que Castoriadis provavelmente rejeitaria essa formalização, pois ela ainda utiliza a lógica clássica e a teoria de conjuntos ("lógica identitária-ensemblistic") para descrever algo que deveria transcendê-la. O autor vê isso como um paradoxo necessário: usar as ferramentas da "separação" para modelar a "não-separação".
• Contribuição Matemática: O trabalho demonstra que é possível construir um universo de conjuntos onde a dependência é uma propriedade intrínseca e estrutural, impedindo a formação de elementos isolados. Isso desafia a intuição padrão da teoria de conjuntos de que a independência dos elementos é um pressuposto universal.
• Futuro: O autor sugere duas direções: tentar codificar objetos matemáticos padrão (como pares ordenados ou números naturais) dentro da estrutura magmática e explorar abordagens axiomáticas sintáticas alternativas, possivelmente baseadas em trabalhos de H. Skala sobre conjuntos com elementos dependentes.

Em suma, o artigo é uma ponte entre a filosofia política/social de Castoriadis e a lógica matemática, propondo um modelo onde a "totalidade" e a "interdependência" são primárias sobre a "individualidade" e a "separação".