CAPTULO1:LALGICA

1.1LALGICACOMOARTE
Es el arte que dirige el acto de la razn misma, para que
el hombre proceda ordenada, fcilmente y sin error en su
acto propio.
Distincinentrecienciasyartes: Las ciencias tericas (se
limitan a ver) o especulativas (slo pueden reflejar) se
ocupan de lo necesario y su fin es la verdad; mientras
que las artes son saberes prcticos que versan sobre lo
cambiante y cuya produccin puede realizarla el hombre.
Artes liberales que dirigen las obras que la razn realiza:
son liberales porque la obra que de ellas resulta la lleva a
efecto la parte libre del hombre, el alma.
Lgicanatural: Uso de la lgica que todos podemos hacer,
pero no llega a ser un arte puesto que no se hace un
anlisis metdico sobre el conocimiento de los principios
y leyes que deben regir el uso de la razn.

1.3ELARTEDELALGICA
Definicin de Lgica de Santo Toms: En su
comentario a los Segundos Analticos, la Lgica es el
arte que dirige el acto de la razn misma, para que el
hombre proceda ordenada, fcilmente y sin error en su
acto propio. Esta definicin empieza por encuadrar la
lgica entre las artes. Arte: Es una cierta ordenacin de
la razn para alcanzar por medios determinados el fin
debido del acto humano, un conocimiento racional, Ahora
bien el razonamiento puede hacerse bien o mal. Lo que
distingue a la Lgica del resto de las artes es que se
trata de un saber racional por partida doble. Porque
en cuanto arte, es, como todas las otras, un conocimiento
1

conforme a la razn y, en cuanto versa sobre los actos de

la razn misma, es de nuevo racional por el objeto que
trata o la accin que dirige. La Lgica arte de artes,
(ars artium).

1.6LALGICACOMOCIENCIA
La lgica es un arte, pero tambin es una ciencia de
manera especial puesto que trata del orden que la razn,
al conocer, introduce en su propio acto. Este orden es
necesario y universal.
1.7 LGICA DOCENS Y LGICA TENS:
Lgicadocens: La lgica en cuanto ciencia, al igual que las
restantes disciplinas tericas, establece la verdad de
proposiciones, deducindolas a partir de principios
evidentes y primeros. Por ejemplo, la verdad de las leyes
de la lgica.
Lgicautens: La Lgica en cuanto a arte, presenta eso
mismo, pero en cuanto se pueden utilizar para hace un
razonamiento correcto a partir de unas premisas, ofrece
reglas permiten hacer uso en la prctica racional de las
leyescuya verdad establece y ensea la lgica decens.

1.8ElOBJETODELALGICA:
Objetodelalgica: Para unos es la sintaxis comn a todos
los lenguajes; para otros es el pensamiento tal y como lo
concibe la psicologa. En el Tomismo, seran los
pensamientos, esto es, accidentes del alma, que tienen la
caractersticas de presentar al sujeto las cosas o seres del
mundo.
Esto se explica porque Aristteles dividi los seres del
mundo en 4 clases:
2

- Substancias: seres que no estn en otros, se dividen

en singulares y universales.
- Accidentes: Seres que estn en otros y que
igualmente pueden ser singulares o universales.
Estas 4 clases de seres son, pero su modo de ser no es el
mismo, la que es en primer lugar es la substancia
primera o individual, slo ella se caracteriza por tener
un ser separado. Las restantes modalidades de seres slo
son porque la substancia es su sujeto. Esto se produce de
dos maneras:
- Las cosas que estn en un sujeto son porque estn
en la substancia primera. (Ej: el color o la magnitud
no existen fuera)
- Las cosas universales son porque tienen un modo de
ser comn, no separado de los individuales. (Ej: No
hay un hombre universal fuera de cada uno de los
hombres singulares).

1.9 LAS INTENCIONES SUBJETIVAS Y OBJETIVAS:

En la substancia alma tambin hallamos infinidad de
accidentes, pero nos debemos fijar en los pensamientos
que tienen la caracterstica de presentar p remitir al
sujeto que las posee las cosas o seres del mundo.
Para entenderlo, hay que tener en cuenta que el alma es
en potencia de todas las cosas, con lo cual, el
entendimiento tiene la peculiar aptitud de poseer
todo cuanto es, aunque no lo posee en cuanto a
materialidad, sino en su forma. Por tanto, todo cuanto es
tiene la posibilidad de ser conocido.
Modos de estado de los obj. de conocimiento:
- En cuanto son en s.
3

- En cuanto son en el entendimiento que los capta

La intencinsubjetivasera en cuanto un concepto que
forma parte de nuestro pensamiento y de nuestra alma
nos remite a una cosa
Intencinobjetivaseran las cosas que conocemos en tanto
que a ellas apunta ese concepto, son las cosas a las
cuales apuntan las inticiones subjetivas.

1.10 LAS RELACIONES DE RAZN:

El entendimiento, al conocer las cosas, las divide y une,
las encadena y separa, de una manera que no es como se
da en las cosas y en cuanto que son con independencia
del entendimiento
Todo ello da lugar a las relaciones de razn:
Son las relaciones entre las cosas conocidas que se dan
en ellas slo al ser conocidas, y no en ellas en su estado
propio y ajeno a las operaciones intelectuales; no son
como las relaciones reales unas afecciones de las cosas
en s, sino de las cosas en el estado que tienen al ser
entendidas.

1.11 EL ORDEN ESTUDIADO POR LA LGICA.

- Intenciones objetivas primeras: Son las cosas
conocidas en s.
- Intenciones objetivas segundas: Afecciones de las
cosas en cuanto conocidas, no por ello son ajenas a las
cosas en su estado porpioe independiente del
entendimiento, al contrario, se fundan en las cosas e s,
pues si bien son afecciones debidas a la razn, no dejan
4

de ser afecciones de las cosas

El entramado de esas intenciones segundas que son
relaciones de razn y que se dan en las cosas conocidas
en cuanto son conocidas, constituye el orden cuyas leyes
inmutables y necesarias estudia la lgica, Por tanto, el
Tomismo entiende la lgica como una ciencia
especulativa y secundariamente, como un arte.

1.12 LAS INTUICIONES SEGUNDAS Y LOS ENTES

DE RAZN.
Las intuiciones segundas son una clase de entes de
razn.
Entes de razn: Es el objeto que la razn conoce pero
que no tiene ser objetivo sino en el entendimiento, es
decir, en cuanto es entendido, o cuyo ser consiste todo l
en ser entendido. Se clasifican:

Negaciones(absolutas)
confundamentoreal
denominac.extrnsecas

Entesderazon

relacionesdistincionesderazon
intenciones
segundas

sinfundamentoreal:seresficticios

Negaciones: Ceguera, carece de existencia real, pero se

fundamenta en algo positivo existente.

Las denominaciones extrnsecas y las distinciones de

razn no son Intenciones segundas.
Distincionesderazn: Separaciones entre un objeto y otro.
Denominacionesextrnsecas: Relaciones que establece la
mente desde un efecto producido (ad extra) hasta su
causa.

1.13LENGUAJEYLGICA
Las palabras son un tipo de accidentes de la substancia
(cualidades), que ya no se dan en el alma, sino que se
dan en el cuerpo. Aquellos sonidos que proceden de
rganos de fonacin del hombre son llamados voces, que
en ocasiones tienen significacin por convencin y otros
lo tienen de forma natural. Sin el lenguaje, el
pensamiento, en la escasa medida en que pudiera darse,
se hallara enclaustrado en la conciencia individual. La
palabra posibilita el conocimiento comn.

1.14DIVISINDELALGICA
1.15.Lastresoperacionesdelentendimientocomoprimer
criteriodedivisindelalgica:
Las tres operaciones del entendimiento son sucesivas
puesto que cada una emplea el resultado de las
precedentes.
1-.Operacindelentendimiento/Aprehensin: produccin de
los elementos indivisibles del pensamiento a partir de los
materiales que proporciona la sensibilidad, mediante
actos de separacin y unificacin. En esta parte se
estudian las categoras, o gneros ms amplios
(predicamentos) as como la capacidad de predicarse los
universales (los predicables), los signos y los trminos.
6

2-. Operacindelentendimiento: Toma los pensamientos

indivisibles que proporciona la 1, componindolos o
dividindolos, afirma unos de otros o los niega. Esta
operacin se caracteriza por que el intelecto alcanza lo
verdadero o lo falso. El resultado es la proposicin que se
expresa lingsticamente por medio de enunciados. En
esta parte se estudia la proposicin y la oracin.
3-. Operacindelentendimiento: Objeto propio de la lgica
pues por su virtud, alcanzamos el resultado ms perfecto,
el conocimiento demostrativo o cientfico. A este acto se
llama razonar o silogizar y consiste en encadenar una
proposicin con otras, de manera que la verdad de
aquellas resulte necesariamente de la de stas.
Conforme a esto, la Lgica se divide segn trate de los
entes de razn que son fruto de la primera, segunda o
tercera operacin del entendimiento.

1.16 LA SUBDIVISIN DE LA LGICA DEL

RAZONAMIENTO.
La lgica del razonamiento debe, a nuestro juicio,
subdividirse segn se emplee en el terreno de lo
cientfico, el dialctico o el retrico.

1.17 LA DISTINCIN ENTRE LGICA FORMAL Y

MATERIAL
Esta distincin se hace a partir de la separacin entre
forma y materia del silogismo no aparece en Aristteles,
pero ser tomada por Sto. Toms.
Lgica formal: Se ocupa de la demostracin de leyes,
pues la estructura de la ley presentada por Aristteles es
vlida para cualquier materia.

- Lgica material: Se ocupa de determinar las exigencias

que debe cumplir la demostracin para llegar a
proposiciones cientficas. Estudia lo que se refiere a las
cosas a que puede aplicarse las leyes de la lgica formal,
es decir, a lo que puede substituir las variables que en
ellas aparecen.

1.18. CRTICA DE LA DISTINCIN ENTRE FORMA Y

MATERIA COMO CRITERIO PRIMARIO DE DIVISIN DE
LA LGICA:

La dialctica y la ciencia no difieren por versar sobre

cosas dispares. La dialctica en la mente de Aristteles es
universal y se puede emplear sobre toda clase de
asuntos, incluidos aquellos de los que tratan las ciencias,
Ciencia y Dialctica versan sobre las mismas cosas
aunque lo hacen conforme a criterios diferentes.

1.19 EL SILOGISMO SIN MS Y EL SILOGISMO

APLICADO
Silogismosinms: Coincide con la lgica formal, estudia las
condiciones de la buena inferencia, de la conexin
necesaria que se da entre las proposiciones de que parte
el silogismo (las premisas) y la que de ellas se saca (la
conclusin).
8

La silogsticaaplicadase da en la demostracin cientfica, en

la Dialctica y en la Retrica

CAPTULO2:LGICADELA1a
OPERACINDELENTENDIMIENTO
2.1LAABSTRACCINYLAINDUCCIN
La primera operacin del entendimiento nos proporciona
los pensamientos indivisibles, que son los elementos
primeros o conceptos, que los saca de los materiales que
le ofrece el conocimiento sensible. La simple
aprehensin es la primera operacin que realiza el
entendimiento. El entendimiento es en potencia de todas
las cosas, puede aprehender la forma de todas las cosas,
pero, como dice Aristteles, slo cuando actualiza su
capacidad de pensar las posee en acto. Esta capacidad
del intelecto no le permite adquirir esas cosas como
9

existen por s mismas, sino que su manera de conocer

consiste en separar lo que en realidad es uno y en
unificarlo que tiene la capacidad de ser unificado. En la
realidad slo hay las cosas singulares que veo y toco.
Pero su individualidad, la singularidad de Scrates que
conozco sensiblemente, no es asequible para el
entendimiento, pues ste slo es capaz de conocer
separando las diversas formas que se dan singularizadas
en Scrates y que forman un todo: el primer acto del
entendimiento consiste en actualizar separaciones y
unidades o cosas comunes que slo en potencia estaban
en las cosas que conocemos sensiblemente.
La pluralidad y la unidad, que el intelecto actualiza al
conocer, tienen dos dimensiones:
1-. El entendimiento unifica cosas que existen separadas,
como un caballo y otro caballo, formando con ellos
especies y luego gneros, como el animal. El acto del
entendimiento por el cual capta como algo uno lo que en
la realidad es mltiple, da como resultado la presencia en
l de los conceptos universales, como son las especies y
los gneros. A esa operacin, en la cual intervienen
nuestra facultad de percibir sensiblemente, la memoria y
otros hbitos, Aristteles la llamaba inducciny la
escolstica renacentista abstraccintotal.
2-. El entendimiento actualiza una diversidad que se
encuentra potencialmente en las cosas: dada una cosa
singular, alcanza a considerar separadamente slo su
volumen o slo su movimiento, o slo las cualidades de la
cosa, todo lo cual no existe sino formando una unidad
real, una substancia, aunque potencialmente separables
por el entendimiento. Tal separacin que no podemos
llevar a cabo fsicamente es resultado de una operacin
intelectual que Aristteles llam abstraccin y los
escolsticos abstraccin formal. Esta operacin conlleva
dos actos: 1) mantener o considerar un aspecto de las
10

cosas y 2) dejar de lado o suprimir las dems

dimensiones o facetas de la cosa.

2.2CUADRADOONTOLGICO
Es el resultado de una doble divisin de los seres que da
cuatro clases de seres: los seres que no estn en otros
(substancias), que se subdividen en singulares y
universales; y los seres que estn en otros sujetos, que se
dicen de un sujeto (accidentes), que tambin pueden ser
singulares o universales.
El sujeto de la relacin de estar en tiene que ser, una
substancia, pero, el de la relacin de decirse de puede ser
o no una, pues las cosas que estn bajo otra pueden ser o
no substancias. As hombre, cae bajo animal, como color
que es una cualidad y no una substancia cae bajo color. A
su vez, las cosas que no se dicen de un sujeto son las que
carecen de inferiores.

Substancia

Accidente

Ni se dice ni est en un sujeto

Se dice y est en un sujeto
Se dice pero no

No se dice pero

est en un sujeto
sujeto

est en un

Universal
Singular

Esto se presenta mediante el cuadrado elaborado por

11

Boecio. Esta clasificacin sirve de introduccin a dos

doctrinas que resultan de la 1a operacin del
entendimiento: la de los predicamentos y de los
predicables.
Presenta cmo el ser de las cosas sirve de fundamento
para las relaciones ms bsicas de la lgica.

2.3LASCATEGORASOPREDICAMENTOS
La distincin entre lo que est en un sujeto y lo que no
est en un sujeto se completa en la divisin de las
categoras o predicamentos.
La substancia es, como se ha vito, lo que en el cuadrado
ontolgico se designa como lo que no est en el
sujeto. Las restantes categoras forman parte de lo que
est en el sujeto, categoras accidentales
La deduccin de la lista de las categoras de Sto. Toms,
cuyo carcter es netamente ontolgico, parte de que los
entes se dividen en substancias y accidentes. Cada
trmino que significa una cosa o ser, tiene que decirse de
alguna manera de las substancias singulares que son los
sujetos ltimos en los que se dan los restantes seres.
Dado que lo que expresa un trmino acerca de la realidad
tiene que ser algo de la substancia, todas las maneras
diferentes de predicarse o decirse de la substancia
respondern a los diferentes modos de ser que tienen las
cosas. La lista de las categoras incluye todas las cosas,
singulares o universales del mundo real. De cuantas
maneras se dice (o predica) el ente, de tantas maneras
significa el ser.
La lista de las categoras incluye todas las cosas,
singulares o universales del mundo real: todo cuanto es
pertenece por su modo de ser a una nica categora. Las
palabras o trminos con los que se designan estas cosas,
12

se denominan trminoscategoremticososignificativos.Esta
teora interesa a la Lgica debido a las relaciones de
razn que se fundan sobre la divisin de las categoras,
como relaciones de predicacin que se dan slo dentro de
una categora.

2.4LOUNIVERSALYLOSINGULAR
La solucin aristotlica parece admitir que hay seres
tanto universales como singulares, donde el universal
reside en el entendimiento, en cuanto son
intelectualmente conocidas. La naturaleza de las cosas
tiene, por tanto, dos estados: uno en las cosas de la
naturaleza, y entonces la naturaleza est materializada y
singularizada y, otro en el entendimiento, y entonces es
universal y se halla desposeda y separada de la materia
singular.
La universalidad es, pues, una relacin de razn,
exactamente una intencin segunda, que pertenece a los
conceptos, es decir a la naturaleza en cuanto est
abstrada en nuestro entendimiento.

2.5LATEORADELOSPREDICABLES
Aristteles presenta la teora de los predicables como
una clasificacin de las proposiciones de las que hace uso
el dialctico, para l es una doctrina de la predicacin
que presupone la divisin categorial de los trminos.
De la universalidad es consecuencia otra propiedad
lgica de los conceptos universales: la predicabilidad,
capacidad de decirse o atribuirse a muchas cosas. La
teora de los predicables analiza las diversas maneras en
que lo universal tiene esa capacidad, es decir, de las
13

maneras en que los universales pueden ejercer esa

funcin de predicados respecto de unos sujetos. De una
misma cosa se pueden decir muchos predicados que se
dan en l verdaderamente, pero no todo ello tiene el
mismo valor informativo, como las esencias. Cada uno de
esos predicados, o universales en cuestin pertenece, por
su modo de ser, a un predicamento o categora.
La lista aristotlica de los predicables es:
definicin, gnero, diferencia, propiedad y
accidente. Aristteles los clasifica atendiendo a dos
criterios; Segn exprese algo de la esencia del sujeto o
no, y segn puedan predicarse recprocamente respecto
del sujeto o no.

IMP

Se predica
recprocamente

No se predica

Expresa esencia

Definicin

Gnero y diferencia

No expresa esencia Propiedad

recprocamente

Accidente

2.6PREDICADOSESENCIALESYNOESENCIALES
La esencia es aquello por lo que una cosa es lo que es.
Son predicados esenciales aquellos que responden de
manera adecuada a la pregunta qu es la cosa en
cuestin?. Entre los predicados esenciales los hay que
expresan toda la esencia de un sujeto, en cambio otros
solo expresan una parte de ella.
Los no esenciales slo expresan caractersticas.

14

2.7PREDICADOSRECPROCOSYNORECPROCOS
Un universal se predica recprocamente de una especie si
no slo se dice universalmente de ella, sino que tambin
la especie se predica universalmente de dicho predicado.
Esto se da en la definicin y en la propiedad.
La reciprocidad est ntimamente ligada a la nocin de
identidad, pues todos los predicados recprocos son
idnticos de alguna manera a su sujeto.

2.8LAIDENTIDAD
Es una relacin entre dos cosas que, a pesar de ser dos,
de alguna manera son tambin son unasola cosa.
Gracias a las nociones de unidad y multiplicidad, o
pluralidad podemos distinguir diversos tipos de identidad.
La identidad se divide de manera paralela a la unidad:
dos cosas son idnticas por la especie si, aun siendo
cosas material o individualmente diferentes, su especie
es la misma. De manera similar son idnticas por el
gnero el hombre y el caballo, unidad genrica.
En los casos precedentes no hay unidad numrica, la
Identidad numrica se produce cuando hay varios
nombres pero una sola cosa, por ejemplo, hay identidad
entre hombre y animal racional. La identidad numrica se
da entre una cosa (que puede ser un conjunto de cosas,
un universal) en cuanto es denominada por un nombre, y
esa misma cosa en cuanto es denominada por otro
nombre.
Hay 4 posibles casos de identidad:
15

- Identidad por nombre: Pluralidad de nombres sin

diversidad de significacin.
- Identidad por la definicin: Cuando la misma
cosa universal es designada por un trmino (especie)
y una oracin que expresa toda su esencia. (Ej.
Tringulo y polgono de tres lados)
- Identidad por propiedad: Se da entre la especie y
su propiedad. (Tringulo y figura recta cuyos ngulos
suman 180)
- Identidad por accidente: Cuando una misma cosa
es designada por un nombre de individuo y por un
accidente que slo vale para l. (Scrates y el que
est sentado, slo si l esta sentado)

Si dos universales son idnticos numricamente, es

evidente que entre ellos se da predicacin recproca.

2.9ELGNERO
Gnero es lo que se predica esencialmente de varias
16

cosas que difieren en especie.

1. Son esenciales, expresan la esencia del sujeto,
pero no de manera completa, sino parcial. Tambin
expresa la esencia del sujeto la definicin, la especie
y la diferencia. El gnero y la diferencia manifiestan
slo parte de la esencia.
2. Se dicen varias cosas diferentes con respecto a su
especie. El gnero no es idntica numricamente a
su sujeto. Se dice esencialmente de varias especies
distintas, por tanto no sera idntico a ninguna de
ellas. Este carcter del gnero seala lo que lo
distingue de la definicin: si sta es idntica
numricamente a un sujeto, el gnero no lo es.

2.10LADIFERENCIA
La diferencia es lo que se predica esencialmente de una
especie y expresa cmo es. La diferencia slo se
distingue del gnero porque expresa, no qu es la
especie de la que se predica, sino cmo es, es decir,
cmo es, su cualidad. La diferencia es un predicado
que expresa parcialmente la esencia de la especie,
concretamente la parte de la esencia que no es comn a
las dems especies del mismo gnero, pero adems la
diferencia expresa la esencia de manera diferente al
gnero, complementa la expresin de la esencia que
viene dada por el gnero. La diferencia significa la
manera que tiene la especie de poseer el gnero. La
diferencia determina, divide y califica un solo gnero de
cosas. Por ello gnero y diferencia entran ambas en la
definicin.

2.11LAESPECIE
Especie es aquello que se predica slo de
17

individuos y expresa su esencia completa por

medio de un solo trmino. Tres caractersticas:
1. -Expresa la esencia completa. La especie y su
definicin son idnticas e intercambiables en la
predicacin.
2. La expresa por medio de un solo trmino, como el
gnero.
3. Se predica slo de individuos, No de Universales,
en ello difiere de todos los restantes predicables.
- Especie nfima o indivisible: Es la especie en el
sentido estricto, que es la que slo se dice de individuos y
no tiene otras especies bajo de s.
En sentido laxo se entiende por especie cualquier
universal que caiga bajo un gnero. De manera similar,
adems de las categoras que son los gneros supremos,
tambin recibe el nombre de gnero cualquier universal
que se divida en especies.
La nocin de especio puede, por tanto, entenderse de
manera ms amplia que como especie nfima y la de
gnero se puede entender ms que como gnero
supremo. En tal caso, la nocin de especie es la que cae
bajo un gnero. Y as se vuelven nociones correlativas
que se definen mutuamente.
Las diferencias son de un gnero y, la mayora de las
veces, slo de uno. Si un universal puede dividir gneros
dispares no subordinados, entonces no es una diferencia
de ese gnero, y por ello, no cabe dividir al hombre en
otras especies en conforme al color. Esto nos remitir a
los Trascendentales, nociones ms amplias que los
gneros supremos.

2.12LADEFINICIN
18

La definicin es una oracin que significa la quididad:

la definicin no es un nombre simple sino compuesto de
otros dos que son el gnero y la diferencia.
Tiene 2 caractersticas:
- Significa la esencia completa del sujeto y no slo
una parte, en lo cual difiere de otros predicables.
- En una oracin o Logos, compuesto por el gnero
y la diferencia. Es nica para cada cosa definible.
- Y aade una 3: La definicin es idntica al
sujeto, esto tiene la consecuencia, de la
reciprocidad en la predicacin, de modo que su
usencia indica que el predicado no es una definicin.

2.13LAPROPIEDAD
Propio es aquello que, sin expresar la esencia de la cosa,
pertenece a ella sola y puede predicarse de ella
recprocamente.
Esta definicin conlleva tres caracteres:
- No ser un atributo esencial;
- Ser un predicado exclusivo
- Predicarse recprocamente de la especie de la
que se dice.
Propio se dice de manera necesaria de la especie a la que
pertenece.

2.14ELACCIDENTE
Aristteles entiende por accidente dos cosas:
- El accidente predicamental: que son las cosas que
19

estn en un sujeto, es decir, las cosas que

pertenecen a cualquiera de las 9 categoras que no
son la substancia, pues todas esas cosas estn en
ese sujeto ltimo de todo cuanto es, que es la
substancia;
El accidente predicable: no es ya una clase de
cosas, sino uno de los modos de predicacin: el
predicado que, siendo verdad de un sujeto, no
expresa su esencia y no se predica recprocamente
de l; Se define por medio de la nocin de
posibilidad.
En efecto, un predicado slo es necesario cuando
expresa la esencia del sujeto (gnero, Diferencia, y
Definicin) o cuando contiene en su esencia al sujeto
(Propiedad). As se explica que la predicacin
accidental pueda ser universal y no slo particular.

La relacin de ser susceptible de recibir una cosa es que

cada especie es susceptible de recibir unos accidentes y
no apto para recibir otros.
El accidente es pues, el predicado que, siendo
verdad de un sujeto, no expresa su esencia y no se
predica recprocamente de l.

2.15LOSTRASCENDENTALES
Hemos visto que el ente se divide en los 10 predicamento
o categoras a una de las cuales pertenece todo ente real.
La nocin misma de ente o de ser, al dividirse de
esa manera, no es, a su vez gnero comn a todas
las categoras.
El Por qu se halla en la nocin de gnero y de
diferencia: El ser no es un gnero porque todo gnero
debe predicarse de cosas que sean diferentes en especie,

20

es decir que tengan una diferencia especfica.

La nocin de ente en s , que es la substancia, no aade
diferencia alguna no contenida en la nocin de ente, sino
que designa un modo de ser especial. Y lo mismo
ocurre con los dems gneros supremos.
Hay un nmero reducido de esas nociones de igual
extensin que el ente, que los escolsticos denominaron
Trascendentales. Adems del ente, esos conceptos son
cosa, algo, uno, verdadero y bueno. stos tienen la
extrema universalidad del ente; que, como l, son
anlogos y que son entre s convertibles, lo cual quiere
decir, por ejemplo, que a la vez todo ente es bueno y
todo lo bueno es ente.

CAPTULO3:LGICADELA1a
OPERACINDELENTENDIMIENTOII
3.1RELACIONESENTRECONCEPTOS
Entre las nociones que de la realidad tenemos hay otras
relaciones:

3.2IDENTIDADYDIVERSIDAD
Consideradas dos cosas, slo cabe que sean la misma o
que no lo sean, es decir, slo cabe que entre ellas haya o
identidad o diversidad.
La identidad conlleva siempre algn tipo de unidad.
La diversidad entre dos cosas se produce cuando, en
vez de unidad, hay pluralidad o multiplicidad y, como lo
uno es contrario a lo mltiple, hay tantas formas de
21

diversidad como tipos de identidad hemos hallado antes.

Se llama diversidadgenricacuando dos cosas pertenecen a
distintosgneros supremos puesto que nada hay en
comn entre esas cosas, y es completa.
En cambio, las cosas que son mltiples pero tienen algo
en comn, se dice que son diferentes, lo cual ocurre de
varias maneras:
La diferencia que se da entre cosas que pertenecen a la
misma especie es numricay se manifiesta en la
disparidad de accidentes que poseen, pues esas cosas
tienen en comn la misma forma substancial y slo
pueden diferir por caractersticas individuales.
Cuando dos cosas difieren por la especie, pero no por el
gnero, entonces se da entre ambas una diferencia
especfica, que es a lo que ms propiamente se llama
diferencia.
Idnticos

Diversos
Hombre/blancura

Por el gnero
(completamente
)

Por el gnero

Caballo/hombre

Por la especie
(estrictamente
diferentes)

Por la especie

Juan / Pedro

Numricamente

Numricamente

Hombre/animal/raci
onal/ Marco
Tulio/Cicern

Por el nombre

Completamente

Juan/Juan

22

3.3COMPATILIBILIDADEINCOMPATIBILIDADDELOS
CONCEPTOS
Esto es la posible, necesaria o imposible presencia de dos
cosas en un mismo sujeto, dar juntas en la realidad. Hay
tres posibles relaciones:
La presencia de una conlleva la de la otra (pertinentes
entre s); la presencia de una excluye la de la otra
(pertinentesentre s); o ni se excluyen ni se implican
(impertinentesentre s). Si una implica la otra o cualquiera
de ellas conlleva la otra, entonces se dice adems que
son secuela.Esta secuela puede ser mutua o no, es mutua
cuando dos cosas son idnticas numricamente. Adems
dos cosas pueden ser tales que se excluyan entre s, de
modo que la presencia de una en un sujeto conlleve que
la otra no se d en ese sujeto, en este caso son opuestas, y
hay cuatro clases de oposicin: la contradictoria, la
contraria, la privativa y la relativa.
Hay Cuatro clases de oposicin: la contradictoria, la
contraria, la primitiva y la relativa.

23

3.4OPOSICINDECONCEPTOS
La oposicin entre dos cosas se caracteriza, en general,
porque ambas no se pueden dar a la vez en el mismo
sujeto.
1. Debe ser al mismo tiempo.
2. Tanto el sujeto como el predicado se ha de tomar
respecto de lo mismo, adems, la parte del sujeto de
la predicacin ha de ser exactamente la misma.
Existen varios tipos:

3.5 CONTRADICTORIEDAD:
Los entes de razn no son relacionales, se halla lo que
llamamos negaciones, que puede afectar a un trmino
significativo cualquiera. Ej. no-blanco. Los trminos as
obtenidos los llam Aristteles trminos infinitos por su
manera peculiar de significar, pues a diferencia de los
trminos sin negacin (trminos finitos) no significan
de una manera determinada, sino la ausencia de una
forma y no designan a un conjunto definido de
cosas, no cae nada real sino que slo tienen
existencia por virtud de la razn.
Los trminos infinitos, al igual que las privaciones, son
entes de razn no relativos.
La relacin peculiar que se da entre un trmino y su
correspondiente infinito tiene unas propiedades
caractersticas:
- Para cada concepto finito hay otro infinito que
se le opone contradictoriamente. Tal propiedad
no la posee ninguno de los restantes modos de
oposicin.
- Los contradictorios no pertenecen ambos a la
misma categora de cosas, dado que el trmino
24

infinito es siempre de razn y cae fuera de

cualquiera de las diez categoras en que se divide lo
real. En esto coinciden con los contradictorios
- Dado un ser cualquiera, siempre ocurre que cae
bajo uno y slo uno de cualquiera de los
contradictorios, de la misma manera que siempre
es verdadero afirmar o negar de l un predicado
cualquiera.
- Finalmente, no cabe trmino medio entre los
contradictorios.
*En la concepcin aristotlico-tomista el verbo ser conlleva
implcitamente la afirmacin de la existencia del sujeto.

3.6 POSESIN Y PRIVACIN:

Las posesiones son las diversas cosas que un sujeto
posee o tiene por razn de la naturaleza de quien lo
posee. Aunque no todo lo que la naturaleza del sujeto
entraa es posesin suya, sino aquellas que pueden
faltar al sujeto sin dejar de ser lo que es. *La vida no
es una posesin del hombre sino una parte de su
naturaleza.
Privacin es la ausencia o falta de una posesin, es
decir, la carencia en un sujeto de algo que por naturaleza
le conviene, pero que puede faltarle. No significa ninguna
forma real, por tanto es un Ente de Razn negativo.
Las caractersticas de las privaciones y las
posesiones:
- No todo concepto tiene una privacin
correspondiente. Slo hay privacin de lo que se
llaman posesiones de un sujeto conforme a su
naturaleza. A diferencia de los contradictorios.
- No pertenecen, posesin y privacin, a la misma
categora, como los contradictorios. (privacin es de
25

razn por lo que no pertenece a ninguna categora).

Posesin y privacin son opuestos, ya que no pueden
darse a la vez en el mismo sujeto. En esto difieren de
los contradictorios.
Entre los opuestos privativamente no hay trmino
medio positivo, pues nada es intermedio entre la
posesin y su ausencia. Se da lo que se llama
trmino medio negativo, hay cosas que ni tienen
privacin ni posesin.

3.7. CONTRARIEDAD:
La experiencia nos muestra que la presencia en un sujeto
de unas cosas supone la eliminacin de otras, esta
relacin se llama contrariedad. Pero a diferencia de los
contradictorios, la contrariedad se da slo en
determinadas especies de algunas categoras de
cosas, como las cualidades y la relacin, pero no en la
substancia o la cantidad (no todas las cosas tienen
contrarios, no hay contrario de hombre).
Se caracterizan por:
- Solo en recibirlos se da necesariamente uno de los
contrarios. Los contrarios pertenecen al mismo
gnero. No hay contrarios que pertenezcan el uno a
una categora y el otro a otra. En los contradictorios
no es as.
- Los contrarios admiten a veces trminos
intermedios. A diferencia de las privaciones,
posesiones y de los contradictorios.
- Uno u otro de los contrarios tiene que darse si no
hay intermedio, pero si lo hay, cabe que uno de los
contarios no se d y se d el intermedio. Los
intermedios cumplen aqu la exigencia de que
suprimen a cualquiera de los contrarios. La
contrariedad solo es de manera secundaria.
26

- En los contradictorios la negacin es completa,

pues el concepto negativo no slo quita la forma,
sino tambin el gnero y el sujeto. Por eso es la
oposicin mxima.
- Las privaciones significan la ausencia de una forma
en el sujeto. Suprimen la forma sin dejar otra del
mismo gnero, pues significan ausencia de posesin.
Su posicin es inferior a la contradiccin.
- En los contrarios solo eliminan la forma especfica
del otro pero dejan el gnero y el sujeto. Es
oposicin negativa mnima.

3.8 LOS OPUESTOS COMO CORRELATIVOS

Otra clase de oposicin se da entre las cosas relativas
y sus correlativos. Son relativas las cosas cuya esencia
consiste en hacer referencia a otra cosa, entre los
relativos se da pues, las relaciones de subordinacin
entre gneros y especies.
Se caracterizan por:
- La oposicin relativa se da entre el relativo y
su correlativo (nada impide que la misma cosa sea
padre e hijo a la vez, lo que no puede darse es que
sea padre e hijo de lo mismo): la oposicin se
produce porque no puede darse el relativo y el
correlativo respecto de lo mismo y bajo el
mismo aspecto.
- De todo relativo se dice que lo que es, lo es de
su correlativo. La oposicin relativa difiere del resto
porque no conlleva ninguna negacin o
eliminacin de lo opuesto. Lo que existe es
simultaneidad en la existencia del correlativo en
otro sujeto, pues la oposicin se funda en la
dependencia en el ser del relativo respecto de su
27

correlativo. Por esta alteridad no pueden darse

relativo y correlativo en un mismo sujeto, y en ese
sentido se oponen.

3.9LOSTRMINOS
En el acto de nombrar cosas entran, las palabras y las
mismas cosas nombradas, que pueden ser o no
materiales. Pero adems, entra en juego un tercer
elemento: los conceptos que de las cosas tiene
nuestro entendimiento. La designacin es compleja,
puesto que cada una de las palabras tiene asociada una
nocin intelectual que es lo que podemos llamar su
significado y esta nocin es la forma de las cosas en
cuanto es captada por el entendimiento. El lenguaje
hablado est compuesto por voces, que son sonidos
proferidos por el hombre. La significacin de las palabras
se produce en virtud de las relaciones que enlazan las
cosas significadas, los pensamientos y las voces mismas:
1)los pensamientos simples, son imagen en el alma de las
cosas mismas: las cosas tienen una forma que el
entendimiento capta cuando las conoce.
2)Las voces, en virtud de una imposicin convencional,
significan inmediatamente los pensamientos que estn
en el alma. De entre las voces con significado, las hay
que son simples y las hay que son compuestas.
Por tanto, hallaremos elementos ltimos del lenguaje, que
son las voces con significado, llamados dicciones,trminoso
palabras, formando otras voces tambin significativas,
como los trminos compuestos u oraciones.
Trmino: se ha entendido en su sentido ms amplio,
como elemento del discurso, de modo que no son
trminos los signos que no se pueden componer para
28

formar un discurso completo.

3.10 DIVISIONES DE LOS TRMINOS:

La clasificacin de los trminos ha variado segn las
escuelas. Cabe clasificarlos bien a las cosas
significadas, bien a los conceptos por medio de los
cuales se significan las cosas de modo diverso
(modos de significar) o bien a la funcin en la oracin.

3.11DIVISIONESDELOSTRMINOSENCUANTO
TRMINOS:
Atendiendo a el criterio del papel que las palabras
ejercen dentro de la oracin. As estn, nombre y
verbo por un lado, y entre trminos categoremticos y
sincategoremticos por otro
3.12 Nombreyverbo:
Son voces significativas convencionales y simples, es
decir, carentes de partes que a su vez signifiquen.
EL verbo cosignifica el tiempo (significa a modo de
actualidad determinada o medida por el tiempo) y
conlleva la predicacin, el nombre no tiene ninguna de
estas caractersticas, (gracias al verbo, la combinacin
con uno o varios nombres da lugar a una oracin), es muy
importante para descubrir las relaciones de razn.
EL nombre siempre significa de manera intemporal. Los
nombres infinitos se forman con un nombre precedido
de la partcula "no" (no-hombre), siendo una negacin
infinitante, careciendo de una significacin
determinada (el no en ese caso viene a quitar la
significacin).
29

Adems hay verbos substantivos (ser y estar), el

resto de verbos son adjetivos. La particularidad de los
substantivos es que en las oraciones donde aparecen
verbos adjetivos pueden reducirse a una forma
cannica substituyndolos por uno de los verbos
substantivos y el adecuado nombre (Juan vence->
Juan es vencedor).
3.13: Trminoscategoremticosysincategoremticos:
Adems del nombre y el verbo, el resto de las partes de
la oracin, como los pronombres o participios, que
pueden oficiar de sujetos o predicados; o los adjetivos o
adverbios, a esta clase de trminos que son los
escolsticos los llamaron trminos categoremticos(Juan
corre bien). En cambio, hay otros trminos como las
conjunciones o "algn" o "slo", sirven para combinar
unas oraciones con otras y determinan la predicacin. A
estos trminos se les llama sincategoramticos, que sirven
para precisar la conexin de sujeto y predicado o para
conectar oraciones.
Atendiendo a su significacin:
Los categoremticos tienen significado,significan las
cosas que se predican del sujeto. Mientras que los
sincategoremticos cosignifican, tienen significado slo
en cuanto estn unidos a otros trminos. stos ltimos
tienen importancia para la Lgica, puesto que son los que
significan las relaciones de razn. (Todo, algn, no, slo)

3.14DIVISINDELOSTRMINOSPORELMODODE
SIGNIFICACIN
Distingue las maneras en que los trminos significan las
cosas segn la diversidad de conceptos.
30

3.15 Nombressingularesycomunes:
Segn la razn significada por ellos sea apta para decirse
de muchos o de uno solo, se dividen en singulares y
comunes. Atendiendo a las cosas en cuanto estn en el
entenvimiento, es decir a las nociones por medio de las
cuales se significan esas cosas y no si las cosas a las que
se aplica son muchas o una.
El nombre universal es aqul que significa una naturaleza
en cuanto es apta para darse en muchos, de modo que,
incluso si de hecho slo valiera para uno no dejara por
ello de ser universal.
3.16 Trminosunvocos,equvocosyanlogos:
Unvocos (sinnimos) son los nombres que significan las
cosas por medio de una sola razn (ornitorrinco).
Equvocas (homnimas) designan las cosas por medio
de varias razones (gato).
Los anlogos son trminos que mantienen cierta
proximidad o conexin entre s, sin que por ello sea uno
slo el concepto simple por el que los trminos significan,
llamados tambin homnimos voluntarios o cercanos.
Para Aristteles los anlogos son equivocidad voluntaria,
pudiendo ser de varias clases: analoga de atribucin,
cuando la homonimia es respecto de uno, es decir, el
trmino significa en primer lugar uno de los significados y
los otros mantienen con l alguna relacin (sano); los
otros homnimos lo son por analoga siendo una
semejanza de relaciones (proporcionalidad).
3.17 Trminosabsolutosyconnotativos:
Absolutos: son los que cuya razn es algo de una
cualquiera de las categoras, pero significado siempre a la
manera de la substancia, es decir, como un sujeto
31

separado (blancura).
Los connotativos o parnimos son los que significan
eso mismo, pero a modo de accidente de otra cosa
(blanco).
Por ello lo que designa o de lo que se predica blanco no
es una cualidad, sino el sujeto en que se da esa cualidad.

3.18DIVISINDELOSTRMINOSPORLASCOSAS
SIGNIFICADAS:
(No por el modo de significar)
Hay que distinguir entre trminosdeprimeraydesegunda
intencin: Ver 1.9 - 1.11 All se distinguen los seres reales
de los seres de razn, una de cuyas clases son las
relaciones de razn, que, a su vez, contiene, entre otras
cosas, las intenciones segundas. As gnero,
universal, predicacin, disyuncin son trminos de
2 intencin.

3.19COORDINACINDELASDIVISIONES
PRECEDENTES

32

UnvocoyEquvocoestnalrevs.

3.20LADEFINICINYLADIVISIN3.21LA
DEFINICIN
La definicin es el predicable que expresa la esencia de
aquello que define y que es idntico numricamente a
ella. Los componentes de esa nocin son el gnero
prximo y la diferencia especfica, y la diferencia
especfica debe cualificar o determinar al gnero de modo
que produzca una especie de ese gnero.
Ni los gneros supremos (categoras) ni los individuos son
definibles en sentido estricto.

3.22 Lasdefinicionesreales:
Las definiciones reales se dan por gnero y diferencia,
constituyen la manera perfecta de dar a conocer el ser de
33

algo, y dentro de esto, esenciales, puesto que a

diferencia de las nominales lo que se da a conocer es
una cosa y no el significado de un nombre; y, dentro de
eso, esenciales, porque se da a conocer lo definido
poniendo de manifiesto su esencia y no otro carcter
distintivo cualquiera.
En ocasiones nos hemos de conformar con caracteres
accidentales, siendo definiciones descriptivas(tilesen
zoologaybotnica).Las definiciones por causa eficiente
son de utilidad sobre todo para los acontecimientos
naturales, y las definiciones por causa final lo son para
los artefactos, pues son conocer el fin para el que estn
hechos (coche).
Adems de ello, hay tres reglas que debe cumplir
cualquier definicin: 1) Ha de ser intercambiable por lo
definido. 2) Ha de hacerse por gnero y diferencia. 3) La
definicin ha de ser ms clara que lo definido.

3.23 Definiciones nominales:

Nos hacen conocer la naturaleza de la cosa definida. La
definicin puede sin embargo tener otra finalidad muy
dispar y que consiste en unir un trmino con su
significado. Ponen en conexin el trmino empleado con
el concepto que es su razn significada, recurriendo a la
etimologa o al lxico, recurriendo a las palabras ms
usadas y comunes en orden de presentar lo que significa
otra menos frecuente.

3.24LADIVISIN
La divisin: Es la enumeracin de las especies que caen
bajo un gnero y de las cuales ste se predica
esencialmente. Sabido es que el gnero se divide en
34

especies por diferencias especficas.

Entendida de esta manera, la divisin slo tiene una
regla: que se haga por diferencias especficas del
gnero. Ahora bien, no slo se clasifican las cosas
naturales, sino las que tambin son producto del artificio
y por tanto carecen de naturaleza. Por ello se establecen
reglas mnimas que se siguen de la nocin misma de
divisin, esto es, la separacin en miembros separados
de todo lo que cae bajo un gnero:
1) La divisin ha de ser exhaustiva, es decir, que todas
las cosas que caen bajo el gnero entren en uno u otro de
los miembros de la divisin.
2) Los miembros han de ser excluyentes, de modo que
una misma cosa de lo que cae bajo el gnero de cosas
dividido, no pueda caer dentro de dos miembros a la vez.
3) Las partes en las que se subdivide un gnero deben
ser de menos amplitud que el gnero en cuestin.
Adems de estas reglas, existe una regla comn, que
consiste en decir que el criterio de la divisin debe ser
nico, a fin de prevenir las divisiones cruzadas, cuyos
compartimientos son heterogneos o que se da una
mezcla de criterios.
La operacin llamada dicotoma, divisin de un gnero
por diferencias contradictorias, para lo cual basta
considerar un trazo presente en alguna de las cosas del
conjunto y no en otras no puede ser un sustituto de la
divisin.

CAPTULO 4. LGICA DE LA SEGUNDA

OPERACIN DEL ENTENDIMIENTO
4. 1. LA SEGUNDA OPERACIN DEL
35

ENTENDIMIENTO
La primera operacin del entendimiento separa y une lo
universal y lo singular, la substancia y el accidente. La
reflexin lgica sobre estas nociones as separadas pone
de manifiesto cmo, al ser conocidas, se refieren de
manera posible o indeterminada unas a otras. En las
nociones de accidente y substancias se incluye una
relacin a otras cosas, aunque esas cosas queden, para
esta primera operacin, en la indeterminacin.
El entendimiento realiza una segunda operacin, que
consiste en pensar como formando una unidad esos
pensamientos simples previamente separados. El
entendimiento combina esas nociones y forma
composiciones de conceptos, que constituyen una
unidad, donde se atribuye una cosa a otra en un tiempo.
Cosa que se expresa por medio del verbo. El resultado es
la proposicin simple.

4.2. Combinacin de conceptos y asercin:

Dentro de la proposicin se han de distinguir dos
elementos: la combinacin de conceptos, y el juicio o
asercin de esa combinacin. El juicio es la accin
intelectual por la cual el entendimiento admite que es,
que se da en la realidad, una combinacin de conceptos.
Proposicin a secas es la combinacin aseverada o juicio
acerca de una combinacin de conceptos. Tanto la
combinacin de conceptos como los actos acerca de esa
combinacin (el juicio por ejemplo), no son ms que
abstracciones que nunca se dan separadas de la realidad.
La proposicin se diferencia del pensamiento simple o
concepto porque es verdadera o falsa.

4. 3. La nocin de verdad:
36

Cualquier cosa que se diga verdadera o falsa incluye una

referencia al entendimiento que juzga. Pero el
asentimiento no es ms que una pasin del alma que,
aisladamente considerada, no es verdadera ni falsa. Slo
es verdadera o falsa por relacin a las cosas. Porque la
verdad, en sentido estricto o formalmente, es la
adecuacin del entendimiento y la cosa.
Para que el juicio sea verdadero la composicin de
conceptos a la que asiente el entendimiento ha de darse
como unidad entre las cosas de que son imagen esos
conceptos y, cuando el asentimiento recae sobre la
divisin o separacin de conceptos, el juicio es verdadero
si lo separado por el entendimiento est separado de las
cosas.
Las cosas, en un segundo sentido, se llaman tambin
verdaderas o falsas, por cuanto la unidad o multiplicidad,
que en ellas tiene lo que el entendimiento capta
separadamente, determina o cusa la verdad o falsedad
del entendimiento que juzga. Nota 148: A esto es a lo que
Aristteles llama el ser y el no ser como lo verdadero y
lo falso en el sentido ms fundamental, es decir, lo que
en las cosas corresponde a expresiones como t eres
blanco. Pues el eres expresa en las cosas el hecho de
estar juntas y de ser una sola cosa, mientras que su
negacin, el no ser, significa el hecho de no estar juntas
y de ser varias cosas. En tercer lugar, se califican tambin
de verdaderos o falsos los enunciados (oraciones
aseverativas) por cuanto son signo de los juicios del
entendimiento. En fin, lo verdadero y lo falso se dicen de
cosas diversas por analoga de atribucin.

4. 4. Composicin y atribucin:
La composicin no es el mero agregado de una cosa
37

junto a otra, ni la separacin consiste en poner una cosa

fuera de otra, sino que adems es la atribucin o no
atribucin, de una cosa a otra. La predicacin forma una
unidad con lo designado por el sujeto, pues conlleva
tambin que una cosa universal est presente en lo que
es designado por el sujeto. Lo cual sucede de dos
maneras, segn sea la unidad de lo designado por el
predicado con lo designado por el sujeto:
- Unas veces la unidad de la forma designada por el
predicado con lo designado por el sujeto es la unidad
que tienen las cosas que estn unas en otras.
- Otras veces la unidad en cuestin es la que forma lo
universal con lo que cae bajo l.
La diferencia entre estas dos facetas que tiene el
contenido al que se aplica la asercin se hace ms
patente si se observa que la composicin no involucra un
orden mientras que la atribucin s: la atribucin es de
una cosa (el predicado) sobre otra (el sujeto) y no
siempre vale que se intercambie ese orden, pues si es
verdad, por ejemplo, que todo hombre es animal, no lo es
que todo animal es hombre. Los sujetos adems pueden
ser tanto cosas singulares como universales, mientras
que los predicados, dado que se presentan como si
tuvieran bajo s otras cosas, siempre son universales.
Funciones del verbo
Por una parte, la distincin entre la substancia y sus
accidentes, entre lo que est en un sujeto y lo que no, es
llevada a cabo por la operacin intelectual de la
abstraccin formal. La proposicin entendida como
composicin parece expresar la unidad en las cosas de lo
que esa abstraccin ha separado. Y por ello, una de las
funciones del verbo es la de expresar esa sntesis o
composicin.
38

De otra parte, la distincin entre lo universal y lo

singular, que se dice y no se dice de un sujeto, es llevada
a cabo por la abstraccin total. La proposicin, en cuando
dice una cosa de otra, expresa la unidad que en lo real
tiene lo universal y lo singular y, en ese sentido, es una
atribucin que tambin es expresada por el verbo.

4. 5. Predicacin y existencia:
Cabe finalmente preguntarse si, al asentir una
proposicin, se asiente tambin a la existencia del sujeto
de la proposicin. Para Santo Toms, la predicacin del
verbo ser sin ms expresa el acto de ser, la existencia del
sujeto de la predicacin. En lneas generales, baste la no
existencia del sujeto para que una proposicin afirmativa
sea falsa. En cambio la proposicin negativa acerca de lo
que no existe es siempre verdadera. Scrates est sano
y Scrates est enfermo, son ambas falsas si Scrates
no existe, pero na de ellas ser verdadera si Scrates
existe.

4. 6. LA ORACIN Y LA PROPOSICIN
La predicacin, resultado primario de la segunda
operacin del entendimiento, es un elemento
imprescindible en cualquier proposicin. Sin embargo, la
predicacin nunca se da a secas, sino que siempre se
produce de una determinada manera. Para la clasificacin
de los distintos tipos de proposicin lo que interesa
directamente a la Lgica es la determinacin de las
relaciones de razn que constituyen en su especifidad los
distintos tipos de proposicin. Sin embargo, en orden a
dividir la proposicin, vamos a recurrir a su expresin
lingstica, es decir, vamos a hacer un amplio uso de la
clasificacin de las oraciones.
39

Por expresin cannica se entiende una oracin que hace

uso de los trminos categoremticos en un orden
determinado y, si es el caso, emplea unos
sincategoremas especialmente seleccionados por su
claridad y colocados tambin de una manera
determinada. Eso no quiere decir que con ello se haya
definido la proposicin en cuestin, porque lo nico que
se ha dado es una manera de expresarla
lingsticamente. Para tal definicin deberamos analizar
las relaciones de razn que intervienen en la proposicin.

4. 7. Definicin y divisin de la oracin:

Aristteles define la oracin como la voz significativa
cuyas partes significan como dicciones (o trminos), pero
no como afirmaciones. La oracin es una voz
significativa por convencin. Tiene partes significativas
que ejercen su significacin dentro de la significacin de
la oracin. La oracin, as definida, incluye los trminos
compuestos, que son los que tienen significado pero
estn formados por otros trminos, sin expresar por ello
afirmacin ni negacin alguna. Estas oraciones suelen
llamarse imperfectas, para distinguirlas de las que s
conllevan una atribucin, las cuales reciben el calificativo
de perfectas.
La oracin perfecta engloba tanto las oraciones que son
verdaderas o falsas como las que no son ni una cosa ni
otra. Las oraciones simples a las que les pertenece lo
verdadero o lo falso se llaman oraciones enunciativas o
aseverativas. Las oraciones que no son ni verdaderas o
falsas son las oraciones que podemos llamar no
enunciativas. Entre ellas se hallan las oraciones
interrogativas, las splicas, las rdenes, las
exclamaciones y las oraciones desiderativas.

40

La definicin mencionada excluye, sin embargo, las

oraciones compuestas de otras, pues en ella se dice que
la oracin no tiene partes que sean significativas como
las oraciones. En orden a lograr una definicin de la
oracin que englobe tambin las proposiciones
hipotticas (que son compuestas), se puede reformar la
que ofrece Aristteles: oracin es la voz significativa
cuyas partes significan al menos como dicciones, pero no
necesariamente como afirmaciones. As la oracin tiene
partes significativas que pueden ser solamente dicciones
o trminos, pero que tambin pueden ser afirmaciones o
negaciones, de modo que no quedan fuera las oraciones
compuestas. La oracin enunciativa simple recibe el
nombre de oracin categrica.

4. 8. La oracin y la proposicin categricas:

Una proposicin categrica dice siempre algo uno de
algo que tambin es uno. La oracin, o expresin
lingstica de la proposicin, consta tambin de sujeto y
predicado. El sujeto siempre es un nombre, mientras que
el predicado puede ser tanto un nombre como un verbo.
Cuando el predicado es un nombre, entonces se ha de
aadir un tercer elemento al sujeto y al predicado para
formar una oracin. Ese tercer elemento es generalmente
el verbo ser o verbo substantivo. Cuando el predicado es
un verbo, cabe que sea bien un verbo adjetivo, como
cantar, bien el verbo substantivo o verbo ser.
El verbo ser se emplea pues, de dos maneras:
- Como segundo elemento de la proposicin: significa el
acto de ser, como sucede al decir el hombre es.
- Como tercer elemento de la proposicin: tiene dos
funciones. De una parte, une sujeto y predicado; y, de
otra parte, expresa, a modo de movimiento en el
41

tiempo, el acto de ser.

4. 9. Divisin de la proposicin categrica:

Las proposiciones categricas se dividen en atencin a
tres criterios: la cantidad, la cualidad y la modalidad.
4. 10. Divisin atendiendo a la cantidad.
Aquello que se dice, o se predica (el predicado), es
siempre un trmino universal, mientras que aquello de lo
que se dice (el sujeto), puede ser universal o singular.
Cuando es universal, cabe que se determine la cantidad
en que se toman los sujetos universales por medio de
sincategoremas como todos y algn (signos de
cantidad), o que se empleen sin esa determinacin.
Las oraciones de sujeto universal indefinido, o no
determinado por un signo de cantidad, se llaman
indefinidas. Las oraciones cuyo sujeto est precedido por
un artculo determinado frecuentemente se entienden en
sentido universal (por ejemplo, el hombre es un animal
poltico), aunque tambin cabe que en determinados
contextos puedan tomarse como proposiciones de sujeto
singular. En cambio, cuando el sujeto va acompaado de
un artculo indeterminado, como en un hombre canta,
se asimila a una proposicin particular.
Un predicado se afirma de manera universal de un sujeto
cuando no hay ninguna parte (es decir, nada de lo que
cae esencialmente bajo el sujeto, sea universal o
singular) de la que no se afirme el predicado. Y lo mismo
vale para la negacin universal. Entre los casos en que se
determina la cantidad del sujeto, pero no universalmente,
se halla la determinacin particular, expresada al aadir
al sujeto signos como algn o cierto. Atendiendo,
pues, a la determinacin de la cantidad del sujeto, las
42

proposiciones categricas se dividen en singulares,

indefinidas, universales y particulares.
4.11. Divisin atendiendo a la cualidad.
Los escolsticos llamaron cualidad de la proposicin a su
carcter afirmativo o negativo. Las proposiciones
expresan, bien que el predicado se atribuye o compone
con el sujeto, bien que no se atribuye o que se separa de
l. Las primeras se llaman proposiciones categricas
afirmativas y las segundas, negativas. La negacin puede
colocarse al principio de la proposicin, aunque, en ese
caso, la diferencia de colocacin conlleva tambin una
diferencia en lo que la negacin separa. La negacin en
las universales no suele expresarse diciendo, por
ejemplo, todo hombre no es animal, sino ningn
hombre es animal, lo cual introduce una disimetra en la
composicin de las universales afirmativas y negativas,
que no se da en las particulares cuya negacin se
expresa poniendo el no ante la cpula.
4. 12. Divisin por la modalidad.
Hay muchos adverbios que modifican al verbo por cuya
virtud se componen sujeto y predicado, pero no lo
determinan en cuanto ejerce esa funcin compositiva,
sino por otras razones. Por ejemplo, trabajosamente o
velozmente, que determinan la cualidad del verbo. En
cambio, los adverbios como necesariamente,
posiblemente, contingentemente e
imposiblemente, determinan al verbo precisamente en
cuanto compone sujeto y predicado. Por ello, su presencia
constituye, desde el punto de vista lgico, una clase
especial de proposiciones que llaman modales. Las
proposiciones donde no aparecen tales adverbios se
llaman de inherencia.

43

4. 13. LAS PROPIEDADES DE LA ORACIN

Debemos ahora considerar las propiedades que
adquieren los trminos al formar pate de oraciones, as
como las propiedades que unas tienen respecto de otras.
Entre las propiedades de las partes que no son otra cosa
sino las propiedades de los trminos en cuanto elementos
de una oracin- se encuentra principalmente lo que se
llama la suposicin de los trminos. Entre las propiedades
que la oracin y la preposicin tienen respecto de otras
oraciones o proposiciones, se cuentan la oposicin, la
conversin y la equipolencia.

4. 14. La suposicin y otras propiedades de los trminos:

Hemos sealado que los trminos pueden tener uno o
varios significados, segn representen las cosas mediante
uno o varios conceptos. Esta observacin, sobre la cual se
funda la distincin entre trminos unvocos y equvocos,
sirvi a Aristteles para resolver los sofismas de
equivocidad.
Los medievales observaron que hay otros sofismas
similares al de equivocidad en los cuales no se da esa
misma pluralidad de significaciones. El trmino est
puesto por cosas diversas en el contexto de cada
premisa, aun siendo empleado con un mismo significado.
Esta constatacin dio pie a distinguir dos momentos
dentro de la funcin representativa de las palabras: el de
la significacin y el de la suposicin. En la frase hombre
es una palabra, hombre est puesto por una cosa (por
la voz), mientras que, en los chinos son hombres, ese
mismo trmino, sin variar de significacin, est puesto
por otra cosa (por los individuos que son chinos). Esa
capacidad representativa, diversa segn el contexto, de
las voces significativas o trminos, fue denominada
44

suposicin por los lgicos medievales.

La suposicin se define como la acepcin del trmino en
lugar de algo segn la exigencia de la cpula. Es, por
tanto, una propiedad que adquieren los trminos
categoremticos comunes, slo en cuanto forman parte
de una oracin determinada, y no cuando se consideran
aisladamente. Y como la oracin conlleva siempre una
predicacin que se expresa por medio de la cpula, se
dice en la mencionada definicin que esa acepcin de los
trminos depende de la cpula.
4. 16. Diversas clases de suposicin.
Las voces significan inmediatamente los conceptos y
mediatamente las cosas. Sin embargo, como slo las
voces sirven para transmitir nuestro pensamiento, hemos
de emplear las mismas voces para expresar juicios sobre
estas tres cosas (voces, conceptos, cosas). Por ejemplo,
podemos juzgar sobre las piedras, sobre el concepto de
piedra y sobre la voz piedra y, aunque esas tres cosas no
son las mismas, a la hora de expresar esos juicios
tendremos que hacer uso de la misma voz piedra, pero
puesta, segn los casos, por una cosa u otra. Esto da
lugar a tres gneros de suposicin:
- Material: Tiene suposicin material aquel trmino que
se toma por la voz misma y no por lo que significa ni
inmediata ni mediatamente. Por ejemplo, piedra es
bislaba. Que el sujeto de una oracin supone
materialmente se conoce por:

1. El predicado (cuando este significa caracteres de

las voces o de los trminos).
2. Porque no es una voz significativa.

45

3. Porque se aade al sujeto una determinacin que

manifiesta que ese sujeto se toma como
suposicin material.

- Simple: Es la de los trminos comunes que se toman

por la cosa universal inmediatamente significada por el
nombre. Esa cosa universal es la forma comn que el
entendimiento abstrae en su primera operacin
(concepto, supongo). Ese trmino est por la forma
separada o, si se prefiere, por lo universal en cuanto
tal y no en cuanto se da individualizado en lo singular.

- Personal: Cuando la acepcin del trmino son los

individuos que caen bajo el concepto significado por el
trmino. En otras palabras, la suposicin personal se
da en los trminos que se toman por las cosas
singulares mediatamente significadas por l y no por el
concepto inmediatamente significado, ni por la voz
misma. Los trminos que se emplean con suposicin
personal estn puestos por un conjunto de individuos.
Pero, dentro de eso, cabe que se haga de varios
modos:

1. En la oracin algn hombre es sabio, el sujeto

supone por todos los hombres disyuntivamente,
de manera que basta con que el predicado sea
verdad de uno para que sea verdadero la oracin.
Los sujetos afectados por el signo o sincategorema
particular (algn), tienen una suposicin personal
determinada, y las oraciones en que aparecen se

46

resuelve, por medio de un descenso1 disyuntivo, o

como disyuncin de oraciones de sujeto singular.
La oracin algn hombre es sabio, es
equivalente a Pedro es sabio o Juan es sabio o
Ramn es sabio o.

2. En la oracin todo hombre es animal, el sujeto

se supone por el conjunto de los hombres
distributivamente tomado, de modo que slo si el
predicado se da en cada uno la oracin es
verdadera. La suposicin de los sujetos de las
oraciones universales, determinados por un signo
de universalidad afirmativo (todo) o negativo
(ningn), se llama distributiva y se caracteriza por
tener un descenso copulativo. Por ejemplo,
ningn hombre es arcnido es equivalente a
juan no es arcnido y Pedro no es arcnido y.

Ninguna de estas suposiciones es la de los predicados de

las universales afirmativas, que no permiten descender o
resolverse de ninguna de estas maneras. Porque mientras
todo hombre es animal es cosa verdadera, su
resolucin disyuntiva no lo es, pues en todo hombre es
este animal o todo hombre es este otro animal o es
falsa cada una de las proposiciones de que consta la
disyuncin y lo mismo pasa con la resolucin copulativa.
Slo cabe eliminar el predicado por medio de un
descenso disyunto, que no da lugar a una conjuncin de
oraciones, sino a una oracin con un predicado que es
una disyuncin de trminos singulares. Todo hombre es
animal se resolvera segn esto en la oracin todo
1 Descenso: resolver las oraciones con trminos comunes en otra, u
otras, donde dichos trminos estn substituidos por los nombres de los
individuos que actualmente caen bajo esos trminos comunes.
47

hombre es este animal o este otro animal o este tercer

animal.

3. En la oracin los hombres son numerosos, el

sujeto supone por el conjunto de los hombres
como un todo. El sujeto de esta oracin tiene una
suposicin que se llam copulada y tiene su
resolucin por medio de una conjuncin de
trminos, pues equivale a este hombre y este
hombre y este hombre y son muchos, lo cual es
tambin una sola oracin.

[Cuadro de la pgina 143]

48

Captulo 5: Lgica de la segunda operacin del

entendimiento II
5.1 Propiedades de las proposiciones categricas
de inherencia
Los trminos de dos proposiciones categricas sin
modalidad pueden coincidir los dos, uno solo o ninguno.
Cuando ambos coinciden puede que se den en el mismo
orden (por lo que comparten sujeto y predicado) o en
orden inverso.
5.2 Oposicin
Dos proposiciones que comparten los mismos trminos y
el orden de stos pueden diferenciarse en la cantidad,
en la cualidad o en ambas cosas.
- Opuesto: Se llama a todo aquello que no puede darse a
la vez en el mismo sujeto. Y a las proposiciones que no
pueden ser verdaderas a la vez. La teora clsica de la
oposicin de proposiciones
Relaciones entre proposiciones singulares: Slo pueden
diferir en la cualidad. Ambas son opuestas porque no
pueden ser ambas verdaderas y son contradictorias
porque slo cabe que una sea verdadera y la otra falsa.
Scrates es hombre Scrates no es hombre
Relaciones entre proposiciones indefinidas: Tambin se
diferencian slo por la cualidad. Si se entienden como
proposiciones particulares no hay oposicin ni
contradiccin estricta entre ellas, sino que son
subcontrarias. El hombre (un cierto hombre) es blanco
El hombre es negro
Relaciones entre proposiciones de sujeto universal con
cantidad determinada: Difieren entre s por la cantidad,
por la cualidad o por ambas cosas. Esto genera cuatro
49

tipos de proposicin designados cada uno por una vocal:

Proposiciones en A: afirmativas universales: Todo
hombre es blanco
Proposiciones en I: afirmativas particulares: Algn
hombre es blanco
Proposiciones en E: negativas universales: Ningn
hombre es blanco
Proposiciones en O: negativas particulares: Algn
hombre no es blanco
Cada una de estas proposiciones mantiene con las otras
tres una relacin que puede ser de cuatro clases:
Oposicin contradictoria (A O, E I): difieren en
cualidad y cantidad.
Oposicin contraria (A E): misma cantidad universal,
diferente cualidad.
Subcontrariedad (I O): misma cantidad particular,
diferente cualidad.
Subalternancia (A I, E O): misma cualidad, diferente
cantidad.

Son proposiciones contrarias aquellas que no pueden ser

verdaderas a la vez, pero s falsas a la vez.
50

Son proposiciones contradictorias aquellas en las que una

niega la que otra afirma, de manera que necesariamente
una ha de ser falsa y la otra verdadera.
Son proposiciones subcontrarias aquellas que no pueden
ser falsas a la vez y se oponen slo en el sentido de que
una es afirmativa y la otra negativa.
La relacin de subalternancia no es de oposicin y se rige
por la siguiente regla: si la universal es verdadera,
tambin lo es la particular, pero no a la inversa; y si la
particular es falsa, tambin lo es la universal, pero no a la
inversa. Se ha de distinguir entre la proposicin
subalternante, que es la universal; y la subalternada, que
es la particular.
5.3 La equipolencia
Al aadir negaciones a las proposiciones en A, I, E y O se
obtienen de diversas maneras sus opuestas segn una
serie de reglas:
1) Una proposicin se convierte en equipolente de su
contradictoria si se le antepone una negacin:
Todo hombre es blanco No todo hombre es blanco
Algn hombre no es blanco.
2) Una proposicin se convierte en equipolente de su
contraria si se le aade una negacin despus del sujeto:
Todo hombre es blanco Todo hombre no es blanco
Ningn hombre es blanco.
3) Una proposicin se convierte en equipolente de su
subalterna si se le aade una negacin antes de ella y
otra despus del sujeto:
Todo hombre es blanco No todo hombre no es blanco
Algn hombre es blanco.
5.4 Oposicin entre proposiciones con trminos
infinitos
Son las relaciones de oposicin que pueden darse entre
una proposicin de sujeto y predicado finitos y otra que
slo difiere de la anterior porque uno de sus trminos
51

est sustituido por su correspondiente infinito. Estas

relaciones no son las mismas cuando el sujeto es
existente que cuando no lo es o puede no serlo.
Cuando el sujeto de la proposicin indica algo que existe
se da una equivalencia entre la afirmacin del trmino
finito y la negacin del infinito:

Sin embargo, Aristteles considera que nada impide que

un trmino infinito sea sujeto de una proposicin. En tal
caso, se aplica esta regla: una proposicin afirmativa
cuyo sujeto designa algo que no existe es siempre falsa,
pero cuando dicha proposicin es negativa, es verdadera.
Relaciones de oposicin y subalternancia entre
proposiciones de predicado finito y de predicado infinito:
Dadas una proposicin universal afirmativa (en A) y otra
particular afirmativa pero de predicado infinito (en , el
acento circunflejo indica el predicado infinito):
52

Si en ambas proposiciones el sujeto designa algo

existente, entre ellas se dara una relacin de
contradictoriedad. Si el sujeto designa algo inexistente la
relacin entre ellas sera de contrariedad.

Entre E y se da una relacin de subcontrariedad:

53

Entre E e , cuando el sujeto es existente, se da una

relacin de subalternancia, pero si es inexistente no hay
relacin alguna entre las proposiciones.
Los pares E, E, I y I son disparatados, no tienen
ninguna relacin.

54

Observaciones:
1) No hay contradiccin entre proposiciones de predicado
finito e infinito cuando los sujetos son inexistentes.
2) En esas mismas condiciones, las afirmativas son
subalternantes respecto de las negativas excepto cuando
las proposiciones son disparatadas.
3) Las afirmativas son contrarias de las afirmativas
cuando una tiene predicado finito y otra infinito, excepto
cuando son disparatadas (I).
4) Las negativas de predicado finito y las de predicado
infinito son subcontrarias, excepto cuando son
disparatadas.
5.5 La conversin
La conversa de una oracin categrica es aquella en la
que se ha sustituido sujeto por predicado y viceversa,
conservando la verdad y la cualidad. Una oracin
conversa no tiene por qu mantener la cantidad ni la
55

falsedad de la convertida, aunque puede hacerlo. Las

conversas se dividen, segn mantengan o no la cantidad
de la proposicin original, en conversas simples y
conversas por accidente, respectivamente.
Las conversiones de las cuatro proposiciones categricas
de trminos comunes son:
Las en E y en I se convierten simplemente.
Las en E y en A se convierten por accidente.
La proposicin en O carece de conversin.
La demostracin aristotlica de las conversiones se lleva
a cabo por reduccin al absurdo y por ctesis de la
misma, un procedimiento que consiste en considerar
cmo sera una cosa que cayera bajo el sujeto de una
proposicin, de manera que cumpliera lo que la
proposicin dice.
1) Prueba de la conversin simple de E:

56

2) Prueba de la conversin simple de I:

3) Prueba de la conversin por accidente de E:

Que E se puede convertir tambin por accidente se sigue
de la validez de su conversin simple: dado que de
ningn A es B se sigue ningn B es A, tambin se
sigue por subalternancia desde esta ltima algn B no
es A, que es la conversa por accidente de la primera.
4) Prueba de la conversin por accidente de A:

57

5) Prueba de que no hay conversin de O:

Dada la verdad de esta proposicin (Algn B no es A)
pueden, al mismo tiempo, ser falsas sus posibles
conversas: Ningn A es B y Algn A no es B.
Ejemplo: Proposicin en O algn animal no es hombre y
proposicin en A con los mismos trminos pero
intercambiados: Todo hombre es animal. Si esta ltima
es verdadera, sern falsas su contraria, ningn hombre
es animal y su contradictoria, algn hombre no es
animal, que son las posibles conversas de O.
De este modo tambin puede probarse que no hay
conversin simple de A ni por accidente de I.
Relaciones de conversin:

58

5.6 Las oraciones modales

Son modales las proposiciones categricas en las que la
atribucin del sujeto con el predicado est determinada
por un modo. Un modo o modalidad es una determinacin
sobreaadida a algo. La modalidad puede afectar al
sujeto, al predicado a la propia composicin de los
mismos. Esta ltima clase, la que afecta a la composicin,
es la que nos interesa. Existen cuatro modos que
determinan la composicin misma: necesario, posible,
contingente e imposible.
Estas cuatro modalidades pueden formar oraciones segn
la modalidad
de dicto, que se da en las proposiciones modales
compuestas, que significan la atribucin de un modo a
una composicin simultnea de formas en un sujeto
(que el que est sentado est corriendo es posible);
o de re, que se usa en las proposiciones modales de
59

sentido dividido, que zona aquellas en que el modo indica

la manera en que un sujeto poseedor de una forma y
designado por ella recibe otra distinta (el que est
sentado posiblemente corre).
La diferencia entre estas modalidades se muestra al ver
que la primera oracin (de dicto) expresa que para
alguien estar sentado y correr a la vez es posible, lo cual
es falso; y que la segunda oracin expresa que alguien
que est sentado tiene la potencia de correr, lo cual es
verdadero.
Los modos de la contingencia y de la posibilidad pueden
entenderse de dos maneras:
1) simplemente como lo que no puede darse
2) como lo que puede darse (no imposible) y adems
puede no darse (no necesario)
Utilizaremos la primera de estas nociones para referirnos
a lo posible y no estudiaremos lo contingente porque es
demasiado difcil para nuestras pequeas y tontas
mentes.
5.7 Oposicin y equipolencia entre oraciones
modales
Para analizar las relaciones entre las proposiciones
modales tomaremos el dictum como una oracin singular
y nos desentenderemos de su cantidad. Slo tendremos
en cuenta si es afirmativo o negativo.
= Negacin de. P = Posibilidad.
X = Proposicin
afirmativa.
N = Necesidad.
I = Imposibilidad.
X =
Proposicin negativa.
Ejemplo: X = Juan es soldado.
PX= Es posible que Juan sea soldado. NX= Es necesario
que Juan sea soldado.
IX= Es imposible que Juan no sea soldado.

60

PX es subcontraria de PX.
PX es contraria de
PX.
PX es contradictoria de PX.
PX es igual a PX.
Obtenemos cuatro modos que se hallan en relaciones de
oposicin similares a las que mantienen las categricas
de inherencia.
Observamos dos equivalencias entre los trminos:
1) Lo imposible es lo mismo que lo que no es posible y
que lo que necesariamente no es: P=I=N
2) Lo posible es lo mismo que lo no imposible y que lo
que no necesariamente no se da:
P=I=N

.8 Las proposiciones hipotticas

Las proposiciones hipotticas son las que se fundan en
las relaciones de razn que enlazan sujetos y predicados.
Se expresan por medio de oraciones compuestas que
enlazan proposiciones por medio de conjunciones aunque

61

no toda conjuncin que forma una oracin compuesta

produce una proposicin hipottica, sino slo las que
significan una conexin necesaria entre las proposiciones
simples de que constan.
Las hipotticas siempre conllevan una dependencia en la
verdad o en la falsedad entre las partes de que se
componen y se dividen segn la manera en que esto
sucede: as, en la condicional, si una es verdadera la otra
tambin lo ser; mientras que en la disyuntiva, cuando
una es falsa la otra es verdadera.
Una proposicin hipottica no significa la unin o
separacin que se da entre las cosas significadas por los
sujetos y predicados de que constan sino la ilacin entre
las conexiones que se dan entre esos trminos. Y por ello
mismo no conllevan la verdad o falsedad de las
proposiciones que en ellas se integran.
Que entre dos proposiciones se d que si una es
verdadera la otra tambin lo sea o que si una es falsa la
otra sea verdadera depende de las relaciones de razn
indicadas anteriormente o de otras posibles que den el
mismo resultado. Pero no se da entre ellas la conexin
porque sean verdaderas o falsas. La verdad o falsedad de
una sola proposicin tampoco entraa la conexin
expresada por las proposiciones hipotticas. En cambio,
la verdad o falsedad de las partes s puede conllevar la
falsedad de la compuesta. Las hipotticas slo afirman
cierta relacin entre las proposiciones categricas que la
componen, no expresan nada sobre la verdad de una u
otra. Por ello mismo de una proposicin hipottica nunca
se sigue una categrica.
Una proposicin hipottica puede ser evidente por s
misma, aunque su necesidad puede conocerse de manera
mediata en virtud de un una demostracin a partir de
otras proposiciones. Esto ocurre de dos maneras:
62

Las proposiciones estrictamente hipotticas slo

dependen, para el conocimiento de su necesidad, de
conexiones de razn entre proposiciones, sin necesidad
de recurrir a categricas.
Las proposiciones hipotticas en sentido laxo son las que
dependen de proposiciones categricas para que su
necesidad se ponga de manifiesto o tambin las que
pueden ejercer de tesis dentro de un dilogo sin que se
justifique su carcter necesario ms que por autoridad.
5.9 Diversos tipos de proposiciones categricas
Las hipotticas son de dos tipos fundamentalmente:
condicionales y disyuntivas. En las condicionales se ha de
distinguir la proposicin que ejerce de antecedente que
expresa la condicin; y la que ejerce de consecuente y
expresa lo condicionado. Esta proposicin se caracteriza
porque cuando es verdadero el antecedente el
consecuente tambin lo es.
Proposicin disyuntiva son aquellas que pueden
expresarse por medio de la conjuncin disyuntiva o o
similares, pero slo en uno de los sentidos de dicha
conjuncin. La disyuncin sin ms es la conexin que
enlaza proposiciones de manera que necesariamente una
de ellas es verdadera, pudiendo serlo las dos, como en
las proposiciones subcontrarias.
La contravalencia es otra manera de entender la
conjuncin disyuntiva que se da entre proposiciones tales
que una es verdadera y la otra falsa. Esta relacin se da
entre las proposiciones contradictorias o entre las que
tienen un mismo sujeto que existe y predicados uno finito
y el otro infinito.
La exclusin se da cuando de dos proposiciones una ha
de ser falsa y la otra puede ser falsa o verdadera. Esta
conexin se da entre proposiciones contrarias o las que
tienen un mismo sujeto pero predicados contrarios.

63

64