Computable Structuralism: A Categorical Rewrite Calculus of Mythic Variants

Resumo Técnico: Estruturalismo Computável

Problema
A análise comparativa de mitos e narrativas enfrenta uma tensão metodológica entre dois impulsos: a insistência de que o significado é local e dependente de contexto (condições sociais, rituais, históricas) e a visão estruturalista de que as narrativas são comparáveis via transformações sistemáticas (substituições, inversões, trocas de papéis). Embora a antropologia estrutural (ex: Lévi-Strauss) tenha estabelecido que os mitos funcionam como sistemas de transformação, a análise cultural contemporânea exige métodos que sejam explícitos o suficiente para serem reproduzidos, contestados e escalonados. As abordagens atuais frequentemente dependem de métricas baseadas em semelhança (ex: sobreposição de motivos, similaridade de embeddings) que quantificam a proximidade, mas falham em expressar o "transporte de lei" sob restrições de operadores explícitos. O artigo identifica uma lacuna na operacionalização da transformação lévi-straussiana: não há um framework formal que torne a transformação estrutural matemática permanecendo legível como análise narrativa e capaz de restrições falsificáveis.

Metodologia
Os autores propõem um framework formal que modela narrativas como programas de reescrita tipados atuando sobre um estado de dois registradores $(X, Y)$.

1. Configuração de Dois Registradores ($Z = (X, Y)$):

   • Registrador X (Cotidiano/Social): Rastreia agentes, instituições, restrições de sobrevivência, conflito político e condições materiais.
   • Registrador Y (Simbólico/Legitimação): Rastreia lei, tabu, profecia, pacto, ritual, restrições morais e ordem cosmológica.
   • O modelo postula que as transformações em $X$ são consequentes apenas quando reconhecidas/autorizadas em $Y$, e as rupturas em $Y$ são reais apenas quando reorganizam $X$.

2. Esquema de Codificação:
   Cada narrativa é codificada em um esquema funcional de quatro slots $(a, b, x, y)$:

   • $a$: Agente focal (portador da transformação).
   • $b$: Força opositora/perturbadora (antagonista, caos, instituição).
   • $x$: Mediador que possibilita a transformação (ferramenta, pacto, ajudante).
   • $y$: Ordem de restrição/legitimação (lei, tabu, regra).

3. Políticas de Atualização e Transformação Natural:
   O framework define duas políticas de atualização sistemática (endofuntores) sobre as configurações:

   • Política Direta ($U$): Atualizações preservam os papéis dos registradores (o mediador permanece mediador; a restrição permanece restrição).
   • Política Canônica ($V$): Implementa um movimento estruturado de troca + inversão (ex: uma restrição torna-se objeto de conflito; um conflito é reestruturado como uma restrição).
   • Condição de Coerência: Uma transformação canônica é definida como a existência de uma transformação natural $\eta: U \Rightarrow V$. Para um transporte proposto $h$ entre variantes, o diagrama deve comutar: $V(h) \circ \eta_Z = \eta_{Z'} \circ U(h)$.
   • Falsificabilidade: Se a equação de naturalidade falhar, ela diagnostica um erro específico: uma má especificação de oposição, um transporte de operador ilegal ou uma atribuição incorreta de registrador. Isso transforma a análise estrutural em uma "verificação de tipo" voltada ao corpus.

4. Sensibilidade ao Contexto:
   O contexto é internalizado via escolha de operador estruturado. Operadores de reescrita e regras de transporte admissíveis são específicos para famílias narrativas (ex: contos de fadas vs. franquias). Isso evita o colapso do "qualquer coisa mapeia para qualquer coisa", tornando os transportes de operadores específicos ilegais se violarem o contexto declarado.

5. Invariante de Assinatura de Ordem (Chave):
   Para considerar efeitos de ordem sequencial (ex: travessias de trickster, loops temporais) onde "trocar então inverter" $\neq$ "inverter então trocar", cada narrativa é atribuída a uma Chave (arquétipos A–E). Essas chaves resumem efeitos de ordem usando arquétipos de trança e invariantes computáveis, servindo como uma impressão digital estrutural compacta.

Corpus e Design Experimental
O estudo utiliza um corpus estratificado de 80 narrativas dividido igualmente em quatro famílias de mídia:

• 20 Contos de Fadas (ex: Cinderela, Chapeuzinho Vermelho)
• 20 Mitos Religiosos (ex: Adão e Eva, Noé)
• 20 Narrativas de Super-heróis (ex: Batman, Homem-Aranha)
• 20 Franquias (ex: Star Wars, Harry Potter)

O design é equilibrado para evitar a dominância de gênero e garantir que o método transite entre as mídias. Uma auditoria de codificação de duas passagens em um subconjunto ($n=20$) demonstrou alta confiabilidade inter-avaliador ($\kappa = 0,95$ para $x$ e $y$), com discordâncias concentradas na fronteira $x/y$ (mediador vs. restrição), que o modelo visa explicitamente.

Principais Resultados

1. Coerência Operacional: O framework modela com sucesso as narrativas como reescritas tipadas. A condição de naturalidade serve como ferramenta diagnóstica; em um exemplo trabalhado (Chapeuzinho Vermelho), uma má tipagem plausível (trocando o papel do caçador de mediador $x$ para restrição $y$) causou uma falha de naturalidade, localizando a incoerência estrutural.
2. Prevalência de Restrição: Em 59/80 (74%) das narrativas, o registrador $y$ nomeia explicitamente uma restrição normativa (lei, tabu, contrato, profecia). Isso apoia a validade da abstração de dois registradores.
3. Estabilidade Cross-Mídia: Os papéis funcionais $(a, b, x, y)$ permanecem inteligíveis através das mídias. Embora as realizações difiram (ex: "Corte Real" em contos de fadas vs. "Lei de Registro" em super-heróis), a função estrutural de $y$ como um sistema de restrição persiste.
4. Sensibilidade da Chave: Um micro-teste ($n=10$) mostrou que as Chaves são estáveis sob normalização conservadora (8/10 casos), mas mudam sob testes de estresse de "pior caso" (trocando $x$ e $y$), confirmando que o invariante é sensível à lógica estrutural específica da narrativa.
5. Tipologia de Restrição: A análise do registrador $y$ revela "assinaturas de tipo de restrição" distintas entre os corpora (ex: Super-heróis/Franquias inclinam-se para restrições legais/institucionais; Mitos Religiosos para restrições divinas/cósmicas).

Significância e Alegações
O artigo afirma fornecer uma ponte testável entre a antropologia estrutural e a análise cultural. Suas principais contribuições são:

• Formalização: Torna a transformação canônica de Lévi-Strauss em uma condição de coerência testável (transformação natural) em vez de um template vago.
• Operacionalização: Desloca a comparação de "semelhança" para "transformação de lei", tornando as reivindicações estruturais explícitas, transportáveis e refutáveis.
• Poder Diagnóstico: Falhas no modelo não são defeitos, mas diagnósticos que localizam exatamente onde uma análise colapsou (ex: confundir um mediador com uma restrição).
• Interpretabilidade: O framework mantém a interpretabilidade para leitura atenta (via o esquema $a, b, x, y$ e Chaves) enquanto permite a computação em nível de corpus.

Os autores declaram explicitamente que este é um conjunto de demonstração para operacionalização, não uma reivindicação de prevalência narrativa global. O framework é projetado para tornar as reivindicações de transformação explícitas e contestáveis, separando o que é codificado, o que é inferido e o que é testado. O trabalho futuro é identificado como a extensão da codificação de resumos de disparo único para grafos de nível de episódio e a publicação de um pacote de replicação.