Antes de la

Lgica No Clsica
Una muy, muy breve introduccin

Antes de la lgica no clsica

analicemos su origen
1. Lgica Proposicional
2. Lgica de Predicados
3. Lgica Modal

 pq
Donde p y q son variables que pueden representar cualquier
proposicin.
Ej.
p corro un maratn
q ... Me cansar
Si (corro un maratn) entonces (me cansar)

Lgica Proposicional

 La lgica proposicional es una manera sencilla de

visualizar reglas y funciones lgicas

Consta de variables, operadores y principios

fundamentales
La variables pueden ser p,q,r,setc, y como ya lo vimos
en el ejemplo anterior pueden contener cualquier
informacin en forma de proposicin

 Los operadores unen las variables y dictan el valor lgico (verdadero

o falso; valido o invalido) que tendr el enunciado o argumento
, si entonces (condicional material)
, si y solo si (bicondicional)
, y (conjuncin)
, o (disyuncin inclusiva)
, no (negacin)
En casos menos regulares se incluye tambin:
, y no (conjuncin negativa)
, o (disyuncin exclusiva)

Operadores

 Aristteles rganon Analtica Priora

1. Principio de Identidad
a=a siempre
2. Principio de No Contradiccin
a= a nunca
3. Principio del Medio Excluso
a es verdadera a es falsa, nunca los
dos valores

Principios fundamentales

 La lgica proposicional carece de poder expresivo

p,q,r,s etc pueden contener cualquier proposicin, pero
p no me expresa formalmente la relacin intrnseca que
mantiene

Un problema

 Permite mayor expresividad formal de la manera:

Ca . Siendo a un sujeto y C una propiedad
ale (a) es una creatura con intestinos (C)
a mantiene consigo misma una relacin C
Ya no soy solo una p ahora puedo ser una Ca

Lgica de Predicados

 Bc ...la cerveza es buena

Pt la tele est prendida
Rp la pared es roja
Todos los ejemplos anteriores son relaciones singulares, ahora
veamos plurales:
Slm el libro est sobre la mesa
Eap el apagador est enseguida de la puerta

(x)[Fx & (y)(Fy y = x) & Gx] puntos extra al que

descifre ste enunciado una pista B.Russell

Mas ejemplos:

Gottlob Frege:
Dominio del cuantificador
Distribucin de propiedades
Relacin entre sujetos y propiedades
Cuantificadores:
Universal Ej. (x) Bx Toda x es bella
Existencial Ej. (x) Bx Alguna x es bella

Lgica de Predicadoscon
Cuantificadores

 Como se lee un enunciado cuantificado??

(x) (y) Axy

2
En este caso el cuantificador tiene dominio sobre todo el
enunciado en virtud de su posicin inicial
Por lo tanto, iniciamos la lectura del enunciado desde x
De manera que leemos:
Todos aman a alguien

Dominio

(x) (y) Axy Todos aman a todos

(x) (y) Axy Todos aman a alguien
(x) (y) Ayx Todos son amados por alguien
(x) (y) Axy Alguien ama a todos
(y) (x) Axy Alguien es amado por todos
(x) (y) Ayx alguien es amado por alguien
- (x) (y) Axy nadie ama a alguien

Hablemos de relaciones

 La lgica de predicados permite la cuantificacin en tanto

en el trmino principal como en el trmino medio, a
diferencia de la lgica clsica que solo cuantificaba el
trmino principal:
Todas las ps son qs
.clsica
Todas las ps son Qs y algunas qs son Rs
de predicados

 Problema de dominio:

()()()

Donde empezamos a leer?
Al incrementar la complejidad de cuantificadores y
variables predicadas, el dominio pierde claridad

Complicando la historia

 Lgica modal
Perdida de validez rgida

El valor verdadero de una formula compuesta que

involucra modalidades depende de ms que solo los valores
de sus subfrmulas

Veamos de que depende

Una opcin, entre muchas

mas

Nuevos operadores:
necesariamente
posiblemente
+ (,,,,)
=Semntica de mundos posibles

Sistema K (de Kripke)

 Regla de necesidad:
Si A es parte de K, entonces tambin lo es A
A A

Axioma de Distribucin
(AB) (AB)
A&B son aqu metavariables, es decir pueden contener p,q,r,s,
Bc, Fcv, A, B, etc

Reglas de SK

 SK no nos dice adecuadamente que es necesidad y

posibilidad
(M) A A

Si necesariamente A, entonces A
peroqu es necesariamente?
podemos leerlo como lo que debera de ser? O como
lo que fue?

SM

 Lgica Dentica:
Lo que debera de ser, lo permisible, lo no permisible
Lgica Temporal
Lo que fue, lo que est siendo, lo que ser
Lgica Condicional
Lo que es, seria o fue, en base a un conjunto de condiciones

SM y sus efectos

 Aun dentro de la lgica modal, se sigue sofisticando el

nivel expresivo
SB es un claro ejemplo de esto:
S(B) AA
Si A es, entonces es necesariamente posible que A

SB

 Desde Aristteles han sido los dos tipos de valores

actuales que se pueden manejar
Si algo es necesario, entonces no existe otro mundo
posible en el que no sea as
Si algo es posibleque significa???

Posibilidad y Necesidad

 Real? Epistmica? Epistmica y real?

El anlisis de posibilidades nos empuja a la incorporacin
de casos extremos que no obedecen los principios
fundamentales de Aristteles

Posibilidad