Lógica de Dios Publicado por Sergei , jueves, noviembre 02, 2006 at 11:44 p.m., in Categorías: Escritos, Pensamientos

Planteo:

Defino los siguientes predicados lógicos:

D = Dios Existe (y su existencia se puede probar)

ND = Dios No Existe (y su NO existencia se puede probar)

DESCONOCIDO = Imposible probar D ó ND

(Observación 1: Uno y sólo uno de los predicados anteriores puede ser Verdadero)

Bajo este planteo, queremos saber si:

No (Dios Existe) =? Dios No Existe

es decir:

-D =? ND

--------------------------------------------------

Desarrollo:

Por la Observación 1:

-D = ND v DESCONOCIDO

Por lo tanto queremos probar:

ND v DESCONOCIDO =? ND

Esto sólo puede ser válido si tuviéramos la certeza de que DESCONOCIDO es FALSO o sea si se pudiera probar formalmente D ó ND (es decir, probar ya sea que Dios existe ó que no existe)

O sea que: -D <> ND

Mientras no pueda probarse que Dios existe o no, debe admitirse la posibilidad de que efectivamente no se pueda probar (nunca) su existencia o no (o sea que el predicado DESCONOCIDO pueda ser válido)

Por lo tanto suponer NO cierto que Dios Existe (por no poderlo probar) no significa afirmar que Dios No Existe, si no que cabe la posibilidad de que no exista ó que No pueda probarse su existencia o no.

De hecho existen dos tipos de personas Ateas:

- Las que Creen que Dios No Existe, y

- Las que No Creen que Dios Existe, por creer que no puede probarse su existencia o su no existencia.

Las personas Creyentes son aquellas que:

- Creen que Dios Existe

Sergio W