Dios, completitud e infinitud

Kurt Gödel es famoso por sus aportaciones revolucionarias a la lógica matemática (como curiosidad cabe mencionar que llegó a formalizar lógicamente el argumento ontológico de San Anselmo). Douglas R. Hofstadter, en su famoso y «gran» libro -en todos los sentidos- «Gödel, Escher, Bach», resume en una corta frase la aportación más destacada de Gödel:

«Toda formulación axiomática de teoría de los números incluye proposiciones indecidibles«.

Este es el llamado «teorema de incompletitud de Gödel« que lleva a afirmar que no pueden existir ‘sistemas lógico–matemáticos completos‘, «que permitan definir los números naturales como un conjunto« (tal y como se precisa en la Wikipedia), fundamentados en un ‘sistema axiomático finito’ sin que sean a su vez inconsistentes -con lo que, tomando por válido el principio de explosión, se deduciría cualquier cosa-. Es decir, para que un sistema lógico-matemático sea «completo» (que no contiene afirmaciones que ni se pueden demostrar ni refutar) sin ser inconsistente debería tener infinitos axiomas; y además, para poderse aplicar el teorema de Gödel, debería ser un sistema en el que haya algún procedimiento efectivo que decide si una cierta declaración es un axioma (como explica en un artículo Eduardo Piza Volio, un «procedimiento efectivo» es una lista de instrucciones o un algoritmo que no requiera de ninguna ingeniosidad para ser ejecutado). Esto es imposible para el ser humano, pues es finito, pero no sería así para un supuesto ser todopoderoso: Dios. Un Ser al que, en principio, los humanos no podemos demostrar ni refutar de forma concluyente (siendo su existencia para nosotros, aparentemente, una «proposición indecidible«, con lo que nuestra lógica y conocimiento no sería completo).

Dios -si existe- debería ser capaz de construir un sistema lógico-matemático completo. En mi post «Dios, completitud e inconsistencia», proponía que Dios, al construir este sistema, debería ser capaz de contradecirse, de manejar la inconsistencia en virtud de su omnipotencia. Además, afirmo que si -de existir- Dios es omnipotente o todopoderoso, no tendría por qué estar sujeto a las leyes de la lógica; de hecho, se podría decir que Dios «crearía» las leyes de la lógica. Pero ahora bien, también podría construir un sistema completo mediante un número infinito de axiomas, lo que implicaría la «infinitud» de Dios (esto recuerda al Dios y el Infinito Absoluto del que habla Georg Cantor ). Resumiendo: si Dios es completo, debe ser infinito y/o inconsistente.

El principio del tercero excluido, la reducción al absurdo y las demostraciones de la inexistencia de Dios

La reducción al absurdo, que tanto le gustaba a Euclides, es una de las más poderosas armas de un matemático. Va más allá que cualquier gambito en el ajedrez: un jugador de ajedrez puede ofrecer en sacrificio un peón o incluso una pieza mayor, pero un matemático ofrece el juego.

Godfrey Harold Hardy (1877-1947), matemático británico,
“A Mathematician’s Apology”

El principio lógico del tercero excluido dice lo siguiente: Toda proposición es verdadera o falsa, y entre estos dos valores de verdad no se admite nada intermedio o “tercero”; o, en términos semánticos, si dos proposiciones son contradictorias, al menos una de ellas es falsa. Muchos consideran que este principio es derivado del principio de identidad, ya que una cosa es o no es (versión ontológica) o ente dos cosas contradictorias no cabe término medio (versión lógica).

Brouwer -fundador de la corriente del intuicionismo en las matemáticas-, en cambio, objeta que el principio del tercero excluido es una abstracción que resulta de la experiencia respecto de objetos finitos y que se extendió a aquellos infinitos sin justificación.

Por su parte, Łukasiewicz y Tarski construyeron una lógica trivalente «cuyos valores de verdad son lo verdadero, lo falso y lo posible». «En esta lógica no tiene lugar el principio de tercero excluido, en el sentido de que el principio no es expresable con los símbolos de la lógica misma y no constituye un teorema de ésta. En la lógica intuicionista de Heyting existen tres valores de verdad: verdadero, falso e indeterminado, lo que implica la renuncia a la demostración recurriendo a la reducción al absurdo.»

Si renunciamos a la reducción al absurdo, hay muchas demostraciones que no podrían realizarse (entre ellas, muchas de las demostraciones de la inexistencia de Dios -tal y como especulo en mi post anterior-). Por tanto, aunque las demostraciones conocidas de la existencia de Dios no son concluyentes, es cierto que las de la inexistencia de Dios tampoco lo son, al no ser válidas para absolutamente todo tipo de lógica matemática (y es posible que Dios, de existir, haga uso de este tipo de lógicas -o incluso de otras que ni siquiera seamos capaces de imaginar-).

Todas las demostraciones de inexistencia de Dios que conozco se basan en técnicas como la de «reducción al absurdo» o la de «contradicción», luego no hay que considerar como demostraciones absolutamente certeras aquellas que usen estas técnicas (sería interesante reflexionar sobre la posibilidad de usar otras técnicas aparte de éstas, puesto que se ha visto que son limitadas). Por tanto, las «demostraciones» -que ya no son tales, así que mejor llamarlas «argumentos»- acerca de la existencia o no de Dios se deberían ver más como una tentativa por nuestra parte de llegar a entender cómo es Dios y por qué es así -la «esencia» de Dios y su forma de actuar y atributos-, y como análisis de las dificultades filosóficas y lógicas sobre cómo sería Dios -si existe- bajo «diversas condiciones y definiciones», que como demostraciones absolutamente irrefutables (por ejemplo, se pueden hacer argumentaciones acerca de la existencia de Dios partiendo de puntos de vista distintos, con «condiciones» diferentes: tocando el aspecto cosmológico –como hacía Santo Tomás de Aquino-, con un argumento ontológico -como hacía San Anselmo– o viéndolo como un problema teleológico).

Circunscribiéndonos a la lógica formal aristotélica, quedaría por ver el método «directo» de demostración, fundamentado en un sistema axiomático. Pero todas estas argumentaciones acabarían por reducirse esencialmente a dos posibilidades de carácter tautológico: 1) «Dios existe, por tanto existe»; y 2) «Dios no existe, por tanto no existe». Con ello, desde la lógica aristotélica no podemos extraer nada nuevo, derivando la cuestión a un problema de «verificabilidad de los axiomas«.

Como se acaba de ver, el hecho de negar el principio del tercero excluido, aparte de llevar a la aparición de unas interesantes y peculiares lógicas no clásicas –como la trivalente que hemos mencionado-, sirve para negar que las demostraciones de la inexistencia de Dios sean válidas para todo sistema lógico (en todo caso se pasaría el debate a los argumentos en defensa de una u otra opción para tratar de detectar cuál es la más probable, pero difícilmente «certera»).

Refutación de una demostración matemática de la Inexistencia de Dios

He encontrado un intento de «demostración matemática de la Inexistencia de Dios» que me gustaría comentar.

Aquí está lo principal del artículo en que se trata el tema:

Los creyentes han escogido como cierta una cosa (a Dios) de entre todas las cosas que podrían existir, pero que no han sido percibidas de ningún modo.

De ahora en adelante, denominaremos SUPERCONJUNTO a «el conjunto de cosas que podrían existir pero que no han sido demostradas».

Dentro del SUPERCONJUNTO están incluidos los 2 conjuntos siguientes:

– Cosas que no existen (luego no se han demostrado)
– Cosas que existen (pero no se han demostrado)

Las «cosas que no existen» es un conjunto infinito (creo que esto es evidente).
Las «cosas que existen» es un conjunto finito (también evidente).

Estos son los dos axiomas sobre los que se edifica la argumentación. Si alguno no fuera cierto, el razonamiento perdería todo su fundamento.

DESENLACE:

Los creyentes han elegido el elemento «Dios» de entre todos los elementos del SUPERCONJUNTO, con la esperanza de que esté incluido dentro del subconjunto «cosas que existen» y por tanto fuera del subconjunto «cosas que no existen».

Resumiendo, han escogido un elemento de un conjunto formado por 2 subconjuntos: uno finito y otro infinito.

¿Qué probabilidades hay de que el elemento escogido esté dentro del subconjunto infinito?
Según la teoría de probabilidades, es fácilmente demostrable que el elemento escogido pertenecerá al conjunto infinito con un 100% de probabilidad.

Por tanto, existe un 0% de probabilidades de que «Dios» pertenezca al conjunto «cosas que existen». Es decir, una persona que afirma que «Dios existe», se equivoca con toda probabilidad.

Matemáticamente, Dios no existe.

Posteriormente, el autor, Eduardo Couselo (duducou@hotmail.com), indica que este artículo no debe interpretarse como una demostración pretenciosa de la inexistencia de Dios, sino como un artículo curioso que ayuda a ver el tema desde un punto de vista distinto y nuevo, que intenta trasladar la discusión sobre la existencia de Dios a la discusión sobre la veracidad de los axiomas. Si tales axiomas se consideran ciertos, el razonamiento es impecable.

Se podría estar de acuerdo con esta afirmación considerando válida en todo caso la lógica formal aristotélica usada habitualmente (cosa que he puesto en duda en mi blog), pero no hay que olvidar que cuando entran en juego magnitudes infinitas la argumentación se vuelve más riesgosa y endeble (con lo que el razonamiento podría no ser tan «impecable») y hay muchas consideraciones a tener en cuenta. De hecho, Gauss llega a decir lo siguiente:

Protesto contra el uso de magnitudes infinitas como algo completo, lo que en matemáticas nunca se permite. El infinito es simplemente una forma de hablar, el significado real es un límite con ciertos rangos de aproximación indefinidamente cercanos, mientras que otros se les permite incrementarse sin restricción.

De todas formas, querría hacer un apunte en lo que se refiere a la veracidad de los axiomas; en concreto el segundo: Las «cosas que existen» es un conjunto finito. No sabemos exactamente si el universo es finito o infinito, y aún en el caso de que se diera lo primero, cabría preguntarse si no pudiera haber «algo» que, existiendo, no estuviera contenido entero en él (por no mencionar que puedan existir universos paralelos no conectados con el nuestro).

Couselo también dice que su artículo va más allá de demostrar la inexistencia de Dios. Lo que demuestra es que al dar por existente algo, debe hacerse en base a algún indicio o prueba. Estas líneas que escribo no pretenden llegar a una respuesta concluyente absoluta sobre la existencia o no de Dios, sólo considerar ciertos  aspectos del tema y algunas posibilidades desde un punto de vista un tanto estricto (si hay algún «resquicio» que pueda dar lugar a algo, procuro considerarlo). Por ello, creo hay que decir que el hecho de que no tengamos evidencia empírica de algo no implica su inexistencia. Incluso habría que replantearse qué es o qué quiere decir que algo «exista», si es necesario que algo se dé en el mundo físico para que se pueda decir que exista (pues, por ejemplo, los pensamientos que tenemos no tienen por qué reproducirse materialmente y, pese a ello, «existen» -entendiendo por pensamientos «aquello que se piensa», no los impulsos bioeléctricos cerebrales en sí mismos:  algo así como el mundo platónico de las ideas-).

También cabe añadir que si suponemos que podamos redefinir a Dios como un Ser capaz de manejar la inconsistencia, la contradicción (como hice hace un tiempo: ver preferentemente mi post «Dios, completitud e inconsistencia»), con argumentos lógico–matemáticos formales no se podría demostrar la inexistencia de Dios al no poderse considerar válidos ya que estarían entrando en un espacio al que no deben ni pueden acceder (un sistema lógico formal no puede tratar aquello que está fuera de la lógica formal, puesto que la lógica formal exige ciertos principios que no se verificarían en un dominio en el que, por ejemplo, no se cumpla un principio tan fundamental como el de no contradicción -muchas demostraciones de la inexistencia de Dios hacen uso de técnicas como la de reducción al absurdo o la de contradicción-). El problema pasaría a ser de carácter ontológico más que lógico: Dios es o no es, existe o no, independientemente de las tentativas de demostración o refutación (es decir, con nuestros sentidos, las herramientas de que disponemos y nuestras limitaciones por estar en el mundo terrenal, si Dios existe, existiría aunque no se pudiera demostrar -siempre y cuando no tuviéramos una prueba de Él empírica, perceptual o sencillamente una «revelación divina«, que devolvería el problema al ámbito de la creencia personal y de la Fe-; y es más, podría darse que Dios no exista y no se pudiera refutar su existencia, ya que necesitaríamos ser nosotros mismos omniscientes para afirmarlo); y las propiedades que pudiera tener en caso de que exista sólo podemos intuirlas o suponerlas, ya que nuestras mentes no todopoderosas -limitadas- no pueden, en principio, aprehender todo esto por entero.

Por último, sería conveniente señalar que con el zen y los koans de sus escritos quizá se pudiera llegar a tener la llave a al menos una mínima comprensión o percepción de estas cuestiones acerca de las contradicciones y la esencia del mundo (que supuestamente se alcanzaría con el satori o «iluminación»).

Notas de Teodicea

Estas notas de Teodicea (también llamada Teología natural o racional, que «es la disciplina que trata de explicar qué es Dios por medio de la razón o el pensamiento«) discurren sobre Dios, Perfección, Moral, Libertad, la naturaleza del castigo y la vía de causalidad propuesta por Tomás de Aquino. Partiendo de conceptos, propuestas y hallazgos filosóficos y teológicos de Padres y Doctores de la Iglesia, escolásticos y otros filósofos, discuto ciertas propiedades de Dios -presuponiéndolas «reveladas»-, entre las que se encuentran su Perfección, suma Bondad, Justicia y Misericordia, que de todas formas deben ser revisadas y, en su caso, rigurosamente tratadas.

Sobre la existencia de Dios

César Vidal resume el argumento ontológico de San Anselmo (el cual expuso en su «Proslogion») en su libro «El camino hacia la cultura» con estas palabras: «Sostenía este argumento que incluso aquellos que dudaban de la existencia de Dios o la negaban estaban obligados a tener cierta comprensión acerca de lo que dudaban. En otras palabras, mentalmente comprenderían a Dios como un ser del que no se puede pensar algo más grande. Dado que es más grande existir fuera de la mente que sólo en la mente, un escéptico que negara la existencia de Dios estaría incurriendo en una clara contradicción, ya que estaría afirmando que es posible pensar en algo más grande que en un ser del que nada más grande se puede pensar. De ahí que, por definición, Dios exista.» Este razonamiento sobre la existencia de Dios tiene dos objeciones principales, una planteada por Santo Tomás de Aquino, y otra por Kant.
La de Kant se basa en afirmar que la “existencia” no es necesariamente una propiedad positiva o negativa, no pudiendo entrar en el concepto de “aquello mayor que lo cual nada puede ser pensado” de San Anselmo. Pero este concepto implica la omnipotencia, y un ente existente es más potente que uno que no lo es, luego la existencia sí que es para este caso una propiedad positiva, no pudiendo invalidarse el argumento de San Anselmo por esta vía.
La refutación propuesta por Santo Tomás es más convincente, ya que indica que nosotros, como hombres, no podemos imaginar el concepto de “aquello mayor que lo cual nada puede ser pensado”, por lo que los seres humanos, imperfectos y limitados en sabiduría y conocimiento, no podemos usar el argumento ontológico y entenderlo, verlo evidente y considerar probada la existencia de Dios. En cambio, Dios, de existir, sí que puede probar su propia existencia por este argumento, ya que es capaz de imaginar “aquello mayor que lo cual nada puede ser pensado”, puesto que es Él mismo. Sería evidente para Él tanto como para nosotros imaginar un polígono de más de 3 lados, pues es capaz de entenderlo todo. Nosotros, imperfectos, somos incapaces de demostrar su existencia de una forma total, pero eso no quiere decir que exista o deje de existir, porque si Él es capaz de demostrarse a sí mismo, ya quedaría demostrado por el argumento de San Anselmo, el cual sería válido al encontrar a Alguien capaz de ver evidente el concepto axiomático de “aquello mayor que lo cual nada puede ser pensado”. Sólo porque nosotros no podamos entender la demostración no quiere decir que ésta no pueda haberse producido por el propio Dios, al igual que aunque muchos no entiendan difíciles demostraciones matemáticas no quiere decir que no estén demostradas.
El argumento ontológico de San Anselmo, más que una demostración para nosotros, humanos imperfectos, es una tentativa por nuestra parte de llegar a entender cómo es Dios y por qué es así; y nos da una intuición de la “esencia” de Dios y su relación con la propia existencia divina.
Esto implica un acto de Fe necesario: nosotros debemos confiar en lo que nos es Revelado, aunque no demostrado de manera incontestable por razón de nuestro limitado intelecto a la hora de tratar acerca de entes que nos exceden en sabiduría y en espíritu.

Sobre Dios y la Moral

Dios es Perfecto, es Bueno y Justo, y tiene más características, pero, por todas, estas Dios es el referente de Perfección Moral. Su moral, su ética es la correcta y hemos de hacer lo posible por comprenderla y seguirla pese a nuestras imperfecciones. «Sed, pues, perfectos como vuestro Padre celestial es perfecto» (Mt 5, 48). Sin Dios no habría Perfección Moral por no existir un referente único y verdadero, a lo más que podríamos llegar es a diferentes morales según cada individuo, no siendo ninguna más verdadera o acertada que otra.

Sobre Dios y la importancia que da a la Libertad

Al ser Dios suma Bondad, de Él no puede surgir nada contrario al Bien, todo lo más ausencia de Bien, que es lo que llamamos Mal, tal y como afirmaba San Agustín. Cuanto más se aleje alguien de la Perfección que representa Dios, menos Bien tiene en él. A los Hombres nos ha permitido elegir -tener «libre albedrío»– la cantidad de Bien del que queremos imbuirnos, dándonos la Libertad para ello. De ello se desprende la importancia que da Dios a la Libertad, que parte de forma misteriosa de su Perfección.
Dios consiente que escojamos el Mal –la ausencia de Bien– al habernos concedido la Libertad para ello. La Libertad es permitida por Dios incluso pudiendo llevar en ocasiones a elegir el Mal frente al Bien. Siendo Dios Perfecto y Bueno, y viendo la importancia que da a la Libertad, se deduce que permitirla es un aspecto de su Perfección y es correcta a los ojos de Dios. Si bien luego de escoger el Mal nos alejaríamos de Dios, con la infelicidad del alma que comporta distanciarse de lo correcto y Perfecto.

Sobre el castigo

Cuando hacemos el Mal, debemos ser castigados en cuanto a que Dios es Justo. San Anselmo medita sobre la dicotomía de un Dios Justo y Misericordioso a un mismo tiempo en su “Proslogion”, pero aquí no lo trataremos…
Sí que trataremos en qué consiste el Castigo. Dios es Perfecto y Bueno, por lo que cuando nos alejamos de Él dejamos de ser buenos, empezamos a sufrir la ausencia de Bien. Pero cuando los humanos viven en sociedad, éstos tienen que regular su comportamiento castigando las malas acciones. Al ser malas acciones tienen por tanto una cierta medida de ausencia de Bien y por tanto un alejamiento del estado natural en que el Hombre fue creado a imagen de Dios. Los castigos siempre se han basado en infligir una ausencia de Bien, de bienestar: privación de Libertad, de la vida, de un sueldo, etc.
¿Pero por qué infligimos una ausencia de bienestar al castigar? ¿Cuál es la razón última de que haya de haber un castigo en ocasiones? Quizá para hacer reaccionar de esta manera al alma de forma que la reconduzcamos al Bien, pero también puede entenderse como hacer ausentar una parte de Bien del castigado en medida proporcional al Bien que él ha hecho ausentar previamente para lograr una compensación entre ambas ausencias de las que no llegamos a comprender su finalidad total y real.

Sobre la vía de causalidad de Santo Tomás de Aquino

Tomás de Aquino propuso unas vías para la demostración de la existencia de Dios. Una de ellas, la «vía de las causas eficientes», es la que usa la causalidad que constatamos empíricamente en todos los procesos observados en la Naturaleza y en el Universo. Hay varias críticas a su argumentación.
Una es que implica que haya una cadena de causas finita: si el Universo tiene un comienzo, la cadena de causas es finita porque en el Universo habría un número muy grande, pero limitado, de procesos que se hubieran desarrollado hasta el presente momento tal y como intuimos empíricamente. Debido a la Teoría del “Big Bang”, existe la idea intuitiva –que no demostrada– de que ha habido un comienzo, que puede retrotraernos a la “causa incausada”, mezclándose la Física con la Metafísica. Otra objeción es que Dios no tiene por qué ser la “causa incausada” y ser debida ésta a algo natural pero sin intelecto, pero de existir antes la Nada, algo debe haber producido todo lo que vemos al haberlo imaginado en esencia y plasmado en existencia, pues si no la Nada hubiera seguido siendo Nada –ya que, en principio, de Nada no puede sacarse Algo–, y si algo es capaz de haberlo imaginado, es que hay un intelecto no creado detrás. Luego podemos añadir la idea de la no existencia del «principio de no contradicción» en la Nada para tratar de explicar hipotéticamente la Creación -expuesta en «Dios, completitud e inconsistencia»– y que puede además dar cuenta de parte de la esencia de Dios como hace el argumento ontológico de San Anselmo.
En la ciencia actual se da por válido el “principio de causalidad”, pese a algunas paradojas debidas a la Mecánica Cuántica -por poner un ejemplo-, pero ya David Hume atacó filosóficamente el “principio de causalidad” y el razonamiento por inducción realizado por los científicos como válidos en el campo de la lógica. Por todo ello, la demostración lógica de la existencia de Dios por la «vía de las causas eficientes» no es concluyente.

Bourbaki, la lógica y las matemáticas

Leyendo el libro «La trama oculta del universo», del ‘premio Templeton’ John D. Barrow, he encontrado un pasaje relacionado de alguna forma con mi post «Ciencia, Matemáticas y Medida» que por su interés voy a transcribir (la negrita es mía):

<<Bourbaki debe responder también al reto de contestar a la pregunta crucial, planteada aquí por Einstein:

¿Cómo es posible que las matemáticas, siendo después de todo un producto del pensamiento humano, independiente de la existencia, estén tan admirablemente adaptadas a los objetos de la realidad?

Él ve que el verdadero curso de la obra de los matemáticos es la elucidación de las estructuras básicas de la lógica. Si se exploran éstas en su totalidad englobarán todas las interrelaciones sancionadas por la lógica. El mundo que nos rodea se ve como una realización particular de algunas de estas estructuras para que puedan ser ejemplificadas o modeladas por las interrelaciones concretas de las cosas materiales. Puede dársele la vuelta al hecho de que las estructuras matemáticas formales carezcan de significado: en lugar de mantener que no se aplican a nada, uno puede mantener que se aplican a todas las posibilidades. El universo observado no es sino una de ellas.>>

Para aclarar a quien no lo sepa quién es «Nicolas Bourbaki», diré que es el pseudónimo colectivo –supuestamente tomando el apellido de un oficial del ejército que destacó en la guerra franco–prusiana– de un grupo de matemáticos franceses surgido a finales de los años 30 del siglo XX que pretendían revisar los fundamentos de las matemáticas dotándolas de un mayor rigor siguiendo un método axiomático. En palabras de Barrow en el libro citado: «Ellos personifican las últimas esperanzas de los formalistas; prevalecen la axiomática, el rigor y la elegancia monótona; los diagramas, los ejemplos y lo particular son evitados en favor de lo abstracto y lo general.» Y es que hay muchas dificultades, enfoques y puntos de vista a la hora de definir las matemáticas y sus fundamentos.