Changelog:

• 2024-04-03: Adicionei uma referência ao repositório com a formalização do argumento de Gödel, que é baseada principalmente no argumento de Santo Anselmo e de Gottfried Leibniz. Link para a página da Wikipedia para mais informações.

Também conhecido como argumento ontológico de Santo Anselmo, esta foi uma das primeiras tentativas na história de conciliar razão e fé católica para "provar" a existência de Deus (uma verdade da fé).

Minha jornada cruzou com esse autor recentemente enquanto lia o livro Grandes Teses Da Filosofia Tomista, de A. D. Sertillanges. Neste livro somos apresentados brevemente às ideias fundamentais da filosofia de Santo Tomás de Aquino, um dos maiores pensadores da religião católica, que também apresentou seus argumentos para a existência de Deus, todavia seguindo uma lógica mais rígida e mais bem definida que Anselmo.

Pois bem, devido a profundidade das ideias do "Doctor Angelicus", achei bastante complicado nessa primeira leitura entender os argumentos e seguir seu raciocínio. Porém, vi numa parte a menção ao argumento de Santo Anselmo, exposto no livro Proslógio.

Mesmo sabendo que hoje em dia já foram apontados diversos "erros" no raciocínio de Santo Anselmo nesta questão, inclusive por Santo Tomás, achei que seria uma boa introdução ao tema. E realmente foi.

A edição que li era composta por uma parte introdutória explicando resumidamente o contexto histórico em que os argumentos de Santo Anselmo foram escritos. Assim como apresenta brevemente alguns pensadores famosos que tanto endossaram quanto refutaram seu argumento.

Em seguida temos o "Proslógio" propriamente dito, que foi o livro onde Santo Anselmo apresentou seus argumento, tanto em português quanto em latim. Todavia essa edição não acaba por aí, trazendo em sequência o "Livro Escrito a Favor de um Insensato", escrito pelo monge Gaunilo, contemporâneo de Anselo, que apresentou uma das primeiras críticas ao argumento ontológico. E por fim temos a resposta de Anselmo à crítica de Gaunilo, no livro "Apologia de Santo Anselmo contra Gaunilo".

Pois bem, passando agora ao argumento, este pode ser apresentado resumidamente como:

• Um ser perfeito conforme concebido pelo intelecto (acima do qual não se pode pensar nada maior) requer necessariamente sua existência, pois caso este ser perfeito não exista, ele não seria O ser perfeito, visto que existiria outro ainda mais perfeito. Portanto, essa ideia do ser perfeito implica sua existência.

E ele é chamado de argumento ontológico pois, um argumento ontológico é qualquer argumento que defende a existência de Deus através da ideia de que Ele é obrigatoriamente um ser perfeito e, portanto, deve existir.

Formalização matemática

Numa tentativa de formalizar matematicamente o argumento de Santo Anselmo, levando em consideração sua versão um pouco mais moderna elaborada por Gottfried Leibniz, Gödel estabeleceu esse argumento usando notação simbólica da lógica moderna. [5]

Mais recentemente, em uma conversa com meu amigo Magueta, fui informado que esse argumento foi codificado usando as linguagens Coq e Isabelle, que são sistemas usados para gerenciar e verificar provas formais usando definições matemáticas.

O resultado pode ser encontrado neste repositório no GitHub: FormalTheology/GoedelGod.

Referências

• [1] - Anselmo de Cantuária. Wikipedia.
• [2] - Grandes Teses Da Filosofia Tomista. Amazon.
• [3] - Proslógio. Amazon.
• [4] - Argumento ontológico. Wikipedia.
• [5] - Gödel's ontological proof. Wikipedia.