Ttulo: Lgica epistmica, es slo consistente? Autor: Digenes Rosales Papa Per SitioWeb: http://www.pucp.edu.pe/eventos/congresos/filosofia/programa_general/jueves/sesion910.30/RosalesDiogenes.

.pdf Universidad: Pontificia Universidad Catlica del Per

Resumen: El artculo presenta una breve historia del desarrollo de la lgica epistmica, que introduce al desarrollo de la disciplina con rastreos histricos, los cuales se detienen con particular inters en las tendencias que profundizan este paradigma de investigacin. Se parte de la definicin tripartita, y se procede a analizar como las tres nociones creencia verdadera justificada juegan su papel en este tipo de lgica. Se rastrea hasta la obra de Santo Tomas los antecedentes de clculos epistmicos de asentimiento y adherencia fuertes y dbiles, que se constituye como antecedente de la implicacin que es la base de la lgica epistmica: si conozco p implica que creo que p, y que se incorpora al sistema de Hintikka. En un segundo momento se introduce a los sistemas de anlisis formal de los aspectos cognitivos en relacin con conceptos filosficos como tiempo, necesidad, y obligacin, y como resultado el desarrollo de una serie de lgicas no clsicas. Entre estas se destaca la lgica modal (que estudia las modalidades de necesidad y de posibilidad) que tiene la pretensin de explicar la verdad mediante nociones epistmicas como argumento, prueba, experiencia y conocimiento sobre la idea de que verdad y cognoscibilidad coinciden. Asimismo se afirma que las nociones epistmicas y doxstiecas ms relevantes se remontan a Saber y Creer de Hintikka, 1962. Las analogas formales existentes entre las modalidades de necesidad, posibilidad e imposibilidad y las nociones cuantificacionales: todo, algo y nada llevan a Von Wright a escribir su ensayo de lgica modal con el fin de extender la nocin de verdad lgica tautologa - ms all del cluculo proposicional en un enfoque en el que se encuentran presente tanto el aspecto sintctico como semntico. Posteriormente se describe la estructura axiomtica de la lgica modal, que difiere de la lgica proposicional clsica tan solo en los axiomas especficos de los conceptos modales, en una regla de inferencia, as como en las reglas de sustitucin de variables y separacin. Se establece adems un estudio comparativo entre la lgica epistmica y las modalidades de la lgica altica, establecindose cierto isomorfismo de los sistemas axiomticos. A su vez se establece un cierto isomorfismo entre las modalidades de re y de dicto de la lgica altica, destacndose los principios que rigen al modelo distribucin, extensionalidad, posibilidad y tautologa . As se asume el paradigma de las modalidades alticas de dicto y de re para el anlisis de las modalidades epistmicas de dicto y de re. En las modalidades epistmicas los principios rectores se denominan Principios de Modalidad Epsitmicas. Tambin se analizan algunas dificultades sobre los procesos de cuantificacin formal y los principios que las solucionan. En la segunda del artculo se describe el modelo de Hintikka y los niveles de consistencia con un anlisis de la estructura formal propuesta por el autor. Para terminar se discute otras posibles soluciones y sus respectivas limitaciones como el problema del principio de entraamiento. Se concluye la consistencia de la lgica epsitmica, indicndose la imposibilidad de lograr modelos formalizados garantes de la verdad en todos los estados posibles.