Demostración ontológica de Gödel
Gödel's ontological proof
- Fecha
- 1941-1970 · fiabilidad media
- Lugar
- Princeton, Nueva Jersey, Estados Unidos
- Autoría
- Kurt Gödel
- Ámbito
- Saber y símbolos
Qué se descubrió
Argumento lógico formal de Kurt Gödel, en la tradición del argumento ontológico de Anselmo de Canterbury, que intenta demostrar mediante lógica modal la existencia de un ser con todas las propiedades positivas (Dios).
A qué dio paso
- formalización moderna del argumento ontológico en lógica modal
- debate filosófico sobre los axiomas de 'propiedades positivas'
- estudios posteriores de verificación con asistentes de demostración
- influencia en la lógica filosófica y la teología natural