A prova do argumento ontológico de Santo Anselmo e a natureza dos predicados existenciais

Tipo: Trabalho de Conclusão de Curso.

Título: A prova do argumento ontológico de Santo Anselmo e a natureza dos predicados existenciais.

Autor: PRAZERES, José Humberto Campos.

Orientador: SILVA FILHO, José Maria da.

Resumo: O presente trabalho tem como tema central o estudo da lógica de primeira ordem e sua aplicação ao argumento ontológico de Santo Anselmo, em diálogo com reflexões modernas acerca da existência. O objetivo é demonstrar a validade lógica desse argumento e evidenciar que tal validade não esgota as dimensões ontológicas do ser. A pesquisa desenvolve-se por meio de uma reflexão teórica sobre a lógica, fundamentada na leitura de autores clássicos e contemporâneos que contribuem para a sistematização desse campo do saber. A partir dessa base conceitual, aplica-se os princípios da lógica ao argumento ontológico, analisando sua estrutura formal e sua coerência interna. Em seguida, realiza-se uma reflexão sobre a natureza dos predicados existenciais, tomando como referência as noções de linguagem e de existência formuladas por pensadores como Kant, Frege, Russell e Salmon. A análise evidencia que, embora o argumento anselmiano possa ser considerado logicamente válido, sua validade não implica necessariamente a existência real do ente concebido, o que abre espaço para uma distinção entre validade formal e verdade ontológica. Como resultado, o estudo demonstra que a lógica de primeira ordem constitui uma ferramenta eficaz para a análise e validação de argumentos filosóficos, ao mesmo tempo em que revela seus limites diante de questões de natureza metafísica. Conclui-se, portanto, que a lógica, enquanto instrumento de investigação racional, não apenas possibilita a estruturação rigorosa do pensamento e da linguagem, mas também contribui para o aprofundamento da compreensão sobre a relação entre razão, existência e realidade.