Dios es un ser del que no se puede imaginar un ser ms grande.

Sin embargo, un ser del que

uno no puede imaginar uno ms grande, no puede existir slo en la mente. Pues si de hecho
est slo en la mente, entonces puede ser imaginado como existiendo tambin en la realidad, la
cual es ms grande. Por lo tanto, hay un ser para el cual no puede imaginarse uno ms grande,
tanto en la mente como en la realidad: Dios existe [en la realidad].
I. Dios es un ser del que no se puede imaginar un ser ms grande.
II. Dios existe en la mente (el concepto de Dios es capturado por el entendimiento humano).
III. Si Dios existe en la mente pero no en la realidad, (es decir, slo en la mente), entonces el Dios
existente puede ser imaginado y tami!n lo que es un ser ms grande que Dios (I"#S$%&'
como existente es (isto como ms grande que lo no existente).
I). Si se puede imaginar un ser ms grande que Dios, entonces Dios no es un ser ms que el que
ning*n ser ms grande puede ser imaginado (tri(ialmente).
+as premisas (I) y (I)) implican que un ser ms grand que Dios no puede ser imaginado. ,ero podr-a
ser, si amas parates en el antecedente de (III) .ueran (erdad/ entonces tendr-amos lo siguiente0
Dios existe en la mente
Dios no existe en la realidad
,uesto que (i) es una premisa (es (II)1ni ms, ni menos), (ii) dee ser .also0 deido a la conclusin de
que Dios existe en la realidad.
2ormali3acin en t!rminos lgicos0
p Dios es un ser del que uno puede imaginarse uno ms grande.
q Dios existe en la mente.
r Dios existe en la realidad.
s %n ser ms grande que Dios puede ser imaginado.
4. p Dios es un ser del que uno puede imaginarse uno ms grande.
5. q Dios existe en la mente.
6. q 7r 8 s Si Dios existe en la mente pero no en la realidad, entonces un ser ms
grande que Dios puede ser imaginado.
9. s 8 7p Si un ser ms grande que Dios puede ser imaginado, entonces Dios no es
un ser del que uno puede imaginarse uno ms grande.
:. 7s Modus ollens 4 y 9.
;. 7 (q 7r) Modus ollens : y 6.
<. 7q r De Morgan ;
=. r Silogismo disyunti!o 5 y =
,or lo tanto, puede ser identi.icada la siguiente deduccin0
p, q, q 7r 8 s, s 8 7p > r