¿Son las leyes de la lógica capaces de probar algo acerca de Dios?
Las leyes de la lógica son los principios generales que le dicen qué es una prueba válida. Para probar cualquier cosa, ya sea sobre la existencia de Dios, el área de triángulos o la efectividad de la medicina, necesitamos apelar a las leyes de la lógica, pero por sí mismas no prueban nada.
Déjame tomar un ejemplo simple. Si te tuviera en cuenta que tengo cuatro corazones, lo descartarías como falso. Por el contrario, si te dijera que tengo doce dedos, podrías decir que posiblemente sea cierto. Si te dijera que tengo sesenta y cuatro dedos, lo juzgarías como falso. Y si te dijera que tengo sesenta y cuatro estudiantes en la clase que estoy enseñando este semestre, dirías que posiblemente sea cierto. ¿Qué te hizo reaccionar de esta manera, a pesar de que nunca me has visto o incluso no sabías de mi existencia hasta que viste esta publicación?
La respuesta es que hay ciertas creencias con las que ya está comprometido, cuando observa estas marcas en la pantalla de esta computadora, está haciendo una serie de inferencias basadas en esas creencias. Por ejemplo, está asumiendo que la persona que está creando estas marcas en la pantalla es un ser humano presionando las teclas del teclado en la tierra, no un extraterrestre sin un cuerpo físico en algún planeta creando las marcas usando su mente. Si hubieras comenzado con la posibilidad de que soy un extraterrestre, no hubieras podido decir que no a las afirmaciones de que tengo cuatro manos o sesenta y cuatro dedos.
Dado el supuesto de que soy humano, existen otras creencias que te llevan a tus conclusiones. Por ejemplo, supongo que crees que todo ser humano tiene exactamente un corazón. Dado que soy un ser humano y que cada humano tiene exactamente un corazón, concluyes que tengo exactamente un corazón. Si acepta la conclusión de que tengo exactamente un corazón, no puede aceptar simultáneamente la conclusión de que tengo cuatro corazones, porque estas dos proposiciones son lógicamente contradictorias. El principio general de racionalidad que te hizo rechazar la combinación de proposiciones sobre que yo tenga exactamente un corazón y que yo tenga cuatro corazones es la ley de la prohibición de contradicciones lógicas, enunciada como “Una combinación de contradicciones lógicamente contradictorias es falsa”.
Tenga en cuenta que la prohibición de las contradicciones lógicas por sí misma no llevó a la conclusión de que mi afirmación sobre que tengo cuatro dedos es falsa. Todo lo que hizo fue forzarte a rechazar una de las dos proposiciones contradictorias. Decidiste mantener la proposición de que cada humano tiene exactamente un corazón. Dado este compromiso, se ve obligado a rechazar mi afirmación. Pero si hubiera elegido aceptar mi afirmación de que tengo sesenta y cuatro dedos, se habría visto obligado a rechazar la creencia previa de que cada humano tiene exactamente un corazón.
Supongamos que por algún capricho del destino hubieras desarrollado la creencia de que soy un humano que es una encarnación de Dios o un hijo de Dios. Supongamos que también tiene la creencia previa de que las encarnaciones y los hijos de Dios nunca pronuncian nada falso. Si es así, se deduciría que mi afirmación de que tengo sesenta y cuatro dedos es cierta, y por lo tanto su creencia previa de que cada humano tiene exactamente un corazón es falsa.
Cavamos un poco más profundo. ¿Por qué la combinación de proposiciones de que tengo exactamente un dedo y tengo sesenta y cuatro dedos es lógicamente contradictoria?
Una contradicción lógica es una afirmación de que la forma P es verdadera y P es falsa. ¿Por qué la proposición de que tengo exactamente un dedo implica la proposición de que no tengo sesenta y cuatro dedos? Si hubiera sido el caso de haber afirmado que soy un profesor universitario, y su creencia anterior incluía la proposición de que soy cristiano, no habría rechazado mi afirmación de que soy un profesor universitario: estas dos proposiciones no son lógicamente contradictorias . Del mismo modo, la afirmación de que una cebra tiene color blanco en su cuerpo no contradice lógicamente la afirmación de que una cebra tiene color negro en su cuerpo. La afirmación de que Boston está en Massachusetts no contradice la afirmación de que Boston está en EE. UU. ¿Qué hace que uno y sesenta y cuatro sean lógicamente contradictorios?
La respuesta es que los axiomas de la teoría de números llevan a la conclusión de que el valor de x es uno y sesenta y cuatro es lógicamente contradictorio. Pero, ¿por qué crees que las conclusiones de la teoría de números son correctas, o que el modelo de mi afirmación sobre mi corazón en términos de teoría de números es legítimo? Esto nos lleva a aguas problemáticas.
Déjame intentar pasar por otro camino. Dijimos anteriormente que, dada la creencia de que soy un ser humano y la creencia de que cada ser humano tiene exactamente un corazón, usted concluye que yo tengo un corazón. ¿Qué legitimó esta conclusión? La respuesta es Modus Ponens, una regla de inferencia en la lógica. ( http://en.wikipedia.org/wiki/Mod …) ¿Pero es cierto Modus Ponens? Esa pregunta no tiene respuesta (o está fuera de lugar). Todo lo que podemos decir es que las reglas del juego en la lógica deductiva clásica te comprometen con Modus Ponens de la manera que he usado anteriormente. Si hubiera comenzado con la lógica deductiva defendible en lugar de la lógica deductiva clásica, habría tenido que decir algo como “Dadas las creencias de que el escritor de esta publicación es un ser humano y que cada ser humano tiene exactamente un corazón, y no puedo pensar en cualquier otra creencia relevante cuya conclusión contradiga la conclusión de estas dos creencias, la conclusión es que el escritor de este ser humano tiene exactamente un corazón “. Hubieras estado mucho menos seguro en tu conclusión.
¿Por qué elegiste la lógica deductiva clásica en lugar de la lógica deductiva descartable? ¿Por qué elegir una lógica de dos valores en lugar de una lógica de tres valores? Estas son preguntas problemáticas.
Para volver a la pregunta de si las leyes de la lógica son capaces de probar algo acerca de la existencia de Dios. Para probar cualquier declaración expresada en inglés o en cualquier otro idioma, debe indicar lo que quiere decir con las palabras en su oración de pregunta y las oraciones de la premisa. Por lo tanto, para demostrar que en la geometría euclidiana, la suma de los ángulos en un triángulo es dos ángulos rectos, debe decirme qué quiere decir con ‘suma’, ‘ángulo’, ‘triángulo’ y ‘ángulo recto’. Del mismo modo, para demostrar que “Dios existe” o “Dios no existe”, debe definir “Dios”. Supongamos que usted define a Dios como “un ser omnipotente omnisciente omnipresente que es perfectamente moral”. Eso me haría preguntarte qué quieres decir con Omnipotente. Supongamos que decimos que un ser omnipotente es aquel para quien ninguna acción es imposible. Dadas estas definiciones, considere el siguiente argumento para demostrar que un ser omnipotente no puede existir, como un lema para demostrar que Dios no existe.
Prueba.
Al contrario de lo que deseamos probar, supongamos que existe un ser omnipotente.
¿Puede este ser omnipotente crear una roca que no puede levantar?
Si la respuesta es sí, puede crear una roca que no puede levantar, entonces hay al menos una cosa que este ser no puede hacer, es decir, levantar esa roca. Esa conclusión contradice lógicamente nuestro punto de partida de que existe un ser omnipotente.
Si la respuesta es no, no puede crear una roca que no pueda levantar, entonces hay al menos una cosa que no puede hacer, a saber, crear esa roca. Esta conclusión también contradice lógicamente nuestro punto de partida.
Por lo tanto, el punto de partida produce una contradicción lógica sin importar qué, y por lo tanto debe ser rechazado.
Eso implica que un ser omnipotente no puede existir. (QED)
Como definimos a Dios de tal manera que la omnipotencia es una condición necesaria, Dios no existe.
Esta prueba se basa fundamentalmente en la prohibición de contradicciones lógicas y el uso de una lógica de dos valores. Si usamos una lógica de tres valores, la prueba colapsa.
¿La lógica por sí sola prueba algo, ya sea la existencia de Dios, el teorema de Pitágoras o la teoría de la relatividad? No.