Estudio lógico clásico y no clásico del razonamiento explicativo

Abstract

El objetivo de este trabajo es llevar a cabo un estudio del razonamiento explicativo, tanto en el marco de las lógicas clásicas, proposicional y de predicados, como en el marco de las lógicas no clásicas, más en concreto para lógica modal y lógica epistémica. Con objeto de caracterizar el concepto de abducción, partimos del planteamiento original de Peirce y tenemos en cuenta las cuatro tesis básicas de Hintikka. Se estudian los elementos formales más importantes del razonamiento explicativo, como qué sea un problema abductivo y qué se entiende por solución abductiva.Tratándose de un modo de inferencia, es preciso explorar la relación de consecuencia abductiva. El estudio muestra la limitación de tratar exclusivamente un estudio de la abducción desde la perspectiva de los sistemas de lógica clásica y proponemos nuevos abordajes desde la óptica de las lógicas modales y epistémicas. En este ámbito, para mejor comprender la abducción, cabe manejar la noción de lógica subyacente. Destacamos el estudio del método de las tablas semánticas, tanto el estándar como algún procedimiento ligeramente modificado, así como su aplicación en las tareas de búsqueda de soluciones a problemas abductivos planteados a determinados niveles.

The aim of this project is to carry out a study of explanatory reasoning, both in the frameworkof classical logics, propositional and predicate, as well as in the framework of non-classical logics, more specifically for modal and epistemic logic. In order to characterise the notion of abduction, wetake Peirce's original approach as a starting point and take into consideration Hintikka's four basictheses. The most important formal elements of explanatory reasoning are studied, such as what is anabductive problem and what is an abductive solution. Being a mode of inference, it is necessary toexplore the relationship of abductive consequence. The study shows the limitation of dealing exclusively with a study of abduction from the perspective of classical logic systems and proposes new approaches from the perspective of modal and epistemic logics. In this context, in order to better understand abduction, it is important to handle the notion of underlying logic. We emphasize the study of the method of semantic tables, both the standard one and some slightly modified procedures, as well as its application in the search for solutions to abduction problems presented at certain levels