Argumento ontológico para niños

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 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.

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 siglo XX". 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.

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.

Desarrollo

Daniel Dombrowski marcó tres etapas principales en el desarrollo del argumento: la formulación explícita inicial de Anselmo; las críticas del siglo XVIII de Kant y Hume; y la identificación de un segundo argumento ontológico en el Proslogion de Anselmo por los filósofos del siglo XX. 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.

El argumento ontológico pudo haber tenido sus raíces en las obras de filósofos griegos como 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. Algunos estudiosos argumentaron que el filósofo islámico Avicena (Ibn Sina) desarrolló un tipo especial de argumento ontológico antes de Anselmo, pero otros estudiosos han dudado de esta posición. Anselmo 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».

Protoargumento de Avicena

El Dios que defiende Avicena es un Ser Necesario, y todo lo demás es contingente. Dios no tiene otra esencia además de su existencia.

En la sección de metafísica de El libro de la curación de Avicena (980–1037), que ha venido a conocerse como el argumento de la contingencia y de la necesidad (Imakan wa Wujub). Este fue el primer intento de emplear un método apriorístico para demostrar, con el mero empleo de la intuición y de la razón, la existencia de Dios. Aunque aún el argumento se discute si debe ser clasificado como ontológico o cosmológico (mediante observaciones a posteriori). Algunos lo clasifican como ambos.

En dicha sección, Avicena inicia un profundo análisis de la cuestión del ser, en el que distingue entre la esencia (mahiat) y la existencia (wujud). Propone que el hecho de la existencia no puede ser inferido de (o ser tenido en cuenta por) la esencia de las cosas existentes, y que la forma y la materia no pueden, por sí mismas, interactuar y originar el movimiento del universo o la progresiva renovación de las cosas existentes. Por el contrario, la existencia ha de deberse a alguna Causa o Agente que hace necesaria, imparte, confiere y añade la existencia a la esencia. Para poder hacer esto, la Causa debe ser algo existente y coexistir con sus efectos. Dicha causa va a ser identificada con Dios en la segunda parte del argumento.

De acuerdo con Avicena, el universo consiste en una sucesión de seres contingentes, y cada uno es responsable de la existencia del resto de seres por debajo de él. Dado que rechaza la infinitud de dicha concatenación, afirma que dicha sucesión ha de tener un principio, en el que sitúa a un único ser cuya esencia es su propia existencia, y que por tanto es autosuficiente y no necesita de ningún otro ser anterior que le confiera existencia. Dado que tal ser, al que llama Dios, no es contingente, sino necesario y eterno por sí mismo, satisface la condición de ser la causa necesaria de toda la concatenación de entidades.

El argumento podría formularse de la siguiente manera:

1. Un ser contingente tiene una causa de su existencia.
2. El universo es una sucesión de seres contingentes.
3. Un conjunto de seres contingentes es contingente.
4. El universo debe tener un ser fuera de sí mismo que haya causado su existencia.
5. Esta causa o es contingente o necesaria.
6. No puede ser contingente.
7. Luego debe de haber una entidad necesaria que haya causado al universo.
8. Ese ser es Dios.

• Conclusión: Dios existe.

Argumento de Anselmo

Anselmo de Canterbury fue el primero en intentar un argumento ontológico 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 se haya su existencia.

Ergo Domine, qui das fidei intellectum, da mihi, ut, quantum scis expedire, intelligam, quia es sicut credimus, et hoc es quod credimus. Et quidem credimus te esse aliquid quo nihil maius cogitari possit. An ergo non est aliqua talis natura, quia "dixit insipiens in corde suo: non est Deus" ?

Luego Señor, tú que das el entendimiento a la fe, dame de entender, tanto como consideres bueno, que tú eres como creemos y lo que creemos. Y bien, creemos que tú eres algo mayor que lo cual no puede pensarse cosa alguna. Ahora, ¿acaso no existe esta naturaleza, porque "dijo el necio en su corazón: no hay Dios" ?

Anselmo de Canterbury, inicio del argumento ontológico para probar la existencia de Dios.
Proslogio, capítulo II (1078). La frase entrecomillada es una cita bíblica (Salmos 13:1).

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:

1. 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).
2. Dios existe como una idea en la mente.
3. 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.
4. 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).
5. 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).
6. Por lo tanto, Dios existe.

En el capítulo 3, Anselmo presentó otro argumento en la misma línea:

1. Por definición, Dios es un ser del que nada más grande puede ser imaginado.
2. Un ser que necesariamente existe en la realidad es más grande que un ser que no necesariamente existe.
3. Así, por definición, si Dios existe como una idea en la mente, pero no necesariamente existe en la realidad, entonces podemos imaginar algo que es más grande que Dios.
4. Pero no podemos imaginar algo que sea más grande que Dios.
5. Así, si Dios existe en la mente como una idea, entonces Dios necesariamente existe en la realidad.
6. Dios existe en la mente como una idea.
7. Por lo tanto, Dios necesariamente existe en la realidad.

Esto contiene la noción de un ser que no puede concebirse para no existir. Argumentó que si algo puede concebirse para no existir, entonces algo más grande puede ser concebido. En consecuencia, un ser del que nada mayor puede ser concebido no puede ser concebido para no existir y, por lo tanto, debe existir. Esto puede leerse como una reafirmación del argumento en el capítulo 2, aunque Norman Malcolm sostuvo que era un argumento diferente y más fuerte.

El Argumento entre escolásticos

La prueba anselmiana sobre la existencia de Dios fue bastante defendida por gran parte de los filósofos de la escolástica. Entre sus defensores estaban: Alberto Magno, Alejandro de Hales, Enrique de Gante y entre otros, las formulaciones más destacadas son las de Buenaventura de Fidanza y la de Duns Escoto.

Buenaventura de Fidanza

San Buenaventura fue uno de los primeros pensadores del siglo XIII que prestó seria atención al argumento ontológico.

Juan de Fidanza (San Buenaventura) leyó el Proslogio de Anselmo a través de la visión aristotélica. Se basó en el principio de identidad al afirmar que la expresión “Dios existe” es sinónima de “Dios es Dios” y no se puede dudar de la verdad de esta proposición.

"Conocemos los principios en la medida en que entendemos los términos que los componen, porque la causa del predicado está incluida en el tema. Esta es la razón por la cual los principios son evidentes. Lo mismo es cierto acerca de Dios. Porque Dios, o la verdad más elevada, es ser él mismo, aquello de lo cual nada más grande puede ser pensado. Por lo tanto, no se puede pensar que Dios no lo es, porque el predicado ya está incluido en el sujeto."

In I Sent. d. 8, art. 1, q. 1 concl.

La proposición “Dios existe” es comparable con la proposición “lo mejor es mejor”. Estas proposiciones tautológicas son tan evidentes, que nunca podrían ser falsas. Como Dios se identifica con su existencia, por lo tanto, Dios existe.

"Nadie puede ignorar que esto es cierto: lo mejor es lo mejor; o pensar que es falso. Pero lo mejor es un ser absolutamente completo. Ahora bien, cualquier ser absolutamente completo, por esta misma razón, es un ser real. Por tanto, si lo mejor es lo mejor, lo mejor es. De manera similar, se puede argumentar: si Dios es Dios, entonces Dios lo es. Ahora bien, el antecedente es tan cierto que no se puede pensar que no lo sea. Por tanto, es cierto sin duda alguna que Dios existe."

De mysterio trinitatis 1.1 fund. 29

Juan Duns Scoto

Duns Escoto retomó el argumento de San Anselmo en las Cuestiones sobre las Sentencias (Opus oxoniense) en donde, según él, “reforzó” el razonamiento al poner de relieve la importancia de la pensabilidad del concepto de Dios, es decir, su posibilidad. Si el concepto de algo es contradictorio, no es pensable. Pero el concepto de Dios es pensable, ya que hasta el ateo, quien niega que Dios existe en la realidad, lo acoge en su entendimiento.

La doctrina de la univocidad del ser de Escoto implica la negación de toda distinción real entre esencia y existencia. Tomás de Aquino había argumentado que en todo ser finito (es decir, todos excepto Dios) la esencia de una cosa es distinta de su existencia. Escoto rechazó la distinción y argumentó que no podemos concebir qué es ser algo sin concebirlo como existente. No debemos hacer ninguna distinción entre si una cosa existe (si est) y qué es (quid est), porque nunca sabemos si algo existe, a menos que tengamos algún concepto de lo que sabemos que existe.

Por lo tanto, si el concepto de Dios es pensable y no contradictorio, es posible. Escoto dice que podemos llegar a un concepto relativamente simple de Dios, el concepto de "ser infinito". Pero en el caso de Dios, la posibilidad de su existencia implica la necesidad de su existencia, porque Dios es infinito. Este concepto puede parecer tan compuesto como "el bien más elevado" o la "primera causa", un ser que es infinito (ilimitado) como su forma intrínseca de existir. Por lo tanto, si es posible que exista, Dios existe necesariamente.

Aunque Escoto utilizó el argumento anselmiano, no lo aceptó como una prueba definitiva para la existencia de Dios, ya que los únicos argumentos demostrativos son a posteriori.

El Argumento en la Edad Moderna

El argumento de San Anselmo ha sido discutido durante la Edad Moderna por las corrientes filosóficas modernas del racionalismo y el empirismo. En el racionalismo, el argumento fue acogido en un ambiente favorable para su desarrollo, debido a la habitual construcción de sistemas filosóficos mediante solo la razón (a priori). En el empirismo, no se le ha considerado como un argumento sólido a causa de que admite la existencia de algo sin ser verificable mediante la experiencia.

René Descartes

El pensador francés René Descartes compuso varios argumentos que podrían denominarse ontológicos.

René Descartes (1596-1650) compuso una serie de argumentos ontológicos, que difieren de la formulación de Anselmo. En términos generales, son argumentos menos formales que la intuición natural. Escribió en su Quinta Meditación:

Pues bien, si del hecho de poder yo, sacar de mi pensamiento la idea de una cosa, se sigue que todo cuanto percibo clara y distintivamente que pertenece a dicha cosa, le pertenece en efecto, ¿no es ésta una posible base para un argumento para probar la existencia de Dios? Ciertamente, yo hallo en mí su idea de Dios o de un ser supremamente perfecto, es aquella que encuentro dentro de mí tan seguramente como la idea de cualquier figura o número; y no conozco con menor claridad y distinción que pertenece a su naturaleza una existencia eterna, de como conozco que todo lo que puedo demostrar de alguna figura o número pertenece verdaderamente a la naturaleza de éstos.

Meditaciones metafísicas con objeciones y respuestas, Meditación quinta (Alfaguara, Madrid 1977, p. 54-57).

Descartes argumentó que la existencia de Dios puede deducirse de su naturaleza, del mismo modo que las ideas geométricas pueden deducirse de la naturaleza de las figuras (utilizó la deducción de los tamaños de los ángulos en un triángulo como ejemplo). Sugirió que el concepto de Dios es el de un ser supremamente perfecto, que posee todas las perfecciones. Parece haber asumido que la existencia es un predicado de una perfección. Así, si la noción de Dios no incluía la existencia, no sería supremamente perfecta, ya que carecería de una perfección. En consecuencia, la noción de un Dios supremamente perfecto que no existe, Descartes argumenta, es ininteligible. Por lo tanto, según su naturaleza, Dios debe existir. Podría expresarse dos versiones de los argumentos ontológicos de Descartes:

Versión 1:

1. Toda idea clara y distinta que percibo es verdadera.
2. Percibo clara y distintamente que la existencia necesaria está contenida en la idea de Dios.
3. Por lo tanto, Dios existe.

Versión 2:

1. Tengo una idea de un ser supremamente perfecto, es decir, un ser que tiene todas las perfecciones.
2. La existencia necesaria es una perfección.
3. Por lo tanto, existe un ser supremamente perfecto.

Descartes' Ontological Argument (The Stanford Encyclopedia of Philosophy).

Nicolás Malebranche

En la filosofía cartesiana de Nicolás Malebranche, Dios desempeña un papel exclusivo, no sólo el creador, de todo lo existente, sino el que lleva implícito en sí todo lo existente. Dios es la única causa de todos los cambios (ocasionalismo). El conocimiento humano estriba en la contemplación de las ideas de cuanto existe, y la fuente de estas ideas es Dios (ontologismo). Todas las maneras de conocer entrañan cierta unión entre el cognoscente y lo conocido. Esta unión unas veces se produce directamente, y otras indirectamente. Cuando el objeto está dentro del alma, la unión cognoscitiva es directa. No se conoce por otro, sino por sí mismo, que es lo que ocurre con Dios.

Parece que Malebranche defendió un argumento ontológico. Malebranche sostiene que si conocemos a Dios, entonces Dios existe, ya que el Ser infinito no puede ser conocido a través de una idea sino sólo en sí mismo. Al saber su existencia, la infinitud es el atributo esencial de la divinidad, pues Dios no es sino la expresión del ser infinitamente perfecto. De ahí se determina sus demás atributos.

Baruch Spinoza

La proposición 11 de la primera parte de la Ética de Baruch Spinoza pretende probar la existencia de Dios, afirmando que: «Dios, o, en otras palabras, aquella sustancia constituida por un número infinito de atributos, cada uno de los cuales expresa una esencia eterna e infinita, existe necesariamente». Spinoza vendría a afirmar que: «Lo que carece de razón o causa que impida su existencia necesariamente existe. No hay razón o causa alguna capaz de impedir la existencia de Dios, luego Dios existe». Nosotros existimos y somos seres finitos. Por tanto, si Dios, siendo infinito, no existiera, los seres finitos serían más poderosos que Él, infinito, lo que es absurdo. El argumento ontológico de Spinoza se considera como parte de los argumentos mereológicos.

La siguiente prueba ontológica de Spinoza se resume en las primeras 14 proposiciones de la Ética:

Proposición 1: Una sustancia es de naturaleza anterior a sus afecciones.

Proposición 2: Dos sustancias que tienen diferentes atributos no tienen nada en común entre sí. (En otras palabras, si dos sustancias difieren en su naturaleza, entonces no tienen nada en común).

Proposición 3: Si las cosas no tienen nada en común entre sí, una de ellas no puede ser la causa de la otra.

Proposición 4: Dos o más cosas distintas se distinguen entre sí, ya sea por una diferencia en los atributos [es decir, las naturalezas o esencias] de las sustancias o por una diferencia en sus afecciones [es decir, sus propiedades accidentales].

Proposición 5: En la naturaleza, no puede haber dos o más sustancias de la misma naturaleza o atributo.

Proposición 6: Una sustancia no puede ser producida por otra sustancia.

Proposición 7: Pertenece a la naturaleza de una sustancia para existir.

Proposición 8: Toda sustancia es necesariamente infinita.

Proposición 9: Cuanto más realidad o ser tiene cada cosa, más atributos le pertenecen.

Proposición 10: Cada atributo de una sustancia debe concebirse por sí mismo.

Proposición 11: Dios, o una sustancia que consta de atributos infinitos, cada uno de los cuales expresa esencia eterna e infinita, necesariamente existe.

Proposición 12: No se puede concebir verdaderamente ningún atributo de una sustancia del que se siga que la sustancia pueda dividirse.

Proposición 13: Una sustancia absolutamente infinita es indivisible.

Proposición 14: Excepto Dios, ninguna sustancia puede ser ni concebirse.

El argumento ontológico de Spinoza difiere de los argumentos ofrecidos por Anselmo y Descartes porque Spinoza no deduce la existencia de Dios de la afirmación de que nuestra idea de Dios involucra la existencia y no asume que la existencia es una perfección.

Gottfried Leibniz

El filósofo alemán Gottfried Wilhelm Leibniz consideraba el argumento ontológico como «muy precioso e ingenioso».

Gottfried Wilhelm Leibniz sostuvo que el concepto de Dios es posible y escribió decenas de formulaciones distintas del argumento en sus obras y cartas. Algunos son variaciones de las versiones de Anselmo y Descartes, otras son argumentos a priori, y otras son de dudosa clasificación pero cumple con los requisitos. En su Monadología escribió:

(41) “De donde se sigue que Dios es absolutamente perfecto, no siendo la perfección sino la magnitud de la realidad positiva, tomadas precisamente, dejando aparte los límites o linderos en las cosas que los tienen. Y donde no hay ningún límite, es decir, en Dios, la perfección es absolutamente infinita”.

(44) “Pues si alguna realidad hay en las Esencias o posibilidades o bien en las verdades eternas, es preciso que dicha realidad esté fundada en algo existente y Actual, y, por consiguiente, en la Existencia del Ser necesario, en el cual la Esencia encierra la Existencia, o en el cual ser posible basta para ser Actual.

(45) Así, sólo Dios (o el Ser necesario) goza del siguiente privilegio: es preciso que exista, si es posible. Y como nada puede impedir la posibilidad de lo que no tiene ningún límite, ninguna negación, y, por consiguiente, ninguna contradicción, esto solo basta para conocer la Existencia de Dios a priori…”.

Monadología § 41, 44, 45 (1714)

El texto habitualmente se considera una formulación del argumento ontológico; sin embargo, dado su carácter sintético, podría ser interpretado ya como ontológico, ya como modal. Ambos pueden expresarse con la sentencia: “basta que sea posible para que exista”. En su Nuevos ensayos sobre el entendimiento humano, Leibniz vio un problema con el argumento ontológico de Descartes: había afirmado la coherencia de un ser «supremamente perfecto». Propuso que, a menos que se pudiera demostrar la coherencia de un ser supremamente perfecto, el argumento ontológico falla.

«No podemos inferir con seguridad de las definiciones hasta que sepamos que son reales o que no implican ninguna contradicción. La razón de esto es que a partir de conceptos que implican una contradicción, se pueden sacar conclusiones contradictorias simultáneamente, y esto es absurdo.»

Él dio su propia contribución al argumento ontológico al proporcionar una prueba de que Dios es posible. La prueba de Leibniz para demostrar que Dios es posible es mostrar que el concepto de Dios es consistente (que no es contradictoria). Leibniz veía la perfección como imposible de analizar; por lo tanto, sería imposible demostrar que todas las perfecciones son incompatibles.

«Llamo a cada cualidad simple que es positiva y absoluta, o expresa lo que expresa sin límites, una perfección. Pero una cualidad de este tipo, porque es simple, es, por lo tanto, irresoluble o indefinible, ya que de lo contrario no será una cualidad simple sino un agregado de muchas, o si es una, estará circunscrita por límites y así será conocido a través de negaciones de un progreso adicional contrario a la hipótesis, ya que se asumió una calidad puramente positiva. A partir de estas consideraciones, no es difícil mostrar que todas las perfecciones son compatibles entre sí o pueden existir en el mismo sujeto.»

Afirma que el argumento anterior demuestra todas las perfecciones pueden existir juntas en una sola entidad, y por consiguiente, que es posible que exista un ser perfecto. Dado que la existencia necesaria es, según Leibniz, una perfección, el argumento de Descartes es todavía válido. Leibniz cambió la definición de Dios como «ser perfecto» a la de «ser necesario», en donde si Dios no existiese o no es posible, nada existiría o ningún ser sería posible. Frente a este argumento, filósofos como Rescher, Iwanicki, Blumenfeld, Lomaski, Dumoncel y Auletta piensan que este argumento presenta una nueva formulación distinta del argumento ontológico, que se denomina "argumento modal".

Mulla Sadra

Mulla Sadra (c. 1571/2-1640) fue un filósofo islámico iraní chiita que fue influenciado por filósofos musulmanes anteriores como Avicena y Suhrawardi, así como el metafísico sufí Ibn Arabi. Sadra discutió los argumentos de Avicena para la existencia de Dios, afirmando que no eran a priori. Él rechazó el argumento sobre la base de que la existencia precede a la esencia, o que la existencia de los seres humanos es más fundamental que su esencia.

Sadra presentó un nuevo argumento, conocido como Argumento Seddiqin o Argumento de los Justos. El argumento intenta probar la existencia de Dios a través de la realidad de la existencia, y concluir con la necesidad pre-eterna de Dios.En este argumento, una cosa se demuestra a través de sí misma, y un camino es idéntica a la meta. En otros argumentos, la verdad se alcanza desde una fuente externa, tal como desde lo posible a lo necesario, desde el originado al origen eterno, o desde el movimiento al motor inmóvil. En el argumento de los justos, no hay término medio que no sea la verdad. Su versión del argumento ontológico puede resumirse de la siguiente manera:

1. Hay existencia.
2. La existencia es una perfección por encima de la cual no se puede concebir la perfección.
3. Dios es perfección y perfección en existencia.
4. La existencia es una realidad singular y simple; no hay pluralismo metafísico.
5. Esa singular realidad se clasifica en intensidad en una escala de perfección (es decir, una negación de un monismo puro).
6. Esa escala debe tener un punto límite, un punto de mayor intensidad y de mayor existencia.
7. Por lo tanto, Dios existe.

Mulla Sadra describe este argumento en su obra principal Al-asfar Al-arba'a (Cuatro viajes) de la siguiente manera:

La existencia es una realidad única, objetiva y simple, y no hay diferencia entre sus partes, salvo en términos de perfección e imperfección, fuerza y debilidad [...] Y la culminación de su perfección, donde no hay nada más perfecto, es su independencia de cualquier otra cosa. Nada más perfecto debe ser concebible, ya que cada cosa imperfecta pertenece a otra cosa y necesita ser perfecta. Y, como ya se ha explicado, la perfección es anterior a la imperfección, la realidad a la potencia y la existencia a la no existencia. También, se ha explicado que la perfección de una cosa es la cosa misma, y no una cosa además de ella. Por lo tanto, ya sea la existencia es independiente de los demás o está en necesidad de otros. Lo primero es lo Necesario, que es pura existencia. Nada es más perfecto que Él. Y en Él no hay lugar para la no existencia o imperfección. Este último es distinto de Él, y es considerado como Sus actos y efectos, y para otros que Él no hay subsistencia, a menos que por Él. Pues no hay imperfección en la realidad de la existencia, y la imperfección se añade a la existencia solo por la calidad de ser causada, ya que es imposible que un efecto sea idéntico a su causa en términos de existencia.

Mulla Sadra

Los idealistas alemanes

Hegel creía que la existencia se establecería como un predicado en un ser infinito solamente.

El idealismo alemán representó la vuelta a la metafísica después de la crítica de Kant a esta. Ahora, esta no se refiere a la cosa en sí misma, pues implicaría un retroceso hacia el dogmatismo, sino sobre las representaciones mentales, al punto tal de identificar el pensamiento con la realidad. Los filósofos más importantes de este período son Johann Gottlieb Fichte, Friedrich Schelling y Georg Wilhelm Hegel. Los tres han desarrollado un sistema filosófico muy similar, comúnmente llamado “panteísmo idealista” construido totalmente a priori. Graham Oppy señala su escepticismo de la existencia de un argumento ontológico hegeliano, pues todavía ha sido presentado las premisas de este supuesto argumento, aunque estudiosos del corpus hegeliano han afirmado que todo su filosofía constituye todo un argumento ontológico.

Hegel consideraba, no obstante, que entender la existencia como la posición del concepto ya exhaustivamente determinado no implica una verdadera superación de la particular noción de ser que está a la base del argumento ontológico en su formulación clásica. Sobre dicha noción se constituyen para Hegel una concepción de la realidad y una concepción de lo Absoluto, una ontología y una teología, que le son correlativas. En su Ciencia de la lógica sostiene que en las cosas finitas su esencia se distingue claramente de su existencia. Por ello, estas pueden pensarse como existentes o como no existentes ya que, de hecho, pueden existir o no existir.

“Pero con respecto a Dios, el pensamiento y la existencia, el ser y la noción son idénticos; y es precisamente aquella unidad de la noción y del ser por la cual Dios está constituido (…) Esta observación vulgar de la crítica kantiana de que el pensamiento y el ser son dos cosas distintas podrá turbar el espíritu, pero no conseguirá detener el movimiento por el que el espíritu va del pensamiento de Dios a la afirmación de su existencia”

De esta manera, Hegel se basa en que el pensamiento y realidad son idénticos, característica de su idealismo extremo. Por esta razón, la prueba cambia radicalmente de sentido ya que no pretende probar que lo que existe en el pensamiento existe también en la realidad como si pensamiento y realidad fueran dos planos diferentes. Según Hegel "lo racional es real". Entonces, si la existencia de Dios es necesaria en el pensamiento también lo es en la realidad.

Argumento Mereológico

Los argumentos mereológicos son argumentos ontológicos que se basan en los recursos de la mereología, es decir, la teoría de la relación partes con el todo. Una instancia de argumentos de este tipo es la siguiente:

1. Yo existo. (Premisa, contingente a priori )
2. (Por lo tanto) Existe algo, es decir, al menos una cosa. (1)
3. Siempre que algunas cosas existen, hay algo de lo que todas son partes. (Premisa de mereología)
4. (Por lo tanto) Hay exactamente una cosa de la cual todo es parte. (De 2, 3)
5. Lo único de lo que todo es parte es Dios. (Definición del panteísmo)
6. (Por lo tanto) Dios existe. (Desde 4, 5)

Argumento Meinongiano

Estos son los argumentos que dependen de las teorías sobre los objetos de Alexius Meinong, basándose en la cuantificación sobre (o referencia a) objetos inexistentes. Una forma de representarlo sería así:

1. Todas las instancias de la frase "A B es B" son verdaderas.
2. Un Ser Perfecto existente es existente es verdadero.
3. Por lo tanto, un Ser Perfecto existente existe.

• Conclusión: Dios existe.

Los meinongianos supondrían que si B se ejemplifica con cualquier propiedad, entonces el resultado es verdadero (y muy probablemente, necesario, analítico y a priori). Por ejemplo, el cuadrado redondo es redondo; el rey calvo de Francia es calvo. Este es el principio de caracterización, que postula que cualquier objeto tiene esas propiedades que se caracteriza por tener ("El AB es A y B, respectivamente"). Lo único que se ha hecho es cambiar A por Ser Perfecto y B por existente.

Sin embargo, los meinongianos más sofisticados insistirán en que debe haber alguna restricción en las instancias de sustitución para B, para permitir a uno extraer la obvia e importante distinción ontológica entre los dos grupos siguientes: {el Sol, la Torre Eiffel, etc} y {Santa Claus, Mickey Mouse, el cuadrado redondo, etc}.

La elección del vocabulario aquí es controvertido: se supones que las cosas anteriores existen y las últimas no. Bajo esta suposición, 'existente' no será una instancia de sustitución adecuada para B, ya que aún no se puede incluir a Dios en el primer grupo de objetos con seguridad. Los expertos reconocerán que el punto crucial es que los argumentos ontológicos meinongianos no respetan la distinción entre propiedades nucleares (propiedades que caracterizan la naturaleza de un objeto presentado) y no nucleares (no asumibles, propiedades que no son constitutivas ni una parte consecutiva de su naturaleza).

Se debe tener en cuenta que ni Meinong, ni ninguno de sus partidarios modernos bien conocidos como Terence Parsons o Richard Sylvan respaldan el argumento ontológico meinongiano, y también deben señalarse que la mayoría motiva la distinción entre propiedades nucleares y no nucleares en parte por la necesidad de evitar argumentos ontológicos meinongianos.

Argumentos modales

La lógica modal se ocupa de la lógica de la posibilidad, así como de la necesidad. Paul Oppenheimer y Edward N. Zalta señalan que "muchos autores recientes han interpretado este argumento como modal". En la frase "aquello de lo que ninguno más grande puede ser concebido", la palabra "puede" podría interpretarse como una posibilidad metafísica. Sin embargo, los autores escriben que "la lógica del argumento ontológico en sí no incluye inferencias basadas en esta modalidad".

No obstante, ha habido versiones lógicas más actuales y modales del argumento ontológico que intentan evitar la parte del argumento de Anselmo que trata la existencia como un predicado.

Kurt Gödel

Se atribuye a Gödel la frase "No creo en la ciencia empírica. Yo solo creo en la verdad a priori ".

El matemático Kurt Gödel proporcionó un argumento formal para la existencia de Dios. El argumento fue construido por él, pero no publicado hasta mucho después de su muerte. Proporcionó un argumento lógicamente válido basado en la lógica modal; utilizó la concepción de las propiedades, concluyendo finalmente con la existencia de Dios.

Definición 1: x es como Dios si y sólo si x tiene como propiedades esenciales aquellas y solo aquellas propiedades que son positivas.

Definición 2: A es una esencia de x si y solo si para cada propiedad B, x tiene B necesariamente si y solo si A implica B.

Definición 3: x necesariamente existe si y solo si cada esencia de x es necesariamente ejemplificada.

Axioma 1: Si una propiedad es positiva, entonces su negación no es positiva.

Axioma 2: Cualquier propiedad implicada por, es decir, estrictamente implícita por una propiedad positiva es positiva.

Axioma 3: La propiedad de ser semejante a Dios es positiva.

Axioma 4: Si una propiedad es positiva, entonces es necesariamente positiva.

Axioma 5: La existencia necesaria es positiva.

Axioma 6: Para cualquier propiedad P, si P es positivo, entonces necesariamente P es positivo.

Teorema 1: Si una propiedad es positiva, entonces es consistente, es decir, posiblemente ejemplificada.

Corolario 1: La propiedad de ser semejante a Dios es consistente.

Teorema 2: Si algo es semejante a Dios, entonces la propiedad de ser semejante a Dios es una esencia de esa cosa.

Teorema 3: Necesariamente, la propiedad de ser semejante a Dios se ejemplifica.

Gödel definió ser «semejante a Dios» como teniendo cada característica positiva. Dejó el término «positivo» indefinido. Gödel propuso que se entienda en un sentido estético y moral, o alternativamente como lo opuesto a la privación (la ausencia de cualidades necesarias en el universo). Advirtió contra la interpretación de «positivo» como moral o estéticamente «bueno» (la más grande ventaja y la menor desventaja), ya que esto incluye características negativas. En su lugar, sugirió que el «positivo» debe interpretarse como perfecto, o «puramente bueno», sin características negativas.

Los teoremas de Gödel se enumeran a partir de los axiomas, por lo que la mayoría de las críticas de la teoría se centran en los axiomas o las suposiciones hechas. Oppy argumentó que Gödel no da una definición de «propiedades positivas». Sugirió que si estas propiedades positivas forman un conjunto, no hay razón para creer que existe tal conjunto que sea teológicamente interesante, o que haya solo un conjunto de propiedades positivas que sea teológicamente interesante.

Hartshorne y Malcolm

Charles Hartshorne y Norman Malcolm son los principales responsables de la introducción de versiones modales del argumento en el debate contemporáneo. Ambos afirmaron que Anselmo tenía dos versiones del argumento ontológico, el segundo de los cuales era una versión lógica modal. La versión del argumento ontológico modal de Hartshorne se basa en la proposición “La existencia de Dios es necesaria o imposible”, ya que la posibilidad o la contingencia no pueden aplicarse a Dios. Esta versión del argumento fue formalizada por O´Hear con un modus tollendo tollens:

1. Si Dios no existe, entonces, Dios no existe necesariamente (-p→□-p ).
2. Pero, no necesariamente Dios no existe (-□-p ).
3. Por lo tanto, Dios existe (p ).

Esta versión está representada por Malcolm de la siguiente manera:

• 1. Dios existe o Dios no existe.
• 2. Dios no puede existir ni desaparecer.
• 3. Si Dios existe, Dios no puede dejar de existir.
• 4. Por lo tanto, si Dios existe, la existencia de Dios es necesaria.
• 5. Si Dios no existe, Dios no puede existir.
• 6. Por lo tanto, si Dios no existe, la existencia de Dios es imposible.
• 7. Por lo tanto, la existencia de Dios es necesaria o imposible.

Malcolm ahora agrega dos premisas adicionales para completar la forma de argumento ontológico que encuentra en el capítulo 3 del Proslogion de San Anselmo:

• 8. La existencia de Dios es solo imposible si el concepto de Dios es autocontradictorio.
• 9. El concepto de Dios no es autocontradictorio.
• 10. Por lo tanto, la existencia de Dios no es imposible.
• 11. Por lo tanto (de (7) y (10)), Dios existe necesariamente.

Refiriéndose a los dos argumentos ontológicos propuestos por Anselmo en los capítulos 2 y 3 de su Proslogion, Malcolm apoyó la crítica de Kant al argumento de Anselm en el capítulo 2: que la existencia no puede ser la perfección de algo. Sin embargo, identificó lo que él ve como el segundo argumento ontológico en el Capítulo 3 que no es susceptible a tal crítica. Al rechazar la idea de que la existencia en sí misma es una perfección, Malcolm argumentó que la existencia necesaria es una perfección. Malcolm apoyó la definición que Dios es "un ser del que nada más grande puede ser imaginado" y sugirió que hace de la proposición de la existencia de Dios una afirmación lógicamente necesariamente verdadera (como "un cuadrado tiene cuatro lados" es lógicamente necesariamente cierto).

Alvin Plantinga

Alvin Plantinga afirma que "como es racional aceptar la premisa central (del argumento ontológico), sí demuestra que es racional aceptar la conclusión."

El filósofo cristiano Alvin Plantinga defendió el esencialismo en su trabajo The Nature of Necessity, donde da un estudio completo al concepto de necesidad. En él dedica varios capítulos defendiendo que llama la necesidad de re (de una cosa), la idea que los objetos puedan tener propiedades modales como atributos esenciales. Para ello, Plantinga usó la noción de mundos posibles, realidades abstractas conceptuales inmensamente complejas que definen "cómo prodrían haber sido las cosas". Plantinga criticó los argumentos de Malcolm y Hartshorne, y ofreció una alternativa. Sostuvo que, si Malcolm demuestra la existencia necesaria del ser más grande posible, se deduce que hay un ser que existe en todos los mundos cuya grandeza en algunos mundos no es superada. Argumenta, no demuestra que ese ser tenga una grandeza insuperable en este mundo.

En un intento de resolver este problema, Plantinga diferenció entre "grandeza" y "excelencia". La excelencia de un ser en un mundo posible depende solo de sus propiedades en ese mundo; la grandeza de un ser depende de sus propiedades en todos los mundos. Por lo tanto, el ser más grande posible debe tener excelencia máxima en cada mundo posible. Plantinga luego reformuló el argumento de Malcolm, usando el concepto de "grandeza máxima".

Una versión de su argumento es la siguiente:

1. Un ser tiene la excelencia máxima en un mundo posible W si y solo si es omnipotente, omnisciente y totalmente bueno en W; y
2. Un ser tiene la grandeza máxima si tiene excelencia máxima en cada mundo posible.
3. Es posible que haya un ser que tenga la grandeza máxima. (Premisa)
4. Por lo tanto, posiblemente, es necesariamente cierto que existe un ser omnisciente, omnipotente y perfectamente bueno.
5. Por lo tanto, (por el axioma S5) es necesariamente cierto que existe un ser omnisciente, omnipotente y perfectamente bueno.
6. Por lo tanto, existe un ser omnisciente, omnipotente y perfectamente bueno.

Según el apologista William Lane Craig, considera que este argumento tiene más posibilidades de ser convincente que sus predecesores. Craig caracteriza el argumento de Plantinga de una manera ligeramente diferente:

1. Es posible que exista un gran ser máximo.
2. Si es posible que exista un ser máximo, entonces existe un ser máximo en algún mundo posible.
3. Si existe un ser máximo en algún mundo posible, entonces existe en todos los mundos posibles.
4. Si existe un ser máximo en todos los mundos posibles, entonces existe en el mundo real.
5. Si existe un ser máximo en el mundo real, entonces existe un ser máximo.
6. Por lo tanto, existe un gran ser máximo.

Plantinga admite que cualquiera que haya comprendido el argumento podría rechazarlo si duda de la primera premisa, permaneciendo agnóstico o incluso aceptar la posibilidad de inexistencia de un gran ser máximo. Aun así, Alvin cree que no es irracional aceptar la primera premisa. Por ejemplo, tomando el argumento:'

• (46) O 7 + 5 = 13, o Dios existe;

• (47) 7 + 5 no es 13;

por lo tanto,

• (48) Dios existe.

"Este argumento es válido. Como acepto su conclusión y, por lo tanto, su primera premisa, creo que también es sólida. Aun así, apenas podía reclamar mucho por ello como una pieza de teología natural. Probablemente nunca se ubicará en la Tercera Vía de Aquino, ni siquiera."

The Nature of Necessity p.217

Sin embargo, Plantiga argumentó que aunque la primera premisa no está establecida racionalmente, no es contraria a la razón:

"Por lo tanto, nuestro veredicto sobre estas versiones reformuladas del argumento de San Anselmo debe ser el siguiente. Tal vez no se pueda decir que prueben o establezcan su conclusión. Pero como es racional aceptar su premisa central, sí demuestran que es racional aceptar esa conclusión. Y tal vez eso es todo lo que se puede esperar de cualquier argumento de este tipo."

The Nature of Necessity p.221

Plantiga cree que el argumento ontológico provee una buena base para la existencia de Dios. No obstante, Richard M. Gale afirma que muchos ateos rechazarían que hay un mundo posible donde exista necesariamente un ser máximo y que al basarse en el axioma S5 sería una petición de principio.

Un enfoque para apoyar la premisa de posibilidad en la versión del argumento de Plantinga fue intentado por Alexander R. Pruss. Comenzó con el aforismo del filósofo indio Sankara de los siglos VIII y IX d.C. de que si algo es imposible, no podemos tener una percepción de que es el caso. De esto se sigue que si tenemos una percepción de p, entonces aunque no sea el caso de p exista, al menos es posible que p. Si los místicos de hecho perciben la existencia de un ser máximo máximo, se deduce que la existencia de un ser máximo es al menos posible. Gale y Pruss formularon además conjuntamente un versión modal del argumento cosmológico. Otra defensa es demostrar que Dios es un ser necesario comparándolo con objetos abstractos como números, figuras geométricas o proposiciones. Por ejemplo, el número 2 no puede no existir, así que necesariamente tiene que existir en todos los mundos posibles. No obstante, la afirmación de que los objetos abstractos dependen para su existencia de Dios también tiene problemas.

Carl R. Kordig

Carl Robert Kordig presentó un argumento deóntico-ontológico basado en la lógica deóntica (de las ideas normativas). Lo que es deontológicamente perfecto deberiá existir y según Kordig, Dios es el ser más perfecto, y por consiguiente, debería de existir. Pero Kordig argumenta que lo que debería existir, puede existir, derivado de la ética deontológica de Immanuel Kant "deber implica poder".

1. Debería existir un ser perfecto:
2. Lo que debería existir es posible (Deber implica poder):
3. Si un ser perfecto debería existir, entonces es posible un ser perfecto:
4. Si un ser perfecto es posible, hay un ser perfecto es posiblemente necesario. (Por Axioma S5, un ser perfecto esencialmente perfecto es necesariamente existente):
5. Si un ser perfecto es posiblemente necesario, entonces un ser perfecto es necesario.

• Entonces, hay un ser perfecto.

Por modus ponens se demuestra que Dios es posible, y como Dios al no ser contingente, solo puede existir necesariamente, y por modus ponens se concluye su existencia. Críticos como Michael Martin y Patrick Grim usaron este argumento para demostrar la existencia de la "isla más perfecta" y el "super ser más malvado". Grim y Oppy argumentan que esta formulación falla ya que un ser deontológicamente perfecto no posee existencia necesaria, lo cual el argumento modal requiere.

Razonamiento automatizado

Los autores Paul Oppenheimer y Edward Zalta en 2011 investigaron el argumento ontológico computacionalmente. Utilizaron un motor de razonamiento automático de teoremas automatizado, Prover9, para validar la tesis ontológica de Anselmo. Las premisas y la conclusión del argumento se representan en la sintaxis entendida por el Prover9. Usando la lógica de las descripciones definidas, los autores desarrollaron una representación válida del argumento que requería tres premisas no lógicas. Sin embargo, descubrió un argumento válido más simple para la existencia de Dios desde una única premisa no lógica.

Los investigadores Christoph Benzmülle y Bruno Woltzenlogel publicaron en 2013 un artículo donde prueban el argumento ontológico sobre la existencia de Dios del matemático Kurt Gödel con una demostración con los motores de razonamiento automático de teoremas LEO-II y Satallax. Sin embargo “el artículo no pretende haber demostrado la existencia de Dios ni nada parecido”, aclara Joan Bagaria, profesor de Lógica y Filosofía de la ciencia de la Universidad de Barcelona. “Consiste en una formalización y verificación del argumento ontológico dado por Gödel, y la gracia del asunto es que esto se ha conseguido usando sistemas computacionales”. El matemático Jorge López Abad, del ICMAT, coincide:

“Lo que han hecho estos autores es formalizar el resultado de Gödel en lenguajes informáticos apropiados y luego utilizar paquetes de demostración automátizados para que una máquina demuestre ese resultado, pero las implicaciones filosófico-religiosas las desconozco”.

Contraargumentos

La isla de Gaunilo

Una de las primeras refutaciones del argumento de Anselmo fue planteada en En Defensa Del Necio por Gaunilo de Marmoutiers, uno de sus contemporáneos quien invitó a sus lectores a concebir la mayor y más perfecta isla. Dicha isla, según Gaunilo, es muy probable que no exista. Sin embargo, de acuerdo con el argumento de Anselmo, en tal caso no estaríamos concibiendo la mayor y más perfecta isla concebible, ya que la mayor isla existiría en la realidad, y además debería tener todos los demás atributos de perfección y grandeza que se puedan concebir. Aun así, el Universo insiste en no albergar tal isla. Y aunque, según Gaunilo, este argumento pueda parecer absurdo y contrario a la realidad, no lo es más que el de Anselmo.

Este argumento se engloba en las llamadas objeciones por saturación: no pretenden mostrar dónde o cómo falla el argumento, sino que simplemente razonan que si se acepta como válida la forma de razonar del argumento ontológico, entonces se habrán de aceptar las conclusiones de todos aquellos razonamientos corolarios que siendo formalmente análogos a aquel llevan a conclusiones absurdas e incluso contrarias a la más directa experiencia; tales argumentos, en efecto, saturarían al universo con un número indefinidamente grande de islas perfectas necesariamente existentes, lagartijas perfectas, lapiceros perfectos, etcétera. Además, el contraargumento de Gaunilo viene a señalar la que se ha visto como principal debilidad del argumento ontológico, el que algo sea más perfecto existiendo que no existiendo, lo cual se ha señalado como escurridizo y carente de sentido, ya que supone comparar algo que existe con algo que no es.

Anselmo respondió a la crítica de Gaunilo argumentando que el argumento se aplicaba solo a conceptos con existencia necesaria. Sugirió que sólo un ser con existencia necesaria puede cumplir el mandato de "aquello que no puede concebirse nada más grande". Además, un objeto contingente, como una isla, siempre podría mejorarse y, por lo tanto, nunca podría alcanzar un estado de perfección. Por esa razón, Anselmo descartó cualquier argumento que no se relacionara con un ser con existencia necesaria.

Alvin Plantinga criticó que "la idea de una isla que no es posible que haya mayor" es tan incoherente como la idea de "un número natural que no es posible que haya mayor" porque "no importa cuán grande sea una isla, no importa cuántas doncellas nubias y bailarinas la adornen, siempre podría haber una mayor". Graham Oppy por otro lado defiende que Gaunilo está de acuerdo en que el Necio sostiene que no existe tal cosa como "esa isla que no puede concebirse mayor isla" y "algo mayor que aquello que no puede concebirse mayor" porque ambas refieren a "algo que no puede concebirse mayor" pero "ninguna de ellas se refiere a algo que posiblemente podría existir (en realidad)".

Tomás de Aquino

Santo Tomás de Aquino fue uno de los primeros teólogos en rechazar el argumento ontológico.

Tomás de Aquino, en su Summa Theologica, acepta que Dios es a lo que se denomina como el fundamento de lo que es, luego la proposición "Dios existe" es necesariamente verdadera, porque en ella el sujeto y el predicado son lo mismo (como se lee en el Éxodo, capítulo 3, versículo 14, Dios le dice a Moisés: "Yo soy el que soy". Esto es a lo que el filósofo Brian Davies llama "el argumento de la existencia".

"Pues si las cosas, entre sí diversas, coinciden en algo, es necesario que haya alguna causa de tal coincidencia, ya que las cosas diversas no coinciden entre sí por sí mismas. Por eso, cuando entre cosas diversas se encuentra algo común, es necesario que este algo tenga alguna causa. [...] Por lo tanto, es necesario que haya un principio del ser por el que tengan ser las cosas, incluso las más diversas, tanto si son invisibles y espirituales como si son visibles y corporales."

Suma teológica, Parte I, Cuestión 65, Artículo 1

No obstante, se opuso al argumento de Anselmo. Sugirió que las personas no pueden conocer la naturaleza de Dios y, por lo tanto, no pueden concebir a Dios de la manera que Anselmo propuso.

«Por consiguiente, digo: La proposición Dios existe, considerada en sí misma, es evidente por sí misma, ya que en ella sujeto y predicado son lo mismo, pues Dios es su mismo ser, como veremos (q.3 a.4). Pero, puesto que no sabemos en qué consiste Dios, para nosotros no es evidente, sino que necesitamos demostrarlo a través de aquello que es más evidente para nosotros y menos por su naturaleza, esto es, por los efectos.»

Suma teológica, Parte I, Cuestión 2, Artículo 1

La prueba de Anselmo parte de que Dios es concebible. Santo Tomás razonó que Dios es evidente en sí (quoad se), pero no para nosotros (quoad nos). Solo se puede conocer a Dios mediante su esencia, y como solo Dios puede conocer completamente su esencia, solo Él podría usar el argumento. Hasta el mismo Albert Einstein explica esta situación sobre la incomprensión de los atributos de Dios:

«La mente humana es incapaz de concebir las cuatro dimensiones. ¿Cómo puede concebir un Dios, ante quien mil años y mil dimensiones son como una? »

Albert Einstein, Cosmic Religion

Según Tomás, se deduce que la existencia de Dios, aun cuando en sí misma no se nos presenta como evidente (a priori), es demostrable por los efectos (a posteriori) con que nos encontramos. Tomás concluye que aun si la palabra Dios se entiende como el ser más perfecto, no se sigue que este se dé en la realidad, sino tan solo en la comprensión del entendimiento. Tampoco se puede deducir que exista en la realidad sin que se presuponga que en la realidad exista tal ser. Su rechazo del argumento ontológico causó que otros teólogos católicos también rechazaran el argumento. No obstante, la posición de Tomás ha sido vista como contradictoria porque si el argumento ontológico se rechaza, partiendo de la idea de Dios como un ser posible no se podría concluir que es un ser necesario, cosa que afirma desde su tercera vía, volviendo absurdo la identificación de la esencia de Dios con su existencia. Leibniz sostendrá la armonía del argumento ontológico con la tercera vía. Por otro lado Kenneth Einar Himma señala que el argumento de Anselmo no necesita de una completa comprensión del concepto de Dios, solo que el concepto es coherente.

Ockham

Guillermo de Ockham rechazó tanto la prueba ontológica de Anselmo y la cosmológica de Aquino, cada una con sus versiones diferentes. Ockham cree que cada uno se reduce a un argumento acerca de la imposibilidad de una regresión infinita. Es decir, si la inexistencia de Dios implica una regresión infinita, entonces se aceptaría la conclusión de su existencia. Sin embargo, Ockham niega que la inexistencia de Dios implica algo así según la distinción aristotélica entre infinito extensivo e intensivo:

• Un infinito extenso es una cantidad incontable de cosas existentes. Los platonistas matemáticos creen que el conjunto de números como es un infinito extenso. Ockham considera contradictoria la idea de una cantidad incontable ya que Dios podría contarlos. Con esto también niega las regresiones infinitas.

• Un infinito intensivo, por otro lado, es solo una falta de limitación. Como nominalista, Ockham entiende que el conjunto de los números enteros es un infinito intensivo en el sentido de que no existe un límite alcista sobre cuán lejos puede contar alguien. Esto no significa que el conjunto de números enteros sea una cantidad incontable de cosas realmente existentes.

La respuesta de Ockham al argumento es que no prueba que haya una sola entidad más grande. Ockham adopta la doctrina medieval Gran Cadena del Ser, en la que la naturaleza puede clasificarse en una jerarquía de seres en la que implica que la grandeza es una cualidad objetivamente existente. Teniendo en cuenta la Gran Cadena del Ser si Dios y los ángeles no existen, los seres humanos serían las entidades más grandes, y si hubiera un solo mejor ente entre los seres humanos, él o ella sería un "dios".

John Locke

Uno de los primeros filósofos modernos en criticar el argumento ontológico es el fundador del empirismo, John Locke. Luego de refutar la teoría de las ideas innatas de Descartes en su Ensayo sobre el entendimiento humano, donde afirma que todas las ideas derivan de la experiencia. Locke considera que:

"[S]i se formara una comunidad de niños en una isla en la que no hubiera fuego, no tendría ni la noción ni el nombre para tal cosa a pesar de que fuera conocida y recibida en el resto del mundo de manera universal. Y también, quizá, estarían lejos de tener un nombre o una noción de Dios hasta que alguno de ellos reflexionara sobre el origen y las causas de las cosas, lo cual le llevaría fácilmente a la noción de Dios. Una vez enseñada esa noción, la razón y la tendencia natural de los pensamientos la extenderían después y la conservarían entre ellos."

Ensayo sobre el entendimiento humano. Capítulo III , 11. La idea de Dios no es innata

En un opúsculo posterior, Locke analiza la versión cartesiana del argumento, centrándose en la idea de existencia necesaria. Esta idea, según Locke, favorece tanto a quien quiera probar la existencia de un Dios inmaterial y creador (que llama el Dios teísta) como a la de una materia primigenia y sin conocimiento (que llama la materia de los ateos), ya que si se puede agregar la idea de existencia necesaria a Dios, también se la puede agregar a la materia de los ateos.

Hacia el final del opúsculo, Locke concluye que no se puede pasar del plano de las ideas al de la existencia en una argumentación que pretenda ser válida:

“...agregar en nuestros pensamientos la idea de existencia necesaria a una idea de una sustancia material sin sentido, o a la idea de un espíritu de conocimiento inmaterial, no hace que ninguno de ellos exista, ni altera nada en la realidad de su existencia. [...] Por las ideas del espíritu discernimos el acuerdo o desacuerdo de las ideas que tienen una existencia ideal semejante en nuestros espíritus […] Pero cualquier idea, simple o compleja, por el mero hecho de estar en nuestros espíritus, no es evidencia de la existencia real de una cosa exterior a nuestros espíritus que corresponde a aquella idea. La existencia real sólo puede probarse por la existencia real; y, por tanto, la existencia real de Dios sólo puede probarse por la existencia real de otras cosas”

The life of John Locke, with extracts from his correspondence, journals, and common-place books, pag 137-138

David Hume

Para David Hume las afirmaciones existenciales son cuestiones de hecho y nunca pueden demostrarse a priori.

Uno de los principales ataques contra el argumento ontológico es su apriorismo: al contrario de, por ejemplo, las cinco vías de Santo Tomás, el argumento ontológico parte de la existencia de Dios a priori para demostrarla. El filósofo escocés David Hume produjo, en ese sentido, una refutación del argumento bajo un empirismo extremo de Locke, en virtud de la cual trataba de demostrar que nada puede probarse como existente a partir de un argumento racional a priori. Hume argumentó que o "la idea de existencia debe derivarse de una impresión distinta, unida a cada percepción u objeto de nuestro pensamiento, o debe ser la misma que la idea de la percepción u objeto". Pero como es imposible "señalar esa impresión distinta, de la cual se deriva la idea de entidad" y "probar que esta impresión es inseparable de toda percepción que creemos que existe", entonces no hay impresión de existencia distinta de la impresión de un objeto. Demostrar la existencia de un objeto entonces se ha de tener una impresión de él. Luego, Hume sostuvo "los razonamientos abstractos no pueden decidir ninguna cuestión de hecho o existencia" (véase el Tenedor de Hume). En Investigación sobre el entendimiento humano escribió:

Si tomamos en nuestra mano cualquier volumen; de divinidad o metafísica escolar , por ejemplo; Preguntémonos: ¿Contiene algún razonamiento abstracto sobre la cantidad o el número? No. ¿Contiene algún razonamiento experimental sobre cuestiones de hecho y existencia? No. Entréguenlo entonces a las llamas: porque no puede contener más que sofismas e ilusiones.

Hume resume su crítica todo argumento apriorístico en Dialogues concerning Natural Religion (Diálogos sobre la religión natural) con la siguiente cita:

Es un absurdo evidente pretender demostrar un hecho como necesario, o pretender demostrarlo con cualesquiera argumentos a priori. Nada es demostrable salvo si su contrario implica una contradicción. Nada que sea distintivamente concebible implica una contradicción. Cualquier cosa que concebimos como existente igualmente la podemos concebir como inexistente. No hay, por tanto, ser alguno cuya inexistencia implique una contradicción. En consecuencia, no hay ser alguno cuya existencia sea demostrable a priori.

Este razonamiento podría resumirse en:

1. Podemos concebir la existencia de Dios.
2. Si podemos concebir la existencia de algo, podemos concebir su inexistencia.
3. Si podemos concebir la inexistencia de Dios, entonces la inexistencia de Dios no implica una contradicción.
4. Si la existencia de Dios es necesaria, entonces la no existencia de Dios implica una contradicción.
5. Por tanto, la existencia de Dios no es necesaria.

Immanuel Kant

Immanuel Kant planteó que "la existencia de la cosa está en conexión con nuestras percepciones".

Existe un cierto consenso en que fue Immanuel Kant el que vino a clarificar la polémica que rodea al argumento ontológico. A lo largo de su Crítica de la razón pura, distinguió tres tipos de argumentos para la existencia de Dios: ontológico, cosmológico y teleológico. Kant intentó demostrar la inconsistencia de una prueba ontológica, tratándola en la dialéctica trascendental.

Ofreció una serie de argumentos separados pero interconectados en contra del argumento ontológico, apoyándose en los conceptos de juicios sintéticos y analíticos. En un juicio analítico, el predicado expresa de un concepto algo que ya está contenido en el concepto, y por tanto es una tautología (ej: un triángulo tiene tres lados); en un juicio sintético, el predicado liga el concepto con algo externo a él que no se colegía lógicamente del mismo (ej: la Tierra es un esferoide): el conocimiento nuevo se construye a partir de juicios sintéticos.

1. Primeramente, Kant razona que no está nada claro que la idea de un ser absolutamente necesario signifique algo en realidad: señala como escurridiza la afirmación de que la existencia es mejor que la inexistencia. Norman Malcolm también sostuvo esta opinión.
2. Segundo, Kant arguye que si incluimos la existencia en la definición de algo, entonces afirmar que ese algo existe es una tautología. Si decimos que la existencia es parte de la definición de Dios (lo cual tomamos por un juicio analítico), entonces simplemente nos estamos repitiendo al afirmar que Dios existe, sin aportar juicio sintético alguno que pudiera añadir nueva información respecto a la existencia de Dios.
3. Tercero, Kant afirma que «existir no es obviamente una afirmación real», y que no puede ser parte del concepto de algo. Esto es, que decir que algo es o existe no es decir algo de un concepto, sino que por el contrario indica que hay un objeto que se corresponde con el concepto, y que «el objeto, como realmente existe, no está analíticamente contenido en mi concepto, sino que se añade al mismo». Es decir, cualquiera que sea el concepto de un objeto, se ha de salir del concepto si se quiere atribuirle existencia al objeto. Con respecto a los objetos sensibles, decir que algo existe no implica que tiene una propiedad adicional que es parte de su concepto, sino que será encontrado fuera de nuestros pensamientos y que tenemos la percepción empírica del mismo en el espacio y el tiempo. Una cosa realmente existente carece de cualquier propiedad que pudiera predicarse de ella y que la diferenciara del concepto de la misma. De este modo, lo real no contiene más que lo posible.

"De este modo, lo real no contiene más que lo posible. Cien táleros reales no poseen en absoluto mayor contenido que cien táleros posibles. En efecto, si los primeros contuvieran más que los últimos y tenemos, además, en cuenta que los últimos significan el concepto, mientras que los primeros indican el objeto y su posición, entonces mi concepto no expresaría el objeto entero ni sería, consiguientemente, el concepto adecuado del mismo."

Crítica de la razón Pura, Ed. Alfaguara, Madrid, 1978, pp.504

Lo que distingue el objeto del concepto es que los experimentamos: tendrá, por ejemplo, una forma, una situación determinada, y una duración. Como ejemplo de esto, propone: la razón por la que decimos que los caballos existen y los unicornios no, no es que el concepto de caballo tenga la propiedad de la existencia y el de unicornio no; no hay diferencia entre ambos conceptos en este sentido, y tampoco la hay entre el concepto de un caballo y de un caballo realmente existente: ambos conceptos son iguales. La razón por la que decimos que los caballos existen es que tenemos una experiencia espacio-temporal de los mismos: son objetos que se corresponden al concepto. Así, cualquier demostración de la existencia de algo, incluyendo a Dios, que se base en afirmar (predicar) una propiedad (en este caso la existencia) de ese algo es falaz: la existencia no es un predicado. Alexander Pruss resume la objeción de Kant al argumento de Anselmo de la siguiente forma:

Anselmo afirma que un ser perfecto que existe en pensamiento y realidad es mayor que un ser perfecto que existe solo en pensamiento. Pero esto no parece cierto. Porque lo que necesitamos comparar es (a) el ser perfecto que existe en el pensamiento y la realidad si existiera con lo que (b) el ser perfecto que existe solo en el pensamiento sería si existiera. Pero la respuesta aquí es que los dos seres perfectos serían exactamente iguales bajo la condición hipotética de que ambos existieran en la realidad.

Charles Hartshorne dijo que, para Anselmo, "la existencia necesaria es una forma de existencia superior a la existencia ordinaria y contingente, y que la existencia ordinaria y contingente es un defecto". Para Hartshorne, tanto Hume como Kant se centraron solo en si lo que existe es mayor que lo que no existe. Sin embargo, "el punto de Anselmo es que lo que existe y no puede no existir es mayor que lo que existe y no puede existir". Esto evitaría la pregunta de si la existencia es o no un predicado.

Arthur Schopenhauer

Arthur Schopenhauer declara que «examinado con claridad y despreocupadamente, este célebre argumento ontológico, es un delicioso cuento».

El filósofo alemán Arthur Schopenhauer, muy influenciado por la filosofía kantiana, criticó paródicamente el argumento ontológico. Según el filósofo, este argumento es comparable a un truco de magia. Similarmente cuando un mago oculta en lugar conveniente de su sombrero un conejo, San Anselmo y Descartes ocultan dentro de las premisas la conclusión del argumento (que Dios existe), volviéndolo en una falacia de petición de principio. Schopenhauer dice lo mismo diciendo que el argumento ontológico hace lo mismo que "el pollo dentro del huevo que ha sido largamente empollado". Al salir el pollo del cascarón, no surge milagrosamente de un huevo vacío, sino que ya estaba dentro desde el principio. Para Schopenhauer, la respuesta más simple a tal demostración ontológica (de que un objeto correspondiente al concepto debe existir en la realidad, independiente del concepto mismo) es la siguiente:

«Todo estriba en saber de dónde te viene tu concepto: ¿le has tomado de la experiencia? A la bonne heure! Entonces en ella existirá su correspondiente objeto, y no necesita de más demostración. Por el contrario, ¿le has fraguado en tu mollera? Entonces no le sirven de nada todos sus predicados: es una ficción»

Sobre la cuádruple raíz del principio de razón suficiente (1813) CAPÍTULO II. 7. Descartes

Schopenhauer cita a Aristóteles en el capítulo 7 del libro II de Analytica Posteriora. En este fragmento Schopenhauer señala que la definición de una cosa y la prueba de su existencia son dos materias distintas y que nunca deben confundirse, pues por la primera de ellas sabemos lo que se menciona, y por la otra que esta cosa existe. Es decir, "la existencia no forma parte de la esencia: el existir de las cosas no pertenece a su quididad.»

Ahora bien, el ser no es la entidad de nada: pues lo que es no es un género.

Segundos analíticos, II, VII, 92b, 10 - 14

Con esto, Schopenhauer se burla y critica duramente a los filósofos Schelling y Hegel por defender tal argumento.

Bertrand Russell

Russell afirma que no se puede aplicar las mismas reglas lógicas a cosas cuya existencia es incierta.

Bertrand Russell, durante su primera fase hegeliana, aceptó el argumento; confiesa en su autobiografía que una vez exclamó: «¡Cáspita, el argumento ontológico es sólido!». Sin embargo, más tarde criticó el argumento, afirmando que "el argumento, para una mente moderna, no parece muy convincente, pero es más fácil sentirse convencido de que debe ser falaz que descubrir precisamente dónde está la falacia."

Russell hizo una distinción entre la existencia y la esencia, argumentando que la esencia de una persona puede describirse y su existencia aún permanece en cuestión.

La verdadera pregunta es: ¿hay algo que podamos pensar que, por el mero hecho de que podemos pensar en ello, parezca posible existir fuera de nuestro pensamiento? A los filósofo les gustaría decir que sí, porque el trabajo de un filósofo es averiguar cosas sobre el mundo mediante el pensamiento en lugar de la observación. Si la respuesta correcta es "sí", existe un puente desde el pensamiento puro a las cosas. Si no, no.

Bertrand Russell: Historia de la filosofía occidental (1946)

Russell rechaza el argumento ontológico, siguiendo la misma crítica propuesta por Kant, argumentando que la existencia no es un predicado. Russell lo resume diciendo que todos los argumentos ontológicos son " casos de mala gramática ". Si la existencia se considerase como una propiedad, el siguiente silogismo sería válido.

1. Los hombres existen.
2. Papá Noel es un hombre.
3. Papá Noel existe.

Al ser padre de la filosofía del lenguaje, Russell en su teoría descriptiva distingue dos tipos de declaración:

• Predicativa, que se agrega a una descripción de algo;
• y existencial, que muestra que algo existe.

Es posible usar declaraciones predicativas para describir algo, pero ese algo no tiene que ser una declaración existencial. Russell argumentó que el uso cotidiano del lenguaje hace posible hablar de cosas inexistentes con un significado aparente. Por ejemplo, al hablar de unicornios, se habla de la misma manera que con vacas. En silogismo anterior, Papá Noel pertenece a un grupo distinto al del hombre de la primera premisa.

Russell distingue lo que es o esencia (transmitido por lo que "hay") y la existencia (transmitida por "existe"). En otras palabra, Russell piensa que: Algunas cosas son y existen (un hombre); y otras son y no existen (Papá Noel). Él lo ejemplifica con la frase "el actual rey de Francia es calvo", ya que Francia es una república y no tiene rey. Las descripción puede ser comprensible, pero no corresponden a un estado real de las cosas. Por lo tanto, no tienen un significado real. Russell era un realista respecto al lenguaje, y este debe corresponder a estados reales para ser verdadero o falso. El lenguaje que no corresponde a la realidad es un sin sentido. El argumento ontológico cae en esta categoría.

Él está de acuerdo con Anselmo al definir Dios como "un ser tal que no se puede imaginar algo más grande", sin embargo no está de acuerdo que esto prueba su existencia en la realidad. Por supuesto, en la vista de Russell en su Principia, no hay una propiedad de existencia y de no existencia, pero aún si lo son, el argumento también fallaría. Russell fue más lejos al sugerir que la "existencia", en lugar de ser un predicado, indica que algo está instanciado si hay ejemplos de este en el espacio y tiempo. Otra forma de expresarlo es que la existencia es la extensión de la intención (concepto de un término) buscando dentro de las cosas reales pragmáticamente. La intención de "un ser tal que no se puede imaginar algo más grande" posee una extensión en cuanto a una idea, pero no físicamente. El punto de vista de Russell se refleja en el tratamiento lógico estándar moderno de la existencia. Según Mario Bunge, la concepción actualmente aceptada es que la existencia es un cuantificador llamado "cuantificador existencial" en lugar de un predicado. Mackie aclara que esta opinión es controvertida.

También Russell propuso una refutación del argumento ontológico. Muestra que la existencia de Dios se supone implícitamente como una premisa inicial del argumento. En su libro "Sobre la denotación", Russel reformula la primera premisa del argumento ontológico con: "Hay una y única entidad x que es la más perfecta, esa tiene todas las perfecciones", pero esto es exactamente lo que se intenta probar y el argumento no prueba nada. Si se reformulase el argumento usando la forma "Si el Ser más perfecto existe, entonces ese Ser tiene todas las perfecciones, la existencia es una perfección, por lo tanto ...". A partir de aquí, la única conclusión que podemos extraer es: Si existe el Ser más perfecto, entonces existe el Ser más perfecto.

Además, Russell considera el concepto de un "Ser Necesario" como un sin sentido en su debate de radio con Frederick Copleston. Reconoce que las definiciones y las pruebas lógicas pueden ser necesariamente ciertas, pero no que existan necesariamente.

Suponga que usted toma como su sujeto "el existente cuadrado redondo", se vería como una propuesta analítica que "el existente cuadrado redondo existe", pero no existe.

Bertrand Russell

Para él, una propuesta necesaria debe ser analítica (verdaderas por definición) pero según él, un "ser necesario" es una noción contradictoria, como un "cuadrado redondo". Este contra-argumento lo usó contra la teoría de los objetos de Alexius Meinong, y por consiguiente, contra los argumento ontológicos meinongianos.

Parodias del argumento

Desde los tiempos de Gaunilón, se han presentado varias parodias del argumento basadas en la reducción al absurdo de Gaunilón que ejemplificó con su Gran Isla. Michael Martin propuso parodias del argumento, sugiriendo que la existencia de cualquier cosa se puede demostrar con el argumento de Plantinga o Kordig, siempre que se defina como perfecto o especial en todos los mundos posibles. El objetivo es construir argumentos con la misma estructura lógica que los no teístas puedan razonablemente negar y por consiguiente afirmar que estos argumentos no tienen más razones para ser aceptados que los argumentos ontológicos originales. La principal defensa de los teístas es sostener que los argumentos originales son sólidos y las parodias no.

Perfecta inexistencia

Richard Dawkins en su best-seller "The God Delusion cita la parodia de Douglas Gasking.

Una parodia popular del argumento ontológico es la de Richard Dawkins, en su best-seller "The God Delusion". Su parodia es una versión del argumento que intenta demostrar que Dios no existe. Es similar en el enfoque de Gaunilo, ya que también requiere un Dios que puede hacer lo lógicamente imposible, llegando a conclusiones absurdas. En la versión de Dawkins, tomada del filósofo australiano Douglas Gasking, la grandeza de Dios queda demostrada por su creación del mundo. Un ser que de alguna manera supera la gran desventaja de no existir y continúa creando el mundo sin duda será más grande que un ser que existe y crea el mundo. Por lo tanto, Dios, quien por definición es "aquello de lo que nada más grande puede ser concebido", no debe existir.

Gasking afirmó que la creación del mundo es el logro más maravilloso que se pueda imaginar. El mérito de tal logro es el producto de su calidad y la discapacidad del creador: cuanto mayor sea la discapacidad del creador, más impresionante es el logro. La inexistencia, afirma Gasking, sería la mayor desventaja. Por lo tanto, si el universo es el producto de un creador existente, podríamos concebir un ser mayor, uno que no existe. Un creador inexistente es mayor que uno que existe, entonces Dios no existe. La proposición de Gasking de que la mayor discapacidad sería la no existencia es una respuesta a la suposición de Anselmo de que la existencia es un predicado y la perfección. Gasking usa esta lógica para suponer que la no existencia debe ser una discapacidad.

Oppy criticó el argumento, viéndolo como una parodia débil. Afirmó que, aunque puede aceptarse que sería un mayor logro para un creador inexistente crear algo que un creador que existe, no hay ninguna razón para suponer que un creador inexistente sea un ser superior, que no hay razón para ver la creación del mundo "el logro más maravilloso que se pueda imaginar" y que puede ser inconcebible que un ser inexistente cree algo en absoluto. Craig objetó que "un ser que crea todo sin existir es una incoherencia lógica y por lo tanto es imposible".

Gran demonio

La parodia clásica de la Gran Isla se podría objetar apelando que las cosas materiales no pueden ser "necesarias". Luego la parodia se ha cambiado por la de un "gran demonio" de necesaria maldad:

1. Un ser tiene la máxima depravación en un mundo posible dado W si y solo si es omnipotente, omnisciente y completamente malo en W; y
2. Un ser tiene una maldad máxima si tiene una depravación máxima en cada mundo posible.
3. Es posible que haya un ser que tenga la maldad máxima. (Premisa)
4. Por lo tanto, posiblemente, es necesariamente cierto que existe un ser omnisciente, omnipotente y perfectamente malo.
5. Por lo tanto, (por el axioma S5) es necesariamente cierto que existe un ser omnisciente, omnipotente y perfectamente malo.
6. Por lo tanto, existe un ser omnisciente, omnipotente y perfectamente malo.

Timothy Chambers argumentó que el corolario del diablo es más poderoso que el desafío de Gaunilo porque resiste los desafíos que pueden derrotar la parodia de Gaunilo. También afirmó que el corolario sin diablo es un fuerte desafío, ya que "respalda" el corolario sin diablo, que "amenaza el argumento de Anselmo en sus mismos cimientos".

Conjetura de Goldbach

Unas parodias intentan mostrar que es absurdo otorgar la posibilidad de algo que es metafísicamente necesario bajo la lógica modal S5. Por ejemplo, el platonismo matemático y realismo modal sostiene que los objetos matemáticos (números, figuras geométricas, funciones, etc.) son metafísicamente necesarias. Por ejemplo, si 2+2=4 es posible en este mundo actual, tiene que serlo en todos los mundos posibles necesariamente.

La "Conjetura de Goldbach" en matemáticas es un problema no resuelto en la teoría de números que indica que "Cada entero par mayor que 2 se puede expresar como la suma de dos números primos". Entonces:

1. Si la conjetura de Goldbach es correcta, entonces es necesariamente cierta.
2. Es posible que la conjetura de Goldbach sea correcta.
3. Por lo tanto, es posible que sea necesariamente cierto que la conjetura de Goldbach es correcta.
4. Por lo tanto (por el axioma S5) es necesariamente cierto que la conjetura de Goldbach es correcta.
5. Por lo tanto, la conjetura de Goldbach es correcta.

Esto convertiría cualquier área "no probada" de las matemáticas que "podría ser verdad" en algo que "debe ser verdad". Este argumento no solo no prueba la conjetura de Goldbach, sino que no proporciona ninguna demostración para pensar que la conjetura sea necesariamente cierta, ya que no hay razón para pensar que la conjetura de Goldbach sea posiblemente cierta desde el principio, a no ser que ya se presuponga que lo es. El filósofo Timothy O'Connor está de acuerdo con el áxioma S5, pero niega que esto invoque el argumento ontológico, ya que "no da ninguna razón para pensar que la naturaleza de este ser en cuestión es realmente posible y no aparentemente lógico".

Argumento ontológico invertido

J. L. Mackie argumentó que si Dios existe necesariamente en el sentido de que si su existencia es posible y entonces existe en todos los mundos posibles, se sigue que "la existencia de este ser no es lógicamente necesaria; no existe en todos los mundos lógicamente posibles" porque "la existencia incluso de un ser cuya esencia incluyera la existencia no se explicaría por sí misma: podría no haber existido tal cosa". Varias parodias han intentado usar el mismo argumento invirtiendo las premisas para demostrar la inexistencia de Dios. Alexander Pruss ejemplifica el corolario del argumento modal:

Argumento ontológico modal:

1. Necesariamente: Si hay un Dios, entonces necesariamente hay un Dios. (Premisa)
2. Posiblemente, hay un Dios. (Premisa)
3. Entonces, posiblemente necesariamente hay un Dios. (Por 1 y 2)
4. Entonces, hay un Dios. (Por 3)

Argumento ontológico ateo:

1. Si hay un Dios, entonces necesariamente hay un Dios. (Premisa)
2. Posible, no hay Dios. (Premisa)
3. Entonces, no es necesario que haya un Dios. (A las 6)
4. Entonces, no hay Dios. (Por 5 y 7)

Para romper la simetría de ambas formulaciones se ha argumentando que es más probable la solidez del argumento original cuando se combina con otros argumentos a favor del teísmo. William Lane Craig señala que "la idea de un ser máximamente grande es intuitivamente una idea coherente, por lo que parece plausible que tal ser pueda existir. [...] Esto proporciona una garantía prima facie para pensar que es posible que exista un ser máximamente grande." Según Craig, el argumento puede servir para un caso acumulativo para la existencia de Dios. No obstante, al basarse en evidencia a posteriori se admite que el argumento ontológico no es en sí suficiente a priori, es decir, no se puede inferir la existencia de Dios solo mediante su concepto, por lo que Craig dice que Anselmo se equivocó al pensar que encontró un argumento que pudo demostrar a Dios por si solo. Por otro lado, también se puede defender el argumento invertido apelando a argumentos en contra de la existencia de Dios (ver Problemas con el concepto de Dios).

Problemas con el concepto de Dios

Muchos filósofos intentaron demostrar la coherencia de un ser supremamente perfecto bajo la definición de Dios pretendida por el teísmo clásico: Dios es omnipotente, omnisciente y moralmente perfecto, sin embargo, uno de los principales contra-argumentos, es demostrar que la existencia de Dios implique una contradicción y por consiguiente sea lógicamente imposible (como un soltero casado o un círculo cuadrado). Michael Martin argumentó que, si ciertos componentes de la perfección son contradictorios, como la omnipotencia y la omnisciencia, entonces la primera premisa del argumento no es razonable. C.D. Broad lo expresa diciendo con el ejemplo que si solo hubiese tres propiedades positivas X, Y y Z, pero dos de ellas son compatibles entre las dos, y la presencia de las dos excluye a la restante. Entonces habría tres seres posibles:

1. Uno que combine X e Y,
2. uno que combine Y y Z,
3. y uno que combine Z y X.

El único tipo de ser superior a cualquiera de estos sería uno que tuviera las tres propiedades, X, Y y Z; y, por hipótesis, esta combinación es lógicamente imposible volviendo a la frase "un ser que no puede ser imaginado ninguno más grande" es simplemente un sin sentido, como la frase "el mayor número posible".

Varios problemas fueron planteados hacia el teísmo clásico desde hace siglos. Entre ellos, el problema del mal, atribuido a Epicuro, que establece que una deidad omnipotente y omnibelevolente no puede existir en un mundo con mal; y la paradoja de la omnipotencia, atribuida a Averroes, planteando si un ser omnipotente podría realizar una acción que limitara su propia habilidad para realizar acciones. El problema del mal serviría como argumento un "ontológico contra la existencia de Dios", ya que si Dios existe necesariamente, la mera posibilidad de un mundo incompatible con las cualidades esenciales de Dios hace que Dios sea imposible. Kenneth Einar Himma afirmó que la omnisciencia y la omnipotencia son incompatibles con el concepto del libre albedrío:

1. Si Dios es omnisciente, entonces Dios sabe lo que cada persona va a hacer en cada momento t.
2. Una persona p tiene libre albedrío
3. Una persona tiene libre albedrío si hay al menos un momento t en el que p hace una acción A pero podría haber hecho otra que A.
4. Si una persona p que hace A en t , tiene la capacidad de hacer otra cosa A en t.
5. Entonces p tiene la capacidad de lograr que un Dios omnisciente tenga una creencia falsa, y esto es claramente imposible.

Esto cae en contradicción. La omnipotencia implica el poder de crear seres libres, pero la omnisciencia excluye la posibilidad de que tales seres existan. Por lo tanto, un ser que es omnisciente carece de la capacidad de crear seres libres y, por lo tanto, no es omnipotente. Por el contrario, un ser que es omnipotente tiene el poder de crear seres libres y, por lo tanto, no sabe lo que esos seres harían si existieran. Esta paradoja, llamada argumento del libre albedrío, haría que el argumento ontológico fuera incoherente, ya que las características requeridas de un ser máximo no pueden coexistir en un solo ser, y por lo que tal ser no podría existir.

El filósofo John Niemeyer Findlay, después de que Gödel defendiera el argumento ontológico, publicó en 1948 en la revista Mind un artículo llamado Can God´s existence be disproved? (¿Puede la existencia de Dios ser demostrada?). Findlay sostiene que Dios debe poseer sus perfecciones y su existencia necesariamente, pero como a partir de la crítica kantiana, la existencia no es un predicado de la esencia, la idea de Dios es en sí misma contradictoria ya que pretende implicar a la existencia como una característica más de su esencia. Dado que la noción de Dios es contradictoria, su existencia es imposible. Esta crítica se le llama la "refutación ontológica", la cual argumenta que Dios debe existir necesariamente y la existencia necesaria es imposible. Findlay declaró:

“Fue de veras un mal día para Anselmo cuando dio con su famosa prueba. Porque en ese día no sólo descubrió algo que es de la esencia de un adecuado objeto religioso, sino también algo que supone su necesaria no existencia”.

Findman desarrolló lo que Hartshorne llamaría más tarde la "paradoja de Findlay":

1. Un ser contingente no merecería culto.
2. Un ser necesario es una contradicción lógica.

El artículo puso de relieve nuevamente la cuestión de la existencia de Dios sepultada por la crítica kantiana. Entre las primeras reacciones se encuentra Faith and Logic de 1958, y Faith and Philosophers de 1966 que contó con la participación de los más importantes exponentes del teísmo norteamericanos: Hartshorne, Malcolm y Plantinga, todos defensores del argumento ontológico.

Otras críticas

Pierre Gassendi fue uno de los primeros en señalar que la existencia no es una propiedad o perfección.

Gottlob Frege sostuvo que la existencia es un predicado de segundo orden.

Richard Swinburne sostuvo que Dios es lógicamente contingente.

El filósofo y político teórico Robert Nozick llamó al argumento ontológico como "el más famoso de todos los argumentos filosóficos sospechosos ". Nozick jugó con la idea de que Dios lo necesitaría para probar su propia existencia a sí mismo en su libro Invariances: The Structure of the Objective World y también usó la idea de un meta-argumento ontológico para mostrar la existencia de tal argumento.

El filósofo de la religión Theodore Drange fue más crítico declarando que:

"La mayoría de filósofos se le refieren [al argumento ontológico] ya sea como un sin sentido absurdo cognitivo o un juego de palabras, un puzzle semántico para resolver si alguien tiene tiempo libre. Apenas hay alguien que sea teísta teniendo como base el argumento ontológico. Enseño filosofía a miles de estudiantes, y ni siquiera uno de ellos ha puesto algún valor en él".

Drange (2006)

Peter Millican ofreció una objeción nueva y elaborada al argumento ontológico de Anselmo. Millican, piensa que su objeción es más poderosa que cualquier otra porque no disputa las "profundas teorías filosóficas" contenciosas que subyacen al argumento. Peter Millican escribe sobre la doctrina kantiana que "la existencia es no es un predicado'':

"Esta objeción más popular para el argumento no se ha mantenido del todo convincente bajo escrutinio crítico, en parte debido a que nunca se ha sido totalmente satisfactoria y defendida, pero también en parte debido a sus implicaciones para el argumento son de todos modos bastante oscuras: supongamos que aceptamos que 'existe' no es 'lógicamente' un predicado, ¿cómo es que esto socava el razonamiento de Anselmo: qué paso en particular no puede pasar [...]?"

En cambio, trata de revelar el "defecto fatal" del argumento al considerar sus "detalles lógicos poco profundos". La objeción de Millican se basa en su interpretación del argumento, según el cual Anselmo se basa en lo que llamó el “principio de la superioridad de la existencia”. En resumen, según Millican, el argumento ontológico no establece la existencia de Dios, pero en la versión de Anselmo, al menos, sigue siendo un enigma lógico fascinante.

El empirista del siglo XVII Pierre Gassendi confrontó a Descartes con esta crítica en un conjunto de objeciones (y merece crédito por ser el primero en enunciarlo): “la existencia no es una perfección ni en Dios ni en ninguna otra cosa; es aquello sin lo cual no puede haber perfecciones”.

En cuanto a la afirmación que incluso si concediéramos que la existencia necesaria es inseparable de la idea de Dios (en los términos de Kant, incluso si la existencia necesaria fuera analítica del concepto "Dios"), nada se deduce de esto sobre lo que existe o no existe. Johannes Caterus, el autor del primer conjunto de objeciones a las meditaciones, expresa el siguiente punto:

"Incluso si se concede que un ser supremamente perfecto conlleva la implicación de la existencia en virtud de su propio título, todavía no se sigue que la existencia en cuestión sea algo real en el mundo real; todo lo que sigue es que el concepto de existencia está inseparablemente vinculado al concepto de un ser supremo. Así que no puedes inferir que la existencia de Dios es algo real a menos que supongas que el ser supremo existe realmente; para entonces, en realidad contendrá todas las perfecciones, incluida la perfección de la existencia real".

En Sobre la existencia de Dios y la existencia de los unicornios, el filósofo y científico informático Gilles Dowek objetó al argumento ontológico utilizando el teorema de corrección (recíproco del Teorema de completitud de Gödel). Expresó que "Definir a Dios como existente no es suficiente para demostrar que Él existe. Por otro lado, definir unicornios como imaginarios es suficiente para mostrar que no existen".

Richard Swinburne, siguiendo a J. L. Mackie, señala que Dios es un ser lógicamente contingente, por lo que podría no haber existido y la necesidad de Dios no es lógica, no habiendo así contradicción en negar que tal ser existe. Swinburne cree que los argumentos ontológicos no dan ninguna razón para creer en Dios, ya que los argumentos deductivos si bien sus premisas pueden ser verdaderas, no se sabe que estas premisas sean ciertas por quienes discuten sobre ellas, y por consiguiente, son rechazadas. Para Swinburne, la existencia de Dios si es metafísicamente necesaria como "hecho bruto supremo" de por qué existe todo lo demás.

El filósofo Brian Davies criticó el argumento ontológico de Anselmo señalando que la comparación de "un ser tal que no se puede imaginar algo más grande" existiendo en la mente y en la realidad no es válida, porque no hay nada con lo que comparar. Preguntar si es algo que existe es más perfecto con algo que no existe es un sinsentido. “Si algo está en la mente (en intelecto) pero no en la realidad (en Re), ¿se puede pensar en algo más grande?".

Posteriormente también objetó al de Malcolm por su uso de la palabra "is" en inglés ("es" en español). Él indica que hay dos usos de la palabra:

1. Para definir algo: "una reina es una mujer monarca" (a queen is a female monarch).
2. Para explicar que hay algo en realidad: "existe tal cosa como un vampiro" (there is such a thing as a vampire).

Según Davies, el uso de esta palabra por parte de Malcolm se puede usar para definir el concepto de Dios, pero no para demostralo, ya que presupone su existencia sin ninguna razón lógica, es decir, Malcom no le dice al lector absolutamente nada sobre el tema y se basa en gran medida en la suposición de los lectores de la existencia de Dios. Davies dice que Malcolm está haciendo lo mismo con la "existencia necesaria". Además, Davies criticó argumento modal de Plantiga al señalar que simplemente que un Dios existiendo es posible y no implica que una que exista realidad física como algo probable.

William L. Rowe creía notablemente que la estructura del argumento ontológico era tal que inherentemente comete una petición de principio de la existencia de Dios, es decir, que uno debe tener una creencia presupuesta en la existencia de Dios para aceptar el argumento. conclusión. Para ilustrar esto, Rowe diseña el concepto de un "unicornex", definido como un "unicornio que realmente existe". Tenga en cuenta que algún objeto posible es un unicornio, pero dado que de hecho no existen unicornios, ningún objeto posible es un unicornex. Por lo tanto, para saber que los unicornexs son posibles, debes saber que existen los unicornexs. Rowe cree que esto es análogo a la concepción del argumento ontológico de Dios en la formulación de la mayor ser concebible: el mayor ser concebible es un ser omnipotente, todopoderoso, sumamente perfecto, existente. Nada en esa definición demuestra explícitamente la existencia, simplemente se agrega como una cualidad filosófica necesaria en el mismo sentido en que al unicornex se le da también la calidad de existencia. Por lo tanto, para Rowe, no hay forma de saber la existencia del mayor ser concebible sin saber ya que existe; la definición simplemente plantea la pregunta.

Gottlob Frege, padre de la lógica matemática y de la filosofía analítica, critica al argumento con sus teorías del lenguaje, al igual que Russell. Él no se refiere a las propiedades que se afirman en un concepto como las características que lo constituyen. Frege define la existencia como la negación del número cero. La propiedad "rectangular" no es una propiedad del concepto "triángulo rectangular"; pero la proposición de que no existe un "triángulo rectangular" establece una propiedad ese concepto; se le asigna el número 0. En este sentido, la existencia es análoga al número. Decir que x existe, es decir que hay un número distinto de cero de x. Debido a que la existencia es una propiedad de los conceptos, el argumento ontológico de la existencia de Dios se rompe. La unidad no es un componente característico del concepto "Dios" más de lo que lo es la existencia.

Frege diferencia predicados de primer y segundo orden. Argumentó que al hacer afirmaciones sobre la existencia, atribuimos (o negamos) la propiedad de segundo nivel, "no estar vacío", a un concepto de primer nivel. De esto se deduce que la existencia es una propiedad de segundo nivel, la propiedad "no está vacía". Por lo tanto, rechazó la prueba ontológica de la existencia de Dios porque depende de la suposición de que la existencia es una propiedad de primer nivel, y no de segundo nivel.

La mayor parte de la críticas al trabajo de Leibniz, incluso entre los defensores del argumento ontológico, fue su incapacidad de probar la compatibilidad de todos los atributos posibles de Dios. Por un lado, se rechaza la suposición de que tiene algunas cualidades son esencialmente "positiva" y otras "negativas", ya que puede ser el caso de que algunas sean de una forma en un contexto y de otra manera en otro. La segunda objeción rechaza la noción de que algunas cualidades son intrínsecamente simple, el cual fue demostrado por Ludwig Wittgenstein como siendo falso: lo simple en un sistema conceptual puede ser complejo en otro.

Véase también

En inglés: Ontological argument Facts for Kids

• Ontología
• Filosofía religiosa
• Immanuel Kant, Crítica de la razón pura
• Tomás de Aquino, Summa Theologiae
• René Descartes, Meditaciones metafísicas
• Bertrand Russell, Por qué no soy cristiano
• Teología natural

de:Gottesbeweis#Der ontologische Gottesbeweis