Introd.L.nocl - y L.modal

Una mirada a vista de pajaro
sobre la Logica
Clasica
Que es la Logica
Modal y por que es importante
Semantica
de los mundos posibles
Literatura y semantica
Extensiones de la Logica Clasica. Introduccion a

la Logica Modal
Morillo, Ignacio Hernandez
Enrique Sarrion
Anton
- Univ. de Sevilla
Grupo de Logica,
Lenguaje e Informacion
esarrion@us.es, iha@us.es
Taller formativo sobre Logica

Modal - Proyecto RIFALLCo
Formacion
y Aplicaciones de Logica,
(Red de Investigacion,
Lenguaje y Computacion)
Sevilla, 14 de junio de 2012

Enrique Sarrion
Anton
Extensiones de la Logica
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Indice

sobre la Logica
Clasica.
Que es la Logica
Modal y por que es importante.
Semantica
de los mundos posibles.
de los mundos posibles.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Que es la Logica
(I)
(que, como todas las que conozco, tiene

Ah va una definicion
deja pendientes
aportaciones valiosas, pero que tambien
aspectos que habra que perfilar mejor):
La Logica
es la disciplina que toma como objetivo el
estudio de los distintos metodos

de razonamiento
as como de sus productos (los razonamientos
correctos/validos).
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Que es la Logica
(II)
mas,
esta
Veamos una definicion

recogida de la obra Logica
en
escrita, entre otros, por Johan van Benthem (uno de los
accion,
polifaceticos
mas
y prestigiosos estudiosos de la Logica
en la
actualidad):
La Logica
es una teora de tareas claves de informacion,
ejecutadas por actores cognitivos que razonan, aprenden,
actuan
e interactuan
con otros de modo inteligente.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Que es la Logica
Clasica
(I)
Encontrar criterios historicos

para acotar la denominada Logica
llamada Logica
Clasica
(tambien
Tradicional o Logica
Estandar)
es, cuando menos, enormemente difcil y, quizas,
tarea imposible:
Sabemos que cristaliza como disciplina de conocimiento
en Aristoteles
y llega hasta nuestros das con
aportaciones posteriores de muchos autores y escuelas,
de entre los cuales sobresale notablemente Gottlob Frege.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Que es la Logica
Clasica
(II)
Sin embargo, algunos de esos autores y algunas de esas
aportaron conceptos y resultados que
corrientes tambien
habitualmente consideramos dentro del ambito

de la Logica
No
Clasica
(por ej.: el mismo Aristoteles
estudia los juicios
modales).
de los juicios modales:

Cuadro aristotelico
de oposicion
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Que es la Logica
Clasica
(III)
Por supuesto, es la Logica

Clasica
la que casi monopoliza
del razonamiento humano hasta la
la modelizacion
en 1918 por C.I. Lewis de la obra A Survey of
publicacion
Symbolic Logic.
Todava en la actualidad muchos estudiosos sostienen que
la verdadera Logica
es la Clasica.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Que es la Logica
Clasica
(IV)
- Ante la ausencia de un criterio puramente historico,

podemos
dar otras pistas para que nos hagamos una idea intuitiva de
Logica
aquello a lo que nos referimos con la expresion
o, en
Clasica,
aunque a menudo no constituyen una definicion
descriptiva real por meros
todo caso, conforman una definicion
accidentes.
Por ej.: podemos decir que es la que se estudia/estudiaba en
la Universidad de Sevilla en la asignatura llamada Logica

en el
cuarto cuatrimestre del Grado en Filosofa (Plan de Estudios
2009) / en el segundo curso de la Licenciatura en Filosofa
(Plan de Estudios 1995).
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Que es la Logica
Clasica
(V)
Un mejor modo de delimitar sus contornos es presentar
diferentes caractersticas metateoricas

que distinguen a los
sistemas logicos
clasicos
de otros sistemas:
dos valores de
Es bivalente (es decir, admite dos y solo
verdad).
Es asertorica
(es decir, no permite modular la verdad de
los enunciados mediante consideraciones contextuales).
Es extensional (es decir, satisface el principio de
composicionalidad).
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Que es la Logica
Clasica
(VI)
no
Es monotona
(es decir, el aumento de informacion
implica la necesidad de revisar los resultados previos).
No admite paraconsistencias (de hecho contiene
principios explosivos tales como ex contradictione
quodlibet y ex falso quodlibet).
No introduce criterios de relevancia (por tanto, dado que
usa el implicador material y el disyuntor estandar,

pueden
aparecer resultados poco razonables).
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Que es la Logica
Clasica
(VII)
Finalmente, podemos caracterizarla estructuralmente, es
decir, dar una serie de propiedades metateoricas

presentadas
de calculo
como reglas estructurales en una notacion

de
sencuentes, las cuales son en conjunto una condicion
necesaria y suficiente para que un sistema de logica

sea
considerado clasico
(por supuesto, el rotulo
asignado es
convencional, aunque, como hemos visto, con ciertos apoyos
historicos
y sociologicos).
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Que es la Logica
Clasica
(VIII)
1
Reflexividad:
C
C
Contraccion:
X ,A ,Y ,A ,ZC
X ,Y ,A ,ZC
Monotona:
Corte:
X ,Y C
X ,A ,Y C
X ,A ,Y C; ZA
X ,Z,Y C
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Que es la Logica
Clasica
(IX)
Comentarios a las reglas anteriores:

de un calculo
Al estar presentadas en la notacion

de
secuentes, las letras X, Y, Z representan secuencias
(eventualmente vacas) de formulas,

mientras que las
letras A, B, C representan a una sola formula

cada una de
ellas.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Que es la Logica
Clasica
(X)
En algunos textos se recoge una cuarta regla:
Permutacion:
X ,A ,B,Y C
X ,B,A ,Y C .
Sin embargo, Johan van Benthem ha demostrado que esta

es consecuencia de las otras cuatro.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Que es la Logica
Clasica
(XI)
permite considerar logicas
Esta caracterizacion
clasicas
a
los sistemas que se obtienen:
Introduciendo diferentes niveles de analisis

-es decir,
tanto a la logica
proposicional como a la logica
de
predicados / relacional / funcional-.
Estableciendo la posibilidad de usar o no predicados de
distintos niveles -es decir, tanto a la logica

de primer orden
como a las logicas

de orden superior-.
Incorporando o no en el conjunto de smbolos logicos

ciertos operadores especiales (tales como la igualdad, el
descriptor definido, el descriptor indefinido...).
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Que es la Logica
Clasica
(XII)
son satisfechas por
Pero, ojo, las citadas reglas tambien
extensiones de las logicas

clasicas
tales como los
sistemas logicos
modales (entendiendo modalidad en
sentido amplio).
Aunque parezca un criterio ad hoc, en lo que sigue
nosotros vamos a considerar que en el ambito

de la Logica
Clasica
se encuentran solamente los sistemas que
son asertoricos
satisfacen las anteriores reglas y ademas

(por lo tanto, excluyendo todos los sistemas modales).
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Sistemas logicos
no clasicos
(I)
Nos podemos preguntar por que puede ser necesario
estirar/romper el molde de la Logica

Clasica
(es decir, por
que debemos investigar en sistemas logicos

no clasicos).
He
aqu algunas respuestas:
Porque algunos razonamientos no siguen las pautas
establecidas en dicho molde (por ejemplo, en la Logica
Clasica
los resultados son atemporales, no dependen del
sujeto cognoscente, suponen la omnisciencia del sujeto,
una vez establecidos no se pueden modificar con el
aumento de informacion...).
Porque, en algunos casos, los resultados coincidentes
entre el nuevo sistema logico

y el clasico
correspondiente
intuitivo en el primero de los
se presentan de modo mas
mencionados.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Sistemas logicos
no clasicos
(II)
Veamos un ejemplo en el que la Logica

Clasica
no es
suficiente:
- Los antiguos griegos pensaban que las apariciones matutinas
y vespertinas de lo que hoy ya sabemos que es un unico

planeta (Venus), correspondan a dos cuerpos diferentes (de
hecho les llamaron Hesperus -cuando apareca en el cielo del
oeste al atardecer- y Phosphorus -cuando apareca en el cielo
del este al amanecer-).
acerca del
Como
podemos representar una informacion
con el lucero vespertino de
pensamiento griego en relacion
aplicable al lucero matutino?
modo que no sea tambien
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Sistemas logicos
no clasicos
(III)
Otro ejemplo de la citada necesidad deriva de que algunas
reglas de inferencia importantes de la Logica

Clasica
han sido
cuestionadas (por ejemplo, la llamada ex contradictione
se sigue cualquier
quodlibet (E.C.Q.) -de una contradiccion
cosa-):
p p
q
del
Con su rechazo se busca bloquear que una contradiccion
sistema permita justificar cualquier formula

del lenguaje
correspondiente.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Sistemas logicos
no clasicos
(IV)
Aunque se han propuesto sistemas paraconsistentes, el
rechazo de esta regla lleva a tener que rechazar alguna/s
otra/s basicas,
tal/es como:
del conjuntor:
La eliminacion
r s r s
,
r
s
del disyuntor:
La introduccion
r
s
,
r s r s
del disyuntor llamada silogismo
Una regla de eliminacion
disyuntivo:
p q; p
q
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Sistemas logicos
no clasicos
(V)
Prueba de E.C.Q. a partir de las tres reglas basicas

citadas:
1
p p
del conjuntor en 1.
Por eliminacion
del conjuntor en 1.
Por eliminacion
pq
Premisa (es una formula

contradictoria).
del disyuntor en 3.
Por introduccion
Enrique Sarrion
Anton
Por silogismo disyuntivo en 2 y 4.
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Sistemas logicos
no clasicos
(VI)
Los sistemas logicos

no clasicos
los podemos clasificar, segun
si estiran o rompen el molde, en:
Extensiones de las logicas

clasicas:
amplan de modo
conservativo la expresividad y los resultados (teoremas y
formulas
validas)
que se obtienen en las logicas
clasicas
analogas
(ej.: cualquier logica
modal proposicional es una
de la logica
extension
clasica
proposicional).
Alternativas (o rivales) a las logicas

clasicas:
no satisfacen
al menos una de las propiedades estructurales que
caracterizan a las logicas

clasicas,
por lo que no existe una
de inclusion
en ninguno de los dos sentidos entre
relacion
los conjuntos de resultados de aquellas

y estas
(ej.: logica
intuicionista, logicas
de la relevancia, logica
cuantica,...).
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Sistemas logicos
no clasicos
(VII)
Sin que introduzcamos con ello un relativismo radical, podemos
afirmar que no hay un unico

sistema de logica
razonable: hay
multiples,
a menudo aplicables a situaciones diversas .
Esto no debe tomarse en el sentido de despojar totalmente de
importancia a la Logica
Clasica,
la cual es, desde muchos
puntos de vista (historico,

sociologico,
pedagogico,
metateorico...), absolutamente basica y crucial.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Modalidad sensu stricto / sensu lato
El termino
modalidad se refiere a la manera en que algo es.
En esta lnea, la modalidad logica

se puede entender en
sentido restringido (para referirnos a lo que se han
denominado las modalidades proposicionales -es decir, a la
es verdad-, lo que da lugar a la
manera en que una proposicion
logica
modal aletica)
o en sentido amplio (para referirnos a
cualesquiera consideraciones contextuales, dando lugar a
distintos tipos de logicas

modales y multimodales: logicas
deonticas,
logicas
epistemicas,
logicas
doxasticas,
logicas
dinamicas,
logicas
topologicas,
logicas
temporales, logicas
de
contextos, logicas
de la demostrabilidad...).
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Modalidades aleticas
(I)
Las modalidades aleticas

(es decir, los distintos modos de ser
con la verdad) mas
comunes son:
en relacion
Necesariedad.
Innecesariedad.
Contingencia.
Posibilidad.
Imposibilidad.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
(II)
En nuestro vocabulario habitual conviven y se entremezclan
diversos sentidos para cada uno de los terminos

modales
citados. Fijemonos
en uno de ellos, por ejemplo en posible:
1
Posibilidad logica:
descansa sobre la coherencia logica
(por ej.: es imposible que este lloviendo y no este lloviendo
al mismo tiempo).
Posibilidad conceptual: se apoya en la coherencia
conceptual de los terminos

(por ej.: es imposible que una
de
persona casada este soltera -atendiendo a la definicion
cada uno de estos terminos-).
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
(III)
Posibilidad teorica:
descansa sobre la consistencia de las
leyes de la naturaleza (por ej.: es imposible que un planeta
carezca de gravedad -a partir de los conocimientos actuales de la Fsica-).
a algun
Posibilidad practica:
se presenta en relacion
agente (por ej.: es imposible poder levantar a pulso un
objeto de una tonelada de peso).
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
(IV)
I Veamos algunos ejemplos para precisar que entendemos por
posibilidad logica:
- Pensemos en un perro dormido junto a una piedra.
Cuestiones sobre el perro:
1
Esta ladrando?
Podra ladrar?
NO (de hecho no lo esta haciendo).
SI (es una posibilidad practica).
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
(V)
Cuestiones sobre la piedra:

1
Esta ladrando?
NO (de hecho no lo esta haciendo).
Podra ladrar?
NO (es una imposibilidad practica).
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
(VI)
I Veamos ahora algunos ejemplos para precisar
que entendemos por necesidad logica:
- Pensemos en el numero
de planetas del sistema solar: de
hecho son 9, pero no necesariamente tienen que ser 9 (es una
posibilidad practica).
- Pensemos en la siguiente identidad: 4+5=9 (en base 10), y
necesariamente tienen que ser 9 (es una necesidad logica).
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
(VII)
Algunas proposiciones necesarias logicamente:
Proposiciones comunes de las Matematicas:

2+2=4, la
suma de los angulos

de un triangulo
(en un espacio
eucldeo) es 180 grados.
Verdades logicas:
llueve o no llueve (en un cierto lugar y
para cierto instante); cada cosa es identica

a s misma
(en un cierto instante).
Proposiciones modales propiamente dichas: lo que es
necesario y no vaco, obviamente es posible que ocurra.
Las consecuencias logicas

de las definiciones: todo lo
que es verde tiene color; todo soltero (en un cierto
instante) es no casado (en ese mismo instante).
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
(VIII)
estrechamente
Las modalidades aleticas
indicadas estan
relacionadas, de hecho tomando una cualquiera de ellas, las
restantes son reducibles a esta.

Por ejemplo, tomando como
primitiva es necesario p:
Es innecesario p: equivale a no es necesario p.
Es contingente p: equivale a no es necesario no-p y no
es necesario p.
Es posible p: equivale a no es necesario no-p.
Es imposible p: equivale a es necesario no-p.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Logica
modal aletica
proposicional (I)
- Simbolicemos lo anterior (por comodidad tomaremos como
primitivos el operador de necesidad y el operador de posibilidad
p:
Sea la proposicion
Operador
Necesariamente p
Posiblemente p
Contingentemente p
Simbolizacion
p
p
p p
de los operadores primitivos:

- Interdefinicion
p =def p: necesariamente p = no es posible no-p
p =def p: posiblemente p = no es necesario no-p
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Logica
modal aletica
proposicional (II)
entre proposiciones modales:
- Relaciones de oposicion
de oposicion
valida
para relaciones de
* [Relacion
solo
accesibilidad no vacas.]
(ambas no pueden ser simultaneamente
Contradiccion
verdaderas ni tampoco falsas):
Necesario/innecesario: p/p.
Posible/imposible: p/p.
Contrariedad (ambas no pueden ser simultaneamente

verdaderas pero s falsas) :
Necesario/imposible: p/p.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Logica
modal aletica
proposicional (III)
Subcontrariedad (ambas no pueden ser simultaneamente

falsas pero s verdaderas) :
Posible/innecesario: p/p.
(la verdad de la primera implica la de la

Subalternacion
segunda, pero no viceversa) :
Necesario/posible: p/p.
Imposible/innecesario: p/p.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Lenguaje modal aletico

proposicional (I)
El lenguaje de la logica
modal proposicional es una ampliacion
del de la logica
clasica
proposicional, y consta de:
Un conjunto de variables proposicionales, que se
representan mediante las letras p, q, r,...
Un conjunto de conectivas proposicionales:
Smbolo
Lenguaje natural
No
O
Y
Si..., entonces...
si...
...si y solo
Enrique Sarrion
Anton
Denominacion
Negador
Disyuntor
Conjuntor
Condicionador
Bicondicionador
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Lenguaje modal aletico

proposicional (II)
Un conjunto de operadores modales:

Smbolo
Lenguaje natural
Posiblemente
Necesariamente
Denominacion
Operador de posibilidad
Operador de necesidad
Un conjunto de signos auxiliares: (, ), [, ], {, },...
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Sistemas logicos
modales proposicionales
los sistemas modales que captan los
Son de especial interes
principios siguientes:
1 (Sistema T) Lo que es necesario, es el caso.
p:
Simbolicamente,
para cada proposicion
p p.
2
(Sistema S4) Lo nesario, necesariamente es necesario.
p:
Simbolicamente,
p p.
(Sistema S5) Lo posible, necesariamente es posible.
p:
Simbolicamente,
p p.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Metateora de los sistemas modales aleticos

proposicionales
Propiedades metateoricas
de la logica
modal aletica
proposicional:
Expresividad.
Correccion.
Completitud.
Decidibilidad.
Bisimilaridad de la logica
modal proposicional con un
fragmento propio de la logica

clasica
de primer orden.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Sistemas logicos
modales de primer orden
Obviamente, para algunos propositos

es necesario que el nivel
de analisis
sea mayor y se pueda descomponer la estructura
de modo que se puedan distinguir individuos
de la proposicion
y funciones / predicados / relaciones sobre ellos.
Tendramos, de este modo, una logica

modal de primer orden.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
La familia de las logicas

modales(en sentido amplio)
Logica
modal
Aletica
Deontica
Epistemica
Doxastica
Temporal
Smbolo
A
^A
OA
PA
FA
Kx A
Bx A
GA
FA
HA
PA
Lenguaje natural
Necesariamente A
Posiblemente A
Es obligatorio A
Esta permitido A
Esta prohibido A
x conoce A
x cree A
Siempre sera A
Sera A
Siempre ha sido A
Ha sido A
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Por que es importante la Logica

Modal?
Algunas aplicaciones importantes de Logica

Modal:
Logicas
deonticas:
uso en sistemas expertos jurdicos.
de los
Logicas
de la demostrabilidad: investigacion
fundamentos de las Matematicas.
Logicas
epistemicas
dinamicas:
desarrollo de una logica
de protocolos incondicionalmente seguros.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
de semantica
Nocion
Se llaman semanticas
las relaciones entre el lenguaje o el
pensamiento, de una parte, y las situaciones del mundo/de
los mundos a las que se refiere, de otra.
En Logica
Modal hacemos uso de la semantica
de mundos
posibles.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
de semantica
Nocion
mundos posibles aparece como metafora
La expresion
filosofica.
La semantica
de los mundos posibles permite establecer
relaciones entre las proposiciones y los modos del ser.
Mediante esta semantica

se pueden interpretar los distintos
operadores modales.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
de mundos posible (I)

Origen de la nocion
(concepto de
Aparece en el Siglo de Oro espanol
possibile mundos en Luis de Molina), como teora de los ordines rerum.
Leibniz retoma la idea: considera la posibilidad de otros
mundos distintos de este

y habla del mejor de los mundos
posibles.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
de mundos posible (II)

Origen de la nocion
60 del siglo XX se desarrolla con los trabajos
En los anos
de:
Jaako Hintikka, a partir de sus estudios de una logica

del
conocimiento y la creencia.
2 Saul Kripke, quien propone la metafora

y sienta las bases
para los diversos sistemas de logica
de esta interpretacion
modal.
1
En la actualidad ha adquirido un caracter

interdisciplinar y
se convierte en instrumento conceptual en una diversidad
de disciplinas (Logica,
Ontologa, Epistemologa,
stica, etc.).
Lingu
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Semantica
y verdad
De entre las teoras de la verdad (por ej.: teora de la
correspondencia, teora de la coherencia, teora pragmatica,
aceptada es la teora
teora dialogica...),
comunmente
la mas
de la correspondencia, de acuerdo con la cual:
1
Decir de lo que es que no es y de lo que no es que es, es

la falsedad; pero decir de lo que es que es y de lo que no
es que no es, es la verdad (Aristoteles)
del
La verdad es adequatio intellectus et rei adecuacion
de Aquino)
intelecto y la realidad (Tomas
Verdad es acuerdo del pensamiento con su objeto (Kant)
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Verdad y modalidad (I)
- Si esta lloviendo y se afirma Puede llover, es verdadero?
- Si se afirma Es contingente que llueva, es verdadero o

falso?
es su valor de verdad?
- Si se enuncia Tiene que llover, cual
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Verdad y modalidad (II)

Para juzgar la verdad o falsedad de las proposiciones modales
se apela a la semantica
de los mundos posibles:
si llueve en al menos
Puede llover es verdadero si y solo
un mundo posible (es decir, accesible desde el punto de
vista del observador).
si llueve
Es contingente que llueva es verdadero si y solo
mundo posible y no llueve en algun
(otro) mundo
en algun
posible (entendiendo mundo posible como mundo
accesible desde el punto de vista del observador).
Tiene que llover sera verdadero si llueve en todos los
mundos posibles (es decir, en todos los mundos
accesibles para el observador)
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Semantica
de la logica
clasica
proposicional
clasica
En la interpretacion
a cada variable se asigna un valor
de verdad: V (verdadero) o F (falso). Valor de verdad alude al
o bien verdadera o bien falsa
hecho de ser una proposicion
p
V
V
F
F
q
V
F
V
F
p
F
F
V
V
q
F
V
F
V
Enrique Sarrion
Anton
pq
V
F
F
F
pq
V
V
V
F
pq
V
F
V
V
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Proposiciones y mundos
Un modelo es una clase que consta de mundos (o estados) posibles,
(con determinadas
entre los cuales se da una relacion
simple p sera V o
caractersticas, conocidas o no). Cada proposicion
F en cada mundo del modelo. Por ejemplo, p en el mundo m1 es V,
aunque p en el mundo m2 sea F. Supongamos que m1 se relaciona
y cada uno consigo mismo), entonces:

con m2 (y este
con aquel,
En m2 , p es V , pues p es V en un mundo relacionado con m2
(a saber, en m1 )
En m2 , p es F, pues en el propio m2 es F y m2 se relaciona
consigo mismo
p p es F en todos los mundos; p p es V en todos los
mundos, as que en cada mundo (p p) es V e igualmente
en cada mundo ((p p)) es V.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Relaciones entre mundos

Dado un modelo, en cada mundo las conectivas se interpretan
como en Logica
Clasica.
Para los operadores modales hemos
de tener en cuenta como

se relacionan los mundos; a este
respecto nos podemos encontrar distintas posibilidades:
1
entre
No se conocen caractersticas de la relacion
mundos.
es reflexiva: cada mundo se relaciona consigo

La relacion
mismo.
es simetrica:
La relacion
si un mundo se relaciona con
otro, entonces este

se relaciona con el primero.
es transitiva: si un mundo se relaciona con otro

La relacion
y este
con un tercero, entonces el primero se relaciona
con el tercero.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
de proposiciones
Valoracion
de una proposicion
en un mundo, el
En la valoracion
observador considera posibles justamente aquellos

que estan
relacionados con el mundo desde el que observa. Dado un
p:
modelo y una proposicion
si existe al menos un m0
p es V en m si y solo
relacionado con m tal que p es V en m0 .
si para todo m0 relacionado con m
p es V en m si y solo
se verifica que p es V en m0 .
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Contextos modales
Dada la clase de mundos posibles, son redefinibles algunas
nociones logicas
fundamentales. En cada mundo, dos
proposiciones p y q son:
1
si su conjuncion
es posible (es
Consistentes: si y solo
decir, (p q) es V).
si necesariamente una de ellas es

Inconsistentes: si y solo
F (es decir, (p q) es V).
si no son posibles su conjuncion
Contradictorias: si y solo
de sus negaciones (es decir,
ni la conjuncion
(p q) (p q) es V).
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Clases de mundos posibles normales

Principio de normalidad: si necesariamente una premisa
entonces la necesidad de la premisa
implica una conclusion,
simbolicamente,
implica la necesidad de la conclusion;

es
valida
(es decir, V en todos los mundos) la formula
(llamado el
axioma K):
(p q) (p q).
Ello equivale a decirque la clase de mundos que es normal no
contiene mundos imposibles. En las clases de mundos no
normales puede haber mundos imposibles (donde, por
ejemplo, hay crculos cuadrados, seres humanos que estan

vivos y muertos al mismo tiempo, etc.)
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Logicas
modales y mundos
Se han establecido sistemas de logica

modal normal, con
semantica
de mundos posibles, que captan los principios
interesantes que se mencionaron. Se nombran con letras: una
logica
modal normal es denominada:
1
si capta lo necesario es el caso; por

T (o KT ), si y solo
entre los mundos es reflexiva.
lo tanto, la relacion
si capta lo necesario
S4 (o KT 4), si y solo
necesariamente es necesario; por lo tanto, la relacion

es reflexiva y transitiva.
si capta lo posible,
S5 (o KTB4), si y solo
es reflexiva,
necesariamente es posible; la relacion
de equivalencia).
simetrica
y transitiva (relacion
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
de accesibilidad
Relacion
entre mundos es denominada relacion
de
La relacion
accesibilidad: un mundo puede ser o no accesible desde
s mismo, desde otro, hacia otro, etc. Al decir p es V en el
mundo m se entiende que:
1
En T , p es V en los mundos accesibles desde m que son
los mundos posibles desde el punto de vista de m (solo

esta garantizado que m esta relacionado consigo mismo).
En S4, p es V en los mundos accesibles desde m y en los

accesibles desde los accesibles en el paso anterior, etc.
En S5, p es V en los mundos accesibles desde m, en los
accesibles desde los accesibles, etc., y en aquellos

desde
sentido se elimina
los que es accesible m, etc. en algun
de los puntos de vista.
en este caso la complicacion
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
de los mundos
Especificacion
Un mundo posible se especifica (o caracteriza) mediante
proposiciones. Sean tres proposiciones verdaderas del mundo
real: Hay perros (p), Hay flores (q) y No existen unicornios
(r). Existen otros mundos posibles, veamoslos:

Mundo
1 (real)
2
3
4
5
6
7
8
Proposiciones
p, q, r
p, q, r
p, q, r
p, q, r
p, q, r
p, q, r
p, q, r
p, q, r
Enrique Sarrion
Anton
Valores
V, V, V
V , V, F
V , F, F
F, V, F
F, F, F
F, V, V
V , F, V
F, F, V
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Contenidos de los mundos posibles
La logica
modal proposicional permite especificar mundos,
pero es insuficiente si queremos entrar en la estructura de los
mundos. En general, un mundo puede estar intergrado por:
1
Entidades particulares: objetos (en sentido amplio), tales

como cosas, personas, incluso eventos, acontecimientos,
entes abstractos...
Universales: rasgos, atributos, propiedades, cualidades,
etc. Se agrupan en:
Monadicos:
propiedades sencillas (por ejemplo: ser
humano, caminar, ser de color verde, etc.)
2 Poliadicos:
relaciones (por ejemplo: ser mayor que,
odiar, estar entre, etc.).
1
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
de los mundos
Concepcion
como
amueblados:
Se conciben los mundos segun
esten
Los particulares del mundo real pueden estar en cada
mundo, con distintas propiedades o relaciones. En el
mundo real, Cesar

vence a Pompeyo y es asesinado por
Bruto; en un mundo (ficticio) distinto, tal vez Pompeyo
vence a Cesar
y este
es salvado por Bruto.
Cada mundo pueden tener un conjunto propio de
particulares: en un mundo (ficticio), en que existe Roma,
tal vez no existen Pompeyo, ni Cesar,

ni Bruto.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Literatura y trasfondo ontologico
La semantica
de los mundos posibles se puede emplear para
el analisis
del trasfondo ontologico
de diversos generos
literarios (por ejemplo: la novela historica):

Los particulares (es decir, los objetos en sentido amplio)
en el mundo creado por la novela
del mundo real estan
como
(los nombres de tales particulares actuaran
designadores rgidos).
Tal vez en el mundo creado hay otros particulares.
Las propiedades y/o relaciones pueden ser distintas en el
mundo creado en la novela de como son en realidad.
La verosimilitud de lo narrado estara ligada a la
de ese mundo posible.
caracterizacion
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Verdad y ficcion
se esta creando un mundo posible:
En cada obra de ficcion
El texto contiene (o se derivan del mismo) un conjunto de
proposiciones que especifican un mundo.
Los universos literarios son mundos posibles,
del propio texto.
cognoscibles a traves
(relativa a
En cada uno de estos mundos una proposicion
lo acontecido en el mismo) es V o F: en la novela de
Umberto Eco El nombre de la rosa, Fray Jorge de Burgos
es F, aunque en otro mundo posible (que podra
es ingles
haber sido el descrito por Eco) tal vez sea V de ah que
se pueda considerar que Fray Jorge de Burgos es
sea V.
ingles
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Lo imaginario y los mundos posibles
Imaginario , imposible La obra La metamorfosis (de Kafka)

comienza:
intranquilo, Gregorio Samsa se

Una manana,
tras un sueno
desperto convertido en un monstruoso insecto....
Se esta creando un mundo imposible?
Es un mundo imaginario, donde no rigen ciertas leyes
naturales, pero es un mundo posible.
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Mundos imposibles
En algunos casos, se puede considerar que en una obra de
el narrador hace estipulaciones que presenta como
ficcion
mundo real, y el lector descubre un nuevo mundo real y un
conjunto de mundos posibles como satelites

del estipulado por
el autor como mundo real. Pero el argumento puede llegar a
presuponer mundos imposibles, mundos en los que:
No se cumple el principio de normalidad.
No se cumplen leyes logicas

basicas.
Se puede decir que en los mundos imposibles, hallamos
individuos imposibles (hay que aclarar que un ser humano que
pueda levantar a pulso 1000 kg. no es un sujeto fsicamente
posible, pero estara en un mundo posible; un sujeto imposible
sera el que tiene y no tiene cierta caracterstica
simultaneamente).
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Mundos representativos
Los universos literarios como mundos posibles ofrecen
elementos a la crtica literaria:
Puede una novela constituir (o representar) una situacion

real?
(de accesibilidad) entre el mundo real y un mundo
La relacion
posible creado en una novela, explica esa representatividad:
los sujetos de los dos mundos son distintos, pero se destacan
en el mundo posible literario propiedades/relaciones muy
reales [se podra ir del mundo real al mundo literario
facilmente].
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

sobre la Logica
Clasica
Que es la Logica
Semantica
Esto ha sido todo,

amigos!
Enrique Sarrion
Anton
Clasica.
Introd. a la Logica
Modal

Introd.L.nocl - y L.modal

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Introd.L.nocl - y L.modal

Diunggah oleh

Hak Cipta:

Format Tersedia

Una mirada a vista de pajaro

Extensiones de la Logica Clasica. Introduccion a

Taller formativo sobre Logica

Sevilla, 14 de junio de 2012

Una mirada a vista de pajaro

Una mirada a vista de pajaro

Morillo, Ignacio Hernandez

Una mirada a vista de pajaro

(que, como todas las que conozco, tiene

estudio de los distintos metodos

Morillo, Ignacio Hernandez

Una mirada a vista de pajaro

Veamos una definicion

Morillo, Ignacio Hernandez

Una mirada a vista de pajaro

Encontrar criterios historicos

Morillo, Ignacio Hernandez

Una mirada a vista de pajaro

habitualmente consideramos dentro del ambito

de los juicios modales:

Morillo, Ignacio Hernandez

Una mirada a vista de pajaro

Por supuesto, es la Logica

Morillo, Ignacio Hernandez

Una mirada a vista de pajaro

- Ante la ausencia de un criterio puramente historico,

aquello a lo que nos referimos con la expresion

la Universidad de Sevilla en la asignatura llamada Logica

Una mirada a vista de pajaro

diferentes caractersticas metateoricas

Una mirada a vista de pajaro

usa el implicador material y el disyuntor estandar,

Morillo, Ignacio Hernandez

Una mirada a vista de pajaro

Finalmente, podemos caracterizarla estructuralmente, es

decir, dar una serie de propiedades metateoricas

como reglas estructurales en una notacion

sencuentes, las cuales son en conjunto una condicion

necesaria y suficiente para que un sistema de logica

Morillo, Ignacio Hernandez

Una mirada a vista de pajaro

Morillo, Ignacio Hernandez

Una mirada a vista de pajaro

Comentarios a las reglas anteriores:

Al estar presentadas en la notacion

(eventualmente vacas) de formulas,

letras A, B, C representan a una sola formula

Morillo, Ignacio Hernandez

Una mirada a vista de pajaro

En algunos textos se recoge una cuarta regla:

Sin embargo, Johan van Benthem ha demostrado que esta

Morillo, Ignacio Hernandez

Una mirada a vista de pajaro

Introduciendo diferentes niveles de analisis

distintos niveles -es decir, tanto a la logica

como a las logicas

Incorporando o no en el conjunto de smbolos logicos

Morillo, Ignacio Hernandez

Una mirada a vista de pajaro

extensiones de las logicas

nosotros vamos a considerar que en el ambito

satisfacen las anteriores reglas y ademas

Morillo, Ignacio Hernandez