LOS SILOGISMOS CATEGRICOS

EL SILOGISMO
Un silogismo es un tipo de razonamientos que se compone eactamente de tres !uicios
categ"ricos# dos premisas $ una conclusi"n% En estos !uicios s"lo pueden aparecer alguno de los
siguientes t&rminos# t&rmino mayor' t&rmino menor o t&rmino medio% El trmino mayor ser( el
que aparece como predicado en la conclusi"n' mientras que el que ocupa el lugar de su!eto es el
trmino menor% El trmino medio nunca puede aparecer en la conclusi"n' aunque de)e *igurar
una +ez en cada una de las premisas% A su +ez' el t&rmino ma$or aparecer( en la premisa mayor
,que por con+enci"n suele colocarse en primer orden-' mientras que el t&rmino menor ocupar( un
lugar en la premisa menor% .or lo tanto' un silogismo presentar( el siguiente aspecto#
,.remisa Ma$or- [Todo, Ningn, Algn] (M,P) [no] es (M,P).
,.remisa Menor- [Todo, Ningn, Algn] (M,S) [no] es (M,S).
,/arra de deducci"n-
,Conclusi"n- [Todo, Ningn, Algn] S [no] es P.
E!emplo#
Todos los artistas son creati+os%
Todos los poetas son artistas %
Todos los poetas son creati+os%
En este caso' el t&rmino medio es artista ,M-' el menor poeta ,S- $ el ma$or creativo ,.-%
Representado a)stractamente quedar0a#
Todos los M son .%
Todos los S son M%
Todos los S son .% 1ue es un tipo de *orma de silogismo llamado Barbara%
2IGURA
La posici"n que ocupa el t&rmino medio en cada una de las premisas determina la *igura a
la que un determinado silogismo pertenece% .or e!emplo' si el t&rmino medio ocupa el lugar de
su!eto en la premisa ma$or' pero de predicado en la premisa menor' estaremos 3a)lando de un
silogismo de la primera figura% Cuando sea predicado de am)as premisas el silogismo ser( de la
segunda figura4 mientras que ser( de la tercera figura si ocupa en ellas la posici"n de su!eto% .or
5ltimo' en el silogismo de la cuarta figura ocupa la posici"n de predicado en la premisa ma$or $
de su!eto en la premisa menor% Esquem(ticamente#
MO6O
Lo que de*ine el modo de un silogismo es la *orma en la que est(n com)inados los tipos
de !uicios que lo componen% .or e!emplo# el modo EAE es un silogismo compuesto de un !uicio
uni+ersal negati+o como premisa ma$or $ otro del mismo tipo como conclusi"n' $ un uni+ersal
a*irmati+o como premisa menor% Tendr0a' por lo tanto' el siguiente aspecto#
2IGURAS
78 98 :8 ;8
M. .M M. .M
SM SM MS MS
1 Figura% 2 Figura% 3 Figura% 4 Figura%
<ing5n M es . <ing5n . es M <ing5n M es . <ing5n . es M
Todo S es M % Todo S es M % Todo M es S % Todo M es S %
<ing5n S es . <ing5n S es . <ing5n S es . <ing5n S es .
A continuaci"n damos una ta)la de los modos posi)les de silogismos#
A / C 6
7
A A A A
A A A A
A E I O
A A A A
E E E E
A E I O
A A A A
I I I I
A E I O
A A A A
O O O O
A E I O
9
E E E E
A A A A
A E I O
E E E E
E E E E
A E I O
E E E E
I I I I
A E I O
E E E E
O O O O
A E I O
:
I I I I
A A A A
A E I O
I I I I
E E E E
A E I O
I I I I
I I I I
A E I O
I I I I
O O O O
A E I O
;
O O O O
A A A A
A E I O
O O O O
E E E E
A E I O
O O O O
I I I I
A E I O
O O O O
O O O O
A E I O
Tenemos una ta)la de ;;=7> celdas' con cuatro modos cada una de ellas% .or lo tanto
son ;7>=>; modos posi)les% .ero adem(s' teniendo en cuenta que para cada modo 3a$ cuatro
*iguras la cantidad total de silogismos posi)les ser( de ;>;=9?>% .or supuesto' no todos ellos
ser(n *ormas +(lidas de razonamiento% M(s a)a!o detallamos un m&todo para discriminar las
*ormas +(lidas%
<OTACI<
Se utilizar( la siguiente notaci"n para 3acer re*erencia a una determinada *orma de
silogismo#
@
7
@
9
@
:
AB
Modo 2igura
A Los lugares indicados con X
1
' X
2
$ X
3
pueden tomar cualquiera de los +alores en el
con!unto CA' E' I'OD%
A El lugar indicado por Y puede tomar cualquiera de los +alores en el con!unto C7' 9' :' ;D
A X
1
es el lugar reser+ado para la premisa mayor%
A X
2
es el lugar reser+ado para la premisa menor%
A X
3
es el lugar reser+ado para la conclusin%
A Y es el lugar reser+ado para indicar la *igura%
E!emplo# EAE-2 representa la siguiente *orma de silogismo#
E# <ing5n . es M%
A# Todo S es M%
E# <ing5n S es .
Observai!n"
6e)e tenerse especial cuidado en identi*icar )ien trminos $ premisas% Consid&rese#
<ing5n atleta es adicto%
Todo adicto es en*ermo%
<ing5n atleta es en*ermo%
.odr0a decirse que es un silogismo de *orma EAEA;% .ero es un error% Recu&rdese que el
t&rmino ma$or es el predicado de la conclusi"n4 en este caso Een*ermoF% .or lo tanto' la premisa
ma$or es ETodo adicto es en*ermoF' $ es la que se enuncia primero% El an(lisis correcto muestra
que la *orma del silogismo dado es AEEA7% La con*usi"n se produce porque en el razonamiento
encontramos en primer lugar a la premisa menor' pero el orden de aparicin no altera la
estructura del razonamiento%
GALI6EH .ARA SILOGISMOS
Eisten distintos m&todos para esta)lecer la +alidez de los silogismos% Uno tradicional
consiste en enunciar una serie de reglas que de)en cumplir% Geremos como utilizarlas para
reducir dr(sticamente la cantidad de silogismos a considerar' 3asta quedarnos solamente con
aquellos que sean +(lidos#
.resentamos un cuadro de posi)les silogismos m(s arri)a% En &l' por e!emplo' el
cuadrante A7 contiene todos los silogismos que tienen como premisas dos !uicios uni+ersales
a*irmati+os ,A-% Con+engamos en llamar' por e!emplo' a los silogismos de modo AAI de la
siguiente *orma#7A:4 es decir' el tercer modo del cuadrante 7A%
7
Tomando otro e!emplo' los
silogismos de modo IEO se denominar(n :/; ,el cuarto modo del cuadrante :/-%
<o consideraremos en los an(lisis que siguen las reglas 7 $ 9% Si un razonamiento tiene
m(s de tres t&rminos' o el t&rmino medio *igura en la conclusi"n' entonces no es un silogismo
categ"rico% .or otra parte' como 3emos de considerar los silogismos a)stractamente' no nos
en*rentaremos con el pro)lema de t&rminos am)iguos que puedan introducir su)repticiamente un
cuarto t&rmino%
Geremos que las reglas ?AI nos permiten descartar una gran cantidad de posi)les
silogismos% Luego de)er( 3acerse un tra)a!o un poco mas *ino con las reglas : $ ;%
REGLA ?# <os permite descartar todos los modos que comiencen con las siguientes premisas#
EE' EO' OE $ OO% .or lo tanto' eliminamos los cuadrantes 9/' 96' ;/' ;6%
7
T&ngase en cuenta que la orientaci"n del lectura' en el cuadro' es +ertical% 6e acuerdo con esto' el cuadrante 7A
contiene los modos AAA' AAE' AAI $ AAO% Una pequeJa barra de deduccin separa a las premisas de la
conclusi"n%
#E$%A& 'A#A (ETE#)*NA# %A +A%*(E, (E -N &*%O$*&)O
.ATE$/#*.O
7% Todo silogismo de)e contener eactamente tres t&rminos% Cada t&rmino de)e
usarse con el mismo sentido en todo el razonamiento%
9% El t&rmino medio no de)e *igurar en la conclusi"n%
:% El t&rmino medio de)e tomarse en toda su etensi"n por lo menos en una de las
premisas%
;% Un t&rmino no puede tener ma$or etensi"n en la conclusi"n que en las premisas%
?% Am)as premisas no de)en ser negati+as%
>% Am)as premisas no de)en ser particulares%
K% Si una premisa es negati+a tam)i&n la conclusi"n de)e serlo%
L% Si una premisa es particular tam)i&n la conclusi"n de)e serlo%
I% Si am)as premisas son a*irmati+as' tam)i&n la conclusi"n de)e serlo%
REGLA ># <os permite descartar los modos que comienzan con II' IO' OI' OO% Eliminamos los
cuadrantes :C' :6' ;C%
REGLA K# Elimina los modos 7/7' 7/:4 767' 76:4 9A7' 9A:4 9C7' 9C:4 :/7' :/:4 ;A7' ;A:%
REGLA L# 7C7' 7C94 7694 9C94 :A7' :A94 :/94 ;A9%
REGLA I# 7A9' 7A;4 7C;4 :A;%
Restan analizar# AAA' AAI' AEE' AEO' AII' AOO' EAE' EAO' EIO' IAI' IEO' OAO%
A los *ines del an(lisis introduciremos la siguiente notaci"n% .ara decir que el termino
medio no est( tomado en toda su etensi"n en ninguna de las premisa' lo cual constitu$e una
+iolaci"n de la regla : utilizaremos la epresi"n ER:F ,T&rmino medio no distri)uido-% .ara
especi*icar que un t&rmino tiene ma$or etensi"n en la conclusi"n que en la premisa
correspondiente ,regla ;- utilizaremos la epresi"n ER;MS' .NF% .or e!emplo# ER;.F quiere decir#
Eel t&rmino ma$or tiene m(s etensi"n en la conclusi"n que en la premisaF ,en la premisa ma$or'
por supuesto-%
AcompaJamos cada una de las *ormas analizadas con su correspondiente diagrama de
Genn% M(s a)a!o detallamos un m&todo que nos permite decidir la +alidez de un silogismo
utilizando esta clase de diagramas% Luego de especi*icar la pauta que seguimos para la
ela)oraci"n de los diagramas' desarrollamos el an(lisis de las *ormas de silogismo que a5n
de)emos considerar' teniendo en cuenta las reglas que no 3emos utilizado 3asta aqu0%
<ota# las *ormas de silogismo con dos premisas uni+ersales
3an sido representadas como indica el cuadro a la izquierda%
El su)t0tulo EMa$or $ Menor superpuestasF se re*iere a los
casos en que la representaci"n de am)as premisas a*ecta a
una misma zona%
AAA
1 Figura% 2 Figura. 3 Figura. 4 Figura.
Todo M es .% Todo . es M% Todo M es .% Todo . es M%
Todo S es M% Todo S es M% Todo M es S% Todo M es S%
Todo S es .% Todo S es .% Todo S es .% Todo S es .%
G(lido# In+(lido# In+(lido# In+(lido#
/ar)ara ,AAAA7-% R: R;S R;S
AAI
9
1 Figura% 2 Figura. 3 Figura. 4 Figura.
Todo M es .% Todo . es M% Todo M es .% Todo . es M%
Todo S es M% Todo S es M% Todo M es S% Todo M es S%
Alg5n S es .% Alg5n S es .% Alg5n S es .% Alg5n S es .%
9
S"lo las premisas se representan en el diagrama de Genn' por ello son iguales para AAA $ AAI%
G(lido# In+(lido# G(lido# G(lido#
/ar)ari ,AAAA7-%
:
R: 6arapti ,AAIA:- /ramantip ,AAIA;-
AEE
1 Figura% 2 Figura. 3 Figura. 4 Figura.
Todo M es .% Todo . es M% Todo M es .% Todo . es M%
<ing5n S es M% <ing5n S es M% <ing5n M es S% <ing5n M es S%
<ing5n S es .% <ing5n S es .% <ing5n S es .% <ing5n S es .%
In+(lido# G(lido# In+(lido# G(lido#
R;. Camestres ,AEEA9- R;. Camenes ,AEEA;-
;
AEO
1 Figura% 2 Figura. 3 Figura. 4 Figura.
Todo M es .% Todo . es M% Todo M es .% Todo . es M%
<ing5n S es M% <ing5n S es M% <ing5n M es S% <ing5n M es S%
Alg5n S no es .% Alg5n S no es .% Alg5n S no es .% Alg5n S no es .%
In+(lido# G(lido# In+(lido# G(lido#
R;. ,Camestrop- ,AEOA9- R;. ,Camenop- ,AEOA9-
Los diagramas son id&nticos' para cada *igura' a los correspondientes en AEE%
AII
1 Figura% 2 Figura. 3 Figura. 4 Figura.
Todo M es .% Todo . es M% Todo M es .% Todo . es M%
Alg5n S es M% Alg5n S es M% Alg5n M es S% Alg5n M es S%
Alg5n S es .% Alg5n S es .% Alg5n S es .% Alg5n S es .%
6iagrama# 6iagrama#
Idem 78 2igura Idem 98 2igura
G(lido# In+(lido# G(lido# In+(lido#
6arii ,AIIA7- R: 6atisi ,AIIA:- R:
:
Los modos su)alternos aparecer(n entre par&ntesis%
;
O)s&r+ese que los diagramas para las *iguras 78 $ :8 son iguales' $ otro tanto ocurre con las 98 $ ;8% Es una
consecuencia de la equi+alencia entre E<ing5n S es MF $ E<ing5n M es SF%
AOO
1 Figura% 2 Figura. 3 Figura. 4 Figura.
Todo M es .% Todo . es M% Todo M es .% Todo . es M%
Alg5n S no es M% Alg5n S no es M% Alg5n M no es S% Alg5n M no es S%
Alg5n S no es .% Alg5n S no es .% Alg5n S no es .% Alg5n S no es .%
In+(lido# G(lido# In+(lido# In+(lido#
R;. /aroco ,AOOA9- R;. R:
EAE
1 Figura% 2 Figura. 3 Figura. 4 Figura.
<ing5n M es .% <ing5n . es M% <ing5n M es .% <ing5n . es M%
Todo S es M% Todo S es M% Todo M es S% Todo M es S%
<ing5n S es .% <ing5n S es .% <ing5n S es .% <ing5n S es .%
6iagrama# 6iagrama#
Idem 78% Idem :8%
G(lido# G(lido# In+(lido# In+(lido#
Celarent ,EAEA7- Cesare ,EAEA9- R;S R;S
EAO
1 Figura% 2 Figura. 3 Figura. 4 Figura.
<ing5n M es .% <ing5n . es M% <ing5n M es .% <ing5n . es M%
Todo S es M% Todo S es M% Todo M es S% Todo M es S%
Alg5n S no es .% Alg5n S no es .% Alg5n S no es .% Alg5n S no es .%
G(lido# G(lido# G(lido# G(lido#
,Celaront- ,EAOA7- ,Cesaro- ,EAOA9- 2elapton ,EAOA:- 2esapo ,EAOA;-
6iagramas# idem EAE%
?
EIO
1 Figura% 2 Figura. 3 Figura. 4 Figura.
<ing5n M es .% <ing5n . es M% <ing5n M es .% <ing5n . es M%
Alg5n S es M% Alg5n S es M% Alg5n M es S% Alg5n M es S%
Alg5n S no es .% Alg5n S no es .% Alg5n S no es .% Alg5n S no es .%
?
El an(lisis moderno ,)ooleano- modi*ica el presente an(lisis%
G(lido# G(lido# G(lido# G(lido#
2erio ,EIOA7- 2estino ,EIOA9- 2erison ,EIOA:- 2resison ,EIOA;-
El diagrama es el mismo para las cuatro *iguras%
IAI
1 Figura% 2 Figura. 3 Figura. 4 Figura.
Alg5n M es .% Alg5n . es M% Alg5n M es .% Alg5n . es M%
Todo S es M% Todo S es M% Todo M es S% Todo M es S%
Alg5n S es .% Alg5n S es .% Alg5n S es .% Alg5n S es .%
6iagrama# 6iagrama#
Idem 78% Idem :8%
In+(lido# In+(lido# G(lido# G(lido#
R: R: 6isamis ,IAIA:- 6imaris ,IAIA;-
IEO
1 Figura% 2 Figura. 3 Figura. 4 Figura.
Alg5n M es .% Alg5n . es M% Alg5n M es .% Alg5n . es M%
<ing5n S es M% <ing5n S es M% <ing5n M es S% <ing5n M es S%
Alg5n S no es .% Alg5n S no es .% Alg5n S no es .% Alg5n S no es .%
In+(lido# In+(lido# In+(lido# In+(lido#
R;. R;. R;. R;.
>
Todos los diagramas son iguales para las cuatro *iguras%
>
Como puede o)ser+arse' todas las *iguras correspondientes a este modo son in+(lidas% La premisa ma$or es un
!uicio de tipo I' que no distri)u$e sus t&rminos% B la conclusi"n' siendo un !uicio O' distri)u$e el predicado% El
t&rmino ma$or' por lo tanto' tiene siempre m(s etensi"n en la conclusi"n' con lo que se +iola la regla ;% Sin
em)argo no +iola ninguna otra regla' raz"n por la cual este modo no *ue descartado en la Eoperaci"n de )arridoF que
e!ecutamos al principio% .uede o)+iarse el an(lisis *igura por *igura teniendo en cuenta lo dic3o m(s arri)a# que la
conclusi"n es de tipo O' mientras la premisa ma$or es de tipo I%
CMO A<ALIHAR U< SILOGISMO CATEGRICO#
7% 6eterminar los t&rminos ma$or' menor $ medio%
9% 6eterminar el modo $ la *igura%
:% La inspecci"n del modo del silogismo muestra si cumple con
las reglas ?AI% 6e cumplirse#
;% 6eterminar qu& t&rminos est(n distri)uidos%
?% OEst( distri)uido el t&rmino medioP ,Regla :- En caso de
respuesta a*irmati+a#
>% OAlg5n t&rmino est( distri)uido en la conclusi"nP B de ser as0
OTam)i&n est( distri)uido en la premisa correspondienteP
Regla ;-%
K% Si no se +iola ninguna de las reglas mencionadas el silogismo
es +(lido%
OAO
1 Figura% 2 Figura. 3 Figura. 4 Figura.
Alg5n M no es .% Alg5n . no es M% Alg5n M no es .% Alg5n . no es M%
Todo S es M% Todo S es M% Todo M es S% Todo M es S%
Alg5n S no es .% Alg5n S no es .% Alg5n S no es .% Alg5n S no es .%
In+(lido# In+(lido# G(lido# In+(lido#
R: R;. /ocardo ,OAOA:- R;.
Qemos encontrado que los siguientes modos $ *iguras de silogismos son +(lidos#
1 Figura 2 Figura 3 Figura 4 Figura
,AAAA7- /ar)ara
,EAEA7- Celarent
,AIIA7- 6arii
,EIOA7- 2erio
,AAIA7- ,/ar)ari-
,EAOA7- ,Celaront-
,EAEA9- Cesare
,AEEA9- Camestres
,EIOA9- 2estino
,AOOA9- /aroco
,EAOA9- ,Cesaro-
,AEOA9- ,Camestrop-
,AAIA:- 6arapti
,IAIA:- 6isamis
,AIIA:- 6atisi
,EAOA:- 2elapton
,OAOA:- /ocardo
,EIOA:- 2erison
,AAIA;- /ramantip
,AEEA; - Camenes
,IAIA;- 6imaris
,EAOA;- 2esapo
,EIOA;- 2resison
,AEOA;- ,Camenop-
A<RLISIS 6E SILOGISMOS%
.ara analizar un razonamiento silog0stico procederemos de la siguiente manera#
E!emplos#
7- Todos los 3om)res son mortales% 9- <ing5n pol0tico es corrupto%
Todos los atenienses son 3om)res% Alg5n corrupto es pu)licista%
Todos los atenienses son mortales% Alg5n pol0tico no es pu)licista%
E!ercicio 7#
A .# mortales4 S# atenienses4 M# 3om)res%
A AAAA7
A a- <o son am)as premisas negati+as4 )- no son am)as particulares4 c- no contiene
premisas negati+as4 d- no contiene premisas particulares4 e- las dos premisas son
a*irmati+as $ tam)i&n la conclusi"n% Cumple con las reglas ?AI%
A El t&rmino medio est( distri)uido en la premisa ma$or%
A El t&rmino menor est( distri)uido en la conclusi"n' pero tam)i&n en la premisa
correspondiente%
.or lo tanto# el razonamiento es GALI6O%
E!ercicio 9#
A .# pu)licista4 S# pol0tico4 M# corrupto%
A IEOA7%
A a- 3a$ una premisa a*irmati+a4 )- 3a$ una premisa uni+ersal4 c- la conclusi"n es negati+a4
d- la conclusi"n es particular4 e- una de las premisas es negati+a% Cumple las reglas ?AI%
A El t&rmino medio est( distri)uido en la premisa ma$or%
A El t&rmino ma$or est( distri)uido en la conclusi"n' pero no en la premisa
correspondiente% 2in del an(lisis%
El razonamiento es I<GRLI6O ,R;.-%