Professional Documents
Culture Documents
prim er orden
M odelos, interpretaciones y valuaciones
Contenido
La semntica de la lgica clsica
Modelo e interpretacin
Interpretacin por sustitucin
Interpretacin por asignacin
Consistencia, satisfabilidad y decidibilidad
M odelo e interpretacin
La semntica de la lgica de primer
orden no puede ser veritativo-funcional
en el sentido de la lgica proposicional
porque en la primera se lleva ms all
el principio de composicionalidad
(Frege).
Dado que los componentes sintcticos
de esta lgica incluyen individuos, la
semntica subyacente requiere, como
ocurre en programacin, de una
ontologa de conceptos, lo que no
implica la existencia de una realidad
extralingstica.
Un modelo es un esquema que permite
desarrollar lo anterior.
Pero tenemos una idea intuitiva un
tanto dismil sobre modelo
VS
VS
M odelo e interpretacin
La idea bsica detrs de modelo es la de estructura que permite
interpretar expresiones de un lenguaje.
Un modelo est compuesto por dos partes: el universo del discurso y la
funcin de interpretacin. Estos conceptos pueden cambiar en cada
modelo.
Los modelos no rien con las definiciones de extensionalidad e
intensionalidad. Es importante, sin embargo, entender la extensin y la
intensin en este nuevo esquema lgico: en sentido matemtico, se limita a
los predicados pero se puede seguir entendiendo en el sentido de Frege.
Dos
principios
FUNDAMENTALES:
extensionalidad (Leibniz).
composicionalidad
(Frege)
Ejem plo
p1
p2
p4
p3
Defina formalmente un
modelo y muestre que las
siguientes afirmaciones son
verdaderas o falsas
x y F(x, y)
x y (N(x) V(y))
x y ( F(x, y) V(x))
Ejem plo
Defina formalmente un
modelo y muestre que las
siguientes afirmaciones son
verdaderas o falsas
p1
p2
p4
p3
x y F(x, y)
x y F(x, y)
x y ((N(x) V(x)) F(x, y))
x y ( F(x, y) V(x))
Satisfacibilidad, decidibilidad y
consistencia
El primer concepto que cambia es el de satisfacibilidad: ahora
diremos que una frmula es satisfacible si existe un modelo que la
hace verdadera. Un modelo que la hace falsa ser un
contramodelo o contraejemplo.
Enunciados de la lgica de primer orden con predicados de ms de
dos argumentos no son decidibles (es decir, no se puede crear un
procedimiento bajo el cual se pueda afirmar que son o no
verdaderos bajo cualquier modelo). Este es el problema de la
indecidibilidad y proviene de la tesis Church Turing y de los
trabajos de Lwenheim).
Si una frmula es verdadera bajo una interpretacin, entonces ser
verdadera bajo una interpretacin en la que su universo del
discurso sean los nmero naturales (tesis Lwenheim Skolem).
La consistencia ser limitada a los modelos planteados.