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.

Keywords

• Abducción, lógica epistémica dinámica, epistemología formal, modelos de plausibilidad, revisión de creencias