Tema 5.

Gua, esquema y algunos apuntes

Tema 5. Lgica de PREDICADOS (i).

Trminos, cuantificacin y silogismos

5.1. Proposiciones y predicados/relaciones

REPRODUCIMOS UN EPGRAFE DEL TEMA 1:
Existe la lgica formal de primer orden y de segundo orden. La distincin entre
ambas es, empero, una tarea tcnica, abstracta y compleja que no vamos a abordar
(cf. C. Ivorra Castiillo, Lgica y teora de conjuntos, p. 23 ss. Y 270 ss.). Pero la Lgica
de primer orden, que trata de los objetos de algn universo definido, incluye:
(a) la lgica proposicional o de enunciados y
(b) la lgica de predicados y relaciones.
No estn al mismo nivel: la (b) presupone la (a) que es, por lo tanto, elemental.

La lgica proposicional es el apartado ms elemental y bsico de la lgica clsica. Se

ocupa de la validez formal de los razonamientos donde las premisas y la conclusin
son proposiciones enunciados, oraciones [ver E] tomadas en bloque, es decir,
sin analizar o descomponer las oraciones; por ejemplo:
las rubias son todas unas credas, o los chicos morenos son todos muy
educados.
Pero no todos los chicos morenos son educados.
Por lo tanto, todas las rubias son unas credas
(y que me perdonen, please)
Que responde a este esquema: p o q ; pero no q; por lo tanto, p
La lgica de predicados y relaciones, en cambio, aunque se sirve de la lgica
proposicional, no toma las oraciones en bloque, sino descomponindolas en los
conceptos que utiliza. Por ejemplo,
todas las rubias son unas credas
1

Tema 5. Gua, esquema y algunos apuntes

Mari Carmen no es nada creda.
Por lo tanto, Mari Carmen no es rubia [de lo contrario, la primera premisa
sera falsa]
El esquema ahora es distinto: Todos los A son B; C no es B; por lo tanto, C no es A
El ejemplo anterior es un caso de predicados o ms exactamente trminos: un
individuo x puede ser rubia, creda, o ser Mari Carmen (si bien, en realidad, Mari
Carmen es un trmino singular, mientras que los otros son generales; pero
eso es algo que el ejemplo clsico del silogismo desconoce). Pero tambin estn las
relaciones, que involucran a dos o ms individuos. As, en el ejemplo comentado
arriba: A > B y B > C ; por lo tanto, A > C (donde la relacin > puede referirse, a la
manera matemtica usual, a ser mayor que, o ms alto/gordo/guapo que).
La

lgica proposicional, que es la ms elemental, se ocupa de la

validez de inferencias tomando las proposiciones enunciados,

oraciones [ver E] en bloque, sin analizar o descomponer sus
componentes. En cambio, la lgica de predicados y relaciones, en
cambio, aunque se sirve de la lgica proposicional, no toma las
oraciones en bloque, sino descomponindolas en los conceptos o
trminos que utiliza. Una misma oracin puede utilizarse en una u otra
clase de argumento (vimos ejemplos).

5.2. Trminos singulares y generales

Desde Frege, la nocin de PREDICADO es inequvocamente sintctica: Un

predicado es (una variante de) un trmino general que, al ser completado
convenientemente (por trminos singulares y por variables ligadas o cuantificadas),
da lugar a una oracin completa susceptible de ser verdadera o falsa. Lo cual
supone que hay dos clases de trminos: los generales, que denotan una multitud de
objetos, y los singulares, que denotan un objeto nico (los nombres propios son el

Tema 5. Gua, esquema y algunos apuntes

caso ms claro, pero no el nico: recurdense las descripciones definidas que
analizara Russell).
-

Rubia, creda, guapa son trminos generales.

Mari Carmen y el ltimo rey de Francia, trminos singulares

es rubia, o es una creda son predicados

Explica muy pedaggicamente el asunto Suppes & Hill, cap. 5. Podemos

empezar con los epgrafes 5.1-5.4, pp. 184-194, con mltiples ejercicios.

5.3. Silogstica clsica y diagramas de Venn

La lgica aristotlica sistematizada en la Edad Media fue prcticamente la
nica hasta bien avanzado el siglo XIX, si bien haba ido perdiendo importancia a
medida que se consolid la investigacin cientfico-natural surgida en la modernidad.
Al comienzo de nuestra explicacin de la lgica de predicados, vamos a ver
en paralelo la silogstica aristotlica con una parte (pequea, en verdad) de la lgica
matemtica de predicados. Esta vez, podemos partir de la Wikipedia, que contiene
una excelente explicacin de este tipo: http://es.wikipedia.org/wiki/Silogismo .

Obsrvense:
-

JUICIOS:
o la distincin entre JUICIOS afirmativos y negativos
o la distincin entre JUICIOS universales y particulares
o el resultado de cruzar ambas: A E I O
o (falta la tabla de oposiciones)

REGLAS mnemotcnicas deductivas:

o al menos una premisa universal
o al menos una afirmativa
o el trmino medio distribuido (= universal) al menos una vez

Tema 5. Gua, esquema y algunos apuntes

o la conclusin sigue siempre la peor parte (particular / negativa); o
sea, si una premisa es afirmativa y otra negativa, la conclusin ser
negativa (idem con universal/particular)
-

Las 4 FIGURAS y 19 modos (ver la Web de Wikipedia)

La tabla de Boecio?

en: http://www.paginasobrefilosofia.com/html/predlogt.html , dic.

2012)
CUADRO OPOSICIN

A y E pueden ser ambas falsas (pero no ambas verdaderas)

I y O pueden ser ambas verdaderas [luego hablaremos de si tambin pueden ser
ambas falsas: no en la lgica aristotlica; s en la moderna]
De las contradictorias, pues eso: una ser verdadera, falsa la otra.
Ms tarde explicaremos por qu tan asombroso diseo (sobre todo si
tenemos en cuenta las conversiones) es incomparablemente menos ltil que la
lgica matemtica.
En cuanto a los DIAGRAMAS DE VENN, juegan, en estos sencillos argumentos de
solo dos premisas y una conclusin, un papel similar (pero ms limitado) al que
desempean las tablas de verdad en la lgtica de enunciados o proposiciones.

Tema 5. Gua, esquema y algunos apuntes

http://www.google.es/imgres?um=1&hl=es&sa=N&tbo=d&biw=1366&bih=643&tbm=
isch&tbnid=jqwu4Zs5rFeWIM:&imgrefurl=http://es.wikiversity.org/wiki/L%25C3%25
B3gica/L%25C3%25B3gica,_lenguaje_y_creencia&docid=GpZAZ9yls3I0JM&imgurl=
http://upload.wikimedia.org/wikipedia/commons/9/97/Relaciones_entre_conceptos_co
mo_clases.JPG&w=615&h=534&ei=MSbGUNelGMGr0QWyhoHICw&zoom=1&iact
=hc&vpx=4&vpy=62&dur=1474&hovh=209&hovw=241&tx=120&ty=93&sig=11611
6106527419671949&page=2&tbnh=119&tbnw=138&start=20&ndsp=45&ved=1t:429,r
:28,s:0,i:173

5.4. Preparacin

la

lgica

matemtica

de

cuantores
Colgar un archivo PDF titulado Lgica de cuantores como ilustracin
sinttica de toda esta parte, ms la lgica no clsica Fue colagado, al parecer, por un

Tema 5. Gua, esquema y algunos apuntes

Jorge Snchez en mayo de 2008, como pare de un texto de Lgica que ahora
necesita descarga, alojado en http://es.scribd.com/doc/55785131/LOGICAmatematica).

Por otra parte: Vamos a ver cmo se formalizan hoy las cuatro clases de
juicios aristotlicos en lgica simblica

LOS CUATRO TIPOS FUNDAMENTALES DE ENUNCIADOS PREDICATIVOS

tradicionales

1.

Mx):[Para todos los x (Si x es

un hombre, entonces x es mortal]
2. UNIVERSALES NEGATIVOS:
Nx) [Para todo x (si x es
habitante de Neptuno, entonces de ningn modo puede ser
neurtico]
3.
Qx)= [Hay algunos x tal que
(son, a la vez, P y Q]
4.
Qx)= [Hay algunos x tal que
(son P y, sin embargo, no son Q, es decir, no son a la vez, P y Q]

(este cuadro, como otro anterior, en:

http://www.paginasobrefilosofia.com/html/predlogt.html , dic. 2012)

5.5. Silogismos de Lewis Carroll

En una TAREA te pondremos silogismos de S&Hill. Pero debes
conocer tambin los siguientes, totalmente clsicos (y
decimonnicos!), aunque surrealistas.
No os fiis del orden de las proposiciones con vistas al sujeto y el
predicado de la conclusin o la figura a la que pertenecen, pues en
tiempo de L. Carroll sola decirse a la inversa (1 la prop del sujeto).
4) La conclusin correspondiente a los siguientes pares de proposiciones, verifcala (cuando te la den) o hllala (si no te la dan); a ser posible,
6

Tema 5. Gua, esquema y algunos apuntes

siurvindote de ambos mtodos: (a) sentido comn + Aristteles ; (b)

diagramas de Venn
A) Todas las avispas son hoscas;
Todas las criaturas hoscas son mal acogidas.
Todas las avispas son mal acogidas
B) Los canarios bien nutridos cantan con potencia
Ningn canario se siente melanclico si canta con potencia.
Algunos canarios no se sienten melanclicos
C) Ningn cuadrpedo sabe silbar;
Algunos gatos son cuadrpedos.
Ningn gato sabe silbar
D) Los pelmazos son terribles; y Usted es un pelmazo.
Yo soy terrible
E) Algunas ostras son silenciosas;
Las criaturas no silenciosas son divertidas.
Algunas ostras no son divertidas.
F) Las experiencias desagradables no se buscan con avidez;
Ninguna pesadilla es agradable.
Ninguna pesadilla se busca con avidez.
G) Ningn bogavante es irracional;
Ninguna criatura racional espera imposibles.
Ningn bogavante espera imposibles.
H) Algunos sueos son terribles;
Ningn borrego es terrible.
Ningn borrego es sueo.

7) Averiguar (con sentido comn; con las reglas silogsticas; y con los
diagramas de Venn) si son correctas o no las siguientes conclusiones
silogsticas:
A) Ningn fsil puede estar traspasado de amor;
Una ostra puede estar traspasada de amor.
Por tanto: Las ostras no son fsiles.
B) Todos los leones son fieros;
Algunos leones no beben caf.
Por tanto: Algunas criaturas que beben caf no son fieras

Tema 5. Gua, esquema y algunos apuntes

C) "Lo vi en los peridicos";

"Todos los peridicos dicen mentiras".
Por tanto: "Era una mentira".
D) Un hombre prudente rehye las hienas;
Ningn banquero es imprudente.
Por tanto: Todo banquero rehye las hienas.
E) Algunas almohadas son blandas;
Ningn atizador es blando.
Por tanto: Algunas almohadas no son atizadores.
F) Ningn pjaro, excepto los pavos reales, se pavonea de su cola;
Algunos pjaros que se pavonean de sus colas no saben cantar.
Por tanto: Algunos pavos reales no saben cantar.
G) Ninguna rana es poltica;
Algunos nades estn desprovistos de poesa.
Por tanto: Algunos nades no son ranas.
H) Toda guila puede volar;
Algunos cerdos no pueden volar.
Por tanto: Algunos cerdos no son guilas.