n

-
~

5
'

"
-
"
"

~

~

~
.

b

'
"

"

"
-
S
i

O

n

~

~

'
"

n

"

o

t
r
i

"

i

'
"

o

o

p

~
,

O

C
l

'

-
,

'
"

2
:

-
3

-

n

~

;
1
>

1. LA PROPOSICIN CATEGRICA
Las ideas que considera la lgica clsica son los conceptos generales
o abstractos. o conceptos de clases, de los que cada uno representa una
clase de objetos o individuos que tienen en comn un conjunto de cuali-
dades. caracteres o propiedades distintivas. El conjunto de esos caracte-
res constituye la comprensin; el conjumo de objetos o individuos que
poseen esos caracteres conslituye la extensin del conceplo. Se admite
como caso particular (caso lmite) el concepto de un individuo.
Un jui cio categrico es la afirmacin de una relacin entre dos
conceptos mediante la cpul a es: A es B. Esta relacin puede ser con-
cebida de dos maneras: desde el punto de vista de la comprensin, este
juicio significa que el concepto A (sujeto) posee el arributo o predica
do S, esto es, 'que S forma parte de la extensin de A; desde el punto
de vista de la extensin, el juicio significa que el conjunto de los objetos
llamados A (la clase A) forma pane del conjunto de objetos llamados B
(de la clase B), lo cual quiere decir que la extensin:.. del concepto A es
t contenida en la extensin del concepto B. Es evidente que las con
notaciones de extensin y de comprensin de los dos conceptos son de
alguna manera inversas la una con la otra. Se puede decir que desde el
punto de vista de la extensin el sujeto est contenido en el predicado.
mientras que desde el de la comprensin el sujeto contiene al predicado.
Dicho en otras paJabras. el predicado es a la vez ms general y ms abs-
tracto que el sujeto.
2. LOS CUATRO TIPOS DE PROPOSICIN CATEGRICA
Los j uicios se ordenan en cuatro clases, que se distinguen tanto por la
cualidad como por la cantidad. Segn la cualidad, los j uicios son
afirmativos o negativos; segn la cantidad, son universales o panicula
res. Un juicio universal es aquel cuyo sujeto est tomado en toda su ex
tensin (todo A, todos los A); un juicio particular es aquel cuyo sujeto
est tomado slo en una parte de su extensin (algunos A). Se distinguen
tambin los juicios singulares, esto es, aquellos cuyo sujeto es un indio
viduo; pero desde el punto de vista de la cantidad se los puede asimilar a
194 EL ARTE DE LA LGICA
los juicios universales, puesto que el sujeto est tomado siempre en toda
su extensin (reducido en estos casos a un solo individuo).
De la combinacin de estas dos dicotomas resulla la disti nci n entre
c uatro clases de juicios, a los que se designa por las cuatro primeras YO-
cales, segn los siguientes versos mnemotcnicos:
Asserit A, negar E. venun generaliter ambo;
Asserit / , negar O, sed particulariter ambo.
Afirma A, niega E. pero ambas de modo general;
Afirma I. niega 0 , pero ambas particulannente.
y estos son los tipos de esas cuatro especies de juicios (donde el suje-
to est representado por S y el predicado por P);
1.
11
Juicio (A): Todo S es P.
2.
11
Juicio universal (E): Ningn S es P.
3.
11
Juicio particular afmnativo (1): Algn S es P.
4.
11
Juicio particul ar negativo (O): Algn S no es P.
Estas cuatro especies de juicios (supuesto que tengan el mi smo sujeto
y el mismo predicado) mantienen entre s las relaciones definidas por la
fi gura:
Contrariedad
A E
'"
'"



C" . c,"'"'


0 .. ;
'"

9


\"
"'.
o
o
oo o
o:
,
";
o:
,
,
I V '\J O
Subcontrariedad
COMPENDIO DE SlLOGlsnCA 195
3. LA INFERENCIA INMEDIATA
Estas relaciones de oposicin dan lugar a inferencias o deducciones
inmediatas, es decir, que, dada la verdad o la falsedad de una de las cuatro
proposiciones, se puede deducir inmediatamente (sin intennediarios) la
verdad o la falsedad de alguna de las otras, en virtud de las reglas siguientes:
l.' Regla de las contradictori as (A y O; E e 1): Si una es verdadera, la
otra es falsa; si una es fal sa, la otra es verdadera. En otras palabras: dos
contradicwrias no pueden ser ni verdaderas ni falsas a la vez.
2.' Regla de las subaltemas (1 es subalterna de A, y O es subalterna de
E): Si la uni versal es verdadera, la particular es verdadera; si la particular
es falsa, la universal es falsa (no hay inferencia posible en los otros casos).
3.' Regla de las contrarias (A y E, las dos universales): Dos proposi-
ciones contrarias no pueden ser verdaderas a la vez, pero s pueden ser
falsas a un mi smo tiempo.
Efectivamente, si A es verdadera, O es fal sa (x>r la regla de las con-
tradictorias); por tanto, E es falsa (por la regla de las subalternas). Pero,
si A es falsa, O es verdadera, y de aquf no se puede concluir nada respec-
to a E; es decir, que E puede ser verdadera o falsa.
4.
1
Regla de las subcontrarias (1 y O, las dos particulares): Dos proposi-
ciones subcontrari as pueden ser verdaderas a la vez. pero no falsas a la vez.
Porque, si 1 es verdadera, E es falsa, y de aqu no puede conclui rse
nada respecto de O; pero, si 1 es falsa, E es verdadera y, en consecuencia,
O es verdadera
4. CONVERSIN DE PROPOSICIONES
Hay todavfa un segundo mtodo de deducci n inmediata: la conver-
sin. Convertir una proposicin es deducir otra proposicin equivalente
a eUa (es decir, igualmente verdadera o igualmente falsa) que tenga por
predicado el sujeto y por sujelo el predicado de la primera.
Las reglas de la conversin no pueden ser justificadas ms que desde
el punto de vista de la eXlensin del predicado. Se ha sealado que la
cantidad de una proposi cin oorresponde a la extensin del sujelo; de
manera anloga, la extensin del predicado corresponde a la cualidad
de la proposicin, en virtud de la regla siguienlc:
En una proposicin negativa, el predicado es uni versal; en una
proposicin afirmativa es particular.
En efecto, en una proposicin negativa se excluye al suj eto (tomado
196 EL ARTE DE LA LGICA
en su extensin tOlal o parcial) de doda la extensin del predicado;
mi entras que en la proposicin afirmativa se enuncia que la extensin
(total o parcial) del sujeto forma p a n e ~ de la extensin del predicado, es
deci r, es idnti ca a una parte de esa extensin. No se considera. por tanto.
ms que una parte (indeterminada) de la extensin del predicado. y es so-
lamente por esta parte por lo que figura en el juicio.
Dicho en pocas palabras: toda conversin supone la _cuantificacin
del predicado; lo cual es coherente. puesto que ese predicado debe ser
transformado en un sujeto dotado de una cantidad determinada.
1,11 Conversin si mple. E e 1 se convierten simplemente, es decir. por
si mple intercambi o del sujeto y el predicado:
Ningn S es P
equivale a:
Ningn P es S;
y
Algn S es P
equivale a:
Algn Pes S.
Porque en E el predicado es universal. como el sujeto; en I es particu-
lar, como el sujeto. Se puede decir que E excl uye todo S de todo P;
por tanto, inversamente, todo P de Iodo S: y que 1 identifi ca algn
S con algn P, por lanto, inversamente, algn P con algn S.
2.
11
Conversin parcial (por accidente o por limitacin). A, por tener
su sujelo universal y su predicado particular, no puede convertirse ms
que parcialmente)!>, por limi tacin de la extensin del predicado: A iden-
tifi ca Iodo S con algn P; por tanto, no se puede deduci r de ella ms
que la particular afi nnativa (1):
Algn P es S.
Puede observarse que la conversin parcial de A equivale a la subal-
temacin seguida de una conversin simple: en efecto, de A se deduce la
subalterna 1:
Algn S es P,
y de ella se deduce, por conversin simple:
Algn P es S.
I
COMPENDIO DE SILOGlsTTCA 197
De eSte modo podremos convert ir A. E e 1: O no se dej a convert ir (al
menos de manera regular).
5. LA INFERENCIA MEDIATA
Pasemos a la deduccin mediata, esto es, a la que deduce una propo-
sicin llamada conclusin a parti r de dos o ms proposiciones dadas
(supuestas verdaderas) ll amadas " premi sas. El caso ms simple es aquel
en el que no hay ms que dos premisas: el razonamiento se ll ama enton-
ces un sil ogismo.
El silogismo consiste en demostrar una concl usin (generalment e pre
vista o propuesta) mediante dos premisas que ponen respecti vamente los
dos tnninos de la conclusin en relacin con un tercer trmino auxiliar.
llamado trmino medio. Al sujeto de la conclusin se te llama t nni-
no menor, y al predicado Innino mayoTlf. De acuerdo con esto se ll a-
ma premisa menor a la que contiene el suj eto de la conclusin, y
premisa mayor a la que contiene el predicado. Es evidente que el tr-
mino medio debe aparecer en eada una de las premisas y, por el contra-
rio, no puede fi gurar en la concl usin. Estas definic iones aparecen
resumidas en las dos primeros reglas del silogismo:
6. LAS REGLAS DEL SILOGISMO
1. TerminllS esto triplex: medius majorque minorqll e.
Hay tres trminos: medio, mayor y menor.
11. Nequaquam medillm capiat conclusio fasl esto
Es necesario que el medio no aparezca en la conclusin.
La tercera regla se enuncia:
liI. LalillJ hos quam praemissae conclusio non I' ult.
La conclusin no puede ser ms ampli a que las premisas.
La conclusin no puede admiti r que sus dos trminos tengan una exten
sin superior a la que tienen en las premisas: la concl usin es vli da slo
en la medida en que lo son las premisas. y, si un lnnino es particul ar en
ellas, no puede ser universal en la conclusin sin que sta sobrepase a las
premisas, con lo que dejaa de ser una consecuencia de ellas (dicho muy
brevemente: no se puede concluir Todos a partir de Algunos).
IV. Aur semel aut iterul"r/ medius generaliter estO.
El trmino medio tiene que ser general en uno o en ambos casos.
Si el tnnino medio estuviera asumido particularmente las dos veces,
198 EL ARTE DE LA LGICA
es decir, si figurara en las dos premisas tomado solamente en una parte
de su extensin, nada pennitira afirmar que esas dos partes (indelenni-
nadas) son las mi smas (incluso aunque sea parcialmente) y. por tanto, la
identidad del trmino medio quedara incierta; pero esta identidad es la
condicin indispensable de la validez del silogismo. Un silogismo que
violara esta regla sera un silogismo con trminos. y por tanto
no conclusivo, porque de dos premisas que no tienen ningn trmino en
comn es evidente que no se puede conclui r nada.
Corolario: Debe haber siempre en las premisas al menos un trmi-
no universal de ms que en la conclusin.
Porque, si el sujeto o el predicado de la conclusin es universal. debe
serlo tambin en la premisa correspondiente (en virtud de la regla nI); y.
como el trmino medio debe ser tomado una vez universalmente (de
acuerdo con la regla rv), tenemos un trmino universal de ms que no
contiene la conclusin.
Para la aplicacin de esta regla conviene observar que:
A contiene 1 tnnino universal (S)
E contiene 2 tnninos universal es (S y P),
1 contiene O tnninos universales,
O contiene tnnino universal (P).
Las cuatro reglas precedentes se refieren a los fnninos del silogis-
mo. Las cuatro que siguen son relativas a las proposiciones que for-
man el silogismo.
V. Ambae affirmantes nequeunt generare negantem.
Dos afinnativas no pueden generar una negativa.
Efecti vamente, del hecho de que los dos tnninos elttremos estn uni-
dos, es decir, parcialmente identificados. con eltnnioo medio, 00 se pue-
de concluir que estn separados o que se eltcluyan (totaJ o parcialmente).
VI. Utraque si praemissa neget, ni{ inde sequitur.
Si las dos premisas son negativas, nada se sigue de ellas.
Del hecho de que los dos tnninos extremos estn separados o excluidos
del tnnmo medio. 00 puede concluirse nada relati vo a la relacin de Jos elt-
tremos: estos extremos pueden indiferentemente estar unidos o separados.
VII. Pejorem sequitur semper conclusio partem.
La conclusin sigue siempre la parte peor.
Siendo considerada la negativa como inferior a la afnnativa, y la panicu-
lar a la universal, la conclusin tiene siempre la cualidad y la cantidad infe-
rior que posean las dos premisas. La demOSlr'dcin de esta regla es doble.
puesto que la regla se refiere tanto a la cualidad como la cantidad.
COMPENDIO DE Srux;lsnCA 199
1.V Desde el punto de vista de la cualidad, si hay una premisa negativa
(y, segn la regla VI, no puede haber ms que una), el tnnino medio est
unido a uno de los extremos y separado del otro; no puede, por tanto,
unirlos, sino separarlos.
2.
v
Desde el lado de la cantidad, si hay una premisa particular, la con-
cl usin no puede ser universal. Supongamos que esa conclusin fuera
universal afirmativa: las dos premisas tendran que ser afinnativas (en
virtud de la pri mera parte de esta regla) y adems contener dos trminos
uni versales, puesto que la concl usin contiene uno; por lanto, esas premi-
sas deberan ser las dos universales (cuyos predicados seran particula-
res). Supongamos ahora que la conclusin es universal negati va: las dos
premisas deberan contener tres trminos universal es; o una, y una sola,
ser negativa (tendr su predicado universal); por tanto, los dos sujetos
debern ser universales, o sea, que las dos premisas sern universales.
As. una conclusin universal no puede provenir jams de una premisa
particular, y mucho menos de dos.
vrn. Nif sequitur geminis e particularibus IInquam.
Nada se sigue jams de un par de particulares.
Es evidente que un silogismo no puede tener nunca dos premisas par-
ticulares. En efecto, si las dos premisas fueran afinnativas, todos sus tr-
minos seran particulares, 10 que es contrario a la regla VI. Si una de ellas
fuera negati va, la conclusin debera serlo tambin (en virtud de la regla
VII) y, por tanto, deberla haber dos trminos universales en las premi sas.
Pero enlonces es universal uno solo de los predicados. puesto que no
puede haber ms de una premisa negati va; en este caso uno de los sujetos
tiene que ser tambin negativo, y ello implica que una de las premi sas es
uni versal.
Podr observarse que las ocho reglas han podido ser demostradas con
rigor matemtico gracias a la consideracin de la elttensin y concreta-
mente a la cuantificacin implcita del predicado que de ella resul ta.
7. ..:AGURAS y MODOS DEL SILOGISMO
Para detenninar los modos concl uyentes del silogismo, es preciso
tener en cuenta la posicin que ocupa el trmino medio en las dos premi-
sas; es esta posicin la que pennite di sti nguir enlre las di stintas figu-
ras. Hay tantas figuras como di sposiciones diferentes del trmino
medio, es decir, cuatro.
Estas disp:>siciones estn resumidas en los siguientes versos mnemnicos:
200 EL ARTE DE LA LGICA
Sub prae, tum prae pral!, lum sub sub, denique pral! sub.
Sub pral!; despus pral! pral!; despus sub sub; y finalmente pral! sub.
Sub pral! significa que, en la 1.
1
figura, el tnnino medio es sujeto
(subjecfum) en la mayor y predicado (praedicatum) en la menor; prae
prae significa que, en la 2.
1
figura, el tnnino medio es predicado en las
dos premisas; sub sub significa que, en la 3.' figura, el tnnino medio es
sujeto en las dos premisas; y prae sub significa que, en la 4.
1
figura. el
tnnino medio es predicado en la mayor y sujeto en la menor (el caso in-
verso de lo que ocurre en la l.' figura).
Representaremos cada figura (siguiendo el ejemplo de Kant) por un
esquema de tres lneas, donde la primera representar la premisa mayor,
la segunda la menor, y la tercera la conclusin; el sujeto de cada una de
ellas estar colocado a la izquierda y el predicado a la derecha. El trmi-
no menor ser S. el medio M, y el mayor P.
Conviene observar que las ocho reglas del sil ogismo son indepen-
dientes. tanto por su enunciado como por su demostracin. del lugar que
ocupe el trmino medio, y que. por tanto, son comunes a todas las figu-
ras. Vamos a establecer las reglas especiales de cada figura, teniendo en
cuenla el lugar del trmino medio.
1.- figura. M
S
S
l . La menor es afumativa.
P
M
P
Si fuera negativa. la conclusin debera ser negativa, y la mayor afir-
mativa. Luego el trmino mayor sera universal en la conclusin y particu-
lar en la mayor. lo que es contrario a la regla DI.
2. La mayor es universal.
Porque, como la menor es afirmativa. su predicado M es particular,
M debe, por tanto, ser universal en la mayor, y, como en ell a hace de su-
jeto, la premisa tiene que ser universal.
Para obtener los modos concluyentes de la 1.
1
figura, basta por tanto
con combinar las mayores universales (A, E) con las menores afirmativas
(A, 1) y determinar la conclusin que comporta cada combinacin de pre-
misas, en virtud de las reglas generales.
Mayor A, menor A, conclusin A.
Mayor A, menor l. conclusin 1.
Mayor E. menor A. conclusin E.
Mayor E. menor 1, conclusin O.
COMPENDIO DE SILOGSTICA 201
Obteniendo as los cuatro modos designados par las palabras artificia-
les (donde las vocales representan las tres proposiciones de un mismo
modo);
Barbara, Darii, Celarent. Ferio.
Observacin. Las premisas A y A comportan tambin la conclusin l.
y las premisas E y A, la conclusin O; lo cual es evidente, puesto que es-
tas conclusiones son las subalternas de las conclusiones uni versales A y
E. Esa es la razn de que no se las considere como generadoras de modos
distintos.
2. Figura.
p
S
S
M
M
P
1. Una de las premisas es negativa.
El trmino medio, que es dos veces predicado, debe ser tomado una
vez uni versalmente. lo cual slo puede hacerse cuando una de las premi-
sas sea negativa. De lo cual se sigue que la conclusin ser tambin ne-
gativa.
2. La mayor es universal.
En efeclo, al ser la conclusin negativa. el trmino mayor eSl toma-
do uni versalmente y debe, por tanlO, ser universal en la mayor, pero, co-
mo en ella hace de sujelO, esa premisa debe ser uni versal.
Para o b t ~ n e r los modos concluyentes de la 2.
1
figura. basta con com-
binar la mayor A con las menores negativas E y O, y la mayor E con
las menores afirmativas A e 1:
Mayor A, menor E, conclusin E.
Mayor A, menor O, conclusin O.
Mayor E, menor A, conclusin E.
Mayor E, menor l. conclusin O.
para obtener los cuatro modos denominados:
Camestres, Baroco, Cesare. Feslino.
3.' figura. M
M
S
l. La menor es afumariva.
p
S
P
La misma demostracin que para la regla I de la 1.
1
figura.
2. La conclusin es particular.
202 EL ARTE DE LA LGICA
Puesto que la menor es afirmativa, su predicado S est tomado parti-
cularmente: no puede. por tanto, ser .ms que particular en la conclusin,
lo cual significa que esta conclusin ha de ser particular.
Para obtener los modos concluyentes de la 3,' fi gura. basta con tomar
por mayor sucesivamente A, E. 1, 0, Y de combinar cada mayor con las
menores afirmativas en la medida en que sean compatibles. en virtud de
las reglas generales. La conclusin no podr ser ms que 1 u O.
Mayor A, menor A, conclusin I.
Mayor A, menor J, conclusin 1.
Mayor E, menor A, conclusin Q.
Mayor E. menor 1, conclusin Q.
Mayor I. menor A, conclusin 1.
Mayor 0, menor A, conclusin O.
Dando as los modos siguientes:
Darapti, Datisi, Felapton, Ferison, Disamis, Bocarda
4.
1
Figura. P
M
S
M
S
P
1. Si la mayor es afinnativa, la menor es universal.
Porque el trmino medio, siendo por hiptesis particular en la mayor,
deber ser universal en la menor, lo cual obliga a que esta ltima proposi-
cin sea universal.
2. Si la menor es afirmativa. la conclusin es particular.
Pues, al ser el trmino menor predicado de la menor, es particular; por
tanto. debe ser tambin particular en la conclusin. lo que hace de ella
una proposicin particular.
3. Si la conclusin es negativa. la mayor es universal.
Porque siendo el trmino mayor el predicado de la concl usin, es uni-
versal; luego es universal en la mayor, y como all hace de sujeto, la pro-
posicin es universal .
Para obtener todos los modos concl uyentes de la 4.' figura, basta con
combinar sucesivamente las mayores A. E, 1, O con las menores que sean
compatibles con ell as en virtud de las reglas generales y especiales.
Si la mayor es A, la menor no puede ser ms que A o E (regla 1). Si
la menor es A, la conclusin slo puede ser 1: AAl. Si la menor es E, se
puede obtener la conclusin E (la conclusin O, subalterna de ell a, no
ori ginarla un modo distinto): ABE.
COMPENDIO DE SILOOfSTICA 203
Si la mayor es E, la menor debe ser afirmativa. esto es. A o 1, y la
conclusin particular (por tanto, O). De aqu los dos modos: EAO y EIO.
Si la mayor es 1, la menor debe ser uni versal. Si sta es A, la conclu-
sin es necesariamente I (tAl). Si es E, la conclusin ser negativa, y su
predicado P ser universal. Pero este predicado es el sujeto de la mayor y,
por tanto, es particular. Este modo (rEO) no es concluyente.
Y, fmalmente, la mayor no puede ser O. porque entonces la concl u-
sin seria negativa, en cuyo caso la mayor debera ser universal. No hay.
por tanto, ms que ci nco modos concluyentes en la 4.' figura, que son:
Bramantip, Camenes. Fesapo, Fresison, Dimaris.
Resumiendo, hemos encontrado diecinueve modos, que enumeramos
en el siguiente orden tradicional:
1. Barbara. Celarent. Darii , Ferio;
D. Cesare, Camestres. Festino, Baroco;
llI. Darapti. Disamis, Datisi, Felapton, Bocarda. Ferison;
IV. Bramantip, Camenes, Dimaris, Fesapo, Fresison.
8. REDUCCIN DE SILOGISMOS
El propio mtodo por el que han sido obtenidos esos diecinueve mo-
dos prueba que no puede haber otros modos vlidos. Resta por probar
que todos ellos 10 son. Para esto, la lgica clsica empleaba el mtodo de
reduccin de todos los modos a los de la l. figura; en efecto, Aristte-
les consideraba a la 1.
1
como la nica figura perfecta, porque en ella el
trmino medio es verdaderamente medio. esto es, intermediario entre
el menor y el mayor. Considerados como evidentes los cuatro modos de
sta, los modos de las otras figuras quedarn justificados si se los puede
reducir a alguno de la l. ' mediante transfonnaciones legtimas. Y esas
transformaciones vienen precisamente indicadas por la composicin de
las palabras artificiales que designan cada uno de los modos. En primer
lugar. cada modo imperfecloll se relaciona con el modo perfecto que
tenga la misma inicial (B, e, D o F). A continuacin, las consonanles in-
teriores del nombre de cada modo indican la manera de efectuar esta re-
duccin: la letra s significa que se debe convertir simplemente la
proposicin designada por la vocal que la preceda (<<e o i); la letra
p, que se la debe convertir parcialmente (la vocal es a); la letra
m significa que se deben permutar (mutare) las dos premisas.
El lector podr ejercitarse reduciendo. segn estas reglas. Cesare ,
204 EL ARTE DE LA LGICA
Camestres, Camenes:+ a Celarent; Darapti , Disamis. Dansi, Dimarislt
a fo: Darij ; y Festino, Felaplon, Ferison, Fesapo, Fresison a FeriOlf,
9. REDUCCIN INDlRECfA (O REDUCCIN AL ABSURDO)
Quedan Baroco (de la 2,' figura) y Bocarda (de la 3.
1
) , que no se
dejan reducir por esle mlOdo a un modo de la l .' Los dos se relacionan
con Barbara mediante la reducci n al absurdo, que consiste en to-
mar como premisas a la premisa A y a la contradictoria de [a conclusin,
y deducir de ellas la contradi ctoria de la otra premisa. En efecto, si un
modo es concluyente, esto es, si la verdad de dos premisas entraa nece-
sariamente la verdad de la conclusin. la falsedad de la conclusin entra-
a necesariamente la fal sedad de una de las premisas, de suerte que si se
admite una de ellas como verdadera, se debe poder deducir la falsedad de
la otra. Efectuemos la reduccin de Baraca:
Baroco
Mayor:
TodoPes M
Algn S no es M
Al gn S no es P
Negacin de
Negacin de la
la conclusin:
menor:
Todo P es M
Todo S es P
Tocio S es M
y obtenemos un silogismo en Barbara (donde P es el trmino medio).
Puesto que este silogismo es concluyente, el modo {(Baroco tambin lo es.
Reduzcamos igualmente Bocarda:
Bocardo Algn M no es P
TodoMesS
Algn S no es P.
Negacin de la conclusin: Todo S es P
Menor:
Negacin de la mayor:
Todo M es S
Todo M es P.
Es tambi n un silogismo en ~ a r b a r a (donde S es ellrmino media),
lo que prueba que el modo Bocarda es concluyente.
Leibniz ha tenido la idea de erigir este procedimiento de reduccin al
absurdo en mtodo general de deducci n de los modos concluyentes y de
aplicarlo a todos los modos de las tres ltimas fi guras.
COMPENDIO DE Sn..OGfST1CA 205
10. LA CUESTIN DE LA 4.
1
FIGURA
Muchos l6gicos. siguiendo el ejemplo de Aristteles. no admi ten la
4.
1
figura (cuya invencin es atribuida por Averroes a Galeno). y conside-
ran (con Teofrasto) que sus cinco modos no son ms que otros tantos
modos ((jndirectos de la 1.
1
fi gura. a los que llaman:
Baralipton, Celantes. Dabitis, Fapesmo. Frisesomorum
Pero, una de dos:
J.!ol O bien estos modos presentan la mi sma disposicin de trminos y
de premisas que los modos directos, y entonces "Baralipton" no es ms
que el subalterno de "Barbara"; "Celanles" y "Dabitis" son idnticos a
"Celarent" y " Darii"; y "Fapesmo" y "Frisesomorum" no son concluyen-
tes (el primero porque viola las reglas especiales de la 1.
1
figura, el se-
gundo porque viola las reglas generales del silogismo y no puede ser
concluyente en ninguna figura) .
2.
11
O bien estos modos presentan una disposicin di stinta de trminos
y de premisas. y entonces ya no son modos de la 1.
1
figura. Pero. por otra
parte, tampoco Son modos de la 4.' , porque (salvo Baralipton, cuyas
premisas son semejantes) 'todos ellos tienen sus premisas trastocadas:
Celantes es en realidad Camenes; Dabitis es realmente (( Dima-
ri s, Fapesmo es Fesapo. y Frisesomorum es (<Fresison. Pero pa-
ra transformar un modo de la 4.
1
figura en uno de la l .' no basta con
imercambiar las premisas para que la menor aparezca del ante de la ma-
yor; eso no es ms que un ardid que no cambia la verdadera fi gura de
esos modos. Es preciso convertir o bien la concl usin (i ntercambiando el
trmino menor con el mayor, con lo que la premisa mayor se tomar en
menor y viceversa), o bien las dos premisas. Pero los modos que no se
dejan relacionar con la 1.
1
fi gura ms que por una o dos conversiones
pertenecen a ella tanto como cualquiera de los modos de la 2,! o de la 3.
1
que se relacionan con la 1.
1
por el mi smo procedimiemo. Por tanto, los
modos en cuestin pertenecen a una figura especial tan legtima y lan in-
dependieme tambi n como los otros modos.
Se alega adems. contra los modos de la 4.' fi gura, que no son natu-
rales, que resultan chocantes y forzados. Pero de hecho no son ms ba-
rrocos que Bocarda o ((Baroco, y menos que la mayora.
En defini ti va, no hay ms que dos tesi s aceptables: o bi en hay que ad-
mitir las cuatro figuras como igualmente vli das e independientes entre
sr, o bien hay que considerar a la 1.
1
figura como la nica natural y
perfecta, y a las tres restantes como indirectas y derivadas. sta es la
206 EL ARTE DE LA LGICA
tesis sostenida por Kan!. Slo los modos de la 1,' figura seran simples y
puros, y concluyentes por sr mismos. Los modos de las otras tres seran
mixtos o hbridos. porque no resullan concluyentes ms que mediante
una conversin que los relaciona con la 1,' figura (y sta era ya la opi
nin de Aristteles). Pero esta tesis tropieza con el escollo de los modos
Baroco y Bocardo. , que no se resuelven por conversin en la l.' fi-
gura, y que bastaran para probar la originalidad de la 2,' y de la 3,' figu-
ras. En todo caso, no hay ninguna razn para admitir las tres primeras
figuras como primitivas y autnoffi81 y rechazar la 4.', que es tan legti-
ma y concluyente como las dems.