La descarga está en progreso. Por favor, espere

La descarga está en progreso. Por favor, espere

Taller Lógica Modal - Eduardo Barrio GAF - grupo de acción filosófica Segundo Cuatrimestre de 2008.

Presentaciones similares


Presentación del tema: "Taller Lógica Modal - Eduardo Barrio GAF - grupo de acción filosófica Segundo Cuatrimestre de 2008."— Transcripción de la presentación:

1 Taller Lógica Modal - Eduardo Barrio GAF - grupo de acción filosófica Segundo Cuatrimestre de 2008

2 L(p L (q r)) M (q (Lp Mr) w0 Imposibilidad de que exista un modelo de E (Lp, w 0 ): 1 ssi E le asigna 1 a p en w 0 y en todo mundo accesible desde w 0. E (Mp, w 0 ): 1 ssi E le asigna 1 a p en w 0 y en algún mundo accesible desde w 0. es válida universalmente ssi es verdadera en todo mundo de toda estructura

3 (q r)) p M (q r)) (q (Lp Mr) p r w0 Método de Diagramas semánticos L(p M (q r)) M (q (Lp Mr) * L(p M (q r)) M (q (Lp Mr) * w1

4 Todos los mundos son accesibles desde sí mismos Modelo T El número de elementos en W (el número de mundos) puede ser infinito. La relación de accesibilidad es: reflexiva Axiomas de T (A4) LA A (reflexividad) (A5) L(A B) (LA LB) Método de Diagramas Semánticos Regla para poner asteriscos: Se pone un * por encima a cada L que tiene 1 por debajo y a cada M que tiene un 0 por debajo. Se pone un * por debao a cada L que tiene 0 por debajo y a cada M que tiene un 1 por debajo.

5 Reglas para un nuevo mundo -A: Si en un w aparece una L con un por encima de la L entonces debe asignársele 1 a en todos los w accesibles desde ese mundo.(incluyendo el propio mundo actual). -B: Si en un w aparece una M con un por encima de la M entonces debe asignársele 0 a en todos los w accesibles desde ese mundo (incluyendo el propio mundo actual). - C: Si en un w aparece una L con un por debajo de la L entonces debe existir un mundo accesible a w (el propio w o algún otro) en el que se le asigne a 0. - D: Si en un w aparece una M con un por debajo de la M entonces debe existir un mundo accesible a w (el propio w o algún otro) en el que se le asigne a 1. L (p v Mq) Lp v Mq p p v Mq q q w0 w1w2


Descargar ppt "Taller Lógica Modal - Eduardo Barrio GAF - grupo de acción filosófica Segundo Cuatrimestre de 2008."

Presentaciones similares


Anuncios Google