Argumentum+ornithologicum+de+Jorge+Luis+Borges

Teología.
 * 1. Campo de conocimiento:**

Pájaros. Dios. Número definido. Número indefinido.
 * 2. Palabras clave:**

"Cierro los ojos y veo una bandada de pájaros. La visión dura un segundo o acaso menos; no sé cuántos pájaros vi. ¿Era definido o indefinido su número? El problema involucra el de la existencia de Dios. Si Dios existe, el número es definido, porque Dios sabe cuando pájaros vi. Si Dios no existe, el número es indefinido, porque nadie pudo llevar la cuenta. En tal caso, vi menos de diez pájaros (digamos) y más de uno, pero no vi nueve, ocho, siete, seis, cinco, cuatro, tres o dos pájaros. Vi un número entre diez y uno, que no es nueve, ocho, siete, seis, cinco, etcétera. Ese número es inconcebible; //ergo//, Dios existe."
 * 3. Argumento textual:**

Borges, Jorge Luis. (2005). **El hacedor**, "Argumentum ornithologicum". México, Ed. Alianza, pp. 22.

Veo una bandada de pájaros durante quizá un segundo. El tiempo que duró no me permitió saber cuantos pájaros vi. De ser definido o indefinido el número, involucra el problema de la existencia de Dios. Si el número era definido, entonces Dios existe, porque él sabe cuantos pájaros vi. Si el número era indefinido, Dios no existe, porque no pudiera haberse llevado la cuenta. Supongamos que vi un número menos de diez, y más de un pájaro. Sin embargo no vi nueve, ocho, siete, seis, cinco, cuatro, tres o dos. Ese número es inconcebible; por lo tanto, Dios existe.
 * 4. Reconstrucción del argumento:**

Deductivo. No válido.
 * 5. Tipo de argumento:**


 * 6. Diagrama del argumento:**

Premisas: P: Dios existe. Q: Vi un número concebible de pájaros.
 * 7. Formalización:**

P \supset Q \lnot P \supset \lnot Q \lnot P \wedge \lnot(\lnot Q) /:. P