sistema coorporativo


La lógica epistémica es un campo de la lógica modal que se ocupa del razonamiento sobre el conocimiento. Mientras que la epistemología posee una larga tradición filosófica que seorigina en la Grecia Antigua, la lógica epistémica es un desarrollo mucho más reciente con aplicaciones en numerosos campos, tales como filosofía, ciencia computacional teórica,inteligencia artificial, economía y lingüística. Mientras que los filósofos a partir de Aristóteles han discutido la lógica modal, y los filósofos medievales tales como Ockham y DunsScotus desarrollaron numerosas observaciones, fue C.I. Lewis quién en 1912 realizó el primer tratamiento simbólico y sistemático de este tema. El tema continuó madurando, alcanzando suforma moderna en 1963 a partir del trabajo de Kripke.

Durante la década de 1950 se publicaron numerosos trabajos que mencionaban al pasar una lógica del conocimiento, pero esrecién el trabajo de von Wright titulado An Essay in Modal Logic publicado en 1951 el que es reconocido como el documento fundacional. No fue sino hasta 1962 en que Hintikka, escribeKnowledge and Belief, el primer trabajo extenso en que sugiere utilizar modalidades para capturar la semántica del conocimiento en vez de utilizar las premisas aléticas con quetípicamente se desarrolla la lógica modal. Si bien este trabajo sentó las bases del tema, desde entonces se han realizado numerosas investigaciones y avances. Por ejemplo, la lógicaepistémica ha sido recientemente combinada con algunas ideas tomadas de la lógica dinámica para crear una lógica de las comunicaciones públicas y una lógica de actualización de producto, queintentan modelar las sutilezas epistémicas de las conversaciones. Los trabajos fundacionales en este campo son los realizados por Plaza, van Benthem, y Baltag, Moss, y Solecki.