LGICA DE PRIMER ORDEN Y

PERSPECTIVAS ACTUALES EN LA LGICA

SIMBLICA
LGICA CUANTIFICACIONAL.
Hay argumentos que pueden ser formalizados y resueltos mediante los mecanismos que
nos proporciona la lgica de enunciados. sin embargo, existen otros muchos
enunciados, que an siendo elementales no pueden ser resueltos por la lgica de
enunciados. Por ejemplo:
- Todo griego es europeo
- Todo ateniense es griego
________________________
- Todo ateniense es europeo
Este argumento es formalmente vlido, sin embargo, las estructuras lgicas que
lo justifican no son las que se utilizan en la lgica de enunciados, y esto lo podemos
observar porque si asignamos una letra proposicional a cada uno de los enunciados, la
formulacin resultante no resultara convincente:
-p, q r
Por que no hay ninguna ley de la lgica proposicional que permita concluir ' r'
partiendo de las premisas 'p' y 'q'. Esto sucede porque la forma lgica de este
argumento no puede ser captada con los medios de la lgica de enunciados. Para captar
la forma lgica de estos argumentos es necesario penetrar en la estructura interna de los
predicados. As, en el caso anterior, la pieza clave de la estructura que justifica su
validez la forman las palabras "todo" y "algn". Estos trminos rebasan el mbito de la
lgica de enunciados.
La Lgica Cuantificacional o Lgica de Predicados, a diferencia de la lgica
proposicional, se interna en las proposiciones y las examina por dentro. Esto no quiere
decir que la lgica cuantificacional abandone la lgica proposicional. La lgica no
puede considerarse como un conjunto de clculos desperdigados o un conjunto de
clculos superpuestos unos encima de otros de forma que unos sean la negacin de los
dems. La lgica es ms bien una acumulacin organizada de clculos donde cada uno
de los cuales supone la integracin de los anteriores en un sistema ms amplio.
El anlisis de la lgica cuantificacional descubre en los enunciados dos cosas
fundamentales:
i. Expresiones que se refieren a individuos
ii. Expresiones que refieren a propiedades
iii. Expresiones que atribuyen propiedades a individuos.[Cuantificadores]

Cuantificador universal
Se presenta mediante un condicional, ya que todo enunciado universal expresa
una conexin entre dos predicados, de tal forma, que todos los sujetos del primero son
sujetos del segundo. As, si decimos "Todas las personas normales son aburridas" lo
representaramos del modo siguiente:
x (Px Qx)
Donde:
P representa la propiedad de ser una persona normal
R representa la propiedad de ser aburrida
x es una variable que representa a los sujetos sobre los que se predica la
propiedad.
La expresin anterior se leera: Para todo x, si x es una persona normal,
entonces x es una persona aburrida.

Cuantificador existencial
Est ligado a la conjuncin en un sentido y a la disyuncin en otro. El
particularizador se expresa mediante una conjuncin porque lo que afirmamos mediante
l es que hay ciertos individuos que a la posesin de una cierta propiedad unen la
posesin de otra. lo que se expresa es la coincidencia de predicados . As, si decimos :
"Algunos vampiros son hemoflicos" lo formalizamos del siguiente modo:
x (Px Qx)
Mediante esta formalizacin, lo que se quiere decir es que si, el universo de los
vampiros est formado por cuatro elementos: {a, b, c, d }, entonces, 'a' es un vampiro y
es hemoflico, o bien lo es 'b', o 'c' o lo es 'd'; o lo que es lo mismo, estamos presentando
la siguiente disyuncin (Pa Qa) (Pb Qb) (Pc Qc) (Pd Qd)
El cuantificador existencial recibe su nombre porque al usarlo estamos
afirmando la existencia de algo. Nos comprometemos a admitir que en el mundo se dan
determinadas entidades.(Vampiros uhh!).
CUANTIFICADORES NUMRICOS
Mediante la relacin de identidad podemos ampliar el radio expresivo del
lenguaje simblico de la lgica. Si mediante el cuantificador universal podemos afirmar
que todos los individuos de un determinado conjunto poseen una determinada
propiedad, y mediante el cuantificador existencial afirmamos que slo un determinado
nmero de individuos poseen un propiedad, mediante la relacin de igualdad y con la
ayuda de los cuantificadores podemos expresar formalmente enunciados como:
a) Hay al menos un individuo que pose la propiedad
P: x Px
b) Hay al menos dos individuos que poseen la
propiedad P:
xy (Px Py) (x y)

c) Hay a lo sumo un individuo que posee la propiedad

P:
xy (Px Py) (x = y)
d) Hay a lo sumo dos individuos que poseen la
propiedad P
xyz (Px Py Pz) [ (x = y) (y = z) (x = z)]
e) Hay exactamente un individuo que tiene la
propiedad P
(xPx) (xy) [(Px Py) (x = y)
LGICA DE RELACIONES
Tal y como seala De Morgan la lgica tradicional es incapaz de resolver argumentos
como el siguiente:
"Todo caballo es animal. Por lo tanto, toda cabeza de caballo es la cabeza de
un animal". Realmente, si intentamos resolver este razonamiento mediante la lgica
cuantificacional veremos que esto no es posible. La clave est en que tanto la expresin
"cabeza de caballo" como la expresin "cabeza de animal" no son predicados
absolutos, sino dos combinaciones de predicados relativos (El mismo en cada una de
ellas) con un predicado absoluto (Distinto en cada una).
La lgica simblica ha hecho dos interpretaciones de la lgica de relaciones, as,
ante la oracin: "Pepe es menchevique" podemos interpretarla de dos modos distintos: o
bien como un enunciado que expresa que un cierto individuo posee una cierta
propiedad, o bien, como la asercin de que el individuo pertenece a una clase dada.
Segn la interpretacin que se de a la frase, esta tomar la forma lgica de ' Pa ' o a
A.
Adoptando los trminos clsicos de intensin e intensin cabra decir que cada
clase es la extensin de un predicado, en la medida en que rene a todos los individuos
de los que ese predicado es verdadero, o bien, que los predicados son clases vistas en su
intensin, en la medida en que sabiendo lo que significa un predicado, sabemos lo que
significa pertenecer a la clase correspondiente.
PERSPECTIVAS ACTUALES EN LA LGICA SIMBLICA

Los intentos por adaptar el aparato estndar de los sistemas formales a los
requisitos propios de sistemas de argumentacin informal han provocado diversas
respuestas:
a) Excluir del campo de la lgica todos os argumentos informales a los que
no se les pueda aplicar el aparto estndar de la lgica clsica.
b) Admitir los argumentos informales y el sistema formal de la lgica
clsica, pero reajustando estos argumentos para que puedan encajar en
los sistemas formales estndar
c) Modificar el sistema formal de manera que pueda tratar los argumentos
informales. Para ello es necesario aadir operadores, axiomas e incluir el
tratamiento de oraciones del tipo interrogativas o imperativas
3

Un sistema lgico es divergente con respecto a la lgica clsica si incorpora el

vocabulario de esta pero dispone de un conjunto diferente de teoremas o de inferencias
vlidas.
Qu debemos entender por lgica clsica? Por lgica clsica debemos entender
la forma que adopta la lgica contempornea a partir de su construccin algebraica por
Boole, Peirce y Schrder en el siglo XIX y que axiomatiz Frege en 1879; la lgica que
se encuentra en la obra de Russell y Whitehead los principia Mathematica (1910-13).
Cuando se hable entonces de lgicas no clsicas o de lgica divergentes hay que tener
en cuenta que se hace referencia a lgicas que difieren de esta otra lgica.
Si atendemos a las caractersticas de la lgica clsica, podemos decir que la
lgica clsica es:
i. Apofntica, esto es, que todos sus enunciados estn provistos de un valor de
verdad, y dejan fuera por lo tanto el tratamiento de todos aquellos enunciados de
los cuales no pueda decirse con sentido si son verdaderos o falsos.
ii. Bivalente porque no admite ms que dos valores de verdad posibles para lo
enunciados.
iii. Asertrica. Dado que no admite modalidades o matizaciones sobre los valores
de verdad de los enunciados; es decir, los enunciados son verdaderos o falsos sin
cuestionarse nada ms sobre su valor de verdad.
iv. Extensional. Las conexiones entre los enunciados quedan definidas como
funciones de verdad. Con esto se quiere decir que los valores de verdad de un
enunciado molecular estn en funcin de los enunciados atmicos que lo
componen. La lgica clsica es extensional en la medida en que slo tiene en
cuenta la extensin de los enunciados, esto es, su valor de verdad.
Susan Haack en su obra Filosofa de las lgicas (1982) hace la siguiente
clasificacin de la lgica formal:
Lgica tradicional
Lgica clsica
Lgicas extendidas

Lgicas divergentes

Silogstica aristotlica
Clculo bivalente de oraciones
Clculo de predicados
Lgicas modales
Lgicas temporales
Lgicas denticas
Lgicas epistmicas
Lgicas imperativas
Lgicas de la preferencia
Lgicas erotticas (interrogativas)
Lgicas plurivalentes
Lgicas intuicionistas
Lgicas cunticas
Lgicas libres

Lgicas inductivas

LGICA PLURIVALENTE.
Cualquiera que haya padecido la visualizacin de la pelcula Terminator o
cualquiera de sus infumables secuelas, se habr enfrentado a la terrible tragedia de
discutir con los amigos sobre qu demonios pasa en el futuro con el dichoso nio y su
madre. Esta trascendental discusin probablemente habr concluido con algn
comentario dirigido al ms freaky del tipo t ests flipao!. Para ayudar a aquellas
personas que no dejan de preguntarse acerca de si el futuro est determinado por los
acontecimientos que ocurren en el presente, vamos a ver cmo se construye una
paradoja y cmo la lgica puede ayudarnos a aclarar nuestros sesudos razonamientos.
Para comeduras de coco sobre el futuro yo prefiero El planeta de los simios.
Veamos cmo podemos construir una paradoja a partir del siguiente enunciado:
Maana los alumnos/as de bachillerato prepararn su examen de lgica. Pongmonos
en la situacin menos probable de que el enunciado es verdadero hoy (en un tiempo
presente). De ser esto as, el futuro estara predeterminado: nada podra impedir que los
alumnos/as estudiaran su examen de lgica. J! Permitidme que me ra. Pensemos en la
opcin ms probable: el enunciado es falso y por lo tanto no habr posibilidad alguna de
que estudien y preparen su examen. De nuevo el futuro se nos impone.
Las situaciones que se nos presentan seran las siguientes:
a) El enunciado es una verdad necesaria lo que la convierte en una tautologa
b) El enunciado es falso y nos encontraramos ante una imposibilidad
c) El enunciado es una verdad contingente es decir, ni necesario ni imposible.
Como vemos la paradoja surge si aceptamos que todo enunciado acerca de
eventos futuros contingentes es, en el momento de ser proferido, o verdadero o falso.
Para escapar de la paradoja que presentan enunciados como este o como este otro
dentro de cien aos las mquinas habrn esclavizado al hombre tenemos que aceptar
que en el momento de ser proferidos no son ni verdaderos ni falsos y que por lo tanto,
tendrn que tener un tercer valor de verdad.
Aunque fue Aristteles (De interpretatione, 9, 18a28-19b4) el primer pensador
en denunciar las dificultades que entraan la afirmacin de un enunciado como
maana habr una batalla naval, sera el lgico polaco Lukasiewicz el primero en
cuestionar el llamado Principio de bivalencia
La lgica trivalente de Lukasiewicz puede evitar lo que Reichenbach llam
anomalas causales, esto es, enunciados acerca de fenmenos de la mecnica cuntica
que entran en contradiccin con las leyes de la fsica clsica para objetos
macroscpicos. En este tipo de lgica los enunciados podan tener tres valores de verdad
v (verdad), f (falsedad) e i (indeterminado) Si hacemos una tabla de verdad podramos
ver que:

p
v
v
v
i
i
i
f
f
f

q
v
i
f
v
i
f
v
i
f

pq pq pq
v
v
v
i
v
i
f
v
f
i
v
v
i
i
v
f
i
i
f
v
v
f
i
v
f
f
v

LGICA MODAL
La lgica modal aparece por primera vez en la Lgica de Aristteles, se desarrolla en la
Edad Media y es a principios del siglo XX donde encontramos con la formalizacin de
la lgica modal contempornea. La lgica modal aparece como una reaccin frente a la
lgica clsica y en concreto ante la insuficiencia que parece mostrar la constante lgica
. Dentro de los esquemas de la lgica clsica de un argumento como el siguiente
no es cierto que si Dios existe entonces el juicio final ser inminente se seguira que
efectivamente Dios existe. Lo que parece extrao en este razonamiento es que exista
una relacin de consecuencia lgica entre la premisa y la conclusin.
En 1918 C. I. Lewis publica A Survey of Symbolic Logic donde plantea una
interpretacin novedosa del condicional para recoger el significado de si...entonces en
los casos del lenguaje natural. Este nuevo condicional que llam Implicacin estricta
requiere una relacin ms fuerte entre el antecedente del condicional y el consecuente.
El condicional estricto se construye a partir del condicional clsico ms el operador
modal que se lee necesariamente. (pq) se leera necesariamente p entonces
q.
La lgica modal aade a la lgica clsica los operadores uniposicionales
que se lee necesariamente, que se lee posiblemente y el operador biposicional

Los operadores uniposicionales son interdefinibles, esto quiere decir que se

puede tomar a uno de ellos como primitivo y definir el otro a partir de este. Por
ejemplo:
A=df. A
A=df. A
A su vez el operador biposicional se define como:
A

B= df. (AB)

Algunas reglas de la lgica modal proposicional seran:

1) pp

2) pp
3) (pq) (pq)
4) (pq) (p q)
La lgica modal fue objeto de duras crticas: por un lado, no existe una
axiomatizacin de la lgica modal yal y como existe en la lgica clsica, sino que las
nociones modales dieron lugar a distintos sistemas axiomticos; Quine, a su vez, critic
la nocin de implicacin propia de la lgica modal; y por ltimo, el desarrollo de la
lgica modal se realiz sin un anlisis semntico. Sera el trabajo de Saul Kripke a partir
de los aos sesenta del pasado siglo quien aport las herramientas necesarias para el
desarrollo de la lgica modal: la semntica de mundos posibles. Segn el sistema de
mundo posibles, decir que la oracin posiblemente A (A) es verdadera, es decir que
es verdadera en algn mundo posible; y a su vez, decir que A es verdadera es decir
que es verdadera en todo mundo posible.

LGICA DIFUSA
Una gran parte del discurso informal se nos presenta en gran medida como un
discurso vago, poco definido si lo comparamos con la exactitud del lenguaje formal, y
surge por ello la necesidad de si la lgica debera de tener en cuenta este hecho, y de ser
as cmo. En el lenguaje natural existen numerosas ocasiones en las que las oraciones se
nos presentan vagamente definidas, nos dan un discurso difuso que muchas veces
necesitar del contexto para que puedan ser significativas, sin embargo, estas oraciones
desempean un papel importante en la argumentacin.
Estos enunciados difusos presentan ciertas dificultades para la aplicacin del
aparato lgico estndar y esta situacin nos lleva a idear algn sistema lgico formal
alternativo que se aplique a estos enunciados.
Este tipo de lgica llamada Lgica difusa fue propuesta por Zadeh sobre la base
de una teora no estndar de conjuntos. Mientras que en la teora clsica de conjuntos un
objeto pertenece o no pertenece a un conjunto dado, en la teora difusa de conjuntos la
pertenencia es una cuestin de grados. El grado de pertenencia a un conjunto vago se
presenta por medio de un nmero real comprendido entre 0 y 1, donde 0 denota nula
pertenencia y 1 pertenencia completa.
Ahora bien, la lgica difusa de conjuntos puede utilizarse para caracterizar
semnticamente a la lgica no estndar o lgica divergente . As, como valores de letras
oracionales tendremos, en lugar de los valores clsicos, un nmero indeterminado -en
principio- de valores del intervalo (0 1).
Aplicaciones de la lgica difusa
Un tipo de lgica que reconoce ms que simples valores verdaderos y falsos. Con lgica
difusa, las proposiciones pueden ser representadas con grados de veracidad o falsedad.
Por ejemplo, la sentencia "hoy es un da soleado", puede ser 100% verdad si no hay
nubes, 80% verdad si hay pocas nubes, 50% verdad si existe neblina y 0% si llueve todo
el da.

La Lgica Difusa ha sido probada para ser particularmente til en sistemas expertos y
otras aplicaciones de inteligencia artificial. Es tambin utilizada en algunos correctores
de voz para sugerir una lista de probables palabras a reemplazar en una mal dicha. La
Lgica Difusa, que hoy en da se encuentra en constante evolucin, naci en los aos 60
como la lgica del razonamiento aproximado, y en ese sentido poda considerarse una
extensin de la Lgica Multivaluada. La Lgica Difusa actualmente est relacionada y
fundamentada en la teora de los Conjuntos Difusos. Segn esta teora, el grado de
pertenencia de un elemento a un conjunto va a venir determinado por una funcin de
pertenencia, que puede tomar todos los valores reales comprendidos en el intervalo
[0,1].
La Lgica Difusa (llamada tambin Lgica Borrosa por otros autores) o Fuzzy
Logic es bsicamente una lgica con mltiples valores, que permite definir valores en
las reas oscuras entre las evaluaciones convencionales de la lgica precisa: Si / No,
Cierto / Falso, Blanco / Negro, etc. Se considera un sper conjunto de la Lgica
Booleana. Con la Lgica Difusa, las proposiciones pueden ser representadas con grados
de certeza o falsedad. La lgica tradicional de las computadoras opera con ecuaciones
muy precisas y dos respuestas: Si o no, uno o cero. Ahora, para aplicaciones de
computadores muy mal definidas o sistemas vagos se emplea la Lgica Difusa.
Por medio de la Lgica Difusa pueden formularse matemticamente nociones
como un poco calientes o muy fras, para que sean procesadas por computadoras y
cuantificar expresiones humanas vagas, tales como "Muy alto" o "luz brillante". De esa
forma, es un intento de aplicar la forma de pensar humana a la programacin de los
computadores. Permite tambin cuantificar aquellas descripciones imprecisas que se
usan en el lenguaje y las transiciones graduales en electrodomsticos como ir de agua
sucia a agua limpia en una lavadora, lo que permite ajustar los ciclos de lavado a travs
de sensores. La habilidad de la Lgica Difusa para procesar valores parciales de verdad
ha sido de gran ayuda para la ingeniera. En general, se ha aplicado a:
Sistemas expertos.
Verificadores de ortografa, los cuales sugieren una lista de palabras probables para
reemplazar una palabra mal escrita.
Control de sistemas de trenes subterrneos.

Circuitos lgicos
Los operadores lgicos
pueden ser sustituidos por componentes de circuitos
que realicen operaciones anlogas a estos. A este tipo de circuitos se les llama Circuitos
lgicos. Los componentes de estos circuitos lgicos que realizan las operaciones
correspondientes a la disyuncin, conjuncin y negacin se les llaman componentes
bsicos. El resultado de combinar dos o ms componentes bsicos da lugar a los
componentes combinados. Un componente combinado es, por ejemplo un BUFFER,
cuya misin es regular la intensidad de la seal adaptndola.
Todos los componentes de los circuitos lgicos deben emitir una seal de salida que
depender de la seal de entrada que reciban. La entrada de un circuito lgico es la
compuerta, y se construye mediante transistores, diodos etc., conectados de manera que,
en funcin de los valores que reciban y de cmo estn combinados se obtendr una
determinada respuesta de salida.
8

La siguiente tabla muestran los componentes de los circuitos lgicos:

CONECTOR/COMPUERTA,
ENTRADA(S), SALIDA
CONNECTOR/GATE,
INPUT(S), OUTPUT

NOMBRE
NAME

TABLA DE VERDAD
TRUTH TABLE

AMORTIGUADOR
BUFFER

A Z
0 0
1 1

Y
AND

A
0
1
0
1

B
0
0
1
1

Z
0
0
0
1

O (O, en sentido inclusivo)

OR

A
0
1
0
1

B
0
0
1
1

Z
0
1
1
1

OE (O, en sentido exclusivo)

XOR (EXCLUSIVE-OR)

A
0
1
0
1

B
0
0
1
1

Z
0
1
1
0

A Z
0 1
1 0

N, NEG o INVERSOR
NOT or INVERTER

NY (N Y)
NAND (NOT AND)

A
0
1
0
1

B
0
0
1
1

Z
1
1
1
0

NO (N O)
NOR (NOT OR)

A
0
1
0
1

B
0
0
1
1

Z
1
0
0
0

NOE (N OE)
NXOR (NOT EXCLUSIVE-OR)

A
0
1
0
1

B
0
0
1
1

Z
1
0
0
1

De la asociacin de componentes resultan elementos ms complejos que ya no se llaman

"componentes",
por ejemplo: sumadores (adders), decodificadores (decoders), multiplexores (multiplexers),
memorias
(memories) y microprocesadores (microprocessors). Para representar un circuito lgico se
puede emplear smbolos para componentes (bsicos y combinados) y elementos complejos,
pero siempre esa representacin se puede reducir a otra que slo incluya los componentes
bsicos.