La recepción de Kurt Gödel de la prueba ontológica de Charles Hartshorne

Por • 2 dic, 2021 • Sección: Opinion

Annika Kanckos , Tim Lethen

En 1962, Charles Hartshorne publicó una prueba lógica modal que formalizaba el argumento ontológico de Anselmo de Canterbury sobre la existencia necesaria de Dios. Este artículo presenta las notas de Kurt Gödel sobre esta prueba que ahora se han descubierto en su Nachlass entre otros materiales teológicos, y analiza las posibles influencias en el desarrollo de la propia prueba ontológica de Gödel. Para completar el cuadro, se señalan fuertes conexiones entre las concepciones de Dios y sus propiedades positivas de Anselmo de Canterbury y Gödel.

arXiv:2111.12562v1 [math.HO]

History and Overview (math.HO); Logic (math.LO)

Post to Twitter

Escribe un comentario