Resumen-It is well known some limitations of propositional calculus when we try to capture linguistic modalities in it. In this work, we present a non-exhaustive survey of propositional epistemic logic as an extension of classical propositional calculus, in which we can formally capture the epistemic modality, “to know”. Further, we will emphasize some examples of formal proofs within a semantic and syntactic context, in order to realize the relationship between the concept of logical consequence and that of deduction. disciplina. En la Sección 3 presentaremos el lenguaje básico de la lógica epistémica proposicional y los modelos sobre los cuales son interpretadas las fórmulas. En la Sección 4 se exponen cuatro de los sistemas más relevantes en cuanto a que estos comparten ciertas propiedades como sistema. En la Sección 5 con toda la herramienta desarrollada hasta entonces se muestra una caracterización de la lógica epistémica proposicional y además se considera el problema de la omnisciencia lógica. Concluimos en la Sección 6.
E tiene sus limitaciones cuando intentamos capturar mo
S bien conocido el hecho de que el cálculo proposicional dalidades lingüísticas en él. Por ejemplo, las proposiciones son verdaderas o falsas, en otras palabras son o no son, y no es posible simbolizar que las cosas “se sabe que son” o “se considera posible que sean”. Podemos demostrar esta imposibilidad del cálculo proposicional para representar el que las cosas “se sabe que son” con un caso simple.
Consideremos las siguientes premisas 1. Janeth sabe conducir. 2. Si Janeth sabe conducir, entonces no será infraccionada.
Simbólicamente tenemos C y C ! :I. Ahora supongamos que Janeth fue infraccionada, simbólicamente I. Entonces tenemos una contradicción; por modus ponens de 1 y 2 obtenemos :I y por nuestra suposición tenemos I. Esto debería sorprender por que nuestras premisas son coherentes y las tradujimos directamente al lenguaje de la lógica proposicional. Lo que ocurre es que el cálculo proposicional es insuficiente a la hora de expresar algo que “se sabe que es”.
En este trabajo presentamos un estudio no exhaustivo de la lógica epistémica proposicional como una extensión del cálculo proposicional, en el cual es posible capturar formalmente la modalidad epistémica, “saber”. Además, enfatizaremos algunos ejemplos de pruebas formales dentro de un contexto semántico y sintáctico, con el fin de ilustrar la relación entre el concepto de consecuencia lógica y el de deducción. Por otro lado, será posible observar cómo algunos sistemas de la lógica epistémica proposicional se relacionan entre sí.
En la Sección 2 se apreciará la motivación para considerar el estudio de la lógica epistémica proposicional. También se abordará de manera general el desarrollo histórico de esta 2.
Aunque no nos damos cuenta o no hacemos un uso
consciente de «él», el conocimiento es de vital importancias
en la vida diaria, ya que mayormente realizamos cosas
relacionadas con lo que «conocemos» o «creemos», y aún
más importante tomamos decisiones en base a esto. Por
otro lado, sabemos que la lógica formal trata de estudiar
las condiciones en el que un raciocinio es válido o no. Así,
sería natural preguntarse si es posible dotar el concepto de
«conocimiento» con la formalidad que caracteriza la lógica
simbólica, y la respuesta sería afirmativa. Existe la lógica
epistémica, con la cual será posible clasificar nuestros
razonamientos acerca del conocimiento en válidos o inválidos.
Por otro lado, según Gómez-Caminero [
El objeto de la lógica epistémica es estudiar un tipo especial de contextos referencialmente opacos: aquellos en que se hace referencia al conocimiento que determinados agentes tienen de ciertos hechos como ocurre, por ejemplo, con las expresiones que tienen la siguiente forma: 1. a sabe que . 2. a sabe si . 3. a no sabe que . 4. a no sabe si . 5. Es posible, por lo que a sabe, que Donde a es un término de individuo y es una proposición.
Con «contextos opacos» ha de entenderse cuando el rol semántico de los términos singulares que aparecen ante algunos operadores no es exclusivamente el de referirse a algún objeto.
Otra interpretación de la justificación de esta lógica es la del análisis del «cambio de información»; un individuo tiene cierta información acerca del mundo, y esa información la consideramos como un todo, es decir, solo es significativa como un cúmulo, a este lo llamamos conocimiento, y en menor grado; creencia. El cambio de información pues al que se refiere esta concepción es la comunicación. Entonces, un estudio sistemático o formal de estos conceptos es posible a través de la lógica en cuestión.
Con esto y algunos otros aspectos fuera de los alcances de este estudio está resaltada la importancia de su consideración con miras a resultados puramente teóricos e importantes aplicaciones prácticas.
La lógica epistémica se concibió de una manera más “definida” en la edad media y se asentó sobre el objeto principal de estudio de la epistemología, el concepto del conocimiento. Esta lógica comenzó con los intentos por parte de Garlandus Compotista, un lógico medieval de la escuela de Liège del Siglo XI, y Pierre Abélard, un filosofo escolástico medieval, de definir una concepción epistemológica de la implicación proposicional.
Gracias a los trabajos de Walter Burley, un lógico y filosofo escolástico inglés, y William de Ockham, fraile franciscano, lógico, filósofo y escolástico inglés, la disciplina se desarrollo más notablemente a principios del siglo XIV.
Alrededor del año 1330 la historia daba lugar al surgimiento de reglas generales para la implicación proposicional epistémica, reflexiones tratadas en trabajos como On Consequences y On Knowing and Doubting de Peter de Mantua y, más claramente, en Consequentie de Ralph Strode. Anticipado ya en el Órganon por Aristóteles, las construcciones de dicto-de re fueron redescubiertas por los “académicos” medievales mientras se investigaba la relación entre la verdad de saber, creer y tener fe. Aun más, contemplaron inferencias tales que su validez dependía de las modalidades epistémica-doxástica.
La investigación y concepción moderna de esta lógica, es decir, con el tratamiento formal, fue debida a Von Wright con su trabajo titulado An Essay on Modal Logic, obra en la cual se limita al caso «se sabe que. . . », o de otra manera, el caso de un único agente o individuo que posee conocimiento. Jaakko Hintikka es el que daría más tarde el tratamiento semántico formal en Knowledge and Belief, an Introduction to the Logic of Two Notions.
La lógica epistémica proposicional (LEP) es solo un caso específico de un sistema más amplio, la lógica modal proposicional, la cual es en stricto sensu el estudio de la sintaxis y la semántica de las modalidades que modifican la verdad de un enunciado. Estas son las llamadas modalidades aléticas. Es decir, esta categoría analiza conceptos como «necesidad», «posibilidad», «contingencia» y «realidad». La lógica modal tiene otras categorías, no aléticas, donde se estudian otros tipos de modalidades, los cuales son; las deónticas, que incluyen operadores como «obligatorio», «permitido» y «prohibido»; las temporales, resultado de la aplicación de diversos tiempos verbales, con los operadores «siempre será el caso», «será el caso», «siempre ha sido el caso» y «alguna vez fue el caso»; las actitudinales que agregan los operadores como «saber», «creer», «cuestionar», «desear», etcétera, operadores tales que denotan la relación entre un sujeto pensante y un enunciado.
Es en la última categoría es donde se encuentra nuestro objeto de estudio y es esta misma que se subdivide en dos clases más, la epistémica y la doxástica, las cuales son las lógicas del saber y del creer respectivamente. Aquí en contraste con los operadores lógicos como la conjunción o la disyunción, los cuales al relacionar dos fórmulas da lugar a una nueva, los operadores actitudinales conectan una constante lógica (en el caso de un solo agente) con una fórmula, lo que da lugar a una nueva. Nuestra presentación se centrara en el operador epistémico «saber».
Como se vera más adelante, existen varios sistemas axiomáticos para la lógica epistémica proposicional, los cuales solo difieren en el conjunto de axiomas que contemplan, por lo tanto, en general, puede ser definido un sistema axiomático en el cual dependiendo de las necesidades de representación podemos alternar entre sistemas tan solo con cambiar el conjunto de axiomas.
Con todo esto, la representación formal o simbólica del operador epistémico, «saber», será «K». Por otro lado, consideraremos el dual del operador epistémico «K» que puede ser definido a partir del operador K como Ka
() :Ka: ; que se interpreta equivalentemente de las siguientes formas: «Con lo que a sabe, es posible que », «Con lo que a sabe, no está descartada», «a no sabe si : » o «a considera posible que ». Consideremos algunos ejemplos de enunciados y sus respectivas representaciones simbólicas: 1. Judas sabe que está traicionando a Jesús: Kj T . 2. Pedro sabe que no merece morir como Jesús: Kp:M . 3. Por lo que Caín sabe, es posible que Abel sea el preferido: KcP () :Kc:P . 4. Eva no sabe si la serpiente no dice la verdad: KeV () :Ke:V .
Al ser la lógica epistémica proposicional una extensión de la lógica clásica, esta hereda los operadores lógicos de la última. Es decir, en la fórmula
Ka ; el símbolo puede ser una fórmula atómica proposicional, de la lógica clásica, o puede ser una fórmula molecular de esta misma, por ejemplo: 1. Una fórmula atómica sería: “Prometeo robó el fuego de los dioses”, simbolizada F. Al igual que en los ejemplos anteriores lo son las variables proposicionales T , M , P y V . 2. Una fórmula molecular sería: “Prometeo robó el fuego de los dioses y las artes de Hefesto y Atenea”, simbolizada (F ^ A).
Teniendo lo anterior podemos simbolizar proposiciones tales como: 1. Pilato no sabe si liberar a Jesús o liberar a Barrabás: :Kp(J _ B). 2. Blake sabe que caer en el exceso implica obtener sabiduría: Kb(E ! S). 3. Baudelaire sabe que en las etéreas regiones de la verdadera poesía no existe el mal y tampoco el bien: Kb:M ^ Kb:B.
Para terminar con esta sección podemos afirmar que una fórmula bien formada de la lógica epistémica proposicional está definida de la siguiente manera (el lector encontrara una definición formal en secciones posteriores).
Informalmente, sea P 6= ; el conjunto de fórmulas atómicas proposicionales, es decir, de la lógica proposicional y A un conjunto de agentes. Entonces son fórmulas bien formadas las derivadas solo de las siguientes reglas: 1. Si p 2 P , entonces p es una fórmula bien formada. 2. Si es una fórmula bien formada, entonces : es una fórmula bien formada. 3. Si , es una fórmula bien formada, entonces es una fórmula bien formada, donde puede ser cualquier conector lógico de la lógica proposicional. 4. Si es una fórmula bien formada, entonces Ka y Ka es una fórmula bien formada.
En adelante se usarán indistintamente los términos fórmulas y fórmulas bien formadas, dado que estas son las únicas que nos interesan.
El enfoque más simple a la lógica epistémica proposicional es tal vez ver que es un tipo de lógica modal, la cual a su vez es una extensión de la lógica proposicional, con una semántica análoga a la que se utiliza en los conceptos de posibilidad y necesidad de la lógica modal. Por lo tanto, al igual que en esta, las fórmulas en la lógica epistémica son interpretadas en un modelo de Kripke.
Para entender qué es un modelo de Kripke, comencemos por lo básico. Una semántica de mundos posibles es un conjunto de métodos utilizados para analizar una amplia variedad de fenómenos intencionales, entre los cuales se encuentra la modalidad. Uno de estos métodos es la semántica de Kripke.
Definición 3.1. Para un sistema de LEP con un solo agente a, una estructura F , consiste en un par (W; Ra), donde W es un conjunto no vacío de mundos posibles y Ra es una relación binaria de accesibilidad respecto a a sobre W , es decir, Ra W W .
El significado que adquiere la relación de accesibilidad se verá más claramente cuando se den algunos ejemplos concretos.
Definición 3.2. Una modelo M para un sistema epistémico es un par (F ,Vwj ), donde Vwj es una aplicación de verdad en wj 2 W con j 2 J y J probablemente infinito, tal que Vwj : P ! P(W ), es decir, p 7! Wi o V ( ) = Wi, donde P denota el conjunto de fórmulas atómicas de la lógica clásica proposicional y P(W ) es el conjunto potencia de W . A su vez Wi 2 P(W ), es el conjunto de mundos posibles donde las proposiciones en P son verdaderas.
El modelo M , explicado anteriormente, corresponde a un modelo de Kripke y la semántica que resulta de este modelo se le conoce como semántica de Kripke. Definición 3.3. Dado un modelo de Kripke M una fórmula atómica proposicional, p 2 P , es verdadera en un mundo w que está en M , si y solo si, w está en el conjunto de los mundos posibles asignados a p mediante V . Simbólicamente: (M ; w) j= p () w 2 V (p): La notación (M ; w) j= p se lee “(M ; w) satisface p”. En otras palabras, esto significa que p es verdadera en el mundo w que está en M .
La semántica para los conectores de Boole está dada la siguiente manera: Dado un modelo M sean y fórmulas de LE , entonces: 1. (M ; w) j= : () (M ; w) 6j= . 2. (M ; w) j= ^ () (M ; w) j= y (M ; w) j= . 3. (M ; w) j= _ () (M ; w) j= o (M ; w) j= . 4. (M ; w) 6j= ! () (M ; w) j= y (M ; w) 6j= .
De manera similar, dado un modelo M , una fórmula Ka es verdadera en un mundo w, si y solo si, para todo w0 en W , si Ra(w; w0), entonces (M ; w0) j= . Simbólicamente: (M ; w) j= Ka () 8w0 2 W; Ra(w; w0) =) (M ; w0) j= :
Por último, sea M un modelo. Una fórmula Ka es verdadera en un mundo w, si y solo si, existe un w0 en W , tal que Ra(w; w0) y (M ; w0) j= . Simbólicamente: (M ; w) j= Ka () 9w0 2 W; Ra(w; w0) y (M ; w0) j= :
Todo lo anterior nos permite ahora definir formalmente el concepto de tautología.
Definición 3.4. Una fórmula es una tautología, si y solo si, es cierto en todos los mundos w en todos los modelos M . Cuando es una tautología escribimos j= .
Las definiciones de verdad para el operador epistémico y su dual tal vez sean las más complicadas de comprender, pero lo esencial de estas es; que en la primera, se dice que un agente a sabe una cierta afirmación en alguna actitud o disposición o circunstancia del agente, es decir en (M ; w), si y solo si esa afirmación es cierta en todos los mundos que él considera posibles, dado w; y en la ultima, un agente a considera posible una cierta afirmación en alguna actitud o disposición o circunstancia del agente, es decir en (M ; w), si y solo si esa afirmación es cierta en algún mundo que él considera posible, dado w.
Con el objeto de adquirir una mayor comprensión sobre semántica de Kripke, ilustraremos lo anterior con algunos sencillos ejemplos: Ejemplo 3.5. Supongamos que tenemos tres cartas cara abajo sobre una mesa, el rey, la reina y la sota. María puede tomar una para ella y las demás cartas se quedan en la mesa. El propósito es encontrar a la reina. En este caso fácilmente podemos ver que los mundos posibles, wi, son como se muestra en el siguiente diagrama de estado: w2 w6 w3 w5
TK ; MQ;J w1 w2
TQ; MK;J donde Ti significa que «María tiene la carta i» y Mi;j , «Las cartas i y j están sobre la mesa». Entonces, los mundos donde María no tiene la reina serían w1 y w3. Simbólicamente, Vw1 (:TQ) = fw1; w3g, lo cual esta en concordancia con la definición de verdad para una fórmula de este tipo. Las flechas en el diagrama anterior denotan la relación de accesibilidad en el modelo de Kripke. Particularmente observamos en el ejemplo anterior que el mundo w3 es accesible al mundo w1 (y obviamente a sí mismo), mediante una relación de indiferenciabilidad, lo cual es intuitivo, ya que si María no tiene la reina, entonces o puede tener el rey o puede tener la sota. Por otro lado, ningún mundo está “conectado” a w2 por que María solo sabe que no tiene la reina, por lo tanto no puede estar en w2, entonces Vw1 (TQ) = w2, es decir, es falso por definición.
Digamos que María no toma la carta de la reina, entonces: (M ; w1) j= Km:TQ, (M ; w1) j= Km:MK;J , (M ; w1) j= :KmMQ;J , y como María solo sabe que no tomó la reina, (M ; w1) j= Km(MK;Q _ MQ;J ).
Es decir, una flecha que va de un mundo wi a otro wj , o a sí mismo, en los diagramas de estado, se puede leer como: “Con lo que el agente a sabe y teniendo en cuenta que se está en el mundo wi, bien se podría estar en el mundo wj ”.
Esta explicación de modelo de Kripke fue intuitiva, ahora tomaremos en cuenta totalmente las definiciones que hemos dado anteriormente para demostrar algunas afirmaciones dadas.
Tenemos principalmente que (M ; w1) j= Km:TQ, es decir, Km:TQ es verdad en w1. En primer lugar con el diagrama de estado tenemos que
R = f(w1; w3); (w3; w1); (w1; w1); (w3; w3); (w2; w2)g: En este caso, desde w1 es accesible w1 y w3 ya que (w1; w3), (w1; w1) 2 R y por lo tanto tenemos que (M ; w1) j= :TQ y (M ; w3) j= :TQ, en palabras, para todo mundo que esta relacionado con w1, :TQ es verdad, entonces por definición tenemos que (M ; w1) j= Km:TQ.
Por otro lado probemos que (M ; w1) j= Km(MK;Q _ MQ;J ). Desde w1 es accesible w1 y w3 ya que (w1; w3), (w1; w1) 2 R, entonces tenemos que se tiene que cumplir (M ; w1) j= (MK;Q _ MQ;J ) y (M ; w3) j= (MK;Q _ MQ;J ), pero por definición se tiene que (M ; w1) j= (MK;Q) o (M ; w1) j= (MQ;J ) lo cual se cumple, y también (M ; w3) j= (MK;Q) o (M ; w3) j= (MQ;J ) que igualmente se cumple. Por lo tanto, (M ; w1) j= Km(MK;Q _ MQ;J ).
Ejemplo 3.6. Imaginemos un saco y una caja. La caja contiene tres canicas; una blanca, una gris y una negra. Julia puede tomar una para ella, una se queda en la caja y la restante va al saco de canicas (sin verla). En este caso tenemos los siguientes mundos posibles.
TB; CN
TG; CB
TG; CN w4 w1
TB; CG
TN ; CG
TN ; CB
Digamos que Ti significa «Julia tiene la canica i» y Ci significa «La canica i está en la caja», por ejemplo: los mundos donde Julia tomó la canica negra serían w5 y w6. De manera simbólica, Vw5 (TN ) = fw5; w6g.
Supongamos que Julia toma la canica negra, entonces: (M ; w5) j= Kj TN , (M ; w5) j= Kj :CN , (M ; w5) j= :Kj :CB, y como realmente Julia solo sabe qué color tomó ella, (M ; w5) j= Kj (CB _ CG):
Al igual que en el ejemplo anterior , una flecha que va de un mundo wi a otro wj , en los diagramas de estado, se puede leer como: “Teniendo en cuenta que se está en el mundo wi, por lo que el agente a sabe, se podría estar en el mundo wj ” y esta denota la relación de equivalencia, es decir de indiferenciabilidad, en el modelo de Kripke.
Al igual que en el ejemplo anterior, esta explicación de modelo de Kripke fue intuitiva, ahora demostraremos algunas afirmaciones dadas, formalmente.
Demostremos que (M ; w4) j= Kj CN . En el diagrama de estado se puede observar que
R = f(w1; w1); (w2; w2); (w3; w3); (w4; w4); (w5; w5); (w6; w6); (w1; w2); (w3; w4); (w5; w6); g: Por lo tanto desde w4 es accesible w3 y w4 pero solo se cumple que (M ; w4) j= CN , es decir, se cumple al menos para w4, entonces por definición se cumple que (M ; w4) j= Kj CN .
De la misma manera se pueden demostrar las demás fórmulas en este ejemplo.
Los anteriores diagramas de estado son modelos de Kripke y como mencionamos anteriormente, estos son sobre los que interpretamos las fórmulas de la lógica epistémica.
Semánticamente hablando, para decir que una conclusión es válida (es decir, una tautología) en una argumentación, es necesario que esté en relación de consecuencia lógica con su conjunto de premisas. Si traducimos esto en términos del concepto de tautología, tenemos lo siguiente: Definición 3.7. Sea un subconjunto del conjunto de fórmulas de LEP, y una proposición de LEP, decimos que es consecuencia lógica de en LEP, si y solo si para todo modelo de Kripke M y todo mundo w 2 W se tiene que (M ; w) j= implica (M ; w) j= . Donde (M ; w) j= significa que (M ; w) j= , 8 2 .
En los ejemplos anteriores el conjunto solo contiene una premisa, a saber, María sabe que no tiene la reina y Julia sabe que tiene la canica negra, respectivamente.
La formalización de la lógica epistémica es posible a través de varios sistemas de axiomas, los cuales comúnmente toman como base un sistema, el cual se va ampliando sobre la base del anterior. En otras palabras, estos son extensiones de un sistema axiomático base. Es importante remarcar que los axiomas para cada sistema de LEP son simplemente formas generales que tienen las fórmulas, es decir, se obtiene una fórmula en este sistema axiomático si las variables se sustituyen por fórmulas particulares del sistema respectivo de LEP. Por lo tanto a un sistema axiomático X corresponde una lógica X que está en total correspondencia con su conjunto de axiomas.
Definición 4.1. El sistema axiomático base es el K y está compuesto por los axiomas: 1. Las tautologías de la lógica proposicional. Axioma P 2. y ( ! ) =) . Modus Ponens 3. Ka( ! ) ! Ka ! Ka . Axioma K 4. =) Ka . Necesitación
El axioma K fue nombrado en honor a Saul Kripke y también es conocido como el axioma de distribución de Ka sobre el símbolo de condición, !. El sistema K es el sistema axiomático modal más débil, ya que toda tautología en este se encuentra en todos los demás sistemas de la lógica epistémica, pero no todas las tautologías de las demás están en K.
Definición 4.2. El sistema axiomático T se compone de los axiomas y reglas de inferencia siguientes: 1. Las tautologías de la lógica proposicional. Axioma P 2. y ( ! ) =) . Modus Ponens 3. Ka( ! ) ! Ka ! Ka . Axioma K 4. =) Ka . Necesitación 5. Ka ! . Axioma T
El Axioma T también es conocido como el axioma de la verdad y este tiene el significado de que cualquier cosa que un agente conoce debe ser verdad.
Definición 4.3. El sistema axiomático S4 se compone de: 1. Las tautologías de la lógica proposicional. Axioma P 2. y ( ! ) =) . Modus Ponens 3. Ka( ! ) ! Ka ! Ka . Axioma K 4. =) Ka . Necesitación 5. Ka ! . Axioma T 6. Ka ! KaKa . Axioma 4
El Axioma 4 también es conocido como introspección positiva y denota a agentes introspectivos, es decir, estos agentes saben lo que conocen.
El último sistema a considerar y en el cual se basa este trabajo es S5: Definición 4.4. El sistema axiomático S5 se compone de: 1. Las tautologías de la lógica proposicional. Axioma P 2. y ( ! ) =) . Modus Ponens 3. Ka( ! ) ! Ka ! Ka . Axioma K 4. =) Ka . Necesitación 5. Ka ! . Axioma T 6. Ka ! KaKa . Axioma 4 7. :Ka ! Ka:Ka . Axioma 5
Este último axioma también se encuentra en la literatura del tema como introspección negativa y también denota a agentes introspectivos al igual que el anterior, pero en este caso, los agentes saben lo que no conocen. El sistema S5 de la lógica epistémica es el más fuerte de los anteriores. Es decir, todas las tautologías de los demás sistemas son tautologías de S5, pero existen tautologías de S5 que no están en los demás.
Por otro lado vale la pena notar que en el axioma P de cada sistema axiomático las tautologías a las que se hace mención, dado el operador epistémico, es posible sustituir fórmulas con este operador en ellas. Por ejemplo, en las tautologías de la lógica clásica como ( _ : ) y ! ( _ ), también pueden ser de la forma (K _ :K ) y K ! (K _ ) respectivamente.
Lo dicho anteriormente en este apartado se puede visualizar de la siguiente manera.
S5 S4 T K
LP
SISTEMA AXIOMÁTICO FORMAL S5 DE LA LÓ
Ya se han visto los elementos necesarios para poder entender la lógica epistémica proposicional, los cuales son; el lenguaje, la semántica y los conjuntos de axiomas. Es hora de caracterizar el sistema axiomático formal S5 de la lógica epistémica proposicional, con el cual sera posible profundizar un poco mas en el entendimiento de esta lógica, atendiendo conceptos mas avanzados. Definición 5.1. El sistema formal S5 de LEP está caracterizado por:
I. Vocabulario: a) Símbolos para operadores lógicos, b) Conjunto numerable de símbolos para fórmulas válidas,
f:; !; Kag: fp1; p2; p3; : : : g: f(; )g: II. Fórmulas válidas: a) (p1; p2; p3; : : : ) son fórmulas válidas. b) Si y son fórmulas válidas, entonces (: ), ( ! ) y K son fórmulas válidas. c) El conjunto de todas las fórmulas validas es el generado empleando solo las dos reglas anteriores. III. Definiciones: a) ( ^ ) () (:( ! (: ))). b) ( _ ) () ((: ) ! )). c) ( $ ) () (:(( ! ) ! (:( ! )))). d) Ka () :Ka: .
IV. Axiomas: a) Las tautologías de la lógica de enunciados. Axioma
P b) Ka( ! ) ! Ka ! Ka . Axioma K c) Ka ! . Axioma T d) Ka ! KaKa . Axioma 4 e) :Ka ! Ka:Ka . Axioma 5 V. Reglas de inferencia: a) y ( ! ) =) . Modus Ponens (MP) b) =) Ka . Necesitación (N)
Ya tenemos casi todos los elementos necesarios para empezar a hacer deducciones, solo falta especificar cómo podremos construir estas en nuestro sistema lógico S5 para poder empezar a trabajar con él.
Definición 5.2. Diremos que una fórmula 2 S5 es deducible de S5, o que es derivable de , si es el último miembro de una sucesión finita 1; 2; 3; : : : ; m de fórmulas de S5, donde m 2 N, tales que:
I. m = II. Cada i de la sucesión es alguna de las siguientes: a) Un axioma de S5. b) Se sigue de las anteriores utilizando Modus Ponens. c) Se sigue de las anteriores utilizando la regla de
Necesitación. d) Un miembro de .
Si se deduce de en S5, entonces escribimos, `S5 . Y por otro lado, podemos decir que es un teorema de S5 si = ;. Utilizaremos indistintamente `S5 y `.
Al igual que en la parte semántica, ahora daremos algunos ejemplos de inferencias pero desde el punto de vista sintáctico, que es posible ver como una manera mas operativa de inferir o hacer deducciones, también esto tiene el fin de ejemplificar la definición 3.7 de manera que la podamos comprender mejor para después darnos cuenta de la relación que guardan estas “formas de inferencia”.
demostrar que: cualesquiera fórmulas validas de LE , Ejemplo 5.3. ( ! ), ( ! ) ` ( ! 1. ( ! ) 2. ( ! ) 3. ( ! ) ! (( ! ) ! ( ! )) 4. (( ! ) ! ( ! )) 5. ! ).
Ejemplo 5.4. ( ! ) ` (Ka 1. ! 2. Ka( ! ) 3. Ka ! Ka ! Ka ).
Premisa Axioma P MP 1, 3 MP 2, 4
1. Ka( ! ) ! Ka 2. ( ! ( ! )) $ (( 3. (Ka( ! ) ! (Ka
Ka ) ! Ka ) 4. (Ka( ! ) ^ Ka ) ! Ka Ejemplo 5.5. El Axioma K =) (Ka ^Ka( ! )) ! Ka . ! Ka Axioma K ^ ) ! ) Axioma P ! Ka )) $ ((Ka( ! ) ^
Instanciamos 2 1, 3 Ejemplo 5.6. ` (Ka ^ Ka ) ! Ka( ^ ).
1. ! ( ! ( ^ )) Axioma P 2. Ka ! Ka( ! ( ^ )) a, Ej 4.5 3. (Ka ^ Ka ) ! Ka Axioma P 4. (Ka ^ Ka ) ! Ka( ! ( ^ )) SH 3, 4 5. Ka( ! ( ^ )) ! (Ka ! Ka( ^ )) Axioma K, Ej 4.6 6. (Ka ^ Ka ) ! (Ka ! Ka( ^ )) SH 4, 5 7. ! ( ! ) ! ( ! ) Axioma P 8. ((Ka ^ Ka ) ! (Ka ! Ka( ^ ))) !
((Ka ^ Ka ) ! Ka( ^ ))) Instanciamos 7 9. (Ka ^ Ka ) ! Ka( ^ )) MP 6, 7
El sistema lógico S5 al igual que la lógica clásica tiene unas propiedades interesantes a las que llamamos metateoremas, es decir, son proposiciones acerca de los sistemas formales. Los principales de estos metateoremas son el de correctez, completez, consistencia, y decibilidad. La correctez significa que todo teorema es una tautología en S5. La completez que toda fórmula que es una tautología es un teorema en S5.
Teorema 5.7. La lógica S5 es correcta y completa, de manera
simbólica [
() j=S5 :
Es importante notar que este teorema implica la relación entre los conceptos de “deducción” y de “consecuencia lógica”.
La segunda propiedad mencionada es la de consistencia,
la cual significa que dado un sistema lógico, en este caso S5,
no es posible deducir un teorema y su negación.
Teorema 5.8. No ocurre que `S5 y `S5 : para cualquier
2 S5 [
Continuando con la lista, el sistema S5 también es
decidible. En otras palabras,
Teorema 5.9. Existe un procedimiento efectivo para decidir
si una fórmula en S5 es o no satisfacible [
Ahora sabemos que también el sistema S5 de la lógica epistémica proposicional, como la sentencial, tiene las propiedades formales deseables en cualquier sistema lógico y por lo tanto será de utilidad trabajar con él.
A pesar de ser una buena forma de interpretación del conocimiento, la semántica de Kripke no es perfecta y como hemos visto hasta el momento no existe un sistema axiomático correcto sino que hay varios sistemas, que dependiendo de las necesidades es posible escoger el que mejor se adapte. En particular S5 da origen a un problema filosófico, el cual surge como producto de la incorporación de propiedades fuertes. Por ejemplo; si el agente a sabe y sabe que ! , entonces a también sabe . No toda deducción es tan fácil y sería muy audaz decir que estamos al tanto de todas las consecuencias de nuestros conocimientos o creencias. Este es el problema de la omnisciencia lógica.
Ahora bien, primero definamos lo siguiente: Definición 5.10. Decimos que una relación binaria R definida en un conjunto A es una relación de equivalencia si cumple tres propiedades: 1. Es reflexiva, es decir R(x; x), 8x 2 A. 2. Es simétrica, es decir, R(x; y) =) R(y; x), 8x; y 2 A. 3. Es transitiva, es decir, R(x; y) y R(y; z) =) R(x; z), 8x; y; z 2 A.
Con la definición anterior denotemos S5 como el conjunto de los modelos de Kripke en los cuales la relación binaria de accesibilidad es una relación de equivalencia y a K como el conjunto de todos los modelos de Kripke. Este conjunto de enunciados son tautologías en el sistema lógico S5.
Tenemos entonces que se cumplen las siguientes afirmaciones:
K j= Ka ^ Ka( ! K j= =) j= Ka .
K j= ( ! ) =) j= (Ka K j= ( $ ) =) j= (Ka K j= (Ka ^ Ka ) ! Ka( ^ K j= Ka ! Ka( _ ).
S5 j= :(Ka ^ Ka: ).
) ! Ka .
! Ka ). $ Ka ).
).
LO1 LO2 LO3 LO4 LO5 LO6 LO7
En [
Rantala [
Fagin, Halpern y “Mundos Posibles Imposibles.” “Mundos Imposibles.” “Mundos Posibles No Estándar.”
Vardi [
Lo que afirman en conjunto las propiedades anteriores, (LO1-LO7), es que el agente a es omnisciente, es decir, un perfecto razonador lógico. Particularmente el agente a sabe todos los teoremas y sabe las consecuencias lógicas de cualquier conjunto de expresiones o fórmulas de las que él tenga conocimiento. Esta situación no es intuitiva y tampoco real, por lo que no constituye un modelo cien por ciento certero sobre el conocimiento ya que nosotros esperamos modelar agentes con recursos limitados. 6.
En el desarrollo de este trabajo pudimos observar intuitivamente cómo esta lógica resuelve los problemas de representación de la modalidad lingüística saber, y también cómo en los ejemplos de la parte semántica, los modelos de Kripke en los que interpretamos las fórmulas de la lógica epistémica nos permiten hacer inferencias formalmente, de manera que estas estén en total concordancia con la realidad y con la noción común que tenemos de la acción de saber. Aunado a esto tenemos los ejemplos de la parte sintáctica con los cuales realizamos también inferencias de una manera mucho mas operativa y las cuales gracias a las propiedades del sistema S5 (correctez y completez) sabemos que estas serán verdaderas siempre que las premisas sean verdaderas, al igual como ocurre en la lógica proposicional, por lo anterior, podemos decir que es mucho más fácil, y de cierta manera seguro, trabajar con el concepto de deducción formal en un sistema.
Por otro lado tenemos que la definición que hagamos
de nuestro sistema formal dependerá en este caso solo del
conjunto de axiomas que elijamos para trabajar, lo cual a su
vez depende de la aplicación o uso que hagamos de ella,
es decir, en la Definición 5.1, podemos tan solo cambiar el
apartado IV y V, por cualquiera de los conjuntos presentados
en la sección 4 y tendremos un sistema diferente. Con todo
lo revisado anteriormente, además de su relevancia teórica,
existen diversos campos de aplicación de la lógica
epistémica, los cuales van desde la inteligencia artificial (IA) [