Argumento del conocimiento infalible

Oscar Ulloa Esquivel, 20017

El objetivo del argumento es demostrar por deducción que el conocimiento infalible de alguna
proposición T, implica necesariamente que T no puede realizarse de manera libre.
Nota 1. El siguiente argumento es lógico deductivo, esto significa que la validez de la
conclusión sigue necesariamente de la validez de las premisas. En símbolos:
{P1, P2, ...} logically entails C.
Nota 2. En un argumento deductivo, cada premisa tiene entre paréntesis la razón de su
veracidad, la veracidad de una premisa puede ser por el hecho de ser un principio, una
definición o una deducción lógica intermedia de premisas anteriores.

Definiciones
1. Para este argumento vamos a escoger la proposición T (sin pérdida de generalidad) de tal
manera que:
T ≡ Craig va a firmar la variante mañana a las 9 a.m.
2. Ahora-necesidad: Un evento A es ahora-necesario si y sólo si es imposible cambiar el
hecho de que A sea el caso.

Argumento

(1) Ayer Dios creía infaliblemente en T. [Suposición]

(2) Si algún evento E ocurrió en el pasado, es ahora-necesario que E ocurrió. [Principio

de la ahora-necesidad del pasado]

(3) Es ahora-necesario que Dios creía infaliblemente en T. [Porque 1 es caso particular

de 2]

(4) Necesariamente, si ayer Dios creía en T, entonces T. [Definición de infalibilidad del

pensamiento de Dios]

(5) Si p es ahora-necesario y necesariamente (p → q), entonces q es ahora-necesario.

[Principio de Transferencia de ahora-necesidad]

(6) Por lo tanto es ahora-necesario que T. [Eliminación de implicación de 3 en 4 y

transferencia de ahora-necesidad por 5]
(7) Si T es ahora-necesario, entonces Craig no puede hacer otra cosa que no sea firmar la
variante mañana a las 9 a.m. [Reiteración de definición de “ahora-necesario”]

(8) Por lo tanto, Craig no puede hacer otra cosa que no sea firmar la variante mañana a
las 9 a.m. [Eliminación de implicación de 6 en 7]

(9) Si uno no puede hacer más de una cosa cuando ejecuta un acto, uno no actúa
libremente. [Principio de las posibilidades Alternas]

(10) Por lo tanto, Cuando Craig firme la variante mañana a las 9 a.m., no lo hará
libremente. [Porque 8 es caso particular de 9]

Q.E.D.