Argumento ontológico de San Anselmo de Canterbury y respuesta de Gaunilo

Un argumento ontológico es un argumento filosófico, hecho a partir de una base ontológica, que se avanza en apoyo de la existencia de Dios. Tales argumentos tienden a referirse al estado de ser o existir. Más concretamente, los argumentos ontológicos se conciben comúnmente a priori en relación con la organización del universo, por lo que, si esa estructura organizativa es verdadera, Dios debe existir.El primer argumento ontológico de la tradición cristiana occidental[i] fue propuesto por San Anselmo de Canterbury en su obra de 1078, Proslogion (latín: Proslogium, lit. "Discurso sobre la existencia de Dios"), en la que define a Dios como "un ser que no puede ser concebido más grande", y argumenta que dicho ser debe existir en la mente, incluso en la de la persona que niega la existencia de Dios.A partir de esto, sugiere que si el ser más grande posible existe en la mente, también debe existir en la realidad, porque si sólo existiera en la mente, entonces un ser aún más grande debe ser posible, uno que exista tanto en la mente como en la realidad. Por lo tanto, este mayor ser posible debe existir en la realidad.