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

Slides:



Advertisements
Presentaciones similares
Seminario: Consecuencia Lógica: modelos y hechos modales Prof. Eduardo Alejandro Barrio 1er cuatrimestre de 2005 Facultad de Filosofía y Letras, UBA.
Advertisements

Seminario: Consecuencia Lógica: modelos y hechos modales
Taller de Lógica Facultad de Filosofía y Letras, UBA. 2do cuatrimestre de 2006 Facultad de Filosofía y Letras, UBA.
Seminario: Expresividad semántica y lógica de segundo orden
Seminario: Teorías Formales de la Verdad
Seminario: Todo Prof. Eduardo Alejandro Barrio 1er cuatrimestre de 2006 Facultad de Filosofía y Letras, UBA.
Seminario: Interpretaciones y Modelos Conjuntistas Profesores Dr Alberto Moretti Dr Eduardo Alejandro Barrio 2do cuatrimestre de 2005 Facultad de Filosofía.
Seminario: Consecuencia Lógica: modelos y hechos modales Prof. Eduardo Alejandro Barrio 1er cuatrimestre de 2005 Facultad de Filosofía y Letras, UBA.
Seminario: Expresividad semántica y lógica de segundo orden Profesores Eduardo Alejandro Barrio y Javier Castro Albano 1er cuatrimestre de 2008 Facultad.
Introducción al Teorema de Gödel Eduardo Alejandro Barrio UBA - CONICET 2do Cuatrimestre de 2009 Eduardo Alejandro Barrio UBA.
Seminario: “Pensamiento y lenguaje”
Seminario: Expresividad semántica y lógica de segundo orden
Seminario: Paradojas, circularidad y universalidad expresiva Prof. Eduardo Alejandro Barrio 1er cuatrimestre de 2007 Facultad de Filosofía y Letras, UBA.
Seminario: Todo Prof. Eduardo Alejandro Barrio 1er cuatrimestre de 2006 Facultad de Filosofía y Letras, UBA.
Seminario: Expresividad semántica y lógica de segundo orden
Seminario: Paradojas, circularidad y universalidad expresiva Prof. Eduardo Alejandro Barrio 1er cuatrimestre de 2007 Facultad de Filosofía y Letras, UBA.
Seminario: Interpretaciones y Modelos Conjuntistas
Introducción al Teorema de Gödel
Taller Lógica Modal - Eduardo Barrio GAF - Grupo de Acción Filosófica Segundo Cuatrimestre de 2008.
Seminario: Semántica generalizada y cuantificación irrestricta Prof. Eduardo Alejandro Barrio 2do cuatrimestre de 2010 Facultad de Filosofía y Letras,
Seminario: Interpretaciones y Modelos Conjuntistas Profesores Dr Alberto Moretti Dr Eduardo Alejandro Barrio 2do cuatrimestre de 2005 Facultad de Filosofía.
Seminario: Consecuencia Lógica: modelos y hechos modales Prof. Eduardo Alejandro Barrio 1er cuatrimestre de 2005 Facultad de Filosofía y Letras, UBA.
Seminario: Expresividad semántica y lógica de segundo orden Profesores Eduardo Alejandro Barrio y Javier Castro Albano 1er cuatrimestre de 2008 Facultad.
Seminario: Todo Prof. Eduardo Alejandro Barrio 1er cuatrimestre de 2006 Facultad de Filosofía y Letras, UBA.
Seminario: Consecuencia Lógica: modelos y hechos modales Prof. Eduardo Alejandro Barrio 1er cuatrimestre de 2005 Facultad de Filosofía y Letras, UBA.
Introducción al Teorema de Gödel Eduardo Alejandro Barrio UBA - CONICET 2do Cuatrimestre de 2009 Eduardo Alejandro Barrio UBA.
Introducción al Teorema de Gödel Eduardo Alejandro Barrio UBA - CONICET 2do Cuatrimestre de 2009 Eduardo Alejandro Barrio UBA.
Lógica - Segundo Cuatrimestre 2008 Argumento de la Diagonal de Cantor Prof. Eduardo Alejandro Barrio Facultad de Filosofía y Letras, UBA.
Lógica - Segundo Cuatrimestre 2009 Argumento de la Diagonal de Cantor Prof. Eduardo Alejandro Barrio Facultad de Filosofía y Letras, UBA.
Abanico de conceptos Abanico de conceptos Objetivo Idea Idea Idea Idea
Algoritmos de Minería Los métodos básicos.
Saul Kripke ( m.j. García-Encinas ( )
ESTRUCTURA DE DECISION LOGICA
TEÓRIA DE CONJUNTOS.
CIDE Mg. Mirlena Villacorta O.
DEPENDE ¿de qué depende?
CAPITULO 2 La Representación del Conocimiento
Lógica Temporal. Tablas semánticas.
El Perceptrón  El psicólogo Frank Ronsenblant desarrolló un modelo simple de neurona basado en el modelo de McCulloch y Pitts que utilizaba.
L. Enrique Sucar/Eduardo Morales
Diagramas de Clase Angela Carrillo R..
TEMA 4 * 1º ESO LOS NÚMEROS ENTEROS
El Juicio 10 i Integrantes: Marly Liseth Fierro Buendía
18. Método Deductivo Jennifer Sànchez Piña.
Tipo de Datos Básicos.
ESTRUCTURA DE DECISION LOGICA
CLASIFICACION DE LOS JUICIOS
Campus Estado de México—Raúl Monroy Resolución, la regla de inferencia y el cálculo Raúl Monroy.
¿ INDUCCION MATEMATICA ?
EL CONOCIMIENTO CIENTÍFICO
(o lógica proposicional)
La Nueva Filosofía de la ciencia.
LÓGICA SIMBÓLICA SE HA ESTABLECIDO QUE EN EL PROCESO DEL RAZONAMIENTO LÓGICO, LA VERDAD SÓLO SE OBTIENE SI SE CUMPLEN DOS CONDICIONES: 1.- LAS PROPOSICIONES.
LAURA VELAZQUEZ MORELOS. Un postulado es una proposición que no es evidente por sí misma ni está demostrada, pero que se acepta ya que no existe otro.
Un algoritmo es un método en el que se define paso a paso la solución de un problema que termina en un número infinito de pasos. Un algoritmo es otro tipo.
5.2 Cálculo Diferencial e Integral de Una Variable.
Materiales para la clase de Historia de la Filosofía. Caty Rojas.
La medida del espacio: ¡Qué fácil es medir!
POSICIONES FILOSÓFICAS RESPECTO AL CONOCIMIENTO
@ Angel Prieto BenitoApuntes Matemáticas 1º ESO1 U.D. 4 * 1º ESO NÚMEROS ENTEROS Y DECIMALES.
Teorema de Gödel.
ALGORITMO QUE SUME 2 VALORES E IMPRIMA EL RESULTADO 1. Inicio 2. Inicializar variables A=0,B=0,C=0 3. Asignar valores a las variables A=20,B=50.
Más allá de los números: Un método personalizado: Gauss
 Inicio/Final Se utiliza para indicar el inicio y el final de un diagrama; del Inicio sólo puede salir una línea de flujo y al Final sólo debe llegar.
Principios logicos.
Los principios lógicos obedecen a la coherencia entre los elementos del pensamiento que requiere ciertas leyes o cimientos para pensar coherentemente.
M.C. Meliza Contreras González Unidad 1: Lógica, Conjuntos y Clases Tercera parte.
DEBAJO UN BOTÓN.
REGLAPP LAS REGLAS.
Regla 41.
Transcripción de la presentación:

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

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

(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

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.

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