L a silogstica aristotlica y el problema del compromiso existencial

Roberto R. Bravo"'

La silogstica aristotlica
y el problema del compromiso existencial

R esu m en

El llamado compromiso existencial de las proposiciones categricas en la lgica

aristotlica no ha recibido an una explicacin terica de aceptacin general.
Es notorio que las leyes clsicas de inferencia inmediata de las proposiciones
generales a las particulares, as como los modos silogsticos derivados de ellas, no son
vlidas en la lgica cuantificacional moderna si no se acompaan de afirmaciones
explcitas de existencia. Lukasiewicz ha elaborado, no obstante, un clculo axiomtico
para la silogstica que expresa la totalidad de las leyes y modos de la inferencia clsica,
al margen de suposiciones adicionales.
El trabajo muestra cmo la lgica aristotlica parte de una doble interpretacin
del lenguaje, extensional e intensional, incompatible en el clculo cuantificacional
moderno, puramente extensional, y cmo esa duplicidad subsiste en la formilizacin
de Lukasiewicz.
A bstr a c t

The so-called existential commitment of categorical propositions in Aristote

lian logic has not been given yet a generally accepted theoretical explication.
It is well know that the classical laws of immediate inference from general to
particular propositions, together with the syllogistic modes derived therefrom, are
not valid in modern quantificational logic if they are not accompanied with explicit
assertions of existence. Lukasiewicz, however, has developed an axiomatic calculus of
syllogistic logic comprising all laws and modes of classical inference, without additional
suppositions.
The paper shows how Aristotelian logic stems from a twofold assumption of
. language, extensional and intensional, wich is incompatible within modern quantifica
tional calculus, purely extensional, and how that twofold view holds in Lukasiewiczs
formalization.

Escuela de Filosofa. Universidad Central de Venezuela.

Apuntes Filosficos 7-8 (1995): 111-136

Roberto R. Bravo

n problema an no enteramente resuelto de la lgica aristot

lica es el del compromiso existencial de las proposiciones categricas. En
su forma tradicional, la verdad de un enunciado universal comporta la del
particular de la misma cualidad (ley de subalternacin). As, si decimos
Todos los hombres son mortales
(proposicin categrica A o universal afirmativa), se infiere inmediata
mente
Algn hombre es mortal
(proposicin categrica I o existencial afirmativa); lo mismo se aplica a
Ningn hombre es ovparo
(proposicin categrica E o universal negativa) y
Algn hombre no es ovparo
(proposicin categrica O o existencial negativa).
La verdad del enunciado universal conlleva, adems, la del
particular de la misma cualidad resultante de permutar los trminos de
aqul (ley de conversin accidental). De
Todos los hombres son mortales (A) se infiere igualmente
Algn mortal es hombre (I conversa); y de
Ningn hombre es ovparo (E)
Algn ovparo no es hombre (O conversa).
Como es sabido, tales leyes de la teora tradicional de la inferencia
no son aceptables en la lgica cuantificacional moderna, como no lo son
tampoco los modos silogsticos derivados de ellas, tales como Darapti o
Felapton. Ello obedece a que el compromiso existencial de las mismas no
se halla implcito en la formalizacin actual, como lo est en la lgica
clsica, que excluye de su mbito de aplicacin las clases vacas. Sin
embargo, no basta la exclusin pura y simple de clases vacas para
abarcar la inferencia tradicional dentro de la lgica actual, requirindose, adems, la premisa explcita de existencia del trmino de la proposi
cin universal que permita la correspondiente deduccin. Pero, enton
ces, los esquemas de inferencia resultantes difieren de su formulacin

112

La silogstica aristotlica y el problema del compromiso existencial

clsica, t-ukasiewicz ha elaborado un clculo formal para la silogstica que

conserva todas las leyes y modos tradicionales, al precio de una interpre
tacin de la lgica aristotlica que la sita en un apartado exclusivo, al
margen de los sistemas de lgica cuantificacional y de clases.
El objetivo de este trabajo es mostrar cmo la lgica tradicional
deriva su peculiar estilo de una doble interpretacin, extensional e
intensional, del lenguaje; y cmo el sistema axiomtico de Lukasiewicz
incluye asimismo esa doble interpretacin. En consecuencia, mientras
su contenido intensional hace poco til la aplicacin de la teora clsica
de la inferencia, como sistema, en la ciencia, su general naturaleza
extensional la torna por otra parte inadecuada en su conjunto para la
filosofa del lenguaje.
En la lgica cuantificacional moderna, notablemente en la formalizacin de Frege-Russell, los cuatro esquemas .lsicos de proposicin
categrica reciben las respectivas expresiones:
Forma tradicional

Forma simblica

A:
I:
E:

Ax
Vx
Ax
Vx

O :

Todo S es P
Algn S es P
Ningn S es P
Algn S no e s P

(Sx Px)
(Sx a Px).
(Sx > Px)
(Sx a ~ P x )

En la moderna formalizacin, la clsica relacin sujeto-predicado,

inspirada en la forma del lenguaje natural, se interpreta como una
funcin compleja referida a un trmino argumental variable, x, que no
aparece en la formulacin tradicional, mientras la cpula representada
por una forma del verbo ser desaparece en favor de un conectivo, parte
de la funcin referida a x; la otra parte la constituyen el predicado y el
sujeto tradicionales, entendidos ambos como relatores, funtores o pre
dicados de x. Dos argumentaciones han venido a respaldar esta trans
formacin: en la formalizacin de las expresiones del lenguaje, desde
Frege hasta Quine, pasando por Russell y Carnap, se ha recurrido
preferentemente a la interpretacin extensional como medio de mante
ner a la lgica simblica desprovista de peligrosas interpretaciones de

113

Roberto R. Bravo

sentido, a fin de disponer de una herramienta segura para el estudio

objetivo de la ciencia (en especial de la matemtica), relegando los
difciles problemas de la intensionalidad al mbito ms filosfico del
estudio del lenguaje. El otro argumento, indirecto, lo aporta la lingstica
formal y estructural moderna al incluir el verbo ser existente en algunas
lenguas (particularmente las indoreuropeas, en las que se han desarrollado
la filosofa y la lgica occidentales) en la clase de los trminos semnti
camente vacos o de verbos ficticios, cuya funcin es sealar grama
ticalmente la atribucin de relaciones no verbales (tpicamente la predi
cacin nominal o adjetival) y servir de soporte a las relaciones de tiempo,
modo o aspecto que normalmente ejerce el verbo cuando el adjetivo o el
nombre no poseen, en esas lenguas, las caractersticas de flexin o
composicin por las que el verbo comnmente las expresa1. As, la
lingstica sanciona la moderna formahzacin de la predicacin respecto
a la prdida del verbo ser, cuya ambigedad semntica (identidad,
inclusin, pertenencia, existencia, atribucin...) haban denunciado ya,
por otra parte, algunos filsofos (Neurath se pregunta, en Proposiciones
protocolares, Erkenntnis, 1932, si la lengua de los bantes permitira
expresar las teoras metafsicas de Heidegger sin introducir en su lenguaje
...los abusos lingsticos a los que se presta el idioma alemn.).
El resultado de la moderna formalizacin ha sido, para la silogsti
ca, la incorporacin de una parte importante de sta a la lgica
cuantificacional; como veremos, la que comporta precisamente una
interpretacin extensional de los enunciados compatible a la que efecta
la formalizacin de Frege-Russell. Pero el problema que subsiste del
compromiso existencial deriva del contenido intensional de la lgica
aristotlica, similar en este aspecto al lenguaje natural, que no tiene
cabida en la lgica moderna.
El llamado principio de extensionalidad establece que dos conjun
tos cuyos miembros sean los mismos son el mismo conjunto; ms
formalmente, dos conjuntos A y B son iguales si y slo si todo elemento
perteneciente a uno de ellos pertenece asimismo al otro. La interpretacin
1

114
i

Vase por ejemplo, Lyons: Introduccin en la lingstica terica (1968), Teide,

Barcelona, 1975, p. 336.

La silogstica aristotlica y el problema del compromiso existencial

simblica de los enunciados del lenguaje que hemos esquematizado para

las proposiciones categricas (principal objeto de estudio de la silogstica,
a las que limitaremos el presente ensayo) se basa en el carcter extensional
de la lgica moderna. La parfrasis obtenida por la traslacin del sujeto
a la posicin de predicado, referido a un nuevo sujeto de mayor genera
lidad representado por la variable x (que en el lenguaje natural sera
individuo, cosa...), posee, claro est, el mismo referente que la
expresin formada por la clsica relacin sujeto-predicado, aunque su
sentido es otro. No es lo mismo decir intensionalmente, pongamos por
caso, Algn rbol es verde que Alguna cosa que es rbol es verde, 'a
que la ontologa que presentan ambas expresiones es distinta: mientras
esta ltima plantea la existencia de cosas de las que es predicable o que
son subsumibles bajo el concepto rbol (y que adems son o pueden ser
verdes), la primera contempla rbol como trmino primitivo (cuyo
referente es subsumible o del que es predicable el concepto verde)2.
Operacionalmente, la determinacin del referente se efecta en el primer
caso por acotacin del trmino argumental rbol mediante aplicacin
del funtor verde; en el segundo caso, por la aplicacin de los funtores
rbol, verde sobre el trmino argumental de mayor generalidad cosa.
El empleo de variables de rango limitado permite formalizar el enuncia
do, en el primer caso, en una estructura ms cercana a la del lenguaje
natural (que es aproximadamente el lenguaje de la silogstica), con lo que
representaramos formalmente la equivalencia extensional de ambas
expresiones:
S [Vs (Ps)] = S[Vx (Sx a Px)],
donde S designa significado extensional. El segundo trmino de la
expresin muestra claramente el cambio operado por la formalizacin de
Frege-Russell en la estructura de la predicacin, modificando la determi
2

Como es sabido, dos predicados que tengan el mismo campo de aplicabilidad (que se
prediquen exactamente de los mismos objetos) no son necesariamente el mismo
predicado: estrella matutina /estrella vespertina, criatura con corazn/criatura
con riones...pero tambin sohero/no casado, ms jr o /menos caliente, rbol/cosa que es rbol, etc.

115

Roberto R. Bravo

nacin operacional del referente y su correspondiente ontologia intensional. (Lo anterior se extiende obviamente a los dems tipos de proposicin
categrica.) As, la funcin de cada trmino dentro de la relacin de
predicacin representa tanto una determinada operacionalidad en la
formacin de expresiones como una especfica ontologia intensional,
constituyendo propiamente un status lgico-semntico caracterstico de
la forma de lenguaje. La irrelevancia, para el clculo, de consideraciones
de orden ontolgico como stas, ajenas al principio de extensionalidad,
pone de manifiesto el carcter puramente extensional de la lgica simb
lica.
Ahora bien, decimos que una parte de la lgica tradicional {de
hecho, su mayor parte) es extensional. Ello se aprecia inmediatamente
en el intercambio de funciones de los trminos de la proposicin en que
se basa la propia inferencia silogstica, haciendo abstraccin del conte
nido intensional de los enunciados: en la figura 1 (M-P, S-M |- S-P) el
trmino medio es alternativamente sujeto y predicado; en las figuras 2
(P-M, S-M (- S-P) y 3 (M-P, M-S (- S-P) el predicado o el sujeto de la
conclusin tienen distinta funcin predicativa en las premisas; en la 4
(P-M, M-S |- S-P) cambian todos. Pero tambin en la conocida ley de
conversin simple, que permite la permutacin de los trminos clsicos
(sujeto y predicado) de las proposiciones categricas E (universal negati
va) e I (particular afirmativa) manteniendo su misma cantidad y cualidad,
ya que en un lenguaje intensional no es dable, en general, alterar los
trminos de la relacin de predicacin:
E: Ningn hombre es ovparo -\ f- Ningn ovparo es hombre
I: Algn hombre es mortal -| f- Algn mortal es hombre
La formalizacin empleando variables de rango restringido:
E: As ( ~ Ps) -| (- Ap ( ~ Sp)
I:V s(Ps) -U Vp(Sp),
permite apreciar simblicamente la alteracin del status lgico-semntico
de los trminos que efecta esta ley de la lgica clsica al intercambiar los

116

La silogstica aristotlica y el problema del compromiso existencial

papeles de relator o funtor y de argumento de la predicacin. La

justificacin de la inferencia reside, desde luego, en la invariable denota
cin de los enunciados.
La extensionalidad de la lgica clsica explica la asimilacin de la
mayora de sus principios y esquemas deductivos por la actual teora
cuantificacional; pero el mecanismo psicolgico de esa asimilacin ha
hecho pasar prcticamente inadvertida la importancia del enfoque extensional para la validez misma de la inferencias. Esto puede ilustrarse, a
propsito de la conversin simple, cuando el predicado de la proposicin
categrica es un adjetivo no sustantivado (el caso de la predicacin verbal,
ms notable, nos alejara de la formulacin ms tradicional de la silogs
tica, a la que nos dirigimos principalmente):
E: Ningn perro es verde
I: Alguna manzana es redonda
La conversin directa, sin parfrasis, arrojara las expresiones:
E: Ningn verde es perro
I: Algn redondo es manzana,
que son agramaticales. Para evitar este resultado se recurre espontnea
mente a formulaciones extensionalmente equivalentes, como
E: Ningn individuo que es verde es perro
I: Alguna cosa redonda es una manzana,
que son directamente expresables en lgica cuantificacional, ya que los
trminos que antes fueron sujeto o predicado son ahora ambos, en la
parfrasis finalmente obtenida, predicados referidos a la variable de
mayor generalidad individuo, cosa3:
3

Las expresiones Nada verde..., Algo redondo... son igualmente interpretables

extensionalmente como Ninguna cosa (que es) verde..., Alguna cosa (que es)
redonda...

117

Roberto R. Bravo

E: Ax (Px > ~ Sx)

I: Vx (Px A Sx)
Dado que la formalizacin de Frege-Russell lleva a cabo sistemti
camente, en un solo sentido, la alteracin del status lgico-semntico de
los trminos del lenguaje, convirtiendo el sujeto en predicado (la silogs
tica, como hemos visto, lo hace en ambas direcciones), la ley de conver
sin simple encuentra esta fundamentacin en la lgica cuantificacional:
E: Ax (Sx > ~Px) -j [- ~Vx (Sx a P x ) [Def. Cuant., Impl.] -j |~Vx(PxASx)[Conmut. Conj.]-| (- Ax (Px > ~Sx) [Def.Cuant.,Impl.]
I: Vx (Sx a Px) -| |- Vx (Px a Sx) [Conmut. Conj.],
donde se evidencia el papel crucial de la conmutatividad de la conjuncin.
Propiedad que, al permitir la inversin del orden de los trminos que
componen el predicado, ocasiona que al retraducir el enunciado a la
forma tradicional resulte, junto con la desaparicin del argumento
indefinido x, la inversin de la predicacin. Pero la propiedad conmu
tativa de la conjuncin se da slo en lenguajes extensionales, como
ilustra el conocido chiste de sociedad: no es lo mismo se cas y tuvo un
hijoque tuvo un hijo y se cas.
Lo dicho respecto a la ley de conversin simple se aplica, mutatis
mutandi, a la conversin por contraposicin, donde la negacin de los
trminos de las proposiciones A y 0 genera en cada caso la inversin de
la predicacin; el contenido extensional de esta ltima ley es ms
marcado al involucrar la negacin del sujeto, lo que contribuye ms
naturalmente a la elaboracin de parfrasis que conviertan el sujeto en
predicado:
A:
O:

118

Todos los hombres son mortales -| |Todos los no mortales (inmortales) son no-hombres
Algn hombre no es ovparo -) fAlgn no ovparo no es no-hombre
(o Algn no ovparo es hombre)

La silogstica aristotlica y el problema del compromiso existencial

(La demostracin en lgica cuantificacional es la misma que para la

conversin simple, con slo sustituir, respectivamente, ~ Px por Px y
viceversa.) Es evidente que la validez de esta ley, como en el caso anterior,
descansa en la denotacin de los enunciados.
La productividad del enfoque extensional en la ciencia, junto a la
estrecha compatibilidad del contenido extensional de la lgica clsica
con la moderna han permitido la aceptacin, casi podramos decir
inconsciente, de la alteracin del status lgico-semntico de los trminos
y otros recursos del manejo extensional del lenguaje como un expediente
til y hasta natural para efectuar deducciones. Naturalidad que es propia
precisamente de sistemas extensionales, cuya nica funcin semntica es
la denotacin, para la cual la estructura de la expresin lingstica es
irrelevante. El carcter puramente extensional de la lgica moderna ha
contribuido a su especial utilidad en el estudio de la matemtica y de las
ciencias ms matematizables, como la fsica, en las que las distintas
maneras de denominar un objeto son alternativas de uso de expresiones
puramente denotativas y, por ende, plenamente intercambiables (estric
tamente, son modos de introduccin de abreviaturas para facilitar la
inferencia)4. Pero, al margen de su aplicabilidad en aquellas reas de
conocimiento donde es vlido el principio de extensionalidad, la lgica
simblica se ve disminuida all donde es relevante el modo de presen
tacin del objeto, esto es, donde la estructura del lenguaje tiene una
funcin semntica, especialmente en los enunciados del lenguaje natural
que revelan una determinada ontologa o una referencialidad no exclusi
vamente denotativa. De los mltiples problemas que presenta la intensionalidad, voy a referirme solamente a la presuposicin de existencia de los
enunciados universales, que la lgica tradicional comparte, a despecho de
su extensionalidad, con el lenguaje natural.
La formalizacin extensional de un enunciado universal como,
por ejemplo: Todos los helechos son verdes:
Ax (Sx -> Px)
4

Vase Suppes: Introduccin a la lgica simblica (1957), captulo 8: Teora de la

definicin, CECSA, Mxico, 1970.

119

Roberto R. Bravo

adscribe validez al enunciado en cualquiera de las siguientes condiciones,

especificadas por la forma normal disyuntiva de la implicacin:
Ax (Sx Px) -| j- Ax [(Sx a Px) v ( ~ Sx

Px)

(~ S

x a

~ Px)] [f.n.d.],

incluyendo, como es sabido, los casos de referencialidad vaca del

antecedente: (~ S x a Px), ( ~ S x a ~Px).
La consideracin de la referencia de las proposiciones universales
a clases vacas resulta til en las descripciones cientficas y en otros
dominios cuyos enunciados generales son con frecuencia idealizaciones
que no hacen referencia a instanciacin concreta alguna: la primera ley de
Newton no supone la existencia de cuerpos exentos de la aplicacin de
fuerzas; la validez de la normativa jurdica no supone tampoco la
existencia de situaciones que exijan su aplicacin. La posibilidad de
referencia vaca de tales enunciados, cuyo correlato lgico se muestra en
la f.n.d. de su interpretacin como implicacin, constituye una corrobo
racin de su extensionalidad. En contraste, el uso ordinario del lenguaje
excluye por lo general la referencialidad vaca (y con ello la interpreta
cin de los enunciados universales como implicacin), ya que la predi
cacin supone normalmente que se habla acerca de algo5. Enunciados
como Todos los helechos son verdes, En la casa de al lado hay un
tesoro, se consideran con sentido en el lenguaje natural en la medida en
que helecho, casa de al lado aluden a determinadas entidades6. Los
5

Como ha sealado, principalmente, Strawson. C f Sobre el referir (1950), en

Semntica filosfica: problemas y discusiones (Comp.: T. M. Simpson), SigloXXI,

120

Buenos Aires, 1973. Vase tambin Frege: Sobre sentido y referencia (1892) y
Consideraciones (1892-95), en Estudios sobre semntica, Orbis,Barcelona, 1984.
La referencialidad vaca en el lenguaje ordinario puede dar lugar a curiosas paradojas
de existencia. Un dilogo de los hermanos Marx reza como sigue:
Oye, en la casa de al lado hay un tesoro.
Pero si al lado no hay ninguna casa.
Bueno, construyamos una!
La verdad de la noticia, lgicamente garantizada por su referencia vaca -recurdese
que en la lgica escolstica la proposicin singular es universal-, hara aparecer un
tesoro al hacer verdadero el antecedente de la implicacin, si ha de mantenerse

La silogstica aristotlica y el problema del compromiso existencial

enunciados que, excepcionalmente, contemplan la posibilidad de referen

cia vaca, ponen de manifiesto esta condicin mediante algn recurso
sintctico como el modo subjuntivo o condicional, o el tiempo futuro,
cuando no la indican explcitamente: Quien no cumpla con la disposi
cin ser sancionado, Los que estn de acuerdo levanten la mano,
Ninguna necesidad podr ser satisfecha por el gobierno, Los habitantes
de la luna, si los hay, no estn protegidos contra las radiaciones csmicas;
puesto que las expresiones Quien no cumple...', Los que estn...',
Ninguna necesidad puede ser satisfecha..., Los habitantes de la luna no
estn protegidos... presuponen normalmente, en cada caso, existencia
del trmino referido. La presuposicin de existencia de los enunciados
universales es una caracterstica no extensional del lenguaje, dado que su
interpretacin extensional (como implicacin) conlleva la inclusin del
universo vaco como posible referente.
Ahora bien, la presuposicin de existencia de las proposiciones
universales es una caracterstica de la lgica clsica que se manifiesta
directamente en la ley de subalternacin. El paso de cada proposicin
categrica universal a la particular de su misma cualidad:
Todos los hombres son mortales (- Algn hombre es mortal
(A)
,
,
(I)
Ningn hombre es ovparo |- Algn hombre no es ovparo
(E)
(O)
slo es posible con los recursos extensionales de la lgica cuantificacional si se agrega al menos una hiptesis adicional, que examinamos en el
caso de la subalternacin afirmativa (la deduccin de la subalternacin
negativa es idntica con slo sustituir Px por ~ Px):

lgicamente el valor de verdad del enunciado.

N o entraremos aqu en el anlisis de los interesantes problemas semnticos y
epistemolgicos que plantea, en general, la presuposicin de existencia. Mi objetivo
es tan slo mostrar el carcter parcialmente intensional de la silogstica (junto a su
carcter parcialmente extensional), que se revela en la presuposicin de existencia de
los enunciados universales.

121

Roberto R. Bravo

-1
-2
3
4
5
6

Ax (Sx -> Px)

Sa
Sa > Pa
Pa
Sa a Pa
Vx (Sx a Px)

Prem
Hip
IU,1
MP, 2,3
Conj,2,4
G E,5

La operacin de instanciacin universal (lnea 3) es ya una conce

sin a la intensionalidad, puesto que la eliminacin del generalizador,
presente en 1, se basa en la exclusin de clases vacas. Pero adems fue
necesario introducir (lnea 2) el parmetro que cumpliera con el antece
dente de la implicacin, que expresa en esta formalizacin la proposicin
universal, a fin de poder deducir la lnea 4. La deduccin finalmente
obtenida es:
Ax (Sx Px), Sa (- Vx (Sx

Px),

que difiere de la formulacin tradicional de la ley de subalternacin en la

explicitacin del parmetro a al que se aplica el predicado S\ Tornando
en cuenta la diferencia de lenguaje, ya que en su formulacin tradicional
S no es predicado sino sujeto al que se aplica el predicado P, tanto en
la premisa como en la proposicin inferida, el paso de la proposicin
universal a su subalterna requiere de al menos una instanciacin del
trmino argumental de la predicacin. La deduccin pone as de manifies
to la presuposicin de existencia de la proposicin universal, caracters
tica propia de lenguajes intensionales.
El compromiso existencial de la ley de subalternacin, que la
lgica cuantificacional hace claramente explcito, puede resultar oscure
cido por formalizaciones ms apegadas al uso natural del lenguaje, como
sucede si empleamos en este caso variables de rango limitado:
1
2
3

122

As (Ps)
Pa
Vs (Ps)

Prem
IU,1
GE, 2

[a e s ]

La silogstica aristotlica y el problema del compromiso existencial

La demostracin es aqu una versin sobre variables restringidas

del esquema
Ax (Px) f- Vx (Px),
vlido en lgica cuantificacional bajo el supuesto de exclusin de clases
vacas, donde, aparentemente, el nico indicio de compromiso existen
cial es la eliminacin del generalizador (lnea 2). Este efectivamente es el
caso con la variable x, cuyo campo de accin es todo el universo de
individuos. Pero el uso de variables restringidas disimula la restriccin
del rango del parmetro a a la clase prefijada por el argumento Y (lo que
se indica al margen de la demostracin como [a e s], condicin no
estrictamente formal dentro de esta simbolizacin). Las seales de com
promiso existencial son aun ms sutiles en el uso del lenguaje ordinario,
al que la lgica tradicional es ms cercana7: que un enunciado tenga
sentido supone, de manera implcita, la existencia de entidades referidas
por los trminos.
En cuanto a la ley de conversin accidental, que transforma una
proposicin universal en particular de la misma cualidad permutando
sus trminos, su compromiso existencial es evidente, ya que es derivable
por aplicacin sucesiva de subalternacin y conversin simple (a la
inversa en el caso de E a O, lo que tiene interesantes consecuencias, como
veremos):
Todo hombre es mortal
(A)

|(-

Algn hombre es mortal

(I subalterna)
Algn mortal es hombre
(I conversa)

La deduccin de A a I conversa es la misma que para la subalterna

cin, sustituyendo la lnea 6 por
7

Recurdese que, si bien Aristteles introduce el empleo de variables para designar los
trminos de la proposicin categrica (en los Primeros Analticos), las relaciones entre
stos, y entre proposiciones, se siguen expresando hasta poca muy reciente en len
guaje natural.

123

Roberto R. Bravo

6 Pa a Sa
7 Vx (Px a Sx)

Conmut. Conj., 5
GE, 6

Como all, similarmente la deduccin obtenida es:

Ax (Sx Px), Sa (- Vx (Px a Sx),
haciendo explcita la presuposicin de existencia del enunciado universal.
La lnea 6 que, como sabemos, fundamenta la conversin simple de I, es
clara evidencia de la combinacin de criterios intensionales y extensionales en la ley de conversin accidental.
(Las relaciones tradicionales de contrariedad y subcontrariedad
entre proposiones categricas las universales no pueden ser ambas
verdaderas, o las particulares ambas falsas simultneamente presupo
nen asimismo existencia, ya que en el universo vaco las proposiciones A
y E seran las dos verdaderas, al ser falso en cada caso el antecedente de la
implicacin que las expresa, mientras I y O seran ambas falsas, al serlo
el primer trmino de su respectiva conjuncin.)
Desde el punto de vista de la lgica cuantificacional, el compromiso
existencial comporta una restriccin de la forma implicativa del enuncia
do universal. Significa esto que, en l lgica clsica, al menos las
proposiciones universales deben entenderse no como implicacin mate
rial sino a la manera de los enunciados del lenguaje natural excluyentes de
referencia vaca?8 Como si dijramos una abreviatura del antecedente
8

En el caso de las proposiciones particulares, el compromiso existencial se da por

descontado desde que su misma aseveracin envuelve ya la asercin de existencia,
deducible en lgica simblica:
1
Vx (Sx a Px)
Prem
2
Sa a Pa
3
Sa
Simpl. Conj.

4
Vx (Sx)
G E, 3
5
Vx (Sx)
I E 1,2-4
(Igualmente para la particular negativa, sustituyendo Px por Px.)
En la crtica de las relaciones de oposicin a la luz del compromiso existencial he
desarrollado algunas observaciones de Kneale, W. y M. expuestas en El desarrollo de
la lgica (1961), Tecnos, Madrid, 1980.

124

La silogstica aristotlica y el problema del compromiso existencial

formal que permite en cada caso la deduccin de la correspondiente

proposicin particular? Segn nuestra demostracin de las leyes de
subalternacin y de conversin accidental de A, deberamos entonces
adoptar como formalizacin de Todo S es P:
Ax (Sx > Px), Sa o, si se quiere, la forma ms general
Ax (Sx > Px), Vx (Sx).
El problema es que bajo esta interpretacin no seran vlidas las
leyes de conversin de los enunciados universales de la lgica clsica, que
juegan un papel crucial en la mayora de los esquemas de inferencia
silogstica (recurdese que la caracterizacin de las figuras del silogismo
reside en la conversin o permutacin de trminos de las p -oposiciones
categricas), ni la fundamental relacin de contradiccin entr ' proposi
ciones categricas.
En efecto, la relacin de contradiccin establece:
No todo S es P -| f- Algn S no es P,
(A)
(O)
que podemos fundamentar en la formalizacin moderna:
~ Ax (Sx > Px) -| }- Vx (Sx a ~Px) [Def. Cuant., Impl.]
(Para la derivacin entre E e I, sustityase Px por Px.)
Pero si la forma de la proposicin universal fuese
Ax (Sx > Px), Vx (Sx)
(sustituyendo Px por
disyuncin
Vx (Sx a ~Px)

~ Px para E), su negacin arrrojara la

Vx (Sx)

(sustituyendo ~ Px por Px para I), siendo el primer trmino de sta

la expresin que se desprende directamente de las leyes de subalternacin

125

Roberto R. Bravo

para A y E, y de conversin accidental de A bajo esa misma suposicin.

Ello plantea, a fin de conservar la relacin tradicional de oposicin,
redefinir la proposicin particular, adicionando a las anteriores demos
traciones la expresin ~ Vx (Sx), con lo que la proposicin subalterna
coincidira otra vez con la contradictoria de la universal opuesta; pero
entonces tendramos que aceptar que una proposicin particular es
verdadera si no existe el sujeto de su predicacin, en virtud de la forma
disyuntiva recin asignada9. Si, para evitar este paradjico resultado,
mantenemos la forma Vx (Sx a ~ Px) como expresin de la proposicin
particular, hemos de concluir que el compromiso existencial no admite
la relacin de contradiccin entre proposiciones categricas.
En cuanto a las leyes de conversin simple y por contraposicin de
las proposiciones universales, no seran vlidas bajo el supuesto del
compromiso existencial, ya que las proposiciones conversas involucran
las presuposiciones de existencia recprocamente independientes
Vx (Sx), Vx(Px):
E: Ax (Sx > ~Px), Vx (Sx)
Ax (Px > ~Sx), Vx(Px)
(Sustituyase* ~ P x p o rPx, y viceversa, para A.)
La peor situacin se presenta en la conversin accidental de la
proposicin universal negativa:
Ningn S es P
(E)

Algn P no es S
(O conversa)

Ley esta, como se dijo, derivable por aplicacin sucesiva de

conversin simple y subalternacin:
Ningn hombre es ovparo |- Ningn ovparo es hombre
(E)
(E conversa)
- Algn ovparo no es hombre,
(O conversa)
9

Es decir, Algn S es P (o no es P ) sera verdadera si No existe S es verdadera,

contradiciendo la nocin misma de compromiso existencial. Vase la nota anterior.

126

:
IHp'

*.

La silogstica aristotlica y el problema del compromiso existencial

la cual involucra compromiso existencial en el paso de E (conversa) a O:

Ax (Px ~Sx), Vx (Px)

Vx (Px

Sx) [ Subalt.];

pero la conversin simple de E, como acabamos de ver, es vlida slo bajo

su forma implicativa (extensional). Por lo que la deduccin en lgica
cuantificacional es como sigue:
-1
-2
3
4
5
6
O sea,

Ax (Sx > ~ Px)

Prem
Pa
Hip
Sa > ~P a
IU, 1
~Sa
MT, 2, 3
Pa a ~Sa
Conj, 2, 4
Vx (Px A ~Sx)
GE, 5
Ax (Sx > ~Px), Pa [- Vx (Px a ~ S

x)

La introduccin de Pa como hiptesis (lnea 2) permite arribar en

la lnea 5 a la conjuncin de trminos que componen la proposicin O
conversa de E, eludiendo la posible hiptesis alternativa Sa, como
sabemos independiente de la proposicin E conversa y, por lo tanto, de
O. La demostracin difiere de la forma clsica de la ley de conversin
accidental, otra vez en la explicitacin del compromiso existencial de la
proposicin universal, que en esta ocasin es Pa. Pero ello torna
esencialmente ambigua la forma de la proposicin universal negativa, al
variar su compromiso existencial en funcin de la consecuencia que se
espere obtener: mientras en la ley de subalternacin el compromiso
existencial es el antecedente de su componente implicativo como
sucede con la proposicin universal afirmativa, en la conversin
accidental es la negacin del consecuente de la implicacin10.
En resumen, el intento de preservar en la lgica cuantificacional las
leyes aristotlicas de subalternacin y de conversin accidental (as como
10 La regla modus tollens (lnea 4) disimula el carcter extensional que se manifiesta, por
ejemplo, en la conmutatividad de la conjuncin. Una formulacin alternativa que
muestra la combinacin de criterios intensionales y extensionales en esta ley, como
en la conversin accidental de A, sera:

127

Roberto R. Bravo

la menos importante relacin de contrariedad) haciendo explcito el

compromiso existencial de las proposiciones universales, ocasiona la
invalidez de la relacin de contradiccin entre proposiciones categricas,
y de las leyes de conversin simple y por contraposicin de los enunciados
universales, a la vez que deja en la indeterminacin la propia definicin
de la proposicin universal negativa. Dejando aparte los obvios efectos de
la ambigua definicin de E dentro del sistema lgico, las consecuencias
para la teora del silogismo son funestas, dada la importancia que en sta
tienen la oposicin contradictoria y las leyes de conversin. En la
axiomatizacin de la inferencia silogstica efectuada por tukasiew icz",
diecisis de los veinticuatro modos vlidos de silogismo se fundamentan
en la definicin por negacin de la proposicin contradictoria o en la
conversin simple de E 12.
Si, por el contrario, mantenemos la interpretacin extensional de
los enunciados universales (i.e., desprovista de compromiso existencial),
tendremos que rechazar las leyes aristotlicas de subalternacin y de
conversin accidental, por cuanto la existencia de individuos caracteri
zados por la proposicin particular no se garantiza por la forma implicativa de la universal. La consecuencia para el silogismo es la invalidez de
los modos derivados de la aplicacin de estas leyes, aquellos que a partir
de premisas universales arrojan una conclusin particular, a saber:
Darapti, Felapton, Bramantip, Fesapo, y los subalternos Barbari, Celaront, Cesaro, Camestrop y Camenop.
-2
3
(3a)
(3b)
(3c)
4

Pa
Sa > ~ P a
~ (Sa a Pa)
~ (Pa a Sa)
Pa-~Sa
-S a

Def. Impl, 3
Conmut. Conj, (3a)
Def. Impl, (3b)
MP, 2, (3c)

W La silogstica de Aristteles desde el punto de vista de la lgica form al moderna (1951),

Tecnos, Madrid, 1975.
12 Estos modos son: por oposicin contradictoria de E: Celarent, Celaront; oposicin
contradictoria de : Baroco, Bocardo; conversin simple de E ms oposicin
contradictoria de E, O o ambas: Ferio, Cesare, Camestres, Festino, Cesaro, Cames
trop, Felapton, Ferison, Camenes, Fesapo, Fresison, Camenop.

128

La silogstica aristotlica y el problema del compromiso existencial

Desde el punto de vista de rendimiento econmico de la teora, esta

ltima opcin, adoptada por consenso abrumador, es evidentemente la
ms deseable.
Una alternativa sealada por Quesada13 es atribuir contenido
existencial a la proposicin universal afirmativa pero no a la negativa,
asumiendo la proposicin particular, en cada caso, la forma de la negacin
de su contradictoria, que ya hemos estudiado separadamente:
A:
I:
E:
O:

Ax (Sx Px), Vx (Sx)

Vx (Sx a Px)
Ax (Sx -> ~ Px)
Vx (Sx a ~ Px) v ~ Vx (Sx)

Este sencillo recurso permite demostrar, como indica Quesada, la

ley de subalternacin conservando al mismo tiempo las relaciones
tradicionales de oposicin. (Tambin se conservan las leyes de conversin
simple y accidental; nicamente habra que rechazar la conversin por
contraposicin, que no entra en la fundamentacin de los modos silogs
ticos: cf. Lukasiewicz, op. cit.) Pero este interesante logro es alcanzado
desplazando el problema de la validez de la inferencia clsica en la lgica
moderna, del mbito lgico al semntico. En efecto, la aceptacin de esta
formalizacin depende de la interpretacin que se d a la proposicin
particular negativa. Aristteles la ejemplifica a veces (en De interpretatione) por No todo hombre es blanco. Si, como se ha sugerido14, ello indica
que la proposicin O es la simple negacin de la universal afirmativa,
Quesada tendra razn, en este sentido de No todo hombre es blanco15,
al no atribuirle contenido existencial, ya que dicho enunciado puede
considerarse verdadero porque existan hombres que no sean blancos, o
bien porque no existan hombres; pero en un sentido asertivo, no
desconocido por Aristotles16, una expresin como Algn hombre es
13 La lgica y su filosofa , Barcanova, Barcelona, 1985.
14 Kneale, op. cit.; tambin Quesada, ibid.
15 I.e., No es cierto que (Todo hombre es blanco), teniendo la expresin entre
parntesis contenido existencial.
16 Cf., asimismo, Kneale, op. cit.

129

Roberto R. Bravo

injusto (= no es justo) posee un indudable contenido existencial, que

confiere un sentido distinto a su equivalente formal No todo hombre es
justo17. De cualquier modo, la tradicin ha atribuido, como algo obvio,
contenido existencial a las proposiciones particulares -coincidiendo en
esto con el anlisis cuantificacional-, por la que la sugerente (desde un
punto de vista lgico) solucin de Quesada habra de rechazarse a favor
de una interpretacin standard de la proposicin particular negativa (ya
explicada en nuestras consideraciones anteriores) incompatible con dicha
formalizacin: resulta difcil aceptar que un enunciado como Algn
hombre es injusto sera verdadero si no hay hombres.
Cualquier intento de incorporar la inferencia clsica a la lgica
moderna parece condenado a dejar fuera una parte de aqulla, o bien
pagar el precio de una drstica reinterpretacin. Ello es porque la teora
tradicional combina, como hemos visto, el carcter extensional que se
aprecia en el tratamiento denotativo en general de la proposicin,
principalmente en las figuras del silogismo y en las leyes de conversin,,
con la intensionalidad que revelan la ley de subalternacin y, parcialmen
te de conversin accidental. La razn de la dificultad es que la distinta
operacionalidad de enunciados extensionalmente equivalentes expresa en
cada caso una especfica ontologa, mutuamente compatible slo bajo el
principio de extensionalidad (i.e., admitiendo como nica funcin se
mntica la denotacin). Y hemos visto que la subalternacin y la
conversin accidental suponen ms que la expresin extensional del
enunciado universal.
El resultado de este estilo mixto de inferencia ha sido su incomple
ta asimilacin por la lgica simblica moderna, en cuya construccin
puramente extensional no halla cabida el compromiso existencial de las
proposiciones universales. Como lo ha expresado Quine:
Ontologas intensionales y ontologas extensionales son como el aceite y el agua.
La admisin de atributos (...) junto con el libre uso de la cuantificacin y de otros
elementos idiomticos bsicos, elimina a los individuos y a las clases. Ambos tipos
de entidades pueden volver a instalarse en la misma lgica exclusivamente
mediante restricciones (...) que sirven para evitar la mezcla de aquellos objetos con
17 I.e., No es cierto que (Todo hombre es justo), donde la expresin entre parntesis no
tiene contenido existencial.

130

La silogstica aristotlica y el problema del compromiso existencial

los intensionales; lo cual equivale ms o menos a establecer dos lgicas separadas
con un universo para cada una.11

La integracin de ambos enfoques mediante alguna acertada formalizacin, como la de fcukasiewicz19, reproducir inevitablemente la
combinacin de criterios inferenciales del modelo, tukasiewicz ha
reconocido (en un contexto diferente al del presente trabajo) que la
silogstica aristotlica no es una lgica de clases ni de predicados. Existe
aparte de otros sistemas deductivos, teniendo su propia axiomtica y sus
propios problemas20. A despecho de su innegable importancia histrica
y terica en el desarrollo de la lgica, la heterogeneidad de sus criterios
deductivos reduce la silogstica a un fragmento del lenguaje ordinario,
acrtico en cuanto a la naturaleza extensional/intensional de sus propias
formas de inferencia: mientras sus esquemas extensionales se apartan del
comportamiento intensional del lenguaje natural, los intensionales difie
ren de los modelos de deducibilidad aplicables en la ciencia.
Como es sabido, y hemos tenido ocasin de ilustrar a lo largo de
este trabajo, una determinada formalizacin puede favorecer o dificultar
tanto la operatividad de un sistema como el reconocimiento de alguna
de sus caractersticas. La formalizacin de Lukasiewicz, ms cercana a la
expresin lingstica de la lgica tradicional que la habitual lgica
cuantificacional, permite expresar simplemente la totalidad de las leyes y
modos deductivos del sistema aristotlico en un clculo que no discrimina
el empleo de criterios extensionales de los intensionales, proporcionando
bajo la forma de una axiomtica rigurosa el programa de la lgica clsica.
Pero es posible advertir, en un examen cuidadoso, la simultaneidad de
ambos enfoques bajo la simbolizacin adoptada.
Veamos cmo el carcter generalmente extensional de la silogs
tica se combina con el intensional en el sistema de fcukasiewicz. En lugar
de su formulacin originalmente axiomtica, seguiremos en nuestra
reproduccin parcial del sistema la presentacin que hace Garrido21 en
18 Referencia y modalidad (1947), en Desde un punto de vista lgico, Orbis, Barcelona,
1984.
19 Op. cit.
20 Ibid.
21 Lgica simblica , Tecnos, Madrid, 1974.

131

Roberto R. Bravo

forma de reglas deductivas, ms cercana a la exposicin general aqu

adoptada.
Smbolos propios:
s, p, m
A, I, E, O

Trminos silogsticos
Tipos de las proposiciones categricas

Frmulas de las proposiciones categricas:

Si <1> es un tipo de proposicin categrica y t , t2 son trminos
silogsticos cualesquiera,
O tjt2 es una frmula o proposicin categrica.
Reglas primitivas:
Para t , t2, t3 trminos silogsticos cualesquiera:
Identidad:
Id,
Id2
|- A tjtj
Itjtj
Interdefinicin de las proposiciones contradictorias:
DE
DO
E t ll 2

-W-

Modos primitivos:
Barbara (Bar)
A t2t3, At,t2 1- At,tj

t lt 2

~ A

t Xt 2

Datisi (Dat)
At2t3, It2t, I- I t,t3

No hace falta insistir en el carcter preponderantemente extensional de la lgica aristotlica. Las reglas de identidad adoptadas establecen
que cualquier trmino puede ocupar la posicin de sujeto o predicado, lo
que tambin se aprecia en los modos primitivos (y se har patente en las
demostraciones). Me limitar, pues, a sealar los casos que revelan un
compromiso existencial, empezando por la misma regla Id2. Ntese que
(- It]t ) asevera existencia de todos los trminos del sistema, ya que equivale
a la afirmacin de la proposicin particular Algn S es S para cualquier
S, lo que de una vez excluye la posibilidad de referencia vaca de los
dems enunciados.Veamos no obstante, en particular, cmo el compro
miso existencial se traslada a la leyes de subalternacin y conversin

132

La silogstica aristotlica y el problema del compromiso existencial

accidental, y a los modos silogsticos que derivan de ellas (para facilitar el

reconocimiento de las figuras usaremos a partir de aqu en general los
smbolos Y , p, m como denominaciones de trminos silogsticos
cualesquiera):
Subalternacin de A (SubA):
Asp f- Isp
Fundamentacin:
1
Asp
2
Iss
ld2
3
Isp
Dat, 1,2
El compromiso existencial es incorporado explcitamente en la
lnea 2.
Lema para SubE (Lem):
~ Ism - ~ Asm
Fundamentacin:
1
Ism
r 2
Asm
L 3 Ism
4
Asm > Ism
5
~ Ism > ~ Asm
6
~Asm

SubA, 2
TD 2-3
Contrap, 4
MP, 5,1

Subalternacin de E (SubE):
Esp |- Osp
Fundamentacin:
1
Esp
DE,1
2
~Isp
Lem, 2
3
Asp
D O, 3
4
Osp
El compromiso existencial entra con SubA en la lnea 3 de Lem, y
pasa con Lem a SubE en la lnea 3.

133

Roberto R. Bravo

Conversin accidental de A (ConA):

Asp |- Ips
Fundamentacin
1
Asp
2
Isp
SubA,l
3
Ips
Conv. Simp. 1 ,2
Conversin accidental de E (ConE):
Esp f- Ops
Fundamentacin:
1
Esp
2
Eps
Conv. Simp. E, 1
3
Ops
SubE, 2
Ambas se basan en la respectiva subalternacin (las leyes de
conversin simple de I y E se aceptan sin demostracin).
En lo que sigue se dan, sin comentarios, las demostraciones de los
modos silogsticos dependientes de las leyes de subalternacin o de
conversin accidental (se aceptan sin demostracin, igualmente, los
modos silogsticos irrelevantes para el compromiso existencial). Los
modos de silogismo restantes no involucran en la axiomtica de Lukasiewicz inferencias derivadas de estas leyes.
Darapti:
Amp, Ams (- Isp
Fundamentacin:
1
Amp
2
Ams
3
Ims
4
Isp
Felapton:
Emp, Ams (- Osp
Fundamentacin:
1
Emp
2
Ams
3
Ism
4
Osp
134

SubA, 2
Dat, 1, 3

ConA, 2
Ferio, 1, 3

La silogstica aristotlica y el problema del compromiso existencial

Bramantip:
Apm, Ams [- Isp
Fundamentacin :
1
Apm
2
Ams
3
Imp
4
Isp
Fesapo:
Epm, Ams |- Osp
Fundamentacin:
1
Epm
2
Ams
3
Emp
4
Ism
5
Osp
Barbari:
Amp, Asm (- Isp
Fundamentacin:
1
Amp
2
Asm
3
Ims
4
Isp
Celaront:
Emp, Asm |- Osp
Fundamentacin:
1
Emp
2
Asm
3
Esp
4
Osp
Cesaro:
Epm, Asm |- Osp
Fundamentacin:
1
Epm
2
Asm
3
Esp
4
Osp

ConA, 1
Disamis, 3, 2

Conv. Simp. E, 1
ConA, 2
Ferio, 3, 4

ConA, 2
Dat, 1, 3

Celarent, 1, 2
SubE, 3

Cesare, 1, 2
SubE, 3

Camestrop:
Apm, Esm (- Osp
Fundamentacin:
-1
Apm
Esm
-2
Esp
3
4
Osp

Camestres, 1,2
SubE, 3

Camenop:
Apm, Ems (- Osp
Fundamentacin:
Apm
-1
Ems
-2
Esp
3
Osp
4

Camenes, 1, 2
Sub E, 3.