Introduccin

a la

Lgica

[22 de marzo de 2011]

Lgica de predicados o de primer orden

La concepcin moderna de la estructura de las oraciones.
En las primeras clases vimos que Aristteles (su silogstica) no posee un mtodo
sistemtico para diferenciar las formas vlidas de las que no lo son, sino que todo
lo que dice es que la validez de las que lo son es inmediatamente evidente (de ah
que estos silogismos sean, para l, perfectos, mientras que aquellos cuya posible
validez no es inmediatamente vlida son imperfectos)
Recordemos, adems, que para Aristteles todas las oraciones asertricas simples
son predicativas: constan de una unin sujeto y predicado, de tal manera que algo
(representado por el predicado gramatical) se dice (es predicado) de algo
(representado por el sujeto gramatical). En otras palabras, el predicado representa
siempre un concepto, y con la oracin predicativa se dice que algo cae bajo ese
concepto.
Pues bien, si nos atenemos a la silogstica aristotlica no podramos inferir la
conclusin Scrates es mortal a partir de las premisas Todos los hombres son
mortales y Scrates es hombre. Si nos fijamos veremos que el trmino medio,
que aparentemente sera hombre, en una premisa forma parte del sujeto todos
los hombres, y en la otra forma parte del predicado es hombre. Es decir, siendo
exactos no tendramos ms remedio que admitir que no hay trmino medio.
!
La solucin a esta limitacin de la silogstica la dio Frege cuando advirti que cada
una de las oraciones que conforman las premisas deben articularse de tal manera
que quede dividida en dos partes que ya no habr que entenderlas como sujeto y
predicado, sino que por un lado tendramos un trmino relativo y por otra un par
ordenado de dos trminos de sujeto. As, la oracin Rodolfo es el padre de
Conrado consta de un trmino relativo: es el padre de, y del par ordenado
1

[Rodolfo, Conrado] (es importante que estn ordenados porque de lo contrario

podra tratarse de una oracin diferente). Podemos ahora parafrasear la oracin de
la siguiente manera: la relacin ser-padre-de se da entre los objetos Rodolfo y
Conrado.
De esta manera, la implicacin lgica contenido en la inferencia anterior tendra la
siguiente forma: si hay una relacin entre un objeto a (Scrates) y un objeto, que
es B (ser hombre), y todo lo que es B tambin es C (primera premisa) , entonces
esa relacin tambin se da entre a y un objeto, que es C. As, la relacin
importante deja de ser la relacin gramatical entre sujeto y predicado, y pasa a
serlo la que se da entre el trmino relativo y los dos objetos de la relacin.
Puede resultar un poco extrao admitir que el predicado representa un objeto, pero
finalmente todo lo que dice Frege en el caso de las oraciones predicativas
singulares es que una oracin como Scrates es hombre, es verdadera si el
objeto Scrates cae bajo el concepto es hombre. Ahora bien, qu ocurre con
las oraciones generales? Por ejemplo qu decimos propiamente cuando decimos
que todos los hombres son mortales o que algunos hombres son calvos? En
estas oraciones el sujeto no parece representar ningn objeto concreto. La
concepcin tradicional dira que nos estamos refiriendo a la clase o subclase de los
hombres que son mortales y de los hombres que son calvos respectivamente. Pero
son los hombres y no la clase o subclase, los que son mortales o calvos. Parece
claro que estas expresiones generales no representan nada.
Si reformulamos convenientemente la pregunta nos aproximaremos a una
solucin. As: cmo se deben entender las formas todos son y algunos
son? Ahora podemos decir con mayor facilidad que el significado de la oracin
concreta es una funcin del significado de la forma de la oracin y del significado
de las palabras de contenido. Las oraciones generales remiten a otras oraciones
particulares (del tipo si es F entonces es G).
La forma de la oracin y el significado de las palabras de contenido conforman las
condiciones de verdad bajo las cuales la oracin es verdadera.
Por fin, las oraciones Socrates es mortal y Todos los hombres son mortales
tienen la misma estructura gramatical (sujeto-predicado), pero diferente estructura
o forma lgica (Fa en el primer caso, y en el segundo, donde la x representa los
lugares vacos que pueden ser ocupados por objetos concretos). sta tiene que

ver con el modo como la oracin est compuesta de forma relevante para la
verdad.
Algo similar ocurre con la lgica de enunciados, pues las inferencias que hemos
venido realizando hasta ahora no tenan en cuenta la estructura interna de las
proposiciones que forman parte de los enunciados en cuestin. Por ejemplo:
No hay judos en la cocina
!!
!
Ningn gentil dice sphoonj! !
!
!
Todos mis sirvientes estn en la cocina! !
Luego, mis sirvientes no dicen nunca sphoonj!

!
!
!
!

p
q
r
s

El problema con la formalizacin anterior es que formaliza proposiciones sin

atender a su estructura. Si lo hiciramos, quedara algo as:
-1 x (Jx Cx)
-2 x (Jx Dx)
-3 x (Sx Cx)
!

x (Sx Dx)

4 x (Jx Cx)! !
5 x ( Jx Cx)!!

Def /
Df / 4

6 x (Jx Cx)! !

Df /

7 Ja Ca!!

E, 6 x:a

8 Ja Da!

E, 2 x:a

9 Sa Ca! !

E, 3 x:a

10 Ca Ja!
!
11 Sa Ja!
!
12 Sa Da!
!
13 x (Sx Dx)!!

Crtrp. , 7
Tr , 9, 10
Tr , 11, 8
I, 12, a:x

Qu es lo que hay dentro de las proposiciones?

!
!
!
- Individuos
Forma lgica:

- propiedades de individuos o relaciones entre

!

individuos

!
!
!
!
!
!
Lproposiciones!
Aristteles era ateniense: !
!
!
!
p!
!
Aristteles era ms ateniense que Pericles !
p!
!
Era un da lluvioso y Eva estaba triste: ! !
!
!

LPrimer orden
!
Aa
!
Mab
!
p Ta

Cuantificacin.
Todo x es idntico a s mismo: x Ixx
Algn x es buena persona: x Bx
El particularizador o existencial, , afirma la existencia de al menos un objeto.
El generalizador no afirma la existencia de nada, sino nicamente que si existe
algn x entonces ser de tal manera (como mucho podemos afirmar que
presupone la existencia de aquello sobre lo que cuantifica).
Universal afirmativo: !

x Px

Universal negativo: !
!
x Px
Existencial afirmativo: ! x Px
Existencial negativo: !

xPx

Equivalencias.
x Px xPx
x Px x Px
xPx x Px
xPx x Px
Reglas de cuantificadores para predicados mondicos.
I Pa!!
-----!
xPx!
!
!
!
!
!
!
!
!

!
!
!
!
!
!
!

E x Px! !
----------!
!
Pa! !
!
!
!
!
!
!
!
!
!
!
!
!

I Pa!!
------!
xPx!
!
!
!
!
!
!
!
!

E xPx
! !
Pa

A
-------A

a no debe ocurrir en ningn supuesto previo no cancelado!

a no debe ocurrir en

Ejercicios de formalizacin.
1. Todo el mundo es mortal. Luego nadie es inmortal.
2. No existen unicornios. Por tanto, todos los unicornios tienen tres cuernos.
3. Los pases del 3er Mundo no estn industrializados. Algunos pases del 3er Mundo
poseen grandes riquezas. Por tanto, hay pases del 3er Mundo que poseen grandes
riquezas y no estn industrializados.
4. Si existe una mujer que es Jefe del Gobierno, entonces se puede decir que existe una
mujer y que existe un Jefe del Gobierno.
5. Ningn deportista que aspire a participar en las Olimpiadas ingiere bebidas
alcohlicas. Hay deportistas que ingieren bebidas alcohlicas. Por tanto, algunos
deportistas no participan en las Olimpiadas.
6. Cada miembro de la clase aparece en la obra o trabaja como tramoyista. Los que
aparecen en la obra estn ensayando. Los que trabajan como tramoyistas estn
decorando el escenario. Por tanto, si Pablo es un miembro de la clase, entonces, o
est ensayando o est decorando el escenario.
7. Los mdicos y los ingenieros son profesionales. Los profesionales y los directivos son
respetados. Luego los mdicos son respetados.
8. Existen hombres inteligentes. Luego, no es el caso que ningn hombre no sea
inteligente.
9. Todo francs es europeo. Por tanto, si todos son franceses, entonces, todos son
europeos.
10. Cualquiera que es culpable de robo no es culpable de estafa. Cada uno de los
prisioneros es culpable de robo o de estafa. Algunos prisioneros son culpables de
estafa. En consecuencia, algunos prisioneros no son culpables de robo.

Ejercicios de deduccin.
-1 x [Px (Qx Rx)]! !

x (Qx Rx)

Pa Pb Pc

xy Qxy

-2 x Px

-1 x Px!

-1 xx (Pa Qxy)!
-2 xPx