A Comment on Modal Collapse and Ultrafilters in Gödel's Ontological Argument

Resumo Técnico: Um Comentário sobre o Colapso Modal e Ultrafiltros no Argumento Ontológico de Gödel

Definição do Problema
O artigo aborda uma reivindicação estrutural feita por Odifreddi e Gomes a respeito do argumento ontológico de Gödel. Odifreddi e Gomes postulam que o "colapso modal" (a derivação de que tudo o que é o caso é necessariamente o caso, $\varphi \supset \Box\varphi$) é uma característica estrutural intrínseca de qualquer teoria que caracterize propriedades positivas como um ultrafiltro e identifique Deus como o gerador principal desse ultrafiltro. Eles sugerem que evitar este colapso requer o enfraquecimento dos axiomas, o que, por sua vez, sacrifica a principalidade do ultrafiltro e a maximidade absoluta do ser divino.

O autor, Christoph Benzmüller, contesta essa afirmação, argumentando que o colapso não é impulsionado pela estrutura do ultrafiltro em si, mas sim pela condição modal específica da "rigidez da positividade" (Axioma A4). Além disso, o artigo identifica e corrige dois erros técnicos específicos na análise de Odifreddi e Gomes relativos à derivabilidade do Teorema IV de Gödel e à extensionalidade da positividade.

Metodologia
O artigo emprega metafísica computacional utilizando Prova de Teoremas Interativa e Automatizada (IATP).

• Formalismo: Os argumentos são formalizados em Isabelle/HOL (Lógica de Ordem Superior) usando uma imersão rasa de lógica modal de ordem superior (HOML).
• Verificação: O autor utiliza o provador de teoremas automatizado para verificar derivações e o buscador de modelos Nitpick para gerar contramodelos.
• Análise Comparativa: O estudo compara sistematicamente diferentes variantes do argumento de Gödel (Scott, Anderson, Fitting) e teorias simplificadas onde a propriedade de ultrafiltro é postulada como um axioma (U1) ou onde a divindade gera um filtro (F1).
• Distinção: Uma distinção metodológica crucial é mantida entre intensões (conceitos dependentes do mundo, tipo $\gamma$) e extensões (conjuntos de indivíduos, tipo $\delta$). O artigo argumenta que confundir estes leva à interpretação errônea da estrutura do ultrafiltro.

Contribuições Principais e Resultados

1. Refutação da Reivindicação de Colapso Estrutural:

   • O artigo fornece contraexemplos verificados por máquina demonstrando que uma teoria pode satisfazer a condição de que as propriedades positivas formam um ultrafiltro modal com Deus como seu gerador principal sem implicar colapso modal.
   • Proposição 1: Ao postular que as propriedades positivas formam um ultrafiltro modal (Axioma U1) e manter apenas os axiomas de implicação e conjunção (A2, A3), a existência de uma entidade divina é derivável na lógica modal normal mais fraca (K), contudo o colapso modal ($\varphi \supset \Box\varphi$) não é derivável.
   • Proposição 2: Mesmo uma condição mais fraca, onde o conjunto dos superconjuntos da divindade forma um filtro modal (Axioma F1), é suficiente para derivar a existência necessária de uma entidade divina sem implicar colapso ou monoteísmo.
   • Diagnóstico: O artigo identifica que o motor do colapso modal não é a estrutura do ultrafiltro, mas o Axioma A4 (a rigidez da positividade: $\forall X. (PX \supset \Box(PX))$). Quando o A4 é removido ou modificado (como nas variantes de Anderson ou Fitting), o colapso desaparece, mesmo enquanto a estrutura do ultrafiltro permanece intacta.

2. Correção sobre o Teorema IV (Possibilidade de Deus):

   • Odifreddi e Gomes alegaram que provadores automatizados falham em derivar o Teorema IV (a possibilidade de uma entidade divina, $\Diamond \exists x. Gx$) após reparar a inconsistência original de Gödel.
   • O artigo esclarece que isto não é uma falha dos provadores, mas um fato lógico: o Teorema IV não é derivável se o axioma de conjunção de Gödel (Ax1) for restrito a conjunções binárias. Existe um contramodelo envolvendo um ultrafiltro não principal sobre indivíduos contáveis onde a interseção das propriedades positivas é vazia.
   • O Teorema IV torna-se derivável apenas quando o axioma é generalizado para Ax1Gen (fechamento sob conjunções arbitrárias, incluindo infinitas), o que força o ultrafiltro a ser principal em modelos finitos e permite a derivação de $P(G)$ (a divindade é positiva).

3. Correção sobre a Extensionalidade da Positividade:

   • Odifreddi e Gomes alegaram que a "extensionalidade da positividade" (propriedades com a mesma extensão são semelhantes quanto à positividade) é derivável dos Axiomas Ax2a e Ax4.
   • O artigo demonstra que isto é falso sob uma leitura local (mesma extensão no mundo de avaliação). O Nitpick encontra um contramodelo onde duas propriedades coincidem no mundo atual, mas divergem em outros, recebendo vereditos de positividade distintos.
   • A premissa só é válida sob uma leitura global (coextensão necessária), que segue de Ax4 isoladamente. O artigo nota que a leitura local não é necessária para a aplicação específica de Odifreddi e Gomes, mas a distinção é crítica para compreender a transição da lógica intensional de Gödel para o substituto de conjuntos extensivos de Friedman.

4. Clarificação de Tipos de Ultrafiltro:

   • O artigo distingue entre um $\gamma$-ultrafiltro (pesando intensões) e um $\delta$-ultrafiltro (pesando extensões).
   • Mostra que, em variantes livres de colapso (como as de Anderson e Fitting), a estrutura do ultrafiltro sobrevive ao migrar das intensões para extensões rigidificadas. A afirmação de que "o ultrafiltro das propriedades positivas" implica colapso depende de se um se refere à leitura intensional ou extensional.

Significância e Alegações
O artigo afirma resolver um debate sobre a inevitabilidade estrutural do colapso modal no argumento ontológico de Gödel.

• Refutação do Colapso Intrínseco: Refuta a tese de que o colapso modal é uma característica intrínseca de qualquer caracterização de positividade baseada em ultrafiltro com um gerador principal. O colapso é mostrado como uma consequência do axioma específico de rigidez modal (A4), não da estrutura do filtro em si.
• Preservação da Intenção de Gödel: Ao mostrar que a estrutura do ultrafiltro pode existir sem o colapso (desde que a rigidez seja relaxada), o artigo sugere que a simplificação de Odifreddi e Gomes (dispensando a modalidade) efetivamente substitui o argumento de Gödel por um sistema diferente (um substituto extensional) em vez de clarificá-lo.
• Precisão Técnica: O artigo corrige mal-entendidos técnicos específicos na literatura sobre a derivabilidade do Teorema IV e as condições de extensionalidade, enfatizando que estas questões dependem da distinção entre leituras intencionais e extensionais e do escopo dos axiomas de conjunção.

O autor conclui que a "consequência matemática surpreendente" da interpretação do ultrafiltro não é a inevitabilidade do colapso, mas sim "quanto da modalidade a interpretação deve silenciosamente deixar para trás" para evitá-lo. O artigo mantém que a tese histórica (que Gödel não via o colapso como um defeito) permanece válida independentemente destes achados estruturais.