LGICA

A. LA LGICA COMO CIENCIA

1. Lgica espontnea
La lgica espontnea es lo que coloquialmente se
denomina sentido comn o buen sentido. Los hombres
se diferencian de los animales en que actan segn un
orden racional, dirigen sus propios actos con la razn,
mientras que los animales se guan por el instinto.
2.- El arte de la lgica
La lgica es considerada por Santo Toms como un arte en
el sentido de que ayuda a razonar correctamente, as como
existe el arte de construir, por el que el hombre efecta los
actos de la construccin. Santo Toms define la lgica como
el arte por el que se dirigen los actos de la razn para
alcanzar el conocimiento de la verdad ordenadamente, con
facilidad y sin error Queda claro que, en esta definicin,
arte es sinnimo de ciencia, y no de habilidad manual. Es
necesario aprender el arte de razonar bien para evitar caer
en el error en razonamientos complejos. Un ejemplo sencillo
sera el siguiente:
El rbol tiene hojas
El libro tiene hojas
El rbol es un libro
Caemos en este error porque el trmino hojas se toma
en distinto sentido ya sea referido a rbol o a libro, y por
tanto no podemos llegar a ninguna conclusin.
3.- La lgica como ciencia
La lgica estudia el complejo mundo de nuestras ideas,
juicios y raciocinios, de abstraer, concretar, razonar, etc. En
otras palabras, podemos decir que la lgica es la parte de la
filosofa que se ocupa de las propiedades lgicas, que son
aquellas propiedades que las cosas poseen en la inteligencia
humana. En este sentido se distinguen de las propiedades
reales, que son las que tienen las cosas en s mismas,
independientemente del pensamiento: p. ej.,
1) Obama es el presidente de USA
2) Obama es el sujeto de la proposicin 1
Mientras que ser presidente de USA es una propiedad
real de Obama, ser sujeto de la proposicin 1 es una
propiedad que slo afecta a Obama en nuestro lenguaje.

1) La filosofa de vida es adquirida.

2) Filosofa de vida es el sujeto de la proposicin
anterior.
3) En estos ejemplos observamos que Obama tiene sus
propiedades y la FV tambin. No obstante, en los dos
casos comparten el ser sujeto de una proposicin.
Para conocer las cosas hacen falta propiedades lgicas,
porque no entran directamente en nuestra mente; es
necesario clasificarlas, ordenarlas segn una estructura que
es propia de la razn (p. ej.: ser sujeto o predicado, ser
gnero o especie, etc.) Esta estructura, ese armazn con el
que ordenamos las cosas para conocerlas, es el objeto de la
ciencia lgica.
Con una precisin ms cientfica, a esas propiedades ay a
ese armazn los llamamos entes de razn de segunda
intencin. Por ser de razn entendemos lo que slo puede
existir en la inteligencia humana, y por lo tanto no puede
existir en s misma. Y decimos que es un ser de segunda
intencin porque el de primera intencin es el movimiento
de la inteligencia que se dirige a las cosas reales para
conocerlas (esa primera intencin es directa). La segunda
intencin es reflexiva y es la propia de la lgica, por la cual
el intelecto conoce todo lo que resulta de su modo de
pensar.
4.- La divisin de la lgica
La divisin de la lgica tiene su origen en algunos de los
actos que son propios de la psicologa. Como los actos de la
razn son tres, los apartados de la lgica son tambin tres,
relacionados con los anteriores. As, el acto de la simple
aprehensin, que estudia la psicologa, corresponde en la
lgica el tema del concepto; al del juicio psicolgico
corresponde la lgica del juicio; y por ltimo, al
razonamiento psicolgico, corresponde la lgica del
raciocinio.
En concreto obtenemos la siguiente divisin:
a) Lgica de los conceptos, que estudia la naturaleza de
stos, sus modalidades, sus relaciones, etc.
b) Lgica del Juicio, que estudia la atribucin o predicacin
de una perfeccin a un sujeto.
c) Lgica del raciocinio, por la que conocemos los diversos
modos de razonar y sus posibilidades de validez.

1.- Los conceptos y la abstraccin

Nuestro lenguaje est formado por oraciones (que se
llaman proposiciones en lgica), y stas se dividen en
palabras denominadas trminos mentales, conceptos o
ideas en lgica, en cuanto que son las unidades ms simples
del conocimiento (p.ej.: el trmino mental o concepto
perro se pueden denominar en otros idiomas con distintas
palabras dog, can, txakurra, gos- y sin embargo no vara
el concepto).
Adems de los conceptos simples (como el de perro,
existen conceptos complejos, que son aquellos que se dan
compuestos en la mente (por unin de varios conceptos
simples: animal racional), pero como uno en la realidad
(hombre)
Para llegar a una mayor comprensin de los conceptos,
podemos decir que son un signo de la naturaleza de las
cosas. Es decir, que mediante los conceptos captamos cmo
las cosas son, o que son esto o son aquello.
El concepto es un signo formal, es decir, que remite
inmediatamente a lo significado, sin que sea necesario
conocer primero el mismo signo.
En primer lugar, necesitamos saber lo que conocemos
nosotros como signo, para poderlo atribuir al concepto, y as
podemos clarificar su comprensin.
Con el siguiente esquema exponemos los diferentes tipos
de signos:

Signo (una cosa

que nos lleva al

Natural: es la ralacin entre el signo y los significado

(p.ej. el humo y el fuego)
Un tipo de signos naturales son las representaciones
Se dividen en: concretas (figuraciones) y universales
(concepto)
Convencional: las palabras
Instrumental: se conoce primero el signo, y ste nos
remite al conocimiento del significado (p. ej.
Bandera-Patria)
Formal: se conoce el significado a travs del signo,

Resumiendo: el concepto es un signo natural (a diferencia de

las palabras), universal (a diferencia de las representaciones
sensibles) y formal (lo que se entiende primariamente son
las cosas la realidad- y no los conceptos.
2. El concepto como ente de razn
Una vez clarificada la naturaleza del signo, podemos decir
que los conceptos significan las cosas reales. Aunque
como hemos visto antes, la lgica capta el concepto en un
segundo momento (ente de razn de segunda intencin).
Los conceptos son medios de conocer. Si lo que
conociramos en primer lugar fueran nuestras ideas, sera
imposible salir de nosotros mismos.
Con el siguiente esquema podemos hacer ms
comprensible lo que hemos querido expresar como concepto
de razn de segunda intencin:

ser en la REAL (lo

realidad) que tiene

I. LOS CONCEPTOS Y LA ABSTRACCIN

puedeconocimiento
El signo de
dividir en tambin
otra se

B. LGICA DE LOS CONCEPTOS

ENTE

Algnos autores admiten una cuarta divisin de esta

disciplina, llamndola Filosofa de la Ciencia o
Epistemologa, que estudia las operaciones anteriores en
el marco del conocimiento sistemtico o cientfico.

ACTUAL: P.EJ. PERRO Juan, manzana

POTENCIAL: p.ej. el cigarro puede ser
encendido.

DE RAZN (lo que tiene ser en el intelecto)

RELATIVO
S
(relacione
s)

ABSOLUT
OS

DE PRIMERA INTENCIN p.ej.

ser padre de. Se atribuyen a
las cosas
DE
SEGUNDA
INTENCIN:
propiedades lgicas: p.ej. ser
gnero Se atribuyen a los
pensamientos
Privaciones: p.ej. la ceguera
NEGACIONES. p.ej.: la nada

3. Propiedades de los conceptos

En lgica se distinguen dos aspectos en los conceptos: su
comprehensin y su extensin.
Entendemos por comprehensin de un concepto las notas
o caractersticas que lo constituyen (p.ej. hombre
comprende las notas de sustancia viviente, sensible,
racional, libre, etc.)
Por el contrario, entendemos por extensin el conjunto de
individuos o cosas a las cuales se les aplica el concepto
(p.ej. yo soy hombre, los chinos son hombres, los
ingleses son hombres, etc.)
De las caractersticas anteriormente explicadas podemos
deducir la siguiente ley lgica: la extensin y la
comprehensin de los conceptos estn en razn inversa la
una de la otra; as podemos decir que a mayor
comprehensin tendremos menor extensin, y a mayor
extensin, menor comprehensin.
De estas dos caractersticas, la de mayor importancia es la
comprehensin, ya que la extensin es una deduccin de
ella.

4. Divisin de los conceptos

En lgica caben multitud de divisiones de conceptos, por
lo que sera prolijo hacer una exhaustiva clasificacin de
todas ellas. Nosotros haremos referencia a las divisiones
ms importantes.
4.1 Por su comprehensin
En virtud de su comprehensin, los conceptos se dividen
en concretos y abstractos.
a) El concepto concreto implica la existencia de sujeto,
aunque sea indeterminado (p.ej. gegrafo, negro y sabio)
b) Por concepto abstracto entendemos aquel cuyo
contenido es una cualidad o una forma, separada de todo
sujeto (p.ej. humanidad, negritud, fsica)
4.2. Por su extensin
Siempre que el concepto desempee la funcin de sujeto,
se divide en:
a) Singular: Su extensin se limita a un individuo (p.ej.
este filsofos, Kant, Nern, etc.)
b) Particular: La extensin se toma de un modo restringido
e indeterminado (p.ej. algn ruso)
c) Universal: La extensin abarca propiamente a todos los
individuos a los que se refiere el concepto (p.ej. todo
astronauta)
Nota: Algunos autores dividen tambin los conceptos en
indefinidos y colectivos, pero stos son reducibles a los
anteriores.
5. El carcter abstracto de los conceptos
En una primera aproximacin a lo que es concepto
podemos calificarlo como abstracto. Por abstracto
entendemos qu el concepto deja las particularidades del
individuo y se queda slo con la esencia (p.ej. el concepto
hombre deja las particularidades de Juan, Pedro, Jos,
etc.). Todo concepto es abstracto en el sentido de que
abandona el singular.
Ahora bien, que el concepto sea abstracto no quiere decir
que no conozcamos lo concreto. Lo concreto lo conocemos
en cuanto que nuestra inteligencia, al poseer los conceptos,
se vuelve a la experiencia sensible (conversio ad
phantasmata); los comprende realizados en los singulares.
Por eso, es necesaria una segunda operacin del

entendimiento que vuelva a la realidad lo que se haba

abstrado de ella. Esta operacin es el juicio, como veremos
ms adelante.

II. UNIVERSALIDAD DE LOS CONCEPTOS Y SINGULARIDAD DE

LAS COSAS
1.- El fundamento de los universales
Hemos analizado hasta ahora el concepto con su
caracterstica ms notoria, que es la de su carcter
abstracto. En virtud del carcter abstracto del concepto
decimos que stos tienen un modo de ser universal en el
intelecto. Por tanto, puedo definir la universalidad del
concepto como la esencia comn a muchos singulares. Si
no somos capaces de universalizar, no llegaremos a
comprender la naturaleza de las cosas. Santo Toms define
el universal como lo que es apto para predicarse de
muchos.
Hemos visto la definicin de universal, pero cabe
preguntarse cul es su fundamento; y ste no es otro que la
participacin real de los seres en unas perfecciones
comunes. Por participacin entendemos el poseer
parcialmente una realidad comn a muchos.
Por eso, los universales expresan las perfecciones
comunes a varios sujetos. Dicho de otra manera, los
universales se basan segn la siguiente correlacin:
- La comunidad lgica, por la que los conceptos
universales poseen perfecciones que se pueden atribuir
a muchos individuos.
- La comunidad real o de participacin, por la cual
muchos individuos participan de estas perfecciones
comunes.
No obstante, tiene que quedar patente que lo que
realmente existe en la naturaleza es el individuo, pues en la
realidad no hay entes universales, sino singulares.
2. El problema de los universales
Las diferentes corrientes de pensamiento han dado lugar,
fundamentalmente, a tres modos de entender el carcter
abstracto de los universales:

a) La primera se llama nominalismo: doctrina que no

admite la existencia de una naturaleza comn a varios
sujetos, y que, en consecuencia, reduce los universales a
meros nombres (flatus vocis) carentes de fundamento real.
b) La postura radicalmente opuesta al nominalismo es el
realismo exagerado (Platn): consiste en pensar que los
universales existen realmente en un mundo trascendente,
adems de existir como esencias realizadas en los
individuos.
c) Santo Toms defiende el realismo moderado, que dice:
Algo es universal cuando no slo se puede predicar de
muchos el nombre, sino cuando lo significado en el nombre
puede darse en muchos.
III- EL SIGNIFICADO ANALGICO DE LOS CONCEPTOS
1. Trmino unvocos, anlogos y equvocos
Dado el carcter sociable del hombre, no slo le es
suficiente con poseer ideas, sino que necesita el lenguaje
para intercambiarlas y comunicar el pensamiento. La
expresin oral del concepto es lo que llamamos trmino y
que constituye un signo convencional del concepto.
El trmino mental o lgico es el concepto mismo,
mientras que el trmino escrito es el signo grfico del
trmino oral y el trmino oral significa el concepto.
La divisin de los trminos es la siguiente:
a) Trmino equvoco: utiliza la misma palabra aunque los
conceptos son diferentes y tienen varios significados
totalmente diversos (p.ej. cuarto referido a habitacin u
ordinal)
b) Trmino anlogo: son los vocablos que tienen varios
sentidos con algo en comn y en parte algo diverso (p.ej.
sano=salud corporal, a ambiente, a fruta, etc.)
c) Trmino unvoco: significa algo determinado sin ms
variantes (p.ej. tigre)
Slo puede darse la equivocidad en las palabras, y ello se
debe a que stas son tomadas convencionalmente. De ah
que no hay conceptos equvocos. En cambio, la analoga y la
univocidad son dos propiedades lgicas de los conceptos.
2. Naturaleza y alcance de la analoga
Conceptos anlogos son los que se predican de sus sujetos
en un sentido que en parte es idntico y en parte diferente.

La analoga se da cuando tenemos cosas que son diferentes

entre s, pero con una cierta relacin. Su fundamento
metafsico consiste en que las perfecciones son posedas de
diverso modo por sus sujetos (p.ej. la bondad en parte
conviene a Dios y en parte al hombre; difieren en el modo de
ser posedas)

3.2.3. Se dice secundariamente (per posterius) de los

dems trminos, que son llamados analogados secundarios
(p.ej.: manzana sana)
Esta analoga recibe el nombre de atribucin porque
aunque se dice de un modo pleno de un sujeto, se atribuye
por derivacin a otros entes.

3. Divisin de la analoga
Se distinguen dos tipos de analoga: la de proporcionalidad
y la de atribucin.

IV. LOS PREDICABLES,

UNIVERSALES

3.1 Analoga de proporcionalidad

La analoga de proporcionalidad no podr ser entendida
totalmente si antes no damos una breve nocin de
proporcin. Proporcin es la relacin adecuada entre dos
elementos (p.ej.: en matemticas, la proporcin doble se da
en la relacin entre 2/1 y 4/2; y tambin hay proporcin en
otros rdenes no cuantitativos, como la que existe entre la
causa y el efecto, la visin y lo visto).
Explicado lo que es proporcin, podemos definir la
analoga de proporcionalidad: un concepto se predica de
varios sujetos con analoga de proporcionalidad si stos
poseen la perfeccin significada no del mismo modo, sino de
una manera semejante, llamada exactamente proporcional
(p.ej.: la maldad de un nio se realiza de un modo diferente
a la de un asesino).
3.2. Analoga de atribucin
Obtenemos una analoga de atribucin cuando algo se
atribuye o predica de varias cosas dicindolo de una de ellas
de modo ms propio y principal (en plenitud), y de las otras
por participacin (p.ej. sano se dice de un modo principal del
cuerpo, y de modo derivado o por participacin de la
medicina, del clima, del ambiente, etc.
Podemos distinguir en la analoga de atribucin los
elementos siguientes:
3.2.1 El ad unum: es el significado propio, principal y nico
que se incluye en la nocin de todos los dems (p.ej.: salud
corporal)
3.2.2. El trmino anlogo se dice principalmente (pero
prius) de aquello del cual se dice en plenitud, y que se
conocer por el nombre de analogado principal (p.ej.: cuerpo
sano)

MODOS

LGICOS

DE

LOS

1.
Nocin
de
predicables,
predicamentos
y
trascendentales
Podemos llamar predicables o universales a los diversos
modos de atribuir un concepto unvoco a un sujeto respecto
a alguna de sus caractersticas (p.ej.: risible es una
propiedad del hombre). De ah podemos deducir que los
predicables son universales en cuanto a su predicacin, pero
refirindose a algo real.
Aparte de la divisin lgica de los universales en
predicables, cabe una divisin metafsica de los universales.
Las divisiones ms importantes y amplias son las de
predicamentos o categoras y la de los trascendentales.
Al igual que a los conceptos podemos llamarlos
predicables, porque son modos de predicar, los
predicamentos son modos de ser, en los que se
fundamentan los anteriores. Por lo tanto, podemos definir los
predicamentos como los distintos modos de ser con que el
concepto se atribuye al sujeto. Los predicamentos o
categoras son diez: la sustancia y los nueve accidentes
cantidad, cualidad, relacin, lugar, tiempo, posicin,
posesin, accin y pasin- (p.ej. Juan es hombre, el
predicamento es una sustancia; y Juan es gordo es un
predicamento de cantidad)
La otra divisin metafsica estudia los trascendentales.
Estos se pueden definir como conceptos que designan
aspectos que pertenecen al ente en cuanto tal. Los
trascendentales son: cosa, uno, algo, verdadero, bueno y
bello.
2. Clasificacin de los predicables
Los predicables se pueden clasificar segn el cuadro
adjunto, tras el cual, definimos cada trmino de la divisin.

Pertenecientes a la esencia
(esenciales)

PREDICABLES

No
pertenecient
es
a
la
esencia
(accidentales
)

Constituyend
o
la
totalidad
de
la esencia

Constituyend
o parte
de la esencia

ESPECIE
hombre)

(p,ej,:

ACCIDENTE LGICO: es el predicable que indica algo del

sujeto que est nicamente de hecho y que no deriva
necesariamente de la esencia (p.ej. Pedro es pianista)
V. DEFINICIN, DIVISN, Y OPOSICIN DE CONCEPTOS

Lo
comn:
GNERO
(p.ej.: animal)
Lo
diferenciante:
DIFERENCIA
ESPECFICA
(p.ej. racional)

Deriva necesariamente de ella:

PROPIO (P.EJ. RISIBLE)
Le adviene extrnsecamente:
Accidente (P.EJ.: BLANCO)

ESPECIE: es el predicable qu significa la esencia completa

del individuo. Se puede atribuir a todos los individuos que
caen bajo la extensin de la especie (p.ej.: gato, granito,
olmo, etc.)
GNERO: es el predicable que se refiere a la parte de la
esencia comn a otras especies (p.ej.: la piedra no es
viviente, los chopos son vegetales)
DIFERENCIA ESPECIFICA: es el predicable que significa la
caracterstica propia de la especie que la distingue de toda
otra especie (p.ej.: el hombre es racional)
PROPIO: es el predicable que se refiere a lo que emana
necesariamente de la esencia pero no pertenece a ella
(p.ej.: el hombre es risible, sociable, etc.)

1. La definicin
1.1. Naturaleza de la definicin
Es un concepto complejo que expone lo que es una cosa o
lo que significa un nombre. No obstante, parece ms
apropiado y riguroso el enunciar tambin la definicin
esencial como la expresin de la esencia de una cosa, es
decir, que expresa lo que es una cosa. Esto se obtiene a
travs de la teora de los predicables, porque la esencia a
definir es una especie y la especie se define enunciando el
gnero prximo y la diferencia especfica.
Un ejemplo para poder definir esencialmente una cosa
podra ser el siguiente: la sabidura se incluye bajo el
gnero prximo de virtud intelectual y la diferenciamos de
otras virtudes intelectuales por el elemento diferenciante,
que es la virtud intelectual por la que conocemos las
ltimas causas de la realidad. Otro ejemplo es el hombre:
hombre lo incluimos bajo el gnero prximo de animal
con el elemento diferenciante de racional.
1.2. Otras clases de definicin
1.2.1. Nominal: no define una cosa, sino qu significa un
nombre, y puede ser definida o por la etimologa (p.ej.
filosofa=amor a la sabidura) o por el uso corriente (p.ej.: el
cloruro de socio es la sal comn)
1.2.2. Gentica: se define por la manera de producirse (p.ej.
el verde es una mezcla de azul y amarillo)
1.2.3. Descriptiva: es una definicin que se acerca a la
esencial y consiste en indicar las propiedades ms
notables (p.ej.: el agua es una sustancia inodora, incolora e
inspida)
1.2.4. Causal: cuando algo se define por su causa eficiente o
final (p.ej. de causa eficiente: El Guernica fue pintado por
Picasso; de causa final: la silla es para sentarse)
1.3. Reglas de la definicin

La definicin esencial no necesita regla alguna, pues ella

misma es su propia regla. Las dems se cien a las
siguientes cualidades:
1.3.1. Que la definicin no contenga lo definido
1.3.2. Que no sea circular (p.ej.: el amor es la ausencia de
odio, y el odio es la ausencia de amor)
1.3.3. Que sea ms clara que lo definido.
1.3.4. Que convenga a todo lo definido y slo a l.
1.3.5. Que sea positiva (p.ej.: el tringulo equiltero es el
que tiene tres lados iguales); sin embargo, se admite que
sea negativa cuando se definen negaciones o privaciones
(p.ej.: el sordo es el que no puede or)
1.3.6. Que sea propia, que no confunda el gnero con una de
sus especies (p.ej. el tringulo es una figura geomtrica de
tres lados iguales)
2.- La divisin
2.1. Nocin de divisin} La divisin es un anlisis de la
extensin, y la definicin, por tanto, un anlisis de la
comprehensin. Conocemos como divisin la operacin por
la que se distribuye un gnero en sus especies. En las
ciencias de la naturaleza se llama clasificacin.
2.2. Cualidades de la divisin
2.2.1. Completa: que no deje escapar ninguna parte a cada
estrato o nivel de la divisin.
2.2.2. Exacta: que las partes sean distintas del todo y entre
s, es decir, que no se mezclen unas con otras.
2.2.3. que el fundamento no vare a lo largo de la divisin.
3. Oposicin de conceptos
La comprehensin de algunos conceptos pertenece
tambin a otros; pero hay conceptos que representan
aspectos de las cosas que se excluyen entre s, es decir, que
significan atributos que no pueden inherir al mismo tiempo
en un mismo sujeto. A esta exclusin se denomina en lgica
oposicin. La oposicin se divide en cuatro clases:
contradictoria, contraria, privativa y relativa.
3.1. Oposicin contradictoria: Se da cuando un concepto
es la total negacin del otro. En consecuencia, es la mxima
oposicin entre conceptos (p.ej. rojo y no-rojo), es decir,

entre el ser y la nada. El extremo negativo es un ente de

razn. Esta oposicin es la raz de todas las dems.
3.2. Oposicin de contrarios. Se da entre formas de un
mismo gnero. Aqu ambos extremos son positivos, se dan
en la realidad, es decir, son una perfeccin o una forma
(p.ej.: en el color: azul y negro). La oposicin de contrarios
admite grados intermedios.
Hay que hacer hincapi en que las formas sustanciales de
las cosas son conceptos contrarios, pues una excluye a las
dems (p.ej.: el gato no puede ser perro). Aunque cada una,
tomada individualmente, no admite grados de intensidad
(p.ej.: no se puede decir una seora est un poco
embarazada), entre las formas sustanciales cabe una
ordenacin segn los grados de perfeccin (p.ej.: el ser del
hombre es ms perfecto que el ser del tigre)
3.3. Oposicin privativa. Es la negacin de un acto formal
(perfeccin) en un sujeto capaz de recibirlo, y se debe
entender no como una negacin pura, sino como una
negacin de alguna perfeccin debida a un sujeto (p.ej.; la
sordera)
3.4. Oposicin relativa. Es aquella que se produce entre
dos conceptos positivos, que se excluyen, pero a la vez
dependen uno del otro (p.ej.: el suegro y el yerno)
C. LGICA DE LA PROPOSICIN
I. LA PROPOSICIN EN GENERAL
1. Su naturaleza
La simple aprehensin capta formalidades propiedades- de
las cosas de modo separado; lo que en lgica se llama
concepto, y que es lo visto hasta ahora. Es necesaria una
operacin intelectual que reuna y refiera a la realidad las
propiedades que primero se haba abstrado por la simple
aprehensin. Esta operacin es el juicio.
El juicio es la segunda operacin de la mente, por la que
componemos o dividimos conceptos atribuyendo o negando
una propiedad a un sujeto mediante el verbo ser.
Las dos propiedades distintivas del juicio son:
1.1. Atendiendo a la unin o divisin real de las cosas, el
juicio compone o divide (p.ej.: composicin: el toro es un
animal; divisin: el barco no vuela). En el juicio se enuncia la

relacin o unin de los conceptos que hay en la realidad

expresndolos con el verbo.
1.2. La otra propiedad del juicio es que afirma
explcitamente que algo es o no es (p.ej.: en el juicio el
hombre es, la composicin que se enuncia se hace de
modo actual, es decir, que es actualmente). De lo que
deducimos que los conceptos se ordenen por naturaleza al
juicio, es decir, que tienen su verdadera comprensin en
ste, que es el conocimiento intelectual definitivo porque
alcanza el ser de las cosas, la realidad, las cosas mismas
(p.ej.: Juan es hombre) y no slo las propiedades de las
cosas (p.ej.: ser hombre)
2. Estructura del juicio o proposicin
Se destacan tres partes fundamentales de la proposicin:
sujeto, predicado y verbo.
2.1. Al trmino que en el orden lgico recibe la atribucin
le llamamos sujeto. El sujeto, en el orden real, puede
representar diversas cosas a las que se atribuye la
perfeccin (p.ej.: la nieve es blanca; el sujeto es la nieve)
2.2. Al trmino al cual se atribuye el sujeto le llamamos
predicado en el orden lgico. El predicado, en el orden real,
puede ser una esencia, una accin, un movimiento, etc.
Normalmente a la lgica le interesan los juicios
predicativos o atributivos, que son los ms usuales; adems,
hay que tener en cuenta que se puede invertir el orden de la
composicin, sin caer en el error, slo en las proposiciones
universales-negativas y las particulares-afirmativas (I) (p.ej.: algn hombre es militar se puede cambiar por algn
militar es hombre)
2.3. Es condicin necesaria para que se d el juicio que
ste se componga de un verbo en modo personal, y el verbo
significar, en consecuencia, el inherir mismo, es decir,
muestra la conveniencia del predicado al sujeto (p.ej.: el
pltano es amarillo). el verbo ser interviene de alguna
manera en todos los juicios, considerndosele como su parte
principal o como su constitutivo esencial.
Sin embargo, aunque el juicio no se construya con el verbo
ser, lo contiene implcitamente (p.ej.: el pjaro vuela se
puede expresar como: el pjaro es volador)
Por ltimo, la funciones esenciales del verbo ser en los
juicios pueden reducirse a tres:
a) Gramaticalmente, el verbo ser desempea la funcin
de cpula o unin entre sujeto y predicado.

b) Atendiendo a la lgica, el verbo ser! manifiesta la

composicin que realiza la mente entre dos aprehensiones.
c) Desde el punto de vista de su significacin real, el verbo
ser seala la inherencia actual de una propiedad en un
sujeto.
3.- La verdad de los juicios
3.1. Naturaleza de la verdad
En la simple aprehensin, al formar los conceptos (caballo,
hombre, centauro) no poseo ni la verdad ni la falsedad en la
mente. Pero en el juicio, al adecuar lo que pienso a la
realidad, surge la verdad (p.ej.: el centauro es un hombre
es falso; cuatro y cuatro son ocho es verdadero). De ah
que pueda definir la verdad lgica como la adecuacin del
intelecto y la cosa. En otras palabras, el juicio afirma que es
o existe en el intelecto lo que es o existe en la realidad, y
que no es o no existe en el intelecto lo que no es o no existe
en la realidad.
La verdad lgica se fundamenta en la verdad ontolgica,
que la entendemos como la capacidad que tienen los entes
de ser aprehendidos por cualquier inteligencia. En
metafsica veremos cmo el ente, por el mero hecho de ser,
es inteligible
3.2. Los juicios de verdad
Los juicios que hablan acerca de la realidad son siempre
verdaderos o falsos, salvo en los casos de futuro contingente
(p.ej.: maana estar nublado)
Aquellas proposiciones que llamamos necesarias son
siempre verdaderas (p.ej.: el caballo tiene cabeza), y a estas
proposiciones
necesarias
ya
sea
porque
indican
propiedades esenciales de las cosas, ya sea porque son
hechos del pasado.- se les llama verdades eternas (p.ej.:
Scrates es el filsofo que bebi la cicuta). En la existencia
de estas verdades, con frecuencia se fundamentan las
ciencias, ya que son proposiciones imposibles de
contradecir.
Las proposiciones contingentes slo son verdaderas
mientras sucede lo enunciado por ellas (p.ej.: Juan corre es
verdad mientras est corriendo y no en los momentos en
que est parado)

II. CLASES DE PROPOSICIONES

1. La enunciacin
La enunciacin o proposicin y la argumentacin son los
discursos perfectos estudiados en lgica. Veremos en primer
lugar la enunciacin, que la podemos definir como un
discurso acabado que declara la verdad o la falsedad de las
cosas.
Las proposiciones enunciativas estn formadas por el
sujeto (S) y por el predicado (P), que componen la materia
de la proposicin. Al sujeto y al predicado tambin se les
llama extremos. La forma lo que constituye el ncleo de
la proposicin- es la cpula (verbo)
Adems de las proposiciones enunciativas, existen las
interrogativas, las imperativas,. las vocativas y las
deprecativas (o de peticin). Estas proposiciones slo son
relativas al que las pronuncia, y por tanto no son ni
verdaderas ni falsas, ya que no intentan significar la realidad
de las cosas exteriores. A partir de ahora hablaremos slo de
las enunciativas..
2. Clases de proposiciones
Podemos clasificar las proposiciones atendiendo a una
divisin esencial o a una divisin accidental.
A. En virtud de la razn esencial se dividen por la forma o
cpula, y de ah surgen tres categoras o apartados:
a) Segn la forma o el verbo pueden ser simples o
categricas y compuestas o hipotticas. Dentro de las
proposiciones compuestas, si se adviene que la estructura
est formada por dos proposiciones, se llama abiertamente
compuesta; y si la estructura compuesta est sealada por
una palabra (p.ej.: slo, salvo, etc.) se llama ocultamente
compuesta.
b) Segn que el verbo ser componga o divida, se
clasifican en afirmativas y negativas, y a esto lo
denominados cualidad de las proposiciones.
c) Segn que el verbo ser afirme o niegue que el
predicado est en el sujeto, se llaman atributivas o de in
esse (p.ej.: el hombre es bueno). La predicacin puede ser:
esencial (per se) cuando atribuimos a un sujeto su gnero,
especie, diferencia i propiedad (p.ej.: el hombre es risible; el
hombre tiene voluntad), y accidental (per accidens) cuando

se atribuye al sujeto un accidente lgico (p.ej.: ese hombre

es msico). Y sino slo se atribuye un predicado a un sujeto,
sino que se refiere al modo en que el verbo enlaza el sujeto
con el predicado, se llaman modales (p.ej.: es posible que
Juan est mal).
B: La clasificacin en razn de la divisin accidental puede
ser muy variada. En este apartado slo trataremos las
proposiciones en razn de la cantidad, es decir, de la
extensin del sujeto. Son las proposiciones universales,
particulares y singulares:
a) Universales: son las que toman el sujeto en toda su
extensin (p.ej.: todos los barcos navegan)
b) Particulares: toman al sujeto restringidamente (p.ej.:
algunas personas fuman)
c) Singulares: tienen por sujeto al individuo. Normalmente
las singulares se asimilan a las universales (p.ej.: Juan es mi
to)
C: Proposiciones segn la cualidad y la cantidad.
Combinando la cantidad de las proposiciones con la cualidad
de las mismas surge la siguiente divisin:
UNIVERSAL AFIRMATIVA (A)
Todo hombre es mortal
UNIVERSAL NEGATIVA (E)
Ningn hombre es mortal
PARTICULARES AFIRMATIVA (I)
algn hombre es mortal
PARTICULAR NEGATIVA (O)
Algn hombre no es mortal

3. Oposicin entre proposiciones

Encontramos una oposicin entre proposiciones cuando

una es la afirmacin y la otra la negacin del mismo
predicado para con el mimso sujeto. posteriormente se ha
ampliado esta oposicin a la relacin entre proposiciones
que difieran entre s, ya sea por la cantidad, o por ambas a
la vez.
Por la oposicin entre proposiciones, stas se divien en:
a) Contradictorias: cuando difieren por la cualidad y la
cantidad (A-O/I-E)
b) Contrarias: cuando difieren por la cualidad, siendo las
dos universales (A-E)
c) Subalternas: difieren por la cantidad (A-I/E-O)
d) Subcontrarias: difieren por la cualidad, siendo las dos
particulares (I-O)
La representacin en diagramas de las proposiciones
fundamentales es la siguiente:

4. Leyes de la oposicin
a) (A-O / I-E) Contradictorias. Dos proposiciones
contradictorias no pueden ser verdaderaS ni falsas al mismo
tiempo. Si una es verdadera, la otra es falsa y viceversa. No
admiten grados intermedios (p.ej. si algn hombre es alto
es verdadera, es falso que ningn hombre es alto)
b) (A-E) Contrarias. Dos proposiciones contrarias no
pueden ser verdaderas a la vez, pero como admiten grados
intermedios, pueden ser falsas al mismo tiempo (p.ej.: si
todo hombre es amable es falso, no quiere decir que
ningn hombre es amable ser verdadera)
C) (I-O) Subcontrarias. Dos proposiciones subcontrarias no
pueden ser falsas al mismo tiempo, mas s pueden ser
verdaderas a la vez (p.ej.: algn hombre es amable es
verdadero, no quiere decir que algn hombre no es
amable es falso)
d) (A-I / E-O) Subalternas. Si la proposicin universal es
verdadera, la particular tambin lo es; y si la particular es
falsa, tambin lo ser la universal; pero puede ser falsa la
universal y verdadera la particular.
5. Las proposiciones compuestas o hipotticas

Las proposiciones compuestas son aquellas que estn

formadas proposiciones simples unidas por medio de
partculas: y, o, si. La verdad de las proposiciones
compuestas depender tanto de la verdad de las
proposiciones simples como de la del nexo que las une.
Las proposiciones compuestas pueden ser: abierta y
ocultamente
compuestas.
Se
llaman
abiertamente
compuestas cuando se aprecia claramente que tienen dos
proposiciones; y ocultamente compuestas son aquellas en
que la composicin de las proposiciones est indicada por
una palabra (slo, salvo, en cuanto que) que la proposicin
contiene. Estas ltimas no tienen gran inters en este primer
estudio.
Las proposiciones abiertamente compuestas se dividen en:
5.1. Copulativas. Son aquellas cuyas proposiciones estn
unidas por la conjuncin y. Expresan sucesin o
simultaneidad (p.ej. Juan se acost y se durmi)
5.2. Disyuntivas. Expresan una alternativa sin grados
intermedios, afirmando que las dos proposiciones no pueden
ser verdaderas ni falsas al mismo tiempo (p.ej.: Una carta o
es annima o es firmada)
5.3. Condicionales. La proposicin condicional por medio
de la partcula si explicita un nexo o dependencia causal
entre una y otra proposicin (p.ej. Si no erres inteligente,
deja de estudiar)
D. LA LGICA DEL RACIOCINIO
I. CARACTERSTICAS GENERALES DEL RACIOCINIO
1. Naturaleza del raciocinio
Las funciones de la inteligencia que hemos estudiado
hasta ahora son la simple aprehensin y el juicio. Ahora
debemos dar el ltimo paso por el cual transitamos de algo
conocido a lo desconocido. A este proceso le llamamos
raciocinio, argumentacin o discurso.
Concretamente podemos definir el raciocinio como el
movimiento de la mente por el que procedemos de varias
verdades conocidas, al compararlas entre s, a una nueva
verdad inteligible que desconocamos. Pero esta verdad
obtenida no slo tiene que venir despus de las conocidas,
sino que resulte de ellas. Este paso se conoce como

inferencia (p.ej.: Juan es hombre; el hombre es bpedo;

luego, Juan es bpedo)
2. Estructura y reglas generales
2.1. Premisas y conclusiones
El raciocinio parte de unas proposiciones que nos son
conocidas y a las que llamamos antecedentes o premisas. La
proposicin que inferimos se llama consecuente o
conclusin. Las premisas y la conclusin forman la materia
del razonamiento.
El razonamiento, no obstante, no consiste en establecer
las premisas y las conclusiones, sino en vincular las
proposiciones. Esta vinculacin es lo que llamamos forma; y
la forma crea una dependencia causal y necesaria de la
conclusin respecto del antecedente.
de lo dicho anteriormente, se desprende la distincin entre
lgica formal y lgica material. La lgica formal se centra en
la inferencia, prescindiendo de la verdad o falsedad del
antecedente o del consecuente. Por tanto, en lgica formal
puede darse una conclusin verdadera nacida de unas
premisas falsas y una consecuencia correcta de un
antecedente errneo. En el estudio de esta materia nos
interesan las verdades formales (que la inferencia sea
correcta) prescindiendo de la verdad de las premisas o de la
conclusin, que lo estudiara la lgica material.
2.2. Reglas del raciocinio
Podemos formular las siguientes leyes del razonamiento:
2.2.1. Cuando hay inferencia, y sta es correcta, se infiere
una conclusin necesariamente verdadera; siempre que las
premisas sean verdaderas.
2.2.2. Cuando la premisa o premisas son falsas, la
conclusin puede ser verdadera (per accidens) o falsa.
Estas reglas aparecen con mayor nitidez al formularlas al
revs.
2.2.3. Una conclusin falsa supone necesariamente que de
las premisas que parte, una o ambas sean falsas (siempre
que la inferencia sea correcta)
2.2.4. Una conclusin verdadera no supone
necesariamente que el antecedente sea verdadero.
Para facilitar la comprensin de lo dicho adjuntamos un
esquema con los ejemplos correspondientes:

CONSECUENCIA

BUENA
(hay inferencia)
Verdad formal

Conclusin
verdadera

Conclusin
falsa
MALA (NO HAY INFERENCIA) (D)

Ejemplos:

Premisas verdaderas
(A)
Premisas
falsas
o
premisa falsa; (per
accidens) (B)
Premisas
falsas
o
premisa falsa (C)

(A) Todo animal es viviente

El caballo es un animal
_________________________
Luego el caballo es viviente
(B) Todo hongo es venenoso
Alguna serpiente es un hongo
__________________________
Luego alguna serpiente es venenosa
(C) Todo pino es un arbusto
Juan es un pino
_____________________
luego Juan es un arbusto
(D) Todo hombre es bpedo
Ningn hombre es alado
________________________
luego algn alado es bpedo (?)

3. Fundamento de la inferencia
El fundamento de la inferencia que se da en el raciocinio
puede estudiarse desde el punto de vista de la
comprehensin y de la extensin.
3.1. Comprehensin: se fundamenta en que todo lo que
tiene una perfeccin posee todos los caracteres que
componen esa perfeccin. Dicho de otra manera: Si A es B, y
B es C, A es C. Hay que tener en cuenta que para que el
raciocinio sea vlido es necesario que los conceptos que se
comparan tengan una vinculacin esencial (per se) no slo

accidental (per accidens), o se podra caer en el error (p.ej.:

El ente es creado; Dios es ente; luego Dios es creado)
3.2. Extensin: se fundamenta en dos principios llamados
dicho de todo (citu, de omni) y dicho de ninguno (dictum
de nullo). El dictum de omni implica que todo lo que se
predica universalmente de algo debe atribuirse a todo lo que
est bajo ello.
El dictum de nullo implica que todo lo que se niega
universalmente de algo debe negarse de todo lo que se
mantiene bajo ello.
II. ANLISIS DEL RACIOCINIO DEDUCTIVO.
I. Silogismo simple
El silogismo es un razonamiento deductivo por el cual
pasamos de unos principios universales conocidos a unas
verdades que desconocamos, en cuanto que estas verdades
estn contenidas en la verdad ms fundamental de la cual
se deriva.
Podemos distinguir la materia y la forma del silogismo:
Materia: conjunto de proposiciones que constituyen el
silogismo.
Forma: es el vnculo (llamado en lgica: inferencia) que
une las premisas con la conclusin.
Como hemos visto anteriormente, un raciocino puede
tener las premisas falsas y la conclusin verdadera, y por lo
tanto no son verdaderos formalmente (la conclusin es
verdadera materialmente o per accidens)
p.ej. todo hombre es santo
todo hombre es bueno_____
Luego todo santo es bueno
En primer lugar, veremos el silogismo simple o categrico
que es el que consta de premisas con proposiciones simples.
Ms tarde veremos el silogismo compuesto.
2. Naturaleza del silogismo
Podemos definir el silogismo como un proceso lgico en el
que de un antecedente que relaciona o une dos trminos
con un tercero se deduce o infiere una conclusin o
consecuencia que une o separa los dos primeros trminos
entre s
Para una mejor comprensin de esta definicin es
suficiente tener en cuenta que el silogismo consiste en
inferir lo siguiente:

Si un sujeto (S) tiene una perfeccin (M), la cual a su vez

posee una perfeccin (P), se deduce que el sujeto (S) tiene
la perfeccin (P)
A los trminos (S) y (P) los llamaremos extremos en la
conclusin; y como la perfeccin (P) tiene una mayor
extensin que el sujeto (S) se le llama trmino mayor (T);
consecuentemente, el sujeto (S) dde la conclusin ser el
trmino menor (t), Finalmente, el trmino que permite
hilvanar (T) y (t) convenimos en llamarlo trmino medio (M).
En el antecedente, la premisa donde se encuentra el
trmino mayor se llama premisa mayor. Y la que contiene el
trmino menor, premisa menor.
p.j.
Todo mineral es inanimado (premisa mayor)
M
T
ANTECE
DENTE
el oro es mineral (premisa menor)
t
M
Luego el oro es inanimado (conclusin)
t
T

CONCLUSIN

3. Reglas del silogismo

Los lgicos medievales dieron ocho reglas o leyes del
silogismo. Las cuatro primeras se refieren a los trminos y
las otras cuatro a las proposiciones. Sin embargo, se podran
reducir a tres reglas que incluyen a las de3ms: son la
primera, la quinta y la octava de las que ms abajo citamos.
Estas reglas se derivan de los principios en los que se
fundamenta la inferencia, vistos anteriormente.
Conviene tener en cuenta que el predicado de una
afirmativa es siempre particular y el predicado de una
negativa es siempre universal.
Las reglas son las siguientes:
1.regla: El silogismo no debe tener ms de tres trminos
(mayor, menor y medio) ya que el silogismo consiste en
comparar dos trminos con un tercero y por tanto no pueden
aparecer ms de tres.
p.ej. El libro tiene hojas
el rbol tiene hojas
Luego el rbol es un libro

Como se ve, el trmino medio (hojas) se ha tomado en dos

sentidos, dando lugar a cuatro trminos.
2. regla: Los trminos en la conclusin no deben tener
mayor extensin que en las premisas. Ello se debe a que el
efecto no puede ser superior a la causa.
p.ej. Los etopes son africanos
Los libios no son etopes
Luego los libios no son africanos
Como se puede ver, africano est tomado particularmente
en la premisa mayor, por ser predicado de una afirmativa y
universalmente en la conclusin por ser predicado de una
negativa.
3.regla: El trmino medio no puede aparecer en la
conclusin. Si entrase en la conclusin, no podra servir de
comparacin entre los extremos.
p.ej. Toda fruta es comestible
Toda carne es comestible
Luego todo lo comestible es fruta o carne.
4. Regla. El trmino medio debe tomarse universalmente
(en toda su extensin) por lo menos en una premisa para
ejercer su funcin de mediadora. Si no se hiciese as
tendramos cuatro trminos y pecaramos adems contra la
primera regla.
p.ej. Los animales no tienen inteligencia
el hombre es animal_
luego el hombre no tiene inteligencia
5. Regla. Si ambas premisas son negativas no se obtiene
ninguna conclusin. Si ninguno de los extremos es idntico
al trmino medio no podemos saber en virtud de esta
comparacin, si convienen entre s.
p.ej. Los espaoles no son negros
los italianos no son espaoles
luego los italianos son negros
6. Regla: De dos premisas afirmativas no se obtiene una
conclusin negativa. Eso se debe a que si dos trminos son
iguales a un tercero, no pueden ser diferentes entre s.
p.ej. Todos los hombres son mortales
Juan es hombre

Luego Juan no es mortal.

7. Regla: La conclusin tiene que seguir la parte ms
dbil, que es: particular, negativa, probable, dudosa,
contingente, etc.
p.ej. Todos los pakistans son asiticos
Algn pakistan es blanco
Luego algn asitico es blanco
8. Regla: De dos particulares no puede sacarse conclusin
alguna.
p.ej. Algunos alumnos son estudiosos
Algunos msicos son alumnos
Luego algunos msicos son estudiosos
AYUDA MEMORIA PARA LOS SILOGISMOS (REGLAS)
(los cuatro primeros versos son sobre los trminos, los
siguientes son sobre las proposiciones)
Tres Trminos no ms ha de tener
La Conclusin no los ha de extender
El Medio no ha de entrar en conclusin
Y una vez Universal sin remisin.
Con dos NO se ha acabado la cuestin
Con dos S nunca un NO podrs hacer
De dos particulares nada infiere

2.figura

3.figura

4.figura

T es M
t es M
t es T
M es T
M es t
t es T
T es M
M es t
t es T

4.2. Modos: Son las formas dentro de cada figura que se

obtienen de combinar la cantidad y la cualidad de las
premisas (segn sea A, E, I, O)
De todas las combinaciones posibles (256) slo son vlidas
19 de ellas, porque las restantes pecan contra alguna de las
reglas. A continuacin se exponen estas 19 posibilidades
segn las figuras. Los clsicos de la lgica, para facilitar la
memorizacin de los modos, construyeron unas palabras en
las que las vocales indican la cantidad y la cualidad de la
premisa mayor, de la menor y de la conclusin, y las
consonantes tambin tienen sus significados, los cuales
exceden el propsito de este curso de iniciacin.

4. Figuras y modos
4.1. Figuras: Son las formas que reviste el silogismo segn la
posicin que el trmino medio ocupe en las premisas. De ah
se derivan cuatro figuras
T: trmino mayor
T: trmino menor
M: trmino medio
1.figura
M es T
t es M
t es T

1.figura: La regla de validez es la siguiente: la menor debe

ser afirmativa y la mayor universal
BRBARA-CELARENT-DARII-FERIO

2. Figura: La regla de validez es la siguiente: una de las

premisas debe ser negativa y la mayor universal
CESARE-CAMESTRES-FESTINO-BAROCO

3.figura: Su regla de validez es: la menor debe ser siempre

afirmativa y la conclusin particular
DARAPTI-FELAPTON.DISAMIS-DATISI-BOCARDO-FERISON

5. Silogismo compuesto o hipottico

Los silogismos compuestos o hipotticos son aquellos cuya
premisa mayor es una proposicin compuesta de dos
proposiciones categricas, y cuya premisa menor afirma o
niega una de las partes de la premisa mayor (p.ej.: si
maana hay sol, es probable que vayamos al campo; hay
sol; luego es probable que vayamos al campo)
Como ya vimos anteriormente, las proposiciones
compuestas se pueden dividir en conjuntivas, disyuntivas y
condicionales; y en consecuencia, se mantiene la misma
divisin en los silogismos compuestos.
5.1. Silogismo conjuntivo: es aquel cuya premisa mayor es
una proposicin conjuntiva, y enuncia que un sujeto no
puede pertenecer a dos predicados a la vez (p.ej.: el hombre
no puede ser algo y bajo a la vez). Este silogismo tiene slo
un modo posible o legtimo de concluir, llamado PONENDO

TOLLENS (al afirmar, se niega). La premisa menor afirma

uno de los predicados y la conclusin niega el otro:
A no puede ser B y C a la vez
Es B
Es C
Luego no es C
Luego no es B
5.2. Silogismo disyuntivo: es aquel cuya premisa mayor est
formada por una proposicin disyuntiva (construida con la
cpula o) donde se establece una alternativa, y la menor
afirma o niega uno de los predicados en la disyuncin,
mientras que la conclusin niega o afirma el otro predicado.
Existen dos modos posibles del silogismo disyuntivo, que
son PONENDO TOLLENS (al afirmar, se niega), en el que la
menor afirma uno de los predicados y la conclusin niega el
otro; y TOLLENDO PONENS (al negar, se afirma), en el que la
menor niega uno de los predicados y la conclusin afirma el
otro (o.ej.: el agua esslido, o lquido, o gaseoso; es slido;
luego no es lquido ni gaseoso)
Los modos vlidos son los siguientes:
Modo ponendo tollens: A o es B, o es C
Es B
Es C
Luego no es C
Luego no es B
Modo tollendo ponens: A o es B, o es C
No es B
No es C
Luego es C
Luego es B
5.3. Silogismo condicional: el silogismo condicional es el ms
importante. Tanto el conjuntivo como el disyuntivo pueden
ser reducidos al condicional. El silogismo condicional tiene
como premisa mayor dos proposiciones categricas,
llamndose la primera antecedente o condicin (suele
aparecer en primer lugar) y la segunda consecuente o
condicional; la menor afirma o niega una de las dos
proposiciones. La conclusin afirmar o negar la otra
proposicin. El nexo entre las dos proposiciones es un nexo
causal; de la verdad del antecedente, depender la del
consecuente, y en ltimo trmino la del silogismo
condicional.
Podemos establecer tres casos, segn sea la condicin en
la premisa mayor:

5.3.1. Que la condicional sea necesaria pero no suficiente

(p.ej. tener carnet de automovilista para conducir). Los
modos vlidos de concluir son los siguientes:
Si es A, puede ser B
Es B
No es A
Luego es A
Luego no es B
5.3.2. Que la condicin sea suficiente pero no necesaria
(p.ej. ahorcase para morir, pues tambin se puede morir
por otras causas). Los modos vlidos son:
Si es A, es B
Es A
Es B
Luego es B
Luego es A
5.3.3. Que la condicin sea necesaria y suficiente (p.ej.
estudiar para saber fsica atmica; el estudio es necesario
e indispensable produciendo el efecto necesariamente por s
solo). Los modos vlidos son:
Si es A, es B
Es A
Es B
Luego es B
Luego es A
Si es A, es B
No es A
No es B
Luego no es B
Luego no es A
III. LA INDUCCIN
1. Introduccin
La argumentacin se divide en dos partes. En primer lugar,
la que partiendo de verdades universales conocidas
deducimos
una
conclusin
que
est
contenida
implcitamente en la verdad de la que partimos. Y a esto lo
hemos llamado, silogismo, ya estudiado.
Ahora bien, tambin podemos partir de hechos singulares
adquiridos por la experiencia sensible y llegamos a verdades
universales; a lo que se llama argumentacin inductiva o
induccin (p.ej.: este ngulo recto mide 90, este otro
tambin, y el otro, luego todo ngulo recto mide 90)

Podemos definir la induccin como una argumentacin

pro la que partiendo de hechos singulares suficientemente
enumerados- el intelecto infiere una verdad universal.
2. Naturaleza de la induccin
Por la definicin expuesta anteriormente podemos deducir
dos saltos inseparables:
a) Del conocimiento sensible al conocimiento intelectual
b) De unos hechos singulares a una proposicin universal.
En otras palabras, podemos advertir que inducir es sacar
de los hechos su ley, que siempre es una proposicin
universal; por lo tanto, inducir no es pasar de unos
individuos tomados como singulares a todos los individuos
tomados como una coleccin. Por eso, hay que insistir que
la induccin recurre al intelecto para descubrir la ley
universal. La proposicin universal manifiesta una
esencia, una naturaleza, y en cambio la proposicin
colectiva manifiesta una suma de individuos (p.ej. un
modo de entender lo dicho es que con la esencia
expresamos el cuarzo y con la proposicin colectiva
obtenemos un trozo de cuarzo, otro trozo de cuarzo)
3. Nmero de experiencias para la validez de la
induccin
Para Aristteles la verificacin de los hechos tena que ser
completa y slo de este modo se llegaba a que la
proposicin universal fuera necesaria. No obstante, como
hemos dicho en la definicin, basta con una enumeracin
suficiente, que variar segn los casos y que podr ir desde
observar que la propiedad analizada afecta a la naturaleza o
esencia y en este caso slo con un experimento valdra (p.ej.
Daniel es mortal; luego todo hombre es mortal), hasta
encontrar un predicado no esencial por lo cual se necesitar
una larga enumeracin.
Entre estos trminos extremos se dan multitud de casos
particulares, siendo lo importante no tanto la repeticin de
las experiencias como el conocer inteligiblemente el nexo
entre el singular y la proposicin universal.
4. Clases de induccin
Las clases de induccin las podemos clasificar en tres
apartados:

4.1. La divisin ms comn de la induccin se establece a

partid de los casos realizados. Segn esta divisin la
induccin puede ser completa o incompleta.
La induccin completa se produce al enumerarse todas las
partes que forman el universal inducido; la induccin
incompleta, cuando se han enumerado los suficientes casos
para llegar a una proposicin universal. Esta es la que se
utiliza con ms frecuencia, sobre todo en las ciencias, pues
sera imposible realizar todas las experiencias de los casos
individuales.
La conclusin de la induccin completa es necesaria; y la
conclusin de la incompleta, si es suficientemente probada,
tambin ser necesaria la verdad inducida. Sin embargo, se
llega slo a la probabilidad cuando la induccin incompleta
no es perfecta.
4.2. Podemos establecer otra divisin cuando se capta la
relacin entre el predicado y el sujeto, siendo aqul una
parte de la esencia, una propiedad necesaria o una
propiedad contingente (p.ej. El hombre es racional, risible y
tiene nariz, respectivamente) A estas inducciones las
llamamos inducciones esenciales.
Recibe el nombre de emprica la induccin en que no se
comprueba la conexin esencial del predicado con el sujeto.
Es el hecho ms comn de la experimentacin cientfica.
4.3. Atendiendo al resultado de la induccin, se puede decir
que las experiencias tienen certeza (p.ej.: el ngulo recto
mide 90)]; probabilidad (p.ej.: los resultados estadsticos); y
duda (p.ej.: el aire est compuesto de ter)
IV. LOS SOFISMAS
1. Naturaleza de los sofismas
Despus de estudiar el razonamiento deductivo e
inductivo nos resta por ver aquellos razonamientos que bajo
la apariencia de verdad ocultan un error que es difcil de
detectar.
Por eso, podemos definir el sofisma como la
argumentacin que parece inferir la verdad, pero que
contiene un error
En la Historia de la Filosofa las argumentaciones de
algunos autores caen en sofismas que son difcilmente
detectables porque constituyen un cuerpo de doctrina
aparentemente lgico, y en consecuencia, verdadero. Sin

embargo, cuando los sofismas se dan aislados, puede verse

el error con relativa nitidez.
2. Clases de sofismas
Dentro de los sofismas cabe distinguir los que se derivan
de una deficiencia en el vocabulario y los que se derivan de
una mala interpretacin del concepto.

2.1. Sofismas verbales

2.1.1. Equivocidad. Se basa en el uso de un trmino con
diferentes sentidos (p.ej.: el trmino materia, utilizado por
los filsofos realistas o materialistas)
2.1.2. Falsa composicin y divisin. Consiste en confundir lo
que se dice colectivamente con lo que se dice
distributivamente (p.ej. Espaa y Portugal tiene ms de
cuarenta y cinco millones de habitantes (separadamente o
en conjunto?)
2.2. Sofismas de concepto de concepto
Existe un gran nmero de sofismas que en su mayora se
deben al incumplimiento de las reglas del raciocinio. A
continuacin exponemos varios como botn de muestra:

2.2.1. Construir una premisa partiendo de un concepto

errneo (p.ej.: no debo contrariar la voluntad del individuo y,
por tanto, detenerle en caso de que se vaya a suicidar)
2.2.2. Confusin del gnero y la especie. En este caso se
toma lo especfico por genrico o viceversa (p.ej.: los
animales son irracionales el animal se toma como especie-;
el hombre es animal animal se toma como gnero-; luego el
hombre es irracional)
2.2.3. Confusin de los predicados per se y per accidens
(p.ej.: esos amigos se comportan mal en cuanto personas,
no en cuanto amigos-, luego la amistad es mala)
Extrado de: Jos Gay Bochaca, Curso de Filosofa
fundamental, Ediciones Rialp, Madrid, 1988. Captulo

sobre Lgica (pgs.33 a 80)