SOCIAL

FACULTAD DE PSICOLOGA Y TRABAJO

SOCIAL

FACULTAD DE PSICOLOGA Y TRABAJO

SOCIAL

CURSO: LGICA
RESUMEN II UNIDAD

CURSO: LGICA
z4 9z

NDICE

SEGUNDA UNIDAD
Lgica de predicados ...................................................................................

49

Leccin 5, 6 Y 7
Predicados, cuantificadores y silogismos .....................................................
Silogismos categricos de forma estndar...........................................
Ejercicios .......................................................................................
6.2. La naturaleza formal del argumento silogstico ....................................
Ejercicios .......................................................................................
Actividades de la Segunda Unidad..................................................................

51
51
54
55
57
58

z4 9z

s e g u n d a

UNIDAD
z4 9z

Lgica de predicados

Qu es la lgica de predicados?
Cules son los cuantificadores y silogismos?

z4 9z

Christian Crdova robles

L e c c i n

V , V I

V I I

PREDICADOS, CUANTIFICADORES
Y SILOGISMOS
silogismos categricos de forma estndar
Un silogismo es un argumento deductivo en el que se infiere una conclusin a partir
de dos premisas. Un silogismo categrico es un argumento deductivo que consiste en
tres proposiciones categricas que contienen exactamente tres trminos, cada uno de
los cuales solo aparece en dos de las proposiciones que lo constituyen. Se dice que
un silogismo categrico est en forma estndar cuando sus premisas y conclusin son
proposiciones categricas y estn arregladas en cierto orden especfico. Para especificar
ese orden, ser til explicar los nombres especiales que dan los lgicos a los trminos
y premisas de los silogismos categricos. Para mayor brevedad, en este captulo nos
referimos a los silogismos categricos simplemente como silogismos, aun cuando hay
otros tipos de silogismos que se discutirn en captulos posteriores.
La conclusin de un silogismo de forma estndar es una proposicin de forma estndar que
contiene dos de los tres trminos del silogismo. El trmino que aparece como predicado de
la conclusin se llama el trmino mayor del silogismo, y el trmino que aparece como sujeto
de la conclusin es el trmino menor del silogismo. As, en el silogismo de forma estndar:
Ningn hroe es cobarde.
algunos soldados son cobardes.
Por lo tanto, algunos soldados no son hroes.
z 51 z

lgica

El trmino soldados es el trmino menor y el trmino hroes es el trmino mayor.

El tercer trmino del silogismo, que no aparece en la conclusin, y que aparece en
cambio en ambas premisas se llama el trmino medio. En nuestro ejemplo, el trmino
cobardes es el trmino medio.
Los trminos mayor y menor de un silogismo de forma estndar aparecen, cada
uno, en una premisa diferente. La premisa que contiene el trmino menor se llama la
premisa menor y la premisa que contiene el trmino mayor se llama premisa mayor. En
el silogismo que se enunci antes, la premisa mayor es Ningn hroe es cobarde y la
premisa menor es Algunos soldados son cobardes.
Ahora podemos enunciar la otra caracterstica definitoria de un silogismo de forma
estndar. Consiste en que la premisa mayor se enuncia primero, en seguida la premisa
menor y al final la conclusin. Se debe hacer hincapi en que la premisa mayor no se
define en trminos de su posicin sino como la premisa que contiene el trmino mayor
(que es, por definicin, el predicado de la conclusin). Y la premisa menor no se define
en trminos de su posicin, sino como la premisa que contiene el trmino menor (que
se define como el sujeto de la conclusin).
El modo de un silogismo de forma estndar est determinado por las formas de las
proposiciones categricas de forma estndar que contiene. Est representado por tres
letras, la primera de las cuales nombra la forma de la premisa mayor del silogismo,
la segunda la de la premisa menor y la tercera la de la conclusin. Por ejemplo, en el
caso del silogismo precedente, puesto que su premisa mayor es una proposicin E, su
premisa menor es una proposicin I y su conclusin una proposicin O; el modo del
silogismo es EIO.
Pero el modo de un silogismo de forma estndar no caracteriza su forma por completo.
Consideremos los dos silogismos siguientes:
Todos los grandes cientficos son graduados universitarios.
algunos atletas profesionales son graduados universitarios.
Por lo tanto, algunos atletas profesionales son grandes cientficos.
Y
Todos los artistas son egostas.
algunos artistas son pobres.
Por lo tanto, algunos pobres son egostas.
Los dos son del modo AII, pero son de diferentes formas. Podemos captar la diferencia
en sus formas ms claramente mostrando sus esquemas Silogismos categricos de
forma estndar lgicos, abreviando el trmino menor con S, el trmino mayor con P,

z 52 z

Christian Crdova robles

el trmino medio con M y usando tres puntos ... para simbolizar por lo tanto. Las
formas o esquemas de estos dos silogismos son:
Todo P es M. Todo M es P.
algn S es M. algn M es S.
algn S es P.
algn S es P.
En el primer silogismo, el trmino medio es el predicado de ambas premisas, mientras
que en el segundo el trmino medio es el sujeto de las dos. Estos ejemplos muestran
que aunque la forma de un silogismo est parcialmente descrita enunciando su modo,
silogismos que tienen el mismo modo pueden diferir en sus formas, dependiendo de las
posiciones relativas de los trminos medios.
La forma de un silogismo se puede describir por completo, sin embargo, enunciando
su modo y su figura, donde la figura indica la posicin del trmino medio en las premisas.
Es claro que hay cuatro posibles figuras distintas que pueden tener los silogismos. El
trmino medio puede ser el sujeto de la premisa mayor y el predicado de la premisa
menor, o puede ser el predicado de ambas premisas, o puede ser el sujeto de las dos
premisas, o puede ser el predicado de la premisa mayor y el sujeto de la premisa menor.
Estas diferentes posiciones posibles del trmino medio constituyen las figuras primera,
segunda, tercera y cuarta, respectivamente.
Damos una descripcin completa de la forma de cualquier silogismo de forma estndar
nombrando su modo y figura. As, cualquier silogismo del modo A00 en la segunda figura
(llamada en forma ms breve A00-2) tendr la forma:
Todo P es M.
algn S no es M.
.. algn S no es P.
248 Silogismos categricos
Haciendo abstraccin de la infinita variedad de sus posibles temas, obtenemos muchas
formas diferentes de los silogismos categricos de forma estndar. Si tuvisemos que
listar todos los posibles modos diferentes, comenzando con AAA, AAE, AAI, AAO, AEA,
AEE, AEI, AEO, AM,...
y as sucesivamente hasta llegar a 000, encontraramos sesenta y cuatro modos
diferentes. Y puesto que cada modo puede aparecer en cada una de las cuatro figuras
diferentes, tendramos 256 formas distintas que pueden tomar los silogismos de forma
estndar. Sin embargo, de entre ellas solamente unas cuantas son vlidas.

z 53 z

lgica

ejercicios
Reescriba cada uno de los siguientes silogismos de forma estndar y nombre su modo
y figura. (Procedimiento: primero, identifique la conclusin; segundo, anote su trmino
predicado, que es el trmino mayor del silogismo; tercero, identifique la premisa mayor,
que es la premisa que contiene el trmino mayor; cuarto, verifique que la otra premisa
es la premisa menor, que contiene el trmino menor del silogismo, que es el sujeto de
la conclusin; quinto, reescriba el argumento de forma estndar, con la premisa mayor
primero, luego la premisa menor, y por ltimo la conclusin; sexto; nombre el modo y
figura del silogismo.)
1. Ningn submarino nuclear es un navo comercial, as, ningn barco de guerra es
un navo comercial, puesto que todos los submarinos nucleares son barcos de guerra.
2. Algunos rboles de hojas perennes son objeto de culto, pues todos los abetos son
de hojas perennes y algunos objetos de culto son abetos.
3. Todos los satlites artificiales son descubrimientos cientficos importantes; por lo
tanto, algunos descubrimientos cientficos importantes no son inventos norteamericanos
puesto que algunos satlites artificiales no son norteamericanos.
4. Ninguna estrella de televisin es contador pblico titulado; todos los contadores
titulados son personas con buen sentido comercial; de donde se sigue que ninguna
estrella de televisin tiene buen sentido comercial.
5. Algunos conservadores no son defensores de los altos aranceles puesto que todos
los defensores de los altos aranceles son republicanos y algunos republicanos no son
conservadores.
6. Todos los aparatos estereofnicos son instrumentos delicados y caros, pero ningn
instrumento delicado y caro puede ser un juguete infantil; en consecuencia, ningn
aparato estereofnico puede ser un juguete infantil.
7. Todos los delincuentes juveniles son personas inadaptadas y algunos delincuentes
juveniles son producto de familias desunidas; por lo tanto, algunos individuos
desadaptados son producto de familias desunidas.
8. Ninguna persona testaruda que nunca admite un error puede ser un buen maestro;
as, puesto que algunas personas bien informadas son personas testarudas que nunca
admiten un error, algunos buenos maestros no son personas bien informadas.
9. Todas las protenas son compuestos orgnicos; puesto que todas las enzimas son
protenas, todas las enzimas son compuestos orgnicos. Ningn automvil deportivo es
un vehculo diseado para viajar a velocidades moderadas, pero todos los automviles
de uso familiar son vehculos diseados para viajar a velocidades moderadas, de donde
se sigue que ningn automvil deportivo es un automvil de uso familiar.

z 54 z

Christian Crdova robles

6.2 la naturaleza formal del argumento silogstico

La forma de un silogismo es, desde el punto de vista de la lgica, su aspecto ms
importante. La validez o invalidez de un silogismo (cuyas proposiciones constituyentes
son contingentes) dependen exclusivamente de su forma y es por completo independiente
de su contenido especfico o del tema del cual trata. As, cualquier silogismo de la forma
AAA-1:
Todo M es P.
Todo S es M.
Todo S es P.
Es un argumento vlido, no importa cul sea el asunto del que trate. Esto es, no
importa qu trminos se sustituyan en la forma o esquema donde aparecen las letras
S, P y M, el argumento resultante ser vlido. Si sustituimos las letras por los trminos
atenienses, humanos y griegos, obtenemos el argumento vlido:
Todos los griegos son humanos.
Todos los atenienses son griegos.
Por lo tanto, todos los atenienses son humanos.
Y si sustituimos los trminos jabones, sustancias solubles en agua y sales de
sodio donde estn las letras S, P y M de la misma forma, obtenemos:
Todas las sales de sodio son sustancias solubles en agua.
Todos los jabones son sales de sodio.
Por lo tanto, todos los jabones son sustancias solubles en agua. que tambin es vlido.
Un silogismo vlido es un argumento formalmente vlido, en virtud de su sola forma.
Esto implica que si un silogismo dado es vlido, cualquier otro silogismo de la misma
forma tambin ser vlido. Y si un silogismo es invlido, cualquier otro silogismo de la
misma forma tambin ser invlido.
El reconocimiento usual de este hecho es atestiguado por el uso frecuente de analogas
lgicas en la argumentacin. Supongamos que nos presentan el siguiente argumento:
Todos los liberales son defensores de las instituciones de seguridad social.
algunos miembros de la administracin son defensores de las instituciones de
seguridad social.
Por lo tanto, algunos miembros de la administracin son liberales.

z 55 z

lgica

y sentimos (justificadamente) que pese a la verdad o falsedad de sus proposiciones

constituyentes, el argumento es invlido. La mejor forma de demostrar su carcter falaz
sera construir otro argumento que tenga exactamente la misma forma que el primero
y cuya invalidez resulte evidente. Podemos tratar de exponer como falaz el argumento
dado replicando:
T podras argumentar que:
Todos los conejos son veloces.
algunos caballos son veloces.
Por lo tanto, algunos caballos son conejos.
Suponemos que las proposiciones constitutivas son contingentes, es decir, no son ni
lgicamente verdaderas (por ejemplo, todas las sillas cmodas son sillas) ni lgicamente
falsas (por ejemplo, algunas sillas cmodas no son sillas). Pues si incluyeran premisas
lgicamente falsas o conclusin lgicamente verdadera, el argumento ser vlido sin
importar su forma silogstica vlido en cuanto que sera imposible que sus premisas
fuesen verdaderas y su conclusin falsa. Tambin suponemos que las relaciones lgicas
entre los trminos del silogismo slo son las que afirman o entraan sus premisas. El
objetivo de esta restriccin es el de limitar nuestras consideraciones en este captulo y
el siguiente slo a los argumentos silogsticos y excluir otro tipo de argumentos cuya
validez descansa en consideraciones lgicas ms complejas que no se han introducido
apropiadamente hasta este momento.
Y uno no puede seriamente defender este argumento, y podramos aadir, debido
a que no se trata de una cuestin acerca de hechos. Las premisas se reconocen como
verdaderas y la conclusin como falsa. Tu argumento tiene el mismo patrn que
este ltimo que trata de caballos y de conejos. Este ltimo es invlido, por lo tanto
tu argumento es tambin invlido. Este es un excelente mtodo de argumentar; la
analoga lgica es uno de los ms poderosos recursos que se pueden usar en un debate.
Subyacente al mtodo de la analoga lgica se encuentra el hecho de que la validez
o invalidez de argumentos como los silogismos categricos es un asunto puramente
formal. Cualquier argumento falaz se puede evidenciar como tal encontrando un segundo
argumento con la misma forma y que se conozca como invlido por el hecho de que sus
premisas son conocidas como verdaderas y su conclusin como falsa. (Debemos recordar
que un argumento invlido puede muy bien tener una conclusin verdadera que un
argumento es invlido significa simplemente que su conclusin no est lgicamente
implicada por sus premisas.)
Sin embargo, este mtodo de poner a prueba la validez de los argumentos tiene
serias limitaciones. A veces, resulta difcil captar una analoga lgica en el preciso
momento. Y hay demasiadas formas invlidas de argumento como para prepararse de
antemano y recordarlas para refutar cada una de ellas. Ms an, aunque una analoga
lgica con premisas verdaderas y conclusin falsa prueba que su forma es invlida, si no
encontramos la analoga esto no prueba que la forma sea vlida, pues este hecho puede
reflejar slo las limitaciones de nuestra agudeza lgica.
z 56 z

Christian Crdova robles

Puede existir una analoga que invalide un argumento aun

de pensar en ella. Se requiere de un mtodo ms eficaz para
o invalidez de los silogismos. Las siguientes secciones de
precisamente a la explicacin de los mtodos efectivos para

cuando no seamos capaces

establecer la validez formal
este captulo se dedicarn
probar silogismos.

ejercicios
Refute cualquiera de los siguientes argumentos que sean invlidos por el mtodo de
construir analogas lgicas.
1. Todos los ejecutivos de empresas privadas son activos oponentes del aumento a
los impuestos, porque todos los oponentes activos del aumento a los impuestos son
miembros de la cmara de comercio y todos los miembros de la cmara de comercio son
ejecutivos de empresas privadas.
2. Ninguna medicina que se pueda comprar sin receta mdica es adictiva, as, algunos
narcticos no son adictivos puesto que se pueden comprar sin receta mdica.
3. Ningn republicano es demcrata; as, algunos demcratas son ricos corredores de
bolsa puesto que algunos ricos corredores de bolsa no son republicanos.
4. Ningn estudiante universitario es una persona con un IQ menor de 70, pero
todas las personas que tienen un IQ menor de 70 son tontas; as, ningn estudiante
universitario es tonto.
5. Todos los edificios a prueba de incendios son estructuras que se pueden asegurar a
tasas especiales; as, algunas estructuras que se pueden asegurar a tasas especiales no
son casas de madera, pues ninguna casa de madera es un edificio a prueba de incendios.
6. Todos los valores gubernamentales son inversiones seguras; as, algunas inversiones
en acciones que pagan altos dividendos son inversiones seguras, puesto que algunos
valores gubernamentales pagan altos dividendos.
7. Algunos pediatras no son especialistas en ciruga; as, algunos mdicos generales
no son pediatras, puesto que algunos mdicos generales no son especialistas en ciruga.
8. Ningn intelectual es un poltico exitoso, porque ninguna persona tmida y retrada
es un poltico exitoso y algunos intelectuales son personas tmidas y retradas.
9. Todos los ejecutivos de sindicatos son lderes laborales; as, algunos lderes laborales
son conservadores en poltica, puesto que algunos conservadores son ejecutivos de
sindicatos.
10. Todos los automviles nuevos son medios econmicos de transporte y todos los
automviles nuevos son smbolos de prestigio; por lo tanto, algunos medios econmicos
de transporte son smbolos de prestigio.
z 57 z

Lgica

Actividades de la segunda unidad

a.

Resuelve los ejercicios de la unidad.

b.

Reflexiona sobre qu utilidad le podemos dar a la lgica de

predicados.

c.

Identifica algunos casos en las noticias polticas y evala los

silogismos usados.
d.

Indaga sobre la teora de la argumentacin.

z 58 z

z 59 z