El Mtodo de la Deduccin Todos los mamferos son vivparos

Todos los mamferos tienen pulmones

Natural con frmulas Algn vivparo tiene pulmones
cuantificadas
Para enderezar esta conclusin sobre la
Los silogismos categricos de forma tpica invalidez de esta inferencia aparentemente
sern vlidos si pasan exitosamente el correcta podramos admitir que en el lenguaje
examen de las ocho reglas del silogismo cotidiano afirmaciones universales como las
planteados ya por Aristteles. De los 256 premisas anteriores tienes un cierto contenido
modos solamente son vlidos 24 modos. existencial, de modo que habra que
Pero, de estos silogismos vlidos de acuerdo representarlas adecuadamente mediante una
con las reglas de Aristteles, slo los 15 frmula del tipo (x) Px (x) (PxQx).
siguientes son lgicamente vlidos a la luz de La cuestin es entonces si en el lenguaje
los mtodos de la lgica moderna:
cotidiano el significado de las oraciones
en cuestin incluye el mencionado
Primera Segunda Tercera Cuarta
Figura Figura Figura Figura contenido existencial. Para dilucidar
1- AAA 2- EAE 3- AII 4- AEE esto sera necesario distinguir entre las
1- EAE 2- AEE 3- IAI 4- IAI condiciones de verdad de una oracin y
1- AII 2- EIO 3- OAO 4- EIO los principios pragmticos que rigen su
1- EIO 2- AOO 3- EIO uso.

La razn es que para nosotros existe la
cuantificacin vaca y al afirmar que
Todas las cenas son comestibles
no decimos que haya cenas, sino que en caso
de haberlas seran comestibles.
Ahora bien, debido a que la silogstica
aristotlica no proporciona criterios
adecuados para determinar la verdad de un
silogismo revisaremos las reglas de la lgica
cuantificacional moderna para conocer la
manera de establecer la validez de un
silogismo cualquiera.

Es decir, en el caso del anlisis I. Reglas de equivalencia entre

cuantificacional el cuantificador universal cuantificadores
carece de presuposiciones existenciales. (Intercambio de cuantificadores: I.C.)
(x) (PxQx) no implica (x) Px; es ms, la
primera sentencia es verdadera si en el Para intercambiar cuantificadores no hace
dominio no hay objetos a los que se aplique falta sino reemplazar uno por otro, teniendo
P. Por lo tanto, una cuantificacin universal cuidado al hacer esto de cambiar de signo
de un condicional es (vacuamente) verdadera tanto al cuantificador como a la funcin
cuando el predicado del antecedente no se predicativa.
aplica a ningn objeto del dominio.
1. (x) Fx ~ (x) ~ Fx
Esto origina que se rechace por incorrectas 2. (x) ~ Fx ~ (x) Fx
ciertas inferencias que en la lgica silogstica 3. (x) Fx ~ (x) ~ Fx
tradicional se dan por correctas; 4. (x) ~ Fx ~ (x) Fx
especficamente: Darapti, Felapton, Bamalip
y Fesapo. II. Reglas de eliminacin e introduccin de
cuantificadores
Por ejemplo la inferencia Darapti siguiente
sera incorrecta: Estas reglas deben ser tomadas con cuidado
pues cualquiera puede pensar que se puede
pasar de una frmula sin cuantificar a una
cuantificada o viceversa sin ninguna dicho nombre ya ha sido usado antes en la
limitacin. Lo cierto es que el caso de la misma deduccin.
especificacin universal y la generalizacin
existencial no ofrece dificultades, pero la 4. Regla de generalizacin existencial
generalizacin universal y, sobre todo, la (GE)
especificacin existencial son realmente
problemticas pues su mala aplicacin puede A partir de una frmula A(t) podemos deducir
conllevar a sinsentidos. Estudiemos estas una frmula de la forma ()
reglas. reemplazando el trmino t por la variable v en
todas sus ocurrencias en A(t). Esto significa
1. Regla de especificacin universal que t puede ser un nombre ambiguo, un
(EU) nombre propio o inclusive una variable
individual
A partir de una frmula vA(v) podemos
deducir A(t) reemplazando todas las Ejemplos:
ocurrencias libres de la variable v por un
trmino t en A(v). Pues bien, como ya 1. (x) (Hx Gx)
sabemos que los trminos pueden ser 2. (x) (Fx Hx) // (x) (Fx Gx)
constantes individuales o variables 3. Hw Gw EU (1)
individuales, entonces podemos sustituir a v 4. Fw Hw EU (2)
por cualquiera de ellas. 5. Fw Gw SH (4,3)
6. (x) (Fx Gx) GU (5)
2. Regla de generalizacin universal
(GU) 1. (x) (Hx Gx)
2. (x) (Fx Hx) // (x) (Fx Gx)
De una frmula A(v) podemos deducir la 3. H G EU (1)
frmula xA(v) siempre que la variable v no 4. F H EE (2)
sea dbil en A(v). Una variable no es dbil si 5. H Simp. (4)
proviene por EU de otra variable que 6. G MP (3, 5)
previamente est cuantificada 7. F Simp. (4)
universalmente. Cuando una variable est 8. F G Conj. (7,6)
libre y no proviene de ninguna frmula 9. (x) (Fx Gx) GE (8)
cuantificada universalmente, no existe
ninguna razn vlida para generalizarla 1. (x) (Jx Hx)
universalmente. 2. (x) (Jx ~Hx) // ()H ()~H
3. J H EE (1)
3. Regla de especificacin existencial 4. J ~H EE (2)
(EE) 5. H Simp. (3)
6. ~H Simp. (4)
De una frmula () podemos deducir 7. ()H GE (5)
una frmula A() reemplazando todas las 8. ()~H GE (6)
ocurrencias de la variable v en A(v) por un 9. ()H ()~H Conj. (7,8)
nombre ambiguo que antes no haya sido
usado en la deduccin. Un nombre ambiguo 1. (x)Mx (x)Ex
no es un nombre propiamente dicho 2. (x) ~ Ex // (x) ~ Mx
(constante), pero tampoco es una variable,
3. ~ (x)Ex I.C. (2)
sino un tercer tipo de trmino, que para los
4. ~ (x)Mx MT (1,3)
propsitos formales de la deduccin salva la
5. (x) ~ Mx I.C. (4)
situacin. En una deduccin no se debe usar
un mismo nombre ambiguo para especificar
una variable cuantificada existencialmente si
III. Distribucin de cuantificadores IV. Mtodo de Deduccin Natural.
(Dist. C)
Tenemos tres casos del mencionado mtodo.
1. El cuantificador universal es distributivo
con respecto a la conjuncin a) Prueba directa (PD)
(x)(Fx Gx) (x)Fx (x)Gx
1. (x) [Fx (Gx Hx)]
2. El cuantificador existencial es distributivo 2. (x) (Fx Ix) // (x) (Gx Ix)
con respecto a la disyuncin 3. Fx (Gx Hx) EU (1)
(x)(Fx Gx) (x)Fx (x)Gx 4. Fx Ix EE (2)
5. Fx Simp. (4)
3. A partir de la disyuncin de proposiciones 6. Gx Hx MP (3,5)
universales se infiere la cuantificacin 7. Ix Simp (4)
universal de la disyuncin de ambas 8. Gx Simp. (6)
proposiciones. 9. Gx Ix Conj. (8,7)
[(x)Fx (x)Gx] (x)(Fx Gx) 10. (x) (Gx Ix) GE (9)
4. A partir de una proposicin cuantificada b) Prueba condicional (PC)
existencialmente se infiere la conjuncin de
cada uno de sus elementos, pero ahora 1. (x) (Fx ~Gx)
cuantificado separadamente. 2. (x) (Hx Fx) // (x) (Hx ~Gx)
(x)(Fx Gx) [(x)Fx ( x)Gx] 3. Hx P. Ad.
4. Fx ~Gx EU (1)
Ejemplos:
5. Hx Fx EU (2)
1. (x) (Sx Fx) Hf 6. Fx MP (3,5)
2. ~ [(x) ~ Sx (x) ~ Fx] // Hf 7. ~Gx MP (4,6)
3. ~ (x) ~ Sx ~ (x) ~Fx De M (2) 8. Hx ~Gx PC (3,7)
4. (x)Sx (x)Fx I.C. (3)
5. (x) (Sx Fx) Dist. C (4) c) Prueba por reduccin al absurdo (PRA)
6. Hf MP (1, 5)
1. (x) (Gx ~Hx)
1. (x) (Fx Ax) ~ Em 2. (x) ~ (Fx ~Hx) // (x)~(~FxGx)
2. ~ (x) ~ Ax 3. ~(x)~(~FxGx) P. Ad.
3. (x) Fx // ~ Em 4. (x) (~FxGx) I.C. y DN (3)
4. (x)Ax I.C. (2) 5. ~FxGx EU (4)
5. (x)Fx (x)Ax Conj. (3, 4) 6. Gx ~Hx EU (1)
6. (x)(Fx Ax) Dist. C (5) 7. ~(Fx ~Hx) EE (2)
7. ~ Em MP (1, 6) 8. Fx Hx Imp. y DM (7)
9. Fx Simp. (8)
1. (x) [Cx(NxPx)] 10. Gx SD (5,9)
// (x) (CxNx) (x)(CxPx) 11. Hx Simp. (8)
2. (x) [~Cx (Nx Px)] Impl. (1) 12. ~Gx MT (6,11)
3. (x) [(~CxNx) (~CxPx)] Dist. (2) 13. Gx ~Gx Conj. (10, 12)
4. (x) [(CxNx) (CxPx)] Impl. (3) 14. ~(x)~(~FxGx) (Gx ~Gx)
5. (x)(CxNx) (x)(CxPx) Dist. C (4) PC (3,13)
15. ~~(x)~(~FxGx) PRA (14)
16. (x)~(~FxGx) DN (15)
I. Ejercicios IX.
Resuelva libremente por el mtodo ms 1. (x)(Hx Mx) (x)(Rx Vx)
conveniente las siguientes inferencias. 2. (x)Rx (x)Mx
I. / (x)Rx (x)Vx
1. (x)~(~Hx ~(Gx Fx))
2. (x)[~Jx (Fx Ix)] X.
3. (x)(Gx ~(~Hx ~Jx)) 1. (x)Cx (x)Tx
/ (x)(~Gx ~Kx) 2. (x)Tx (x)Qx
3. (x)Qx (x)Rx
II. / (x)Cx [(x)Tx (x)(Qx Rx)]
1. (x)(~Fx ~(~Hx Ix))
2. ~(x)~(Jx Gx) XI.
3. (x)(Gx ~Fx) 1. (x)(Mx Hx)
/ (x)[Jx (~Hx ~Ix)] 2. (x)(Hx Mx) / (x)Hx

III. XII.
1. (x)(Fx Gx) 1. (x)(Rx Gx)
2. (x)(~Gx Hx) 2. (x)(Fx Gx) (x)Hx
3. (x)(Hx (Mx Fx)) / Ma 3. (x)~Hx / ~(x)Rx

XIII.
IV.
1. p (x)Gx
1. ~(x)(Sx Hx) 2. (x)(Gx Hx) / p (x)Hx
2. (x)[(Fx Gx) Sx]
3. (x)[Gx (Px Hx)] XIV.
/ (x)~Px (x)~Fx 1. (x)(Sx Px) (x)(Vx Zx)
2. (x)(Mx Nx) ~(x)(Vx Zx)
V.
/ (x)(Mx Nx) ~(x)(Sx Px)
1. (x)(Bx ~Ox)
2. (x)[(Ax Px) Bx] II. Ejercicios
3. (x)(Ox) / ~(x)(Px Ax) Demuestre la validez de las siguientes
formas inferenciales mediante el mtodo
VI. sealado.
1. (x)(Sx Px) (x)Gx Prueba directa
2. ~(x)~Hx ~(x)(Px ~Sx) I.
3. (x)(Hx) (Sa Pa) / (x)Gx 1. (x)~(~Hx ~(Gx Fx))
2. (x)[~Jx (Fx Ix)]
VII.
3. (x)(Gx ~(~Hx ~Jx))
1. (x)(Sx Px) (x)(Vx Zx)
/ (x)(~Gx ~Kx)
2. (x)(Mx Nx) ~(x)(Vx Zx)
/ (x)(Mx Nx) ~(x)(Sx Px)
II.
1. (x)(Fx Gx)
VIII.
2. (x)(~Gx Hx)
1. (x)[(Px Ax) Sx]
2. (x)(Cx ~Sx) 3. (x)(Hx (Mx Fx)) / Ma
/ (x)(Cx ~Ax)
III.
1. ~(x)(Sx Hx)
2. (x)[(Fx Gx) Sx]
3. (x)[Gx (Px Hx)]
/ (x)~Px (x)~Fx
IV.
1. p ~(x)~Gx
2. [p ~(x)~Gx] ~p
3. (~Fa ~p) Fb
/ (x)Gx (y)Fy
V.
1. (x)Ex
2. (x)(Ex Lx)
3. Ia
4. Na / (y)(Ey Ly) (z)Iz 3. (x)(Hx) ((Sa Pa)) / (x)Gx
VI.
1. (x)(Mx Hx)
2. (x)(Hx Mx) / (x)Hx
Prueba condicional
VII.
1. (x)(~Fx ~(~Hx Ix))
2. ~(x)~(Jx Gx)
3. (x)(Gx ~Fx)
/ (x)[Jx (~Hx ~Ix)]
VIII.
1. p (x)Gx
2. (x)(Gx Hx) / p (x)Hx
IX.
1. (x)[(Px Ax) Sx]
2. (x)(Cx ~Sx)
/ (x)(Cx ~Ax)
X.
1. (x)(Hx Mx) (x)(Rx Vx)
2. (x)Rx (x)Mx
/ (x)Rx (x)Vx
XI.
1. (x)Cx (x)Tx
2. (x)Tx (x)Qx
3. (x)Qx (x)Rx
/ (x)Cx [(x)Tx (x)(Qx Rx)]
XII.
1. (x)(Sx Px) (x)(Vx Zx)
2. (x)(Mx Nx) ~(x)(Vx Zx)
/ (x)(Mx Nx) ~(x)(Sx Px)
Prueba por reduccin al absurdo
XIII.
1. (x)(Bx ~Ox)
2. (x)[(Ax Px) Bx]
3. (x)(Ox) / ~(x)(Px Ax)
XIV.
1. (x)(Sx Px) (x)Gx
2. ~(x)~Hx ~(x)(Px ~Sx)
XV.
1. ~(x)~Fx (y)Hy
2. ~(y)~Hy (z)Fz
3. (x)Fx / ~(z)~Fz
XVI.
1. ~(y)Fy (x)Gx
2. (y)~Fy / (x)Gx
XVII.
1. (y)Hy (~p Ga)
2. ~[p ~(y)Hy]
3. Fb Sc
4. ~p Fb / (x)Sx (y)Gy
XVIII.
1. (x)(Rx Gx)
2. (x)(Fx Gx) (x)Hx
3. (x)~Hx / ~(x)Rx
XIX.
1. (x)Fx (y)Gy
2. (z)Hz (y)~Gy
3. (z)(Fz Hz) / ~(x)~Fx
XX.
1. (y)Fy (x)(Fx Gx)
2. (z)Hz (y)Fy
3. ~(x)Gx ~(z)~Hz / ~(x)~Fx