El giro dinámico en la epistemología formal: el caso del razonamiento explicativo

Abstract

Exploramos las posibilidades que ofrece la lógica epistémica  dinámica para modelar el razonamiento abductivo. Mostramos que  muchos de los problemas que encuentran los tratamientos formales de  la abducción basados en lógica clásica pueden ser resueltos al  considerar un agente epistémico que razona y actúa. En concreto,  la dependencia del razonamiento abductivo con respecto del  deductivo, desaparece al poder definir acciones abductivas  independientemente de las capacidades deductivas del agente.