1 DEPENDE ¿de qué depende?Lógica II DEPENDE ¿de qué depende? Una Introducción a las Lógicas Intensionales por Axel Arturo Barceló Aspeitia

2 ¿Qué motivo el surgimiento y desarrollo de estas lógicas?El estudio lógico-formal de: Lo Necesario, lo Posible y lo Contingente La Implicación Estricta Los Contextos Opacos La Semántica Formal El Contexto

3 ¿A qué nos dedicamos en la lógica formal (proposicional)?Composicionalidad: Si sabemos el valor de verdad de todos los enunciados que forman parte de un enunciado complejo S, y Sabemos el significado de las conectivas lógicas que las relacionan Podemos conocer las condiciones de verdad de dicho enunciado S

4 Ejemplo sencillo: “O terminamos a tiempo, o nos quedamos sin cenar”Si sabemos si “terminamos a tiempo” y “nos quedamos sin cenar” son verdaderos o falsos Y sabemos qué significa la “o” en este enunciado Podemos saber si “O terminamos a tiempo, o nos quedamos sin cenar” es verdadero o falso

5 Pero hay casos más complicadosPara ellos se han desarrollado muchas herramientas lógicas Una de las más fuertes es la LOGICA INTENSIONAL

6 La Regla de Extensionalidad:P  Q P  Q R  S PR  QS

7 Sí son extensionales… Las Conectivas Clásicas: Y O No Además EntoncesEtc.

8 Son intencionales Las Modalidades Aléticas: NecesariamentePosiblemente Puede ser que Es posible que Es imposible que Etc. Se sigue que

9 Son intencionales Las Modalidades Contextuales: …y otras TemporalesEpistémicas Deónticas Reportes de lo que otro dice Etc. …y otras

10 Operadores modales intensionales contextualesTemporales: Ayer Hasta ahora, siempre Pasado mañana Desde ahora, para siempre Nunca Todos los días Etc.

11 Operadores modales intensionales contextualesEpistémicos: Creo que Por lo que yo sé, Según creo, Me late que Yo pienso que Juan cree que Etc.

12 Operadores modales intensionales contextualesDeónticos: Esta prohibido que Esta permitido que Obligatoriamente, Etc. Reportar lo que otro dice Juan dijo que Nadie ha dicho que

13 Los Pasos: 1. Determinar de que dependen, en general, el significado del tipo de operadores Por ejemplo, los temporales dependen del tiempo, los epistémicos, de lo que uno crea o sepa, etc. Los elementos que sean relevantes forman CONTEXTOS

14 Los Pasos: 2. Determinar en qué contexto se está hablandoCONTEXTO DE EMISIÓN

15 CONTEXTO (O CIRCUNSTANCIA) DE EVALUACIÓNLos Pasos: 3. Determinar, a partir del significado del conectivo en cuestión, cuál o cuáles son los contextos relevantes para saber si lo que se dijo es verdadero o falso CONTEXTO (O CIRCUNSTANCIA) DE EVALUACIÓN

16 Y eso es una lógica intensionalGracias Axel Arturo Barceló Aspeitia blog.myspace.com/drxl