A taxonomy for controlling (in)consistency

Resumo Técnico: Uma Taxonomia para o Controle da (In)Consistência

Autores: Marcelo E. Coniglio e Rafael Ongaratto
Instituição: UNICAMP, CLE/IFCH

1. O Problema

O artigo aborda uma lacuna na hierarquia das Logicas de Inconsistência Formal (LFIs). Embora os sistemas originais de da Costa ($C_n$) tenham estabelecido uma hierarquia de graus de comprometimento paraconsistente, as LFIs modernas careciam de uma estrutura hierárquica comparável que permitisse controlar o comportamento do operador de consistência ($\circ$) em múltiplos níveis de metacognição.

O problema central é a necessidade de distinguir diferentes contextos epistemológicos e pragmáticos onde a consistência de uma afirmação pode ser questionada em diferentes níveis de profundidade:

• Ceticismo Radical: A consistência de uma afirmação pode ser questionada, e a consistência da própria consistência também pode ser questionada, infinitamente (ex: $mbCciw$).
• Dogmatismo: A consistência é absoluta em todos os níveis de metacognição; não se questiona a confiabilidade dos critérios de verdade (ex: $mbCci$).
• Contextos Intermediários: Situações onde o questionamento da consistência é permitido até um nível $n$ específico, mas deve cessar além disso (ex: jogos de detetive onde mentiras são permitidas apenas sobre a localização, mas não sobre a confiabilidade da afirmação sobre a localização).

As LFIs existentes não ofereciam uma família lógica unificada para representar esses "graus de comprometimento paraconsistente" de forma sistemática e controlada.

2. Metodologia

Os autores desenvolveram uma hierarquia bidimensional de logicas chamada Logicas de Consistência Controlada (LCC), denotada por $L^k_n$.

• Dimensão $n$ (Nível de Controle): Determina até onde a consistência pode ser inconsistente. Introduz o axioma $(cc_n): \circ^{n+2}\alpha$, garantindo que, após $n+2$ iterações do operador de consistência, a consistência se torna absoluta.
• Dimensão $k$ (Força da Negação): Determina a força e o comportamento determinístico da negação e de suas interações com o operador de consistência. Níveis mais altos de $k$ impõem axiomas que tornam a negação mais forte e a relação entre negação e consistência mais rígida.

Abordagem Semântica:
Para fornecer uma fundamentação semântica robusta, os autores utilizaram três técnicas principais:

1. Estruturas de Troca (Swap Structures): Utilizadas para definir semânticas não-determinísticas (Nmatrizes) para os níveis básicos da hierarquia, permitindo a representação de valores de verdade como tuplas (snapshots) que capturam o estado de uma fórmula, sua negação e sua inconsistência.
2. Estruturas de Twist (Twist Structures): Utilizadas para axiomatizar e fornecer semânticas determinísticas para extensões específicas, como a lógica de 5 valores LFI3, combinando mapas de Karnaugh com estruturas algébricas.
3. RNmatrizes (Restricted Nmatrices): Utilizadas para fornecer uma semântica unificada e geral para toda a família $L^k_n$. As RNmatrizes restringem o conjunto de valuações permitidas em uma Nmatriz base, impondo condições que validam os axiomas de controle de consistência $(cc_n)$ e de negação $(ip_j)$.

3. Contribuições Principais

1. Definição da Hierarquia $L^k_n$:

   • Estabelecimento formal de uma família de LFIs onde o nível $n$ controla a profundidade do ceticismo sobre a consistência e o nível $k$ controla a força da negação.
   • Demonstração de que $mbCciw$ (ceticismo total) e $mbCci$ (dogmatismo) são pontos extremos desta hierarquia.

2. Desenvolvimento da Lógica LFI3:

   • Introdução de uma nova lógica de 5 valores (LFI3), que é uma extensão de $L^2_1$ e um sub-sistema de $LFI1$.
   • LFI3 resolve o desafio de criar LFIs com mais de 3 valores de verdade, distinguindo casos que lógicas trivaluadas não conseguem separar (como a consistência de uma inconsistência).
   • Fornecimento de uma axiomatização de Hilbert completa para LFI3 baseada em estruturas de twist.

3. Semântica Unificada via RNmatrizes:

   • Apresentação de uma semântica geral para toda a família $L^k_n$ usando RNmatrizes, superando a complexidade crescente de Nmatrizes com muitos valores à medida que $n$ e $k$ aumentam.
   • Prova de Corretude (Soundness) e Completude para toda a hierarquia.

4. Análise Filosófica e Pragmática:

   • Mapeamento de posições filosóficas (ceticismo, dogmatismo, pragmatismo) para níveis específicos da hierarquia lógica.
   • Exemplos concretos (advogados, detetives, padres) ilustrando como diferentes contextos exigem diferentes níveis de controle de consistência.

4. Resultados Chave

• Teorema de Completude: A hierarquia $L^k_n$ é completa tanto em relação às valuações clássicas quanto às semânticas de RNmatrizes.
• Teorema do Ponto Fixo: Demonstra-se que, para $m \ge n+2$, a lógica $L^{n+1}_n$ é idêntica a $L^m_n$. Isso significa que aumentar o nível de força da negação ($k$) além de $n+1$ não altera a lógica se o nível de controle de consistência ($n$) já for suficientemente alto.
• Relação com Lógicas Conhecidas:
  • $L^0_0$ corresponde a $mbCci$.
  • $L^1_0$ corresponde a $Cie$.
  • $L^1_1$ corresponde a $Cbr$.
  • $LFI3$ é mostrada como um sub-sistema de $LFI1$ e maximal em relação a ela.
• Recuperação da Lógica Clássica: A introdução de operadores de consistência derivados (como $\circ^*$ e $\circ\#$) dentro de LFI3 permite recuperar a lógica clássica (CPL) e a lógica $LFI1$ dentro do sistema, dependendo das restrições aplicadas.
• Inconsistência vs. Contradição: Em LFI3, demonstra-se que a inconsistência ($\bullet \alpha$) não implica necessariamente contradição ($\alpha \land \neg \alpha$) em todos os níveis, mas que a contradição implica inconsistência, refinando a distinção entre os conceitos.

5. Significância

Este trabalho é significativo por várias razões:

• Unificação Teórica: Oferece um quadro unificado que conecta as LFIs modernas com a tradição histórica dos sistemas $C_n$ de da Costa, preenchendo a lacuna de uma hierarquia de "graus de comprometimento paraconsistente".
• Flexibilidade Pragmática: Permite que lógicos e filósofos escolham a lógica adequada para um contexto específico (ex: sistemas jurídicos, inteligência artificial, raciocínio científico) controlando exatamente até onde o ceticismo sobre a confiabilidade das informações é permitido.
• Avanço em Lógicas Multivaloradas: A construção de LFI3 e a metodologia para gerar extensões determinísticas (8-valores, 13-valores, etc.) abrem novas fronteiras para o estudo de LFIs multivaloradas, superando a limitação histórica de lógicas de apenas 3 valores.
• Ferramentas Semânticas: A aplicação de RNmatrizes e estruturas de twist fornece ferramentas poderosas e generalizáveis para a análise de logicas não-clássicas complexas, facilitando a prova de propriedades metateóricas como completude e decidibilidade.

Em suma, o artigo estabelece uma taxonomia rigorosa que transforma a consistência de um conceito binário (consistente/inconsistente) em um espectro controlável, permitindo uma modelagem mais fina e realista de raciocínios em ambientes de informação imperfeita ou contraditória.