Argumento Ontolgico para la existencia de Dios.

Definicin 1
A los efectos de esta demostracin, entiendo por posible lo que no conlleva contradiccin y
no es necesario.
Definicin 2
Imposible es lo que conlleva contradiccin.
Definicin 3
Necesario es aquello cuya negacin conlleva contradiccin.
Definicin 4
La nada, de existir, es la ausencia total de materia o energa.
Definicin 5
El mundo, de existir, es la totalidad de la materia o energa.
Definicin 6
Dios, de existir, es el ser inmaterial creador del mundo.
Definicin 7
Opuesto (o incomposible) es lo que no puede existir junto a su negacin.
Axioma 1
Lo opuesto de lo posible es posible (Si A es posible, entonces A es posible).
Axioma 2
Lo que no es posible ni imposible es necesario (quartum non datur).
Axioma 3
Lo que no es imposible ni necesario es posible (quartum non datur).
Axioma 4
Lo que no es posible ni necesario es imposible (quartum non datur).
Proposicin 1
Cualquier mundo es lo opuesto a la nada.
Demostracin:
La nada es la ausencia total de materia o energa (por la Definicin 4). El mundo es la
totalidad de la materia o energa (por la Definicin 5). Opuesto es lo que no puede existir
junto a su negacin (por la Definicin 7). Por tanto, cualquier mundo es lo opuesto a la
nada.
Proposicin 2
La nada es posible.
Demostracin:
Cualquier mundo es lo opuesto a la nada (por la Proposicin 1). Lo opuesto de lo posible
es posible (por el Axioma 1). Cualquier mundo no contradictorio es posible (por la
Definicin 1). Por tanto, la nada es posible.
Proposicin 3
Lo opuesto de un caso posible no puede ser necesario.
Demostracin:
Lo opuesto de lo posible es posible (por el Axioma 1). Lo posible y lo necesario se
excluyen mutuamente (por las Definiciones 1, 3 y 7). Por tanto, lo opuesto de un caso
posible no puede ser necesario.
Proposicin 4
Cualquier mundo no es necesario.
Demostracin:
La nada es posible (por la Proposicin 2). Cualquier mundo es lo opuesto a la nada (por la
Proposicin 1). Lo opuesto de un caso posible no puede ser necesario (por la Proposicin
3). Por tanto, cualquier mundo no es necesario.
Proposicin 5
Si el mundo es necesario, Dios es imposible.
Demostracin:
Necesario es aquello cuya negacin conlleva contradiccin (por la Definicin 3). Dios es el
ser inmaterial creador del mundo (por la Definicin 6). Slo puede crearse lo que no existe.
Ahora bien, si el mundo es necesario, no puede ser creado, ya que ello conllevara que no
ha existido en algn punto. Luego, si el mundo es necesario, Dios es imposible.
Proposicin 6
Un mundo necesario es imposible.
Demostracin:
Cualquier mundo no es necesario (por la Proposicin 4). Por tanto, un mundo necesario es
imposible.
Proposicin 7
Aquello cuyo opuesto es imposible es necesario.
Demostracin:
Imposible es lo que conlleva contradiccin (por la Definicin 2). Necesario es aquello cuya
negacin conlleva contradiccin (por la Definicin 3). Por tanto, aquello cuyo opuesto es
imposible es necesario.
Proposicin 8
Dios es necesario.
Demostracin:
Aquello cuyo opuesto es imposible es necesario (por la Proposicin 7). Un mundo
necesario es imposible (por la Proposicin 6). Dios es lo opuesto de un mundo necesario
(por la Definicin 7 y la Proposicin 5). Por tanto, Dios es necesario.