A diagrammatic proof-theoretic semantics for the Greimas semiotic square

Resumo Técnico: Uma Semântica Provas-Diagramática para o Quadrado Semiótico de Greimas

Enunciação do Problema
O artigo aborda a falta de especificação formal no método semiótico estrutural desenvolvido por Algirdas Julien Greimas, especificamente no que diz respeito ao quadrado semiótico. Embora o quadrado semiótico seja uma ferramenta heurística amplamente utilizada para analisar estruturas narrativas e significação, os procedimentos operacionais para estabelecer "homologações" (analogias estruturais) e construir meta-termos (termos complexos, neutros e dêiticos) permanecem subespecificados. Formulações tradicionais dependem de operações combinatórias informais (denotadas como '+') e oposições binárias que são frequentemente ambíguas quanto ao seu status lógico (por exemplo, distinguir entre contrariedade e contradição). Além disso, a interpretação padrão da negação neste contexto é frequentemente confundida com o complemento booleano, falhando em capturar a natureza relacional e não exaustiva da oposição na semiótica estrutural. O artigo busca fornecer uma reconstrução rigorosa, provas-teórica, dessas operações para formalizar os processos gerativos subjacentes ao quadrado semiótico.

Metodologia
Os autores desenvolvem um sistema de provas diagramático baseado em diagramas de aranha unitários (Howse et al., 2005), adaptando este formalismo para representar configurações semânticas em vez de extensões teóricas de conjuntos.

1. Adaptação do Formalismo:

   • Contornos representam semas (unidades básicas de significado) ou sememas.
   • Aranhas (pontos existenciais) codificam a atualização (existência determinada) ou virtualização (existência indeterminada) de semas. Uma aranha que abrange múltiplas zonas representa um estado virtualizado (indeterminação semântica), enquanto uma aranha confinada a uma única zona representa uma atualização determinada.
   • Zonas representam regiões semânticas dentro de um universo $X$, contendo subconjuntos de meta-termos ($M$) e classes específicas de semas ($S_1, S_2$).

2. Definição de Relações Centrais:
   O artigo redefine as relações fundamentais do quadrado semiótico como transformações diagramáticas governadas por regras de inferência:

   • Contrariedade Diagramática ($\#_{diag}$): Definida como uma relação estática entre dois diagramas onde $S_1$ e $S_2$ são mutuamente exclusivos (zonas disjuntas) mas independentemente atualizados.
   • Negação Diagramática ($\neg_{diag}$): Diferente da negação booleana (que produz um complemento global), esta é definida como uma transformação que expande o habitat de uma aranha para incluir o termo contrário e o exterior do universo semântico, introduzindo indeterminação semântica. É uma "contra-posição semântica restrita e determinada por zona".
   • Implicação Diagramática ($\Rightarrow_{diag}$): Definida como o inverso da negação, onde o habitat de uma aranha é restrito (refinado) de um conjunto de zonas para uma única zona, resolvendo a indeterminação em uma atualização determinada.

3. Sistema de Inferência ($R$):
   As transformações são realizadas como derivações em um sistema formal usando regras adaptadas dos cálculos de diagramas de aranha, incluindo:

   • AddFeet (Adicionar Pés), SplitSpider (Dividir Aranha), Combine (Combinar), EraseSpider (Apagar Aranha), CopySpider (Copiar Aranha), Eliminação de Conjunção e Idempotência.
   • Essas regras permitem a construção de árvores de prova que testemunham a transição de uma configuração semântica para outra.

Principais Contribuições e Resultados

1. Formalização da Construção de Meta-Termos:
   O artigo prova que os quatro meta-termos canônicos do quadrado de Greimas (Termo Complexo $S$, Termo Neutro $\bar{S}$, Deixis Positiva e Deixis Negativa) são deriváveis de pares conjuntivos de configurações básicas através de um esquema de derivação uniforme.

   • A operação ' + ' é reinterpretada não como uma soma lógica ou teórica de conjuntos, mas como um levantamento derivacional.
   • Dado um par de diagramas $(d_a, d_b)$, o sistema aplica uma sequência de regras (Combine, AddFeet, SplitSpider, etc.) para construir um novo diagrama $d^+_{ab}$ contendo uma nova aranha (testemunha) no domínio do nível meta $M$.
   • Esta nova testemunha media a representação conjunta dos semas de entrada sem colapsar sua incompatibilidade estrutural.

2. Negação Não-Booleana:
   O sistema demonstra formalmente que a negação diagramática neste framework não é um complemento booleano. O habitat de um termo negado $\neg_{diag}(S_i)$ é restrito a zonas admissíveis em relação à oposição semântica e ao domínio do nível meta, excluindo regiões que seriam incluídas em um complemento padrão de teoria de conjuntos. Isso captura o "caráter relacional da oposição" onde a negação gera estados virtualizados em vez de exclusão exaustiva.

3. Testemunho Provas-Teórico:
   O artigo constrói árvores de prova explícitas (por exemplo, $T_1$ a $T_8$) que servem como testemunhas para:

   • A transição de semas atualizados para suas negações (por exemplo, $/vida/ \to /não-vida/$).
   • A transição de negações de volta para termos atualizados via implicação (por exemplo, $/não-vida/ \to /morte/$).
   • A construção de todos os quatro meta-termos a partir de seus pares de semas constituintes.

4. Extensão para Termos Não-Canônicos:
   O sistema de inferência é mostrado como fechado sob composição binária, permitindo a derivação de meta-termos não-canônicos (por exemplo, o "esquema positivo" $s_1 + \neg s_1$ e o "esquema negativo" $s_2 + \neg s_2$), que são tipicamente excluídos em interpretações clássicas, mas são objetos semânticos bem definidos dentro deste framework diagramático.

Significado e Alegações
O artigo alega fornecer uma semântica composicional e baseada em regras para o quadrado semiótico de Greimas. Seu significado primário reside em:

• Tornar Procedimentos Implícitos Explícitos: Transforma o "combinar" de termos e os procedimentos de "homologação", que são frequentemente heurísticos na semiótica tradicional, em derivações explícitas e formais.
• Reinterpretar o Operador ' + ': Oferece uma conta provas-teórica da formação de meta-termos como um processo construtivo (um levantamento derivacional) em vez de uma combinação lógica estática.
• Unificar Cenários Inferenciais: Ilustra como o raciocínio diagramático pode formalizar operações semânticas não-clássicas (especificamente negação não-booleana e oposição relacional) dentro de um cenário inferencial unificado.
• Expandir Diagramas de Aranha: O trabalho expande o escopo expressivo dos cálculos de diagramas de aranha além do raciocínio teórico de conjuntos e existencial para modelar operações semânticas estruturais complexas.

Os autores concluem que este framework permite que o quadrado semiótico seja visto não meramente como uma ferramenta analítica, mas como um sistema semântico gerativo onde as transformações são tornadas explícitas através de inferência diagramática formal.