Razonamiento explicativo y evolución de lógicas: Una aproximación desde la semántica de mundos posibles

Abstract

RESUMEN

Realizamos un acercamiento al razonamiento explicativo mediante estructuras modales. Usamos el formalismo bien conocido de los marcos de Kripke, pero asociamos a cada mundo, no una interpretación, sino una lógica. De este modo, definimos operadores que nos permiten expresar distintas modificaciones que puede sufrir una teoría, concretamente ampliaciones y contracciones. Mostramos cómo los tratamientos lógicos tradicionales del razonamiento abductivo pueden ser comprendidos desde nuestra propuesta.

PALABRAS CLAVE

RAZONAMIENTO ABDUCTIVO, LÓGICAS NO CLÁSICAS, LÓGICA MODAL, MODELOS DE KRIPKE, EXPLICACIÓN CIENTÍFICA.

ABSTRACT

We propose an approach to explanatory reasoning through modal structures. We use the wellknown formalism of Kripke frames, but associated with each world, there is not an interpretation but a logic. Then, we define operators that allow us to express different modifications of a theory, specially expansions and contractions. We show that traditional logical treatments of abductive reasoning can be understood from our proposal.

KEYWORDS

ABDUCTIVE REASONING, NON-CLASSICAL LOGICS, MODAL LOGIC, KRIPKE FRAMES, SCIENTIFIC EXPLANATION.