Razonamiento Explicativo

Objetivos

Al finalizar esta materia, se espera que el estudiante sea capaz de:

  • Caracterizar lógicamente los problemas abductivos y su clasificación. 

  • Definir sistemas de lógica abductiva como sistemas de búsqueda de soluciones a los problemas abductivos. 

  • Gestionar la dificultad que supone la forma en la que el problema de la semidecidibilidad de los sistemas de primer orden a través de las soluciones parciales existentes (es decir, gestionar la forma en que esto repercute en la búsqueda sistemática de soluciones).

  • Aplicar la lógica abductiva a los estudios de la argumentación, lenguaje y ciencia, así como a la presentación de modelos lógicos de explicación. 

Contenidos

La clasificación de Peirce de los tipos de inferencia concede a la formulación de la hipótesis un rango distinto al de las inferencias deductiva e inductiva, tratándose, sin embargo, de una forma de argumentación presente en una amplia gama de contextos inferenciales (argumentación científica, razonamiento jurídico, etc.). El extraordinario desarrollo de los métodos lógicos (propuestos para “lógica deductiva”) permiten captar y modelar algunas tareas abductivas, es decir, los modos de formular hipótesis explicativas de fenómenos a partir de conocimientos o creencias previas. Sin embargo, sigue habiendo muchas lagunas en cuanto a la formalización del razonamiento abductivo. Actualmente los estudios formales de la abducción se aplican en los ámbitos en que ésta resulta relevante, especialmente en inteligencia artificial, interpretación del discurso, procesos de diagnóstico, etc.   En el curso se abordarán los siguientes temas: Clases de inferencia: deductiva, inductiva y abductiva, lenguajes para la representación del conocimiento, la abducción como problema lógico, definiciones de “problema abductivo” y “solución abductiva”, clases de abducción, sistemas lógicos abductivos, modelos lógicos abductivos en la aplicación de métodos formales al estudio de la ciencia, en estudios lingüísticos, en ciencias de la computación y en otros ámbitos.  

TEMARIO

1. Introducción al razonamiento explicativo. 

2. Deducción, Inducción y Abducción. 

3. Modelos para la abducción.

4. Lógicas para la abducción.

5. Tipos de abducción.

6. Abducción y explicación.

Bibliografía básica y complementaria

• A. Aliseda. Abductive reasoning. Logical Investigations into Discovery and Explanation. Springer, Dordrecht, 2006. 

• C. Barés Gómez and M. Fontaine. Argumentation and abduction in dialogical logic. In L. Magnani and T. Bertolotti, editors, Handbook of Model-Base Science. Springer, 2017. 

• C. Barés Gómez and M. Fontaine. Between sentential and model-based abductions -a dialogical approach. Logic Journal of the IGPL, 2020. 

• F. Belluci and A. V. Pietarinen. Charles Sanders Peirce: logic. International Encyclopedia of Philosophy, 2016. 

• T. Bertolotti, S. Arfini, and L. Magnani. Abduction: From the ignorance problem to the ignorance virtue. The IfCoLog Journal of Logics and their Applications, 3(1):153173, 2016. 

• D. Chiffi and A.-V. Pietarinen. Abductive inference within a pragmatic framework. Synthese. vol. 197, p. 2507–2523, 2020.

• M. Fontaine and C. Barés Gómez. Conjecturing hypotheses in a dialogical logic for abduction. In D. Gabbay, editor, Natural Arguments -A Tribute to John Woods. College Publications, London, 2019.

• D. Gabbay and J. Woods. The Reach of Abduction. Insight and Trial. Elsevier, Amsterdam, 2005.

• D. Gabbay and Woods. Advice on abductive logic. Logic Journal of the IGPL, 14 (2): 189 - 219, 2006.

• J. Hintikka. Inquiry as Inquiry. A logic of Scientific Discovery. Springer, 1999. 

• L. Magnani. Abduction, Reason and Science: Processes of Discovery and Explanation. Springer, 2001.

• L. Magnani. Abductive Cognition -The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning. Springer, 2009. 

• L. Magnani. The eco-cognitive model of abduction. Journal of Applied Logic 13, 285 - 315, 2015.

• L. Magnani. Naturalizing the logic. Errors of reasoning vindicated: Logics reaproches cognitive science. Journal of Applied Logic 13, p. 13-36, 2015.

• J. Meheus and D. Batens. A formal logic for abductive reasoning. Logic Journal of IGPL, 14: 221-236, 2006.

• A. Nepomuceno, A. Reyes and A. Aliseda. Towards Abductive Reasoning in First-Order Logic. Logic Journal of IGPL 14 (2): 287-304, 2006.

• A. Nepomuceno-Fernández, F. Soler-Toscano, and F. R. Velázquez-Quesada. An epistemic and dynamic approach to abductive reasoning: selecting the best explanation. Logic Journal of the IGPL, 21(6):943-961, 2013. 

• W. Park. On classifying abduction. Journal of Applied Logic 13, pages 215–238, 2015. 

• C. S. Peirce. Collected Papers of Charles Sanders Peirce. Harvard University Press, Cambridge, 1931-1958. 

• C. S. Peirce. History and Applications in Logic of The Future. Ed: Ahti-Veikko Pietarinen. De Gruyter, 2020.

• A. Plutynski. Four Problems of Abduction: a Brief History, volume I. HOPOS: The Journal of the Society for History of Philosophy of Science, 2011.

• G. Schurz. Patterns of abduction. Synthese 164, p. 201-234., 2008.

• F. Soler-Toscano, D. Fernández, and Á. Nepomuceno-Fernández. A modal framework for modelling abductive reasoning. Logic Journal of the IGPL, 20(2):438444, 2012. 

• F. R. Velázquez-Quesada, F. Soler-Toscano, and A. Nepomuceno-Fernández. An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution. Journal of Applied Logic, 11(4):505 - 522, 2013. 

• P. Thagard. Computational Philosophy of Science. Massachusetts Institute of Technology, 1993.

• J. Woods. Errors of Reasoning -Naturalizing the Logic of Inference. College Publications, London, 2013. 

Competencias especificas de la materia

CE1. Identificar los conocimientos tradicionales y actuales que se plantean en el área de Lógica y filosofía de la Ciencia, así como de sus diferentes corrientes y tradiciones.

CE2. Lograr un dominio del instrumental analítico de la Filosofía de modo que les permita deslindar los factores semánticos, lógicos, epistemológicos, metodológicos, ontológicos, axiológicos y éticos presentes en la Ciencia y la tecnología.          

CE3. Comprender las controversias, considerar y relacionar las alternativas y juzgar qué parte está mejor justificada o es más razonable.

CE4. Identificar argumentos tal y como se presentan en un texto diálogo y debate evaluando su corrección, plausibilidad, capacidad de convicción o aceptación.

Metodología de la enseñanza

  • Clases Teóricas presenciales: Para cada uno de los temas se imparten clases en las que: a) se presenta el tema, se dan las directrices para su desarrollo y se explican los contenidos fundamentales del mismo; b) se facilita el material complementario para la correcta preparación del tema por parte de los estudiantes y se orienta sobre la naturaleza y contenidos de las principales fuentes.
  • Trabajo, seminarios y actividades complementarias: Los estudiantes han de realizar a) un trabajo individual con desarrollo tutorizado por el Profesor y que debe ser entregado al Profesor para su evaluación; b) Realización de seminarios sobre temas concretos y parte del proceso de adquisición de competencias de intercambio de ideas, experiencias, dinámica de trabajo en grupo y expresión en público; c) Análisis y debate sobre documentos y artículos sobre temas específicos.
  • Tutorías: Se trata de hacer un seguimiento del grado de comprensión de la materia expuesta y de aclarar las dudas e interrogantes que le suscita a cada estudiante el contenido de cada uno de los temas de la materia, resultando un medio útil de relación y comunicación con el profesor para auxiliarle en la realización de su aprendizaje y de sus trabajos.

Sistema de evaluación

  • Asistencia y participación en clase, tutorías y seminarios online: 20%
  • Seguimiento del trabajo del curso: 40%
  • Trabajo final: 40%

Tiempo de estudio y trabajo personal

  • Total horas: 125
  • Total H presenc.: 10
  • Total clases magistrales /teóricas: 10
  • Total H no presenciales (trabajo personal): 115
  • Tutorías: 10
  • Seguimiento del trabajo del curso: 73
  • Realización de prueba final o realización de trabajo final guiado por el profesor: 32

The headquarter for 2017-2018 is the University of Valladolid

This master’s degree gives direct access to the interuniversity PhD programme in Logic and Philosophy of Science.

Logic and Philosophy of Science alumni

Encyclopedias, journals, learned societies , virtual libraries

Learn about the latest books published by our teachers

Master's Theses on Logic and Philosophy of Science

Get to know the coordinators of every University

Our staff

All information in one file

Our regular conferences

Our intellectual honesty decalogue

Our quality assurance system