128

Los trminos indefinidos en la lgica categrica y la idea de

consecuencia lgica

Manuel Correia
Instituto de Filosofa - Pontificia Universidad Catlica de Chile
mcorreia@uc.cl

Abstract: In this article, the logical role of indefinite terms within the
categorical proposition is analysed. The existence of these technicalities
comes from Aristotle, but their logical behaviour had not been accurately
determined. However, by following the Axiom of Quantity and the Axiom
of Linkage, as defined in a recent article, this task has been made. As a
result, categorical logic can now offer an intrinsic theoretical unity and all
the conclusive processes, with or without indefinite terms, can be easily
corroborated.
Key words: indefinite terms, categorical logic, propositional quantity,
conclusiveness.

Resumen: en este artculo, se analiza el rol lgico que los trminos

indefinidos tienen en la lgica categrica. La existencia de estos
tecnicismos viene desde Aristteles, pero su comportamiento lgico no
haba sido determinado com precisin. Sin embargo, al seguir las
indicaciones dadas por el Axioma de Cantidad y el axioma del Vnculo, tal
como son definidos en un artculo reciente, esta tarea puede ser
completada. Como resultado, la lgica categrica puede hoy exhibir una
unidad terica y todos los procesos conclusivos, con o sin trminos
indefinidos, pueden ser fcilmente corroborados.
Palabras claves: trminos indefinidos, lgica categrica, cantidad
proposicional, conclusividad.

Notae Philosophicae Scientiae Formalis,

vol. 2, n. 2, p. 128 - 139, outubro 2013.

129

En Alvarez & Correia (2012), pp. 297-306,1 se ha presentado un conjunto de

tres axiomas que permite establecer un nuevo procedimiento para evaluar los
procesos conclusivos de la lgica categrica en general. Este conjunto de axiomas
permite a la vez unificar la lgica categrica estableciendo una unidad entre las as
llamadas inferencias inmediatas y las inferencias mediatas o silogismos. Como
resultado, la lgica categrica adquiere una unidad profunda, formal y no
agregativa, basada en la manera como se obtienen las consecuencias o conclusiones
vlidas en esta teora.
En este conjunto de tres axiomas hay una referencia a la manera como se
comportan los trminos indefinidos en las proposiciones categricas que resulta
fundamental para la formulacin de dos de los axiomas mencionados, razn por la
cual en este artculo he querido llamar la atencin sobre el particular
comportamiento de los trminos indefinidos en la lgica categrica y en particular
en los procesos deductivos que operan al interior de esta teora.
El orden de la presentacin ser el siguiente: 1. Los tres axiomas de la lgica
categrica. 2. Los trminos indefinidos y su rol en los tres axiomas. 3. Consecuencia
lgica y Axioma del Vnculo en la lgica categrica.
1. Los tres axiomas de la lgica categrica
En Alvarez & Correia (2012), p. 300, se listan los tres siguientes axiomas
como capaces de controlar no slo todos los procesos conclusivos que la silogstica
de Aristteles posee para los 48 modos silogsticos corrientes y conocidos que
ocupan solo trminos definidos, sino tambin para todos los procesos conclusivos
que la silogstica realiza con trminos indefinidos, una extensin que no haba sido
posible realizar hasta la aplicacin de estos tres axiomas. Los axiomas son los
siguientes:

Syllogistic with indefinite terms, en: History and Philosophy of Logic 33 (2012), pp. 297-306.

Notae Philosophicae Scientiae Formalis,

vol. 2, n. 2, p. 128 - 139, outubro 2013.

130

Axiom of Quantity: the predicate of a negative premise is universally taken

and the predicate of an affirmative premise is particularly taken. Hence, to
take universally a term T in a proposition (i.e. even if this term is the
subject term) is equivalent to take particularly its correspondent
conjugate term non-T, and to take particularly a term T is equivalent to
take universally its correspondent conjugate term non-T.

Axiom of Particularity: from two particular premises no conclusion

follows, and the conclusion of a syllogism is particular if and only if this
characteristic is present in one of the premises.

Axiom of Linkage: the quantity of both terms in the conclusion should be

the same as that they offer in the premises. The premises common term
must be universally taken in one premise and particularly taken in the
other premise.

El Axiom of Particularity dice que nunca desde dos proposiciones particulares

se obtendr una conclusin. El axioma permite que una conclusin lgica pueda ser
obtenida a partir de una sola proposicin particular, pero elimina la posibilidad de
que sta se pueda obtener correctamente desde solas proposiciones particulares.
De este modo, al impedir una excepcin, no es un axioma cuya discusin est
directamente relacionada con el tema de este artculo. Pero los otros dos axiomas,
el de Cantidad (Quantity) y el del Vnculo (Linkage) deben ser discutidos ahora.
El Axioma de la Cantidad establece a nivel descriptivo cmo deben ser
evaluados los trminos sujeto y predicado al interior de una proposicin categrica.
El Axioma como tal es un reforzamiento del axioma tradicional de la silogstica que
dice que en una categrica afirmativa el predicado est tomado particularmente y
en una negativa el predicado est tomado universalmente. En efecto, si se acepta
esto y, a la vez, se acepta que un trmino cualquiera de una proposicin categrica
est tomado universalmente si es indefinido (por ejemplo, no-X), entonces se puede
obtener la regla de que todos los trminos en una categrica, sean sujetos o
Notae Philosophicae Scientiae Formalis,
vol. 2, n. 2, p. 128 - 139, outubro 2013.

131

predicados, tendrn asociados una cantidad y sta puede ser determinada de

manera efectiva con la ayuda de este Axioma. Para hacer esta exposicin lo ms
general posible, podemos convenir inmediatamente en la siguiente convencin: A,
E, I y O son los signos de la cantidad proposicional y la calidad proposicional tomadas
juntas. Si s y p son los signos de los trminos sujeto y predicado, entonces s y p
son los trminos indefinidos correspondientes. Si es as, tendremos 32 especies de
proposicin categrica, que son todas las formas proposicionales (no modales) que
se pueden obtener y que se ven en la siguiente tabla:
A (s, p)
E (s, p)
I (s, p)
O (s, p)
A (p, s)
E (p, s)
I (p, s)
O (p, s)

A (s, -p)
E (s, -p)
I (s, -p)
O (s, -p)
A (p, -s)
E (p, -s)
I (p, -s)
O (p, -s)

A (-s, p)
E (-s, p)
I (-s, p)
O (-s, p)
A (-p, s)
E (-p, s)
I (-p, s)
O (-p, s)

A (-s, -p)
E (-s, -p)
I (-s, -p)
O (-s, -p)
A (-p, -s)
E (-p, -s)
I (-p, -s)
O (-p, -s)

Entonces, el Axioma de Cantidad se ve aplicado en los siguientes dos ejemplos:

A(-s,-p): dado que el cuantificador es todo, la cantidad proposicional es

universal, lo que implica que el trmino -s se encuentra tomado
universalmente, lo que es equivalente, segn el Axioma de la Cantidad, a
tomar el trmino s particularmente. Finalmente, como la proposicin es
afirmativa, el trmino -p se encuentra tomado particularmente, lo que es
equivalente, segn el Axioma de la Cantidad, a tomar el trmino p
universalmente.

O(s,-p): dado que el cuantificador es algn, la cantidad proposicional es

particular, lo que implica que el trmino s se encuentra tomado
particularmente. Finalmente, como la proposicin es negativa, el trmino
-p se encuentra tomado universalmente, lo que es equivalente, segn el
Axioma de la Cantidad, a tomar el trmino p particularmente.

Notae Philosophicae Scientiae Formalis,

vol. 2, n. 2, p. 128 - 139, outubro 2013.

132

Como dijimos, el Axioma de la Cantidad es solamente descriptivo y no

normativo, no obstante para evaluar los procesos de conclusin entre categricas,
sean silogsticos o inmediatos, se requiere del Axioma del Vnculo, que es
ciertamente normativo y da la forma de cualquier conclusin vlida en la lgica
categrica. En efecto, el Axioma del Vnculo establece que la cantidad de ambos
trminos en la conclusin no puede ser distinta a la cantidad de los trminos en las
premisas. Si en la conclusin son universales, en las premisas deben serlo tambin, y
si son particulares los trminos en la conclusin, en las premisas deben serlo
tambin ambos. Adems, el trmino medio en las premisas debe aparecer una vez
tomado universalmente y otra vez particularmente. Si estas condiciones se cumplen,
no es necesario hacer una demostracin por absurdo o utilizar ningn otro medio
probatorio para establecer con absoluta certeza la validez de la conclusin. Por
ejemplo, tomemos el siguiente silogismo:
Todo S es no-P
Algn H es S
Luego: Algn H no es P

A(s, -p)
I(h, s)
O(h,p)

Es fcil ver por un lado que el modo AI-O no se halla en ninguna tabla de
modos vlidos de la silogstica categrica (ni en Aristteles ni en sus comentaristas
incluidos los del siglo XX), no obstante el silogismo es vlido de acuerdo con Alvarez
& Correia (2012), ya que por el Axioma de Cantidad se comprueba que los trminos
en la conclusin tienen la misma cantidad que en las premisas (h es particular en la
conclusin y tambin en la premisa menor; p es universal en la conclusin y tambin
en la premisa mayor); adems, el trmino medio s es universal en la premisa mayor
y particular en la premisa menor. Ahora bien, esta descripcin cuantitativa de los
trminos del silogismo se corresponde con lo que es exigido obligatoriamente por el
Axioma del Vnculo: que la cantidad de ambos trminos en la conclusin sea la
misma que los mismos trminos ofrecen en las premisas y que el trmino medio

Notae Philosophicae Scientiae Formalis,

vol. 2, n. 2, p. 128 - 139, outubro 2013.

133

aparezca en una premisa universalmente tomado y en la otra particularmente

tomado.
Desde luego, se puede confirmar que todos los silogismos que son dados por
vlidos por Aristteles y la tradicin consecuente de comentarios cumplen tambin
con lo que describe el Axioma de Cantidad y lo que norma el Axioma del Vnculo,
aunque hay que notar que aquellos que tienen problemas de importe existencial,
como Darapti, Felapton, etc., cumplen parcialmente el Axioma del Vnculo, porque o
bien el trmino medio est en las premisas todas las veces tomado de manera
universal o bien porque los trminos en la conclusin tienen menos (nunca ms)
extensin que en las premisas.2 Conviene comentar aqu, aunque esto no lo
profundizaremos, ya que est tratado en Alvarez & Correia (2012), pp. 303-304, que
la condicin de que ambos trminos en la conclusin tengan la misma cantidad que
la que muestran en las premisas se puede tomar como una condicin estricta o no
estricta, dependiendo este uso de si queremos permitir o no que se incorporen
silogismos cuya presuposicin existencial sea discutible.
Es cmodo utilizar el Axioma de la Cantidad y el Axioma del Vnculo para
evaluar cualquier proceso conclusivo de la lgica categrica, sea mediato o
inmediato; no obstante, el asunto de inters es que este medio es suficiente en
todos los casos para detectar la validez de cualquier conclusin, sea silogstica o no
silogstica (es decir, las que se proponen como conclusiones de inferencias
inmediatas). Por ejemplo, tomemos la siguiente:

Al respecto, en Alvarez & Correia (2012), p. 304, se dice: The problem of existential import in a
syllogism arises when one of the following situations occurs: (i) either the major or the minor term, or
any of their correspondent conjugated forms, appears universally taken in the premises and
particularly taken in the conclusion, or (ii) the middle term or its conjugated form always appears
universally taken in the premises. Now, in order to avoid the existential-import problem, one should
assume that the term whose existence is not explicit does exist. Thus, if the problem relates to the
term x, one should assume that the premise There exists an x is true.We are to call this assumption
the Aristotelian proviso. Now, by following the Axiom of Particularity and the Aristotelian proviso, the
conclusion of the syllogism will necessarily be particular. This solution is also applicable to
arguments.
Notae Philosophicae Scientiae Formalis,
vol. 2, n. 2, p. 128 - 139, outubro 2013.

134

Todo S es P Ningn no-P es S

A(s,p) E(-p, s)

Es fcil notar que p en la conclusin es universal por ser un trmino

indefinido, pero como est universalizado por el cuantificador universal de la
universal negativa (=E), el trmino p es particularmente tomado all: pero tambin
en la premisa, ya que es el predicado de una afirmativa (Axioma de Cantidad). Y s en
la conclusin es universal, por ser el predicado de una negativa (Axioma de
Cantidad), y en la premisa s es tambin universal, ya que est bajo el alcance de un
cuantificador universal (la proposicin en efecto es universal afirmativa). Por lo
tanto, el Axioma del Vnculo constata que su condicin se cumple, a saber, que la
cantidad de los trminos en la conclusin es la misma que los mismos trminos
exhiben en la premisa. De este modo, ellos exhiben a la vez una perfecta simetra en
la cantidad de los trminos, que es la manera como ellos estn tomados conforme a
lo que describe el Axioma de la Cantidad. Conviene observar que, a diferencia de los
procesos silogsticos o mediatos, en las inferencias inmediatas no hay trmino
medio, por lo que ste no se considera en la evaluacin de la validez conclusiva.
El resultado ms notable de estos 3 Axiomas es que ellos por si mismos son
capaces de unificar todo proceso conclusivo al interior de la lgica categrica, sin
distincin de que los procesos sean mediatos o silogsticos o inmediatos o
inferencias. De este modo, los 3 axiomas vienen a dar unidad formal intrnseca a la
teora, ya que el mismo conjunto de axiomas controla los procesos conclusivos de
toda la lgica categrica, sin necesidad de hacer distinciones didcticas como
silogismos e inferencias inmediatas.
2. Los trminos indefinidos y su rol en los nuevos axiomas de la lgica
categrica
Como ya se deja ver en lo que anteriormente dijimos, el Axioma de Cantidad
es fundamental para la aplicacin del Axioma del Vnculo, el cual a su vez es
Notae Philosophicae Scientiae Formalis,
vol. 2, n. 2, p. 128 - 139, outubro 2013.

135

fundamental para la validacin de los procesos conclusivos de la lgica categrica en

general. Ahora bien, la tesis que tratamos de probar en este apartado es que en el
Axioma de la Cantidad se controla el comportamiento de los trminos indefinidos en
las proposiciones categricas. En efecto, la lgica categrica contiene trminos
indefinidos como partes de las proposiciones simples o categricas. Ellos son, pues,
o sujetos o predicados, y por esta razn el sujeto o el predicado de una proposicin
categrica puede ser o bien un trmino definido (por ejemplo, hombre o justo) o
bien un trmino indefinido (por ejemplo, no hombre, no justo). De esta definicin
se siguen las combinaciones que hemos mencionado arriba en la Figura 1, las cuales
fueron ya reconocidas por Aristteles en su De Interpretatione 10.
Ahora bien, la importancia de estos tecnicismos ha sido reconocida por los
antiguos comentaristas de este tratado de Aristteles, siendo el comentario de
Boecio la fuente textual principal para informarse sobre el uso de los trminos
indefinidos en lgica categrica. (Cf. De Rijk (1964), p 19. Barnes (1981), p. 82. Ver
tambin Correia (1997), p. 195, n. 679 y 680).
El reporte de Boecio contiene puntos de inters, siendo el ms profundo y, a
la vez, interesante, aquel que se refiere a la diferencia que hay entre una
proposicin afirmativa y una negativa y a la consecuente reduccin de esta
diferencia a la inclusin de trminos indefinidos en la proposicin categrica. Tal
como se dijo en Correia (2001), pp. 166-170, esta tesis tiene importantes
consecuencias, en particular en lo que respecta a la aceptacin de la regla que de
solo premisas negativas no se obtiene conclusin (Aristteles Analticos Primeros I,
4. 41b7-9). Boecio es el nico comentarista antiguo que reporta que segn el
comentarista peripattico Alejandro de Afrodisias, Platn en su dilogo Teeteto
186e33-4 concluye correctamente desde dos premisas negativas. Dice all que los
sentidos no captan la esencia. Lo que no capta la esencia tampoco capta la verdad.
Por lo tanto, los sentidos no captan la verdad. El reporte de Boecio sostiene que
estas premisas negativas son equivalentes a afirmaciones de predicado indefinido
Notae Philosophicae Scientiae Formalis,
vol. 2, n. 2, p. 128 - 139, outubro 2013.

136

(no capta = es no captador), por lo que se sugiere inmediatamente que Aristteles

aceptara la equivalencia o la equipolencia entre proposiciones categricas
cuantificadas de distinta calidad (y los mismos trminos), o sea que aceptara la
obversin o el Canon de Proclo y, en consecuencia, equivalencias formales en su
lgica.
Se ha explicado en Correia (2001), pp. 171-172 y en Correia (2002), pp. 71-72,
la importancia de la regla neoplatnica llamada Canon de Proclo para explicar la
existencia de equivalencias en la lgica de Aristteles y el fondo de este reporte de
Alejandro de Afrodisias, aunque Boecio nunca mencione el nombre de Proclo ni en
este comentario al De Interpretatione ni en sus tratados silogsticos. El Canon
permite que una proposicin negativa sea transformada en una afirmativa y
viceversa por la sola manipulacin sintctica de la cantidad proposicional y la
cantidad de los trminos en una proposicin categrica, asuntos que trata
directamente el Axioma de la Cantidad. As Todo S es P es equipolente o
equivalente con Ningn S es no-P, pero la primera es afirmativa y la segunda
negativa. Si Proclo est yendo ilcitamente ms all de Aristteles tambin ha sido
tratado por estos artculos y si, finalmente, el Canon es una manera de interpretar la
lgica de Aristteles ha sido discutido en Correia (2002), pp. 82-83 y Correia (2004),
pp. 255-257, sobre la base de que tambin existe la posicin contraria de que
Aristteles siempre propone una afirmativa para concluir una negativa y nunca al
contrario. As Kneale (1978), p. 57 y Soreth (1972), pp. 389-424. En apoyo a Kneale y
Soreth hay que consignar tambin que Aristteles en las Refutaciones Sofsticas
167b10 critica la falacia del consecuente entendiendo que aqu, si una cosa implica a
otra, no necesariamente sta implicar a la primera, pues los adlteros se perfuman,
pero los que se perfuman no son necesariamente adlteros.
Los trminos indefinidos, que a travs del Canon de Proclo llegan a ser
esenciales para la interpretacin de la lgica categrica, resultan tambin esenciales
para la unidad de sta, ya que a travs del estudio de su comportamiento lgico se
Notae Philosophicae Scientiae Formalis,
vol. 2, n. 2, p. 128 - 139, outubro 2013.

137

consigue integrar a la lgica categrica los silogismos con trminos indefinidos y

unificar todos los procesos conclusivos de la teora, sea inmediatos o mediatos. Se
trata entonces de ver que el axioma tradicional de la silogstica (el predicado de una
negativa es universalmente tomado y el de una afirmativa particularmente tomado)
en unin con el canon de Proclo son equivalentes al Axioma de la Cantidad en lo que
respecta a describir el comportamiento de los trminos indefinidos en las
proposiciones categricas. Este resultado es lo que permiti establecer en lvarez &
Correia (2012) las siguientes verdades. Sea p un trmino indefinido, entonces:
1 s es p = s no es p. Donde p implica que p es universalmente tomada.
2 s es p = s no es p = s es no p, donde no p implica que p es
particularmente tomada.
Este resultado ha sido muy significativo porque permiti incorporar, como
hemos dicho ya, por primera vez, los trminos indefinidos en la silogstica
categrica. Como se sabe, ste fue un resultado que autores de la talla de Bochenski
(1948), Thomas (1949) y Prior (1953) buscaron infructuosamente. El haber logrado
incorporar los trminos indefinidos en la silogstica categrica significa a la vez la
posibilidad de presentar a la lgica categrica como una unidad, un todo sin
extensiones, en que las reglas de deduccin para las inferencias inmediatas y las
mediatas (=el silogismo) sean las mismas, de modo que no haya que diferenciar un
tipo de deduccin de otro.
3. Consecuencia lgica y Axioma del Vnculo
En relacin a lo anterior, se puede sostener que hay consecuencia lgica en
todo proceso conclusivo donde se cumpla el Axioma del Vnculo, el cual se apoya en
el Axioma de la Cantidad. En otras palabras, hay conclusin lgica cuando los
trminos de la conclusin tienen la misma cantidad que los mismos trminos
ofrecen en las premisas y el trmino medio que comunica la conclusin aparece una
Notae Philosophicae Scientiae Formalis,
vol. 2, n. 2, p. 128 - 139, outubro 2013.

138

vez universalmente tomado y otra vez particularmente tomado en las premisas. Solo
basta, pues, detectar la manera como est tomado un trmino para dar respuesta a
la validez lgica. Todos los procesos silogsticos que no cumplen con este Axioma
son invlidos. En las as llamadas inferencias inmediatas no consideramos el estado
del trmino medio porque ste no existe, pero s el Axioma del Vnculo, que en este
caso exigir igualmente que los trminos de la conclusin no tengan ms extensin
que en la premisa o antecedente. Si los trminos de la conclusin tienen menos
extensin que la que tienen en las premisas, se generarn los conocidos problemas
de importe existencial.
Esta es desde luego una idea nueva en el sentido de que no haba sido
presentada antes, pero no en cuanto modifica nuestra idea intuitiva de lo que es
una conclusin lgicamente vlida. Lo nuevo radica, pues, en sostener que nuestra
idea clsica de conclusin lgicamente vlida depende de la manera como se vincula
la cantidad de los trminos en una proposicin en relacin con la cantidad que
tienen los mismos trminos en la o las premisas: y ello es precisamente lo que
detecta la unin de los dos axiomas mencionados. En otras palabras, los dos axiomas
mencionados permiten detectar la simetra cuantificacional de los trminos de la
conclusin y los trminos de las premisas, lo cual no podra haberse detectado con
precisin, a menos que el rol de los trminos indefinidos en la proposicin
categrica hubiese sido definido a partir de la manera como se comportan en ella.

Bibliografa
ALVAREZ, E. & CORREIA, M. (2012): Syllogistic with Indefinite Terms, History and
Philosophy of Logic 33 (2012), pp. 297-306.
BARNES, J. (1981): Boethius and the Study of Logic, en Boethius His Life, Thought
and Influence, M. Gibson (Ed.), Oxford 1981, pp. 73-89.
Notae Philosophicae Scientiae Formalis,
vol. 2, n. 2, p. 128 - 139, outubro 2013.

139

BOCHENSKI, I.M. (1948): On the categorical syllogism, en Dominican Studies, vol.

I, 1, 1948, pp. 35-37.
CORREIA, M. (1997): The Nature and Logic of the Indefinite Name and Verb in
Boethius In Librum Aristotelis Peri Hermeneias Commentarii I et II. Ph. D.
Thesis. No publicada.
CORREIA, M. (2001): Boethius on Syllogisms with Negative Premisses, Ancient
Philosophy, 21 (2001), pp. 161-174.
CORREIA, M. (2002): El Canon de Proclo y la idea de lgica en Aristteles, en
Mthexis xv (2002), pp. 71-84.
CORREIA, M. (2004): Philoponus on the nature of logic, Apeiron. A Journal for
ancient Philosophy and Science, vol. 37, 3, pp. 247-258.
DE RIJK, L. (1964): On the Chronology of Boethius' works on Logic (I and II), en
Vivarium, vol. 2, partes 1 & 2, 1964, pp. 1-49 y 122-162.
KNEALE M. & W.(1978): The Development of Logic, Oxford 1978.
PRIOR (1953): Prior, A.N., The Logic of the Negative Terms in Boethius, en
Franciscan Studies, 13 (1953), vol. I, pp. 1-16.
SORETH, M. (1972): Zum infiniten Prdikat im zehnten Kapitel der aristotelischen
Hermeneutik, en Islamic Philosophy and the Classical Tradition. S.M. Stern,
A. Hourani and V. Brown (Eds.), Oxford 1972, pp. 389-424.
THOMAS, I. (1949): CS(n): An Extention of CS, en Dominican Studies (1949), pp.
145-160.

Notae Philosophicae Scientiae Formalis,

vol. 2, n. 2, p. 128 - 139, outubro 2013.