Un argumento ontológico

Escrito por Alexander Pruss, traducido de An ontological argument.

Empieza con:

1. (Premisa) Posiblemente, existe un ser ilimitado.

2. (Premisa) Necesariamente, para toda proposición q que es posiblemente verdadera, hay un estado de cosas p(q) tal que p(q) fundamenta la posibilidad de q.

3. (Premisa) Necesariamente, si  s fundamenta la posibilidad de que x no existente o la posibilidad de que x sea limitado, entonces s limita x.

4. (Premisa), Necesariamente, nada limita a un ser ilimitado.

(S5) Si algo es posiblemente necesario, entonces es necesario.

De ello se deduce que hay un ser ilimitado. Supongamos que w es un mundo que contiene un ser ilimitado u. Supongamos que es cierto en w que u posiblemente no exista. Luego, por 2 y 3, algo en w limita a u, lo cual viola 4. Así que es cierto que en w, u existe necesariamente. Supongamos que es verdadero en w que u está posiblemente limitado. Entonces por 2 y 3, algo en w limita a u, lo que de nuevo viola 4. Por lo tanto, en w es cierto que u existe necesariamente y es necesariamente ilimitado. Por lo tanto, por S5, u existe necesariamente y es necesariamente ilimitado.

Las premisas más polémicas, creo, serán 1 y 2.