Respuestas
El primer argumento ontológico en la tradición cristiana occidental fue propuesto por Anselmo de Canterbury en su obra de 1078, Proslogion. Anselmo definió a Dios como «aquel del que nada más grande [que él] puede ser pensado», y argumentó que este ser debe existir en la mente, incluso en la mente de la persona que niega la existencia de Dios. Sugirió que, si el mayor ser posible existe en la mente, también debe existir en la realidad. Si solo existe en la mente, entonces un ser aún mayor debe ser posible: uno que existe tanto en la mente como en la realidad. Por lo tanto, este ser más grande posible debe existir en la realidad. El filósofo francés del siglo XVII, René Descartes, describió un argumento similar. Descartes publicó varias variaciones de su argumento, cada una de las cuales se centraba en la idea de que la existencia de Dios es inmediatamente deducible de una idea «clara y distinta» de un ser supremamente perfecto. A principios del siglo XVIII, Gottfried Leibniz aumentó las ideas de Descartes en un intento de probar que un ser «supremamente perfecto» es un concepto coherente. Un argumento ontológico más reciente vino de Kurt Gödel, quien propuso un argumento formal para la existencia de Dios. Norman Malcolm revivió el argumento ontológico en 1960 cuando encontró un segundo argumento ontológico más fuerte en la obra de Anselmo; Alvin Plantinga desafió este argumento y propuso una alternativa, basada en la lógica modal. También se han realizado intentos para validar la prueba de Anselmo utilizando una demostración automática de teoremas. Otros argumentos han sido categorizados como ontológicos, incluyendo los argüidos por el filósofo islámico Mulla Sadra.