TEMA: LOGICA PREDICATIVA

NOMBRE DEL CURSO: PENSAMIENTO LOGICO

LOGICA PREDICATIVA
Concepto:
En la lgica predicativa se realiza un anlisis interno de las preposiciones con el fin de
poder determinar la validez de los razonamientos haciendo uso de Formulas Booleanas y
los Diagramas de Ven
En el estudio de la estructura interna de las preposiciones la Lgica Predicativa va a
encontrar la relacin entre clases, ms especficamente de clase sujeto y de clase
predicativo.
La lgica predicativa es conocida como lgica aristotlica o silogstica. Los enunciados
son oraciones predicativas del tipo los peces son invertebrados, el sol es una estrella,
las personas son seres vivos , etc. Y a diferencia de la lgica de enunciados o lgica
preposicional, la lgica silogstica si entra en detalles y, por ello, precisa conocer quin es
el sujeto y que es lo que de l se predica.

LA LOGICA ARISTOCRATICA

Es la lgica basada en los trabajos del filsofo griego Aristteles, quien es ampliamente
reconocido como el padre fundador de la lgica. Sus trabajos principales sobre la materia
tradicionalmente se agrupan bajo el nombre rganon, y constituyen la primera
investigacin sistemtica acerca de los principios del razonamiento vlido o correcto.
Con ello pretendan recalcar que el conocimiento de las leyes del razonamiento era
fundamental, un paso previo, para cualquier ulterior estudio, y que deba estar en
posesin de tal conocimiento quienes quisiesen adentrarse en el terreno de la filosofa. A
diferencia de la moderna lgica formal, la lgica aristotlica parte del supuesto de que las
formas de pensamiento reproducen lo que ocurre en la realidad, o sea, que las cosas
extramentales existen tal como son pensadas por la mente, por lo que las categoras de la
mente son categoras objetivas, categoras de la realidad.
De ese modo las categoras del pensamiento adquieren un sentido ontolgico y ese
carcter propedutico que ha sealado la tradicin filosfica. Para Aristteles, la lgica era
una herramienta necesaria para adentrarse en el mundo de la filosofa y la ciencia.
Sus propuestas ejercieron una influencia sin par durante ms de dos milenios, a tal punto
que en el siglo XVIII, Immanuel Kant lleg a afirmar: que desde los tiempos ms
tempranos la lgica ha transitado por un camino seguro puede verse a partir del hecho de
que desde la poca de Aristteles no ha dado un slo paso atrs. Lo que es an ms
notable acerca de la lgica es que hasta ahora tampoco ha podido dar un slo paso hacia
adelante, y por lo tanto parece a todas luces terminada y completa.

JUICIOS

La relacin de dos conceptos da lugar a la formulacin de un juicio. Si se da entre ambos

una relacin de conveniencia decimos que el juicio es afirmativo, y en caso contrario,
negativo. El sujeto del juicio es el concepto del que se afirma o niega algo; el predicado es
el concepto que se afirma o niega del sujeto. Aristteles distingue en los juicios la materia
y la forma. La materia o contenido del juicio son los conceptos que se relacionan; la forma
es la relacin que se establece entre ellos a travs del verbo ser. Aristteles representa el
sujeto del juicio con un signo (S) y el predicado con otro (P) para intentar separar la
materia de la forma: as, la forma del juicio "Juan es alto" se representara como "S es P",
y la forma del juicio "Juan no es alto" como "S no es P".
Los juicios se clasifican en varios grupos, atendiendo a la cantidad (segn la extensin del
sujeto: universales, particulares, singulares), la cualidad (segn la cualidad de la cpula:
afirmativos y negativos), la relacin (segn la relacin entre el sujeto y el predicado:
categricos, hipotticos y disyuntivos) y la modalidad (segn el modo en que expresan la
relacin entre el sujeto y el predicado: apodcticos, asertorios y problemticos). De ah se
sigue una clasificacin ordenada de todas las formas de juicio; en el caso de los juicios
categricos, por ejemplo, se dara la siguiente clasificacin, combinando la cantidad
(universal y particular) y la cualidad (afirmativo y negativo):
La asignacin de estas letras para representar las formas del juicio categrico es posterior
a Aristteles y procede de las palabras latinas "Afirmo" y "niego", y es la que se ha
utilizado tradicionalmente entre nosotros para referirnos a la clasificacin aristotlica de
los juicios. Tambin Aristteles estudia las formas de oposicin entre los juicios, (es decir,
la diversidad entre los juicios que tienen el mismo sujeto y predicado), deduciendo una
serie de reglas sobre la verdad de los mismos que se han de cumplir independientemente
de los conceptos que elijamos para formar los juicios.

Clase de juicio

Representacin

Universal afirmativo

Se suele representar con la letra A

Universal negativo

Se suele representar con la letra E

Particular afirmativo

Se suele representar con la letra I

Particular negativo

Se suele representar con la letra O

La siguiente tabla resume los seis tipos de juicios:

Afirmacin

Universal

Indefinido

Particular

Negacin

Todo S es P.

Ningn S es P.

Todos los hombres son mortales.

Ningn hombre es mortal.

Algunos S son P.

Algunos S no son P.

Algunos hombres son mortales.

Algunos hombres no son mortales.

S es P.

S no es P.

Scrates es mortal.

Scrates no es mortal.

Segn Aristteles, los argumentos o silogismos se componen de juicios. Los juicios son
oraciones con un sujeto y un predicado, en las cuales el predicado se afirma o se niega
del sujeto. As por ejemplo, Scrates es hombre y todos los hombres son mortales
son juicios. Aristteles llama trmino a aquello que puede ser sujeto o predicado de un
juicio, y distingue entre trminos singulares (Scrates, Platn) y trminos
universales (hombre, mortal). Los trminos singulares slo pueden ser sujeto,
mientras que los trminos universales pueden ser tanto sujeto como predicado (con ayuda
de cuantificadores). Siguiendo estos criterios, Aristteles clasific distintos tipos de juicios
y tambin construy el cuadro de oposicin de los juicios.

LOS RAZONAMIENTOS
El razonamiento es un encadenamiento de juicios en el que partiendo de una
proposicin conocida se descubre otra u otras desconocidas. Aristteles, en los
Analticos, se ocupa tanto del razonamiento deductivo como del inductivo, pero
considera que el conocimiento cientfico se alcanza deduciendo lo particular de lo
general, es decir, con el conocimiento de las causas. Aristteles privilegiar, por
tanto, el anlisis del razonamiento deductivo, y en especial del razonamiento
deductivo categrico o silogismo.
Del mismo modo que distinguimos en el juicio una materia y una forma hemos de
hacer lo propio con el razonamiento; la materia prxima del razonamiento son los
juicios, y la materia remota los conceptos (que son la materia de los juicios). La
forma consiste el nexo o conexin legtima entre los juicios antecedentes y los
consecuentes y se expresa mediante conjunciones como "luego", "por lo tanto",
"por consiguiente", a travs de las cuales se realiza el proceso de inferencia, la
consecuencia de unos juicios a otros. Aristteles afirma que este proceso est
sometido a reglas que permiten determinar su correccin o incorreccin, de tal
modo que, si los juicios de los que se parte son verdaderos, y la inferencia se
realiza de acuerdo con las reglas definidas (si la inferencia es vlida, pues) la
conclusin ser necesariamente verdadera. El proceso de inferencia no
depender, pues, de la materia del razonamiento, sino de su forma.

El razonamiento deductivo es una forma de razonamiento que va del todo a las

partes es decir, intenta extraer de una verdad universal otra particular. Puede ser
de tres clases: categrico, hipottico y disyuntivo, atendiendo al tipo de juicio (por
la relacin) que le sirva de punto de partida.

Clase de razonamiento

Ejemplo correspondiente a dicha clase

Razonamiento
categrico

Todos los humanos son mortales.

Los madrileos son humanos.
Luego los madrileos son
mortales.

Razonamiento
hipottico

Si apruebas irs de vacaciones.

Es as que has aprobado.
Luego irs de vacaciones.

Razonamiento
disyuntivo

Por este camino se va al norte o

al sur.
Es as que se va al norte.
Luego no se va al sur.

EL SILOGISMO
Es un razonamiento deductivo categrico mediante el cual, partiendo de dos
juicios dados inferimos uno nuevo. Consta, pues, de tres proposiciones (que
expresan tres juicios) y de tres trminos (que expresan tres conceptos), que
constituyen la materia prxima y remota del razonamiento, respectivamente. La
premisa que sirve de punto de partida se llama "premisa mayor" y es la ms
general; la premisa que sirve de intermediario se llama "premisa menor", y es
menos general que la anterior; la proposicin que se deduce de la "mayor" por
mediacin de la "menor" es la conclusin del razonamiento.

En cuanto a los trminos del razonamiento, se llama "trmino mayor"

al predicado de la conclusin, que debe aparecer en la premisa mayor, y se le
representa con la letra P. Se llama "trmino menor" al sujeto de la conclusin,
que aparece tambin en la premisa menor, y se le representa con la letra S. El
"trmino medio" es el que aparece en las dos premisas (mayor y menor) y no en
la conclusin, y se le representa con la letra M. Por lo tanto, tomando el ejemplo
anterior de razonamiento categrico, podramos representarlo como sigue:

Clase de
razonamiento

Ejemplo

Representacin
formal

Razonamiento
categrico

Todos los humanos son

mortales.
Los madrileos son humanos.
Luego los madrileos son
mortales.

M es P
S es M
---------S es P

Donde el trmino mayor es "mortales" (P), el trmino menor es

"madrileos" (S), y el trmino medio es "humanos" (M).

Aristteles distingue cuatro formas vlidas de silogismo, conocidas

tradicionalmente como figuras del silogismo, y que resultan del distinto lugar que
ocupa el trmino medio, y por lo tanto de la funcin que le corresponde, en las
premisas. La conclusin de todas las figuras es siempre S es P. Las formas
vlidas o figuras del silogismo son las siguientes (aunque la ltima fue
considerada por Aristteles como una mera variante de la primera):

Primera figura

Segunda figura Tercera figura cuarta figura

M es P
S es M
---------S es P

P es M
S es M
---------S es P

M es P
M es S
---------S es P

P es M
M es S
---------S es P

El trmino medio
es Sujeto en la
premisa mayor y
Predicado en la
menor.

El trmino
medio es
Predicado en
ambas
premisas.

El trmino
medio es
Sujeto en
ambas
premisas.

El trmino medio es
Predicado en la
premisa mayor y
Sujeto en la menor.

Estas cuatro figuras pueden, a su vez, teniendo en cuenta la cualidad y la cantidad

de las proposiciones que las componen, dar lugar a un total de 64 modos
diferentes de silogismo, de los que slo 19 son modos vlidos de razonamiento.
Su validez la establece Aristteles a partir de la determinacin de las leyes o
reglas de legitimidad del silogismo. Entre ellas, que el silogismo ha de constar de
tres trminos, que no pueden ser tomados con mayor extensin en la conclusin
que en las premisas, que el trmino medio ha de tomarse universalmente al
menos en una premisa (o en ambas), que de dos premisas negativas no se puede
seguir ninguna conclusin, etc. El fundamento del silogismo suscit tambin la
curiosidad investigadora de Aristteles, ya que al basarse la inferencia en la
validez de las premisas anteriores se planteaba el problema del recurso al infinito
para justificar el razonamiento. Si cada premisa tiene que estar justificada por otra,
en efecto, cmo detener la necesidad de justificar el principio del principio? Esto
nos llevara a un proceso infinito de justificacin, por lo que Aristteles afirm que
existan ciertos principios que eran conocidos intuitivamente y que no necesitaban
demostracin. El ms fundamental de todos era el principio de contradiccin (no
es posible que algo sea y no sea, al mismo tiempo, y bajo la misma
consideracin); de l se sigue el de identidad (algo es igual a s mismo) y el de
igualdad (dos cosas iguales a una tercera son iguales entre s), y otros que se
siguen de los anteriores.
La nocin central del sistema lgico de Aristteles es el silogismo (o
deduccin, sullogismos). Un silogismo es, segn la definicin de Aristteles, un
discurso (logos) en el cual, establecidas ciertas cosas, resulta necesariamente de

ellas, por ser lo que son, otra cosa diferente. Un ejemplo clsico de silogismo es
el siguiente:
1. Todos los hombres son mortales.
2. Todos los griegos son hombres.
3. Por lo tanto, todos los griegos son mortales.
En este ejemplo, tras establecer las premisas (1) y (2), la conclusin (3) se sigue
por necesidad. La nocin de silogismo es similar a la nocin moderna
de argumento deductivamente vlido, pero hay diferencias. En los Primeros
analticos, Aristteles construy la primera teora de la inferencia vlida. Conocida
como la silogstica, la teora ofrece criterios para evaluar la validez, o no, de
ciertos tipos muy especficos de silogismos, los silogismos categricos. Para
definir lo que es un silogismo categrico, primero es necesario definir lo que es
una proposicin categrica. Una proposicin es categrica si tiene alguna de las
siguientes cuatro formas:

Todo S es P.

Ningn S es P.

Algunos S son P.

Algunos S no son P.

Cada proposicin categrica contiene dos trminos: un sujeto (S) y un predicado

(P). Un silogismo es categrico si est compuesto por exactamente tres
proposiciones categricas (dos premisas y una conclusin), y si ambas premisas
comparten exactamente un trmino (llamado el trmino medio), que adems no
est presente en la conclusin. Por ejemplo, el silogismo mencionado ms arriba
es un silogismo categrico. Dadas estas definiciones, existen tres maneras en que
el trmino medio puede estar distribuido entre las premisas. Sean A, B y C tres
trminos distintos, luego:
Primera figura

Segunda figura

Tercera figura

Sujeto

Predicado

Sujeto

Predicado

Sujeto

Predicado

Premisa

Premisa

Conclusin

Aristteles llama a estas tres posibilidades figuras. El silogismo mencionado ms

arriba es una instancia de la primera figura. Dado que cada silogismo categrico
consta de tres proposiciones categricas, y que existen cuatro tipos de

proposiciones categricas, y tres tipos de figuras, existen 4 4 4 3 = 192

silogismos categricos distintos.

ELEMENTOS FORMALES
a) Cuantificador (cuantor):
El trmino que indica la cantidad de una clase o conjunto. De tal manera
que ser universal si la proposicin empieza con el trmino Todo y
Ninguno ser particular o existencial, si empieza con el trmino
Alguno.

b) Sujeto s: es una clase o conjunto cualquiera

Ejemplo:
Hombre
Mujer
Estudiante
c) Copula (Nexo, Verbo):
Es aquel que enlaza el sujeto y predicado, mayormente es:

Verbo afirmativo: son, es estn

Verbo negado : no son, no es, no estn

d) Predicado p: Es otra clase o conjunto que establece una

caracterstica del sujet.
Ejemplo:
Fiel
Celosa
Atento

CUANTIFICADORES LOGICOS:
Son los smbolos que determinan la cantidad de un conjunto.

a) C. L. Universal: x Se lee ; para todo x ,

Toma todos los elementos del conjunto
a.1) C. L. UNIVERSAL AFIRMATIVO:

x (SxPx);

Toma todos los elementos del conjunto para incluirlos.

TRADUCCION VERBAL:

Todo x
Cada x
Cualquiera x
Cualquiera que sea x
Todos los x
Todo lo que sea x
Los x, las x, etc.

Ejemplo:

Los matemticos son cientficos : x (MxCx)

a.2) C.L.Universal Negativo: x (AxPx);
Toma todos los elementos de un conjunto para excluirlos.
TRADUCCION VERBAL:
Ningn x
Nadie x
Nana x
Ni siquiera x

Ejemplo:
Ningn ateo es piadoso : x (AxPx)

b) C. L. Existencial (particular): x, se lee existen x

Toma algunos elementos del conjunto
b.1) C. L. EXISTENCIAL AFIRMATIVO:

x (Sx Px)

Toma algunos elementos del conjunto para incluirlos

TRADUCCION VERBAL:

Algunas x
Hay x
Existe al menos un x
Alguien, algo, alguno que sea x
Muchos, varios, casi todos x
Hay exactamente un x
Casi todo x
Poco x, etc.

Ejemplo:

Por menos una mujer es sincera: x (Mx Sx)

b.2) C. L. EXISTENCIAL NEGATIVO: x

(Sx Px)

Toma algunos elementos del conjunto para excluirlo. Adems toma

las mismas traducciones verbales que el existencial afirmativo pero
con el verbo negado.
Ejemplo:
Muchos autos no son chinos : x (Ax Cx)

REGLAS PARA PROPOSICIONES UNIVERSALES

Cuando tengamos proposiciones universales (afirmativa o negativa) y el verbo
este negado, extraer la negacin como externa.
Ejemplo:
Todo abogado no es honesto : x (AxHx)
FORMALIZACION DE PREPOSICIONES:

Lgica preposicional :
a) si Olenka es de Lambayeque entonces es peruana
Su formalizacin es: pq
b) El gato es un animal y un felino
Su formalizacin es: p q

FORMALIZACION LOGICA DE PREDICADOS:

1. SUJETO PRECISADO (INDICADO)

El elemento de un conjunto se representa con letras minsculas

(a, b, c,..o tambin x, y z,..) y como subndice de una letra
mayscula .

Los conjuntos se representan por letras maysculas (A, B, C, ..)

a) Si Olenka es de lambayeque entonces es peruana

Se formaliza:

LoPO

b) El gato es un animal y un felino

Se formaliza:

Ag Fg

3. FORMAS TIPICAS (CLASICAS O ANTIGUAS) DE LAS

PROPOSICIONES CATEGORICAS:
a)
b)
c)
d)

aS a P = Todo S es P = x (SxPx)
eS e P = Ningn S es P =x (SxPx)
i S i P = Algun S es P =x (Sx Px)
oS o P = Algun S no es P =x (Sx Px)
Ejemplo: Formalizar
Todas las sullaneras son reinas de belleza.

Solucin:
Sea: S= sullaneras, R= Reinas de belleza

se formaliza en cuantificadores:

x (Sxrx)

se formaliza en forma tpica: S a R

NOTA:
Relaciones (INCLUSION Y ESCLUCION)

1.
2.
3.
4.

S a P = Inclusin Total
S e P= Exclusin Total
S i P = Inclusin Parcial
S o P = Exclusin Parcial

4. INFERENCIAS INMEDIATAS:

a) TEOREMAS DE MORGAN

1.
2.
3.
4.

x = x
x = x
x(Px)= x(Px)
x(Px)= x (Px)

b) POR NEGACION
1.
2.
3.
4.

SaP=
SeP=
SiP =
SoP=

(S o P)
(S i P)
(S e P)
(S a P)

C) Obversa

Universal Universal: a e
Existencial Existencial: i o

1.
2.
3.
4.

SaP=Se
SeP=Sa
SiP =So
SoP=Si

d) conversa
d.1) conversa simple (lineal)

1. S e P = P e S
2. S i P = P i S
d.2) converso Accidental

1. S a P P i S
2. S e P P o S

e) Cuadro de Boecio (de oposicin tradicional)

Es tambin conocido como el CUADRO DE LA OPOSICIN, muestra los relaciones de
las proposiciones categricas tpicas (A, E, I, O) entre s. Estas relaciones son llamadas:
contradictorias, contrarias, subcontrarias, subalternas y subalternantes. Se puede graficar
de la siguiente manera: