miniaturadeimagen|Un argumento ontológico trata de demostrar que el concepto de Dios implica necesariamente su existencia. El argumento ontológico es un argumento filosófico deductivo a priori a favor de la existencia de Dios. Se llama ontológico, porque su prueba se basa en la definición o concepto de «lo que es» (ontos) de Dios: está en el ser o esencia de Dios existir. Muchos argumentos entran en la categoría de lo ontológico, y tienden a involucrar a los argumentos sobre el estado de ser o existir. Más específicamente, los argumentos ontológicos tienden a comenzar con una teoría a priori sobre la organización del universo. Si esa estructura organizacional es verdadera, el argumento proveerá las razones por las cuales Dios debe existir.
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 , 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 , Gottfried Leibniz revisó las ideas de Descartes, argumentando que lo que el argumento ontológico sí puede establecer es que Dios, por definición como ser necesario, tendría que ser o bien imposible o bien real, pues hablar de un ser necesario meramente posible (posible pero no real) sería una contradicción en los términos. 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.
Desde su propuesta, pocas ideas filosóficas han generado tanto interés y discusión como el argumento ontológico. Casi todas las grandes mentes de la filosofía occidental han encontrado al argumento digno de su atención, y se han desarrollado una serie de críticas y objeciones. El primer crítico del argumento ontológico fue un contemporáneo de Anselmo, Gaunilo de Marmoutiers. Utilizó la analogía de una isla perfecta, sugiriendo que el argumento ontológico podría ser usado para probar la existencia de cualquier cosa. Esta fue la primera de muchas parodias, todas las cuales intentaron demostrar que el argumento tiene consecuencias absurdas. Luego, Tomás de Aquino rechazó el argumento sobre la base de que los seres humanos no pueden conocer la naturaleza de Dios. Posteriormente, David Hume ofreció una objeción empírica, criticando su falta de razonamiento probatorio y rechazando la idea de que cualquier cosa puede existir necesariamente. La crítica de Immanuel Kant (quien le dio dicho nombre al argumento) se basaba en lo que él veía como la falsa premisa de que la existencia es un predicado. Argumentó que «existir» no añade nada (incluyendo la perfección) a la esencia de un ser, y así un ser «supremamente perfecto» puede ser concebido para no existir. «La opinión de que la existencia no es una propiedad de los individuos se convirtió en la opinión común a principios del ». Gottlob Frege y Bertrand Russell sostuvieron que la existencia no es una propiedad de individuos, sino una propiedad de segundo orden. Según Mario Bunge, la concepción actualmente aceptada es que la existencia no es un predicado sino un cuantificador llamado «cuantificador existencial». Finalmente, filósofos, incluyendo a C. D. Broad, descartaron la coherencia de un ser máximamente grande, proponiendo que algunos atributos de grandeza son incompatibles con otros, haciendo que el «ser máximamente grande» sea incoherente. Aunque la mayoría de filósofos actuales lo rechazan, ha sido y es defendido por notables filósofos y trata cuestiones importantes acerca de la ontología, metafísica y el lenguaje.The Stanford Encyclopedia of Philosophy, "The Problem of Evil", Michael Tooley
Los defensores contemporáneos del argumento ontológico incluyen a Alvin Plantinga, Yujin Nagasawa y Robert Maydole.
Clasificación La definición tradicional de un argumento ontológico fue dada por Immanuel Kant. Contrastó el argumento ontológico (literalmente cualquier argumento «relacionado con el ser») con los argumentos cosmológicos y fisio-teóricos. Según el punto de vista kantiano, los argumentos ontológicos son aquellos basados en un razonamiento a priori.
Graham Oppy, que en otras partes expresó la opinión de que «no ve ninguna razón urgente» para apartarse de la definición tradicional, definió los argumentos ontológicos como aquellos que comienzan con «nada más que premisas analíticas, a priori y necesarias» y concluyen que Dios existe. Oppy admitió, sin embargo, que no todas las «características tradicionales» de un argumento ontológico (analiticidad, necesidad y prioridad) se encuentran en todos los argumentos ontológicos y, en su obra de 2007, Ontological Arguments and Belief in God, la definición de un argumento ontológico solo emplearía consideraciones «enteramente internas a la cosmovisión teísta».
Oppy subclasificó los argumentos ontológicos en categorías definitorias, conceptuales (o hiperintensionales), modales, meinongianos, experimentales, merológicos, de orden superior o hegelianos, basadas en las cualidades de sus premisas. Definió estas cualidades de la siguiente manera: los argumentos definitorios invocan definiciones; los argumentos conceptuales invocan «la posesión de ciertos tipos de ideas o conceptos»; los argumentos modales consideran posibilidades; los argumentos meinongianos afirman «una distinción entre diferentes categorías de existencia»; los argumentos experimentales emplean la idea de que Dios existe únicamente para aquellos que han tenido experiencia de él; y los argumentos hegelianos son de Hegel. Posteriormente, él categorizó los merológicos como argumentos que «se basan en [...] la teoría de la relación todo-parte».
William Lane Craig criticó el estudio de Oppy como demasiado vago para una útil clasificación. Craig señaló que un argumento puede ser clasificado como ontológico si intenta deducir la existencia de Dios, junto con otras verdades necesarias, a partir de su definición. Sugirió que los defensores de los argumentos ontológicos afirmarían que, si entendiéramos completamente el concepto de Dios, deberíamos aceptar su existencia.
William L. Rowe definió los argumentos ontológicos como aquellos que parten de la definición de Dios y, usando solo principios a priori, concluyen con la existencia de Dios.
Historia y desarrollo miniatura|Avicena argumentó que Dios es ser necesario, cuya esencia es además su existencia. Daniel Dombrowski marcó tres etapas principales en el desarrollo del argumento: la formulación explícita inicial de Anselmo; las críticas del de Kant y Hume; y la identificación de un segundo argumento ontológico en el Proslogion de Anselmo por los filósofos del . Si bien a menudo se ha acreditado a Anselmo como el primero en entender a Dios como el máximo ser posible, esta percepción fue ampliamente descrita entre los filósofos griegos antiguos y los primeros escritores cristianos.Brian Leftow, «Why Perfect Being Theology?» International Journal for Philosophy and Religion (2011).Nagasawa, Yujin. Maximal God: A new defence of perfect being theism. Oxford University Press, 2017, 15-25.
El argumento ontológico pudo haber tenido sus raíces en las obras de filósofos griegos como Parménides, Platón y los neoplatónicos o en la teología estoica, ya que los estoicos fueron los primeros en usar el concepto de máxima perfección. Algunos de sus precursores aparecen en el segundo libro de De natura deorum de Cicerón, donde declaró que el universo es máxima perfección. Y, consistentemente, los estoicos usaron el término «Dios» para referirse al universo.
La opinión dominante es que el argumento ontológico fue expresado y desarrollado claramente primero por Anselmo de Canterbury, quien estaba influido por Agustín de Hipona y Boecio cuando tomó como idea universal de Dios de «aquello mayor que lo cual nada puede ser concebido».
Algunos académicos han argumentado que el filósofo islámico Avicena (Ibn Sina) desarrolló un tipo especial de argumento ontológico antes de Anselmo como en la sección de metafísica de El libro de la curación, donde expone un argumento de la contingencia y de la necesidad a favor de Dios.Adamson, Peter (2013-07-04). From the necessary existent to God. In Adamson, Peter (ed.). Interpreting Avicenna: Critical Essays. Cambridge University Press. . Otros han dudado esta posición.
Argumento de Anselmo miniatura|upright|La primera formulación del argumento ontológico en la tradición cristiana occidental fue propuesto por Anselmo de Canterbury en su obra Proslogion como prueba de para la existencia de Dios.El teólogo y filósofo Anselmo de Canterbury (1033-1109) propuso un argumento ontológico en el segundo y tercer capítulos de su Proslogion. El argumento de Anselmo no fue presentado para probar la existencia de Dios; más bien, Proslogion fue una obra de meditación en la que documentó cómo la idea de Dios se hizo evidente para él. La prueba de Anselmo está basada en el realismo platónico, en donde la idea universal de Dios halla su existencia.En el capítulo 2 del Proslogion, Anselmo definió a Dios como un «ser tal, que nada mayor puede ser concebido». Sugirió que incluso «el necio» puede entender este concepto, y este entendimiento mismo significa que el ser debe existir en la mente. El concepto debe existir solo en nuestra mente, o en nuestra mente y en la realidad. Si tal ser existe solo en nuestra mente, entonces un ser mayor (que exista en la mente y en la realidad) puede ser concebido (este argumento es generalmente considerado como una reductio ad absurdum, porque se demuestra que la opinión del necio es inconsistente). Por lo tanto, si podemos concebir un ser del que nada más grande puede ser concebido, debe existir en la realidad. Por lo tanto, un ser tal que no podía concebirse algo mayor (que Anselmo definió como Dios) debe existir en la realidad.
El argumento de Anselmo en el capítulo 2 puede resumirse como sigue:
Es una verdad conceptual (o, por así decirlo, una verdad por definición) que Dios es un ser tal que no se puede imaginar algo más grande (es decir, el ser más grande posible que se pueda imaginar). Dios existe como una idea en la mente. Un ser que existe como idea en la mente y existe en la realidad es, en iguales condiciones, más grande que un ser que solo existe como idea en la mente. Así, si Dios existe solo como una idea en la mente, entonces podemos imaginar algo que es más grande que Dios (es decir, un ser posible más grande que existe). Pero no podemos imaginar algo más grande que Dios (pues es una contradicción suponer que podemos imaginar un ser más grande que el más grande posible que se pueda imaginar). Por lo tanto, Dios existe.
En el capítulo 3, Anselmo presentó otro argumento en la misma línea:
Por definición, Dios es un ser del que nada más grande puede ser imaginado.