El Argumento Ontológico. El famoso argumento de Anselmo ha sido el reformulado y defendido por Alvin Plantinga, Robert Maydole, Brian Leftow, y otros. Dios, observa Anselmo, es por definición el más grande ser concebible.
Si usted pudiera concebir algo más grande que Dios, entonces eso sería Dios.
Así, Dios es el más grande ser concebible, un Ser Máximamente Grande. ¿Cómo sería tal ser? Debiese ser todo poderoso, lo sabría todo, sería perfectamente bueno, y existiría en todo mundo lógicamente posible.
Pero entonces podemos argumentar:
1. es posible que un Ser Máximamente Grande (Dios) exista.
2. si es posible que un Ser Máximamente Grande exista, entonces un Ser Máximamente grande existe en algún mundo posible.
3. si un Ser Máximamente Grande existe en algún mundo posible, entonces existe en todos los mundos posibles.
4. si un Ser Máximamente Grande existe en todos los mundos posibles, entonces existe en el mundo real.
5. por consiguiente, un Ser Máximamente Grande existe en el mundo real.
6. por consiguiente, un Ser Máximamente Grande existe.
7. por consiguiente, Dios existe.
Ahora, puede ser una sorpresa descubrir que los pasos 2 al 7 de este argumento son relativamente poco controvertidos. La mayoría de los filósofos estaría de acuerdo que si la existencia de Dios es incluso posible, entonces Él debe existir. Así que la única pregunta es: ¿Es posible la existencia de Dios? El ateo tiene que sostener que es imposible que Dios exista. Tiene que decir que el concepto de Dios es incoherente, tal como el concepto de un soltero casado o de un círculo cuadrado. Pero el problema es que el concepto de Dios simplemente no parece ser incoherente en tal forma. La idea de un ser que es todo poderoso, que todo lo sabe, y que es perfectamente bueno existe en cada mundo posible parece perfectamente coherente. Y en tanto la existencia de Dios sea sólo posible, se sigue que Dios debe existir.