Lógica interrogativa epistémica.

Abstract

De acuerdo con la perspectiva de Hintikka, desde sus comienzos la lógica se plantea como el arte del razonamiento interrogativo. Tras el giro dinámico propiciado por el propio Hintikka, la lógica interrogativa se considera como un juego en el que el indagador (el investigador) se enfrenta a la naturaleza, a un oráculo o modelo al que se pueden plantear preguntas, aparte de la pregunta previa inicial acerca de si a partir de las premisas dadas se infiere determinada conclusión. Nos ocupamos de las lógicas modales, para lo que definimos la sintaxis y la semántica de un lenguaje modal proposicional, y estudiamos cómo definir los correspondientes sistemas formales. Después entraremos de lleno en el estudio de la idea de juego interrogativo como correlato de las tareas propias de la investigación científica, haciendo uso de los tableaux semánticos; además se incorpora la regla de consulta, que permite ampliar el procedimiento de los tableaux. Por último relacionamos una bibliografía básica para el estudio de estos temas.