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 abductivas 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 y lenguaje, programación lógica y demostración automática, así como a la presentación de modelos lógicos de explicación Manejar y utilizar con fluidez las nociones de teoría de conjuntos. 

  • Discutir y resolver problemas que exijan el uso de teoría de conjuntos.

  • Discutir y analizar la historia de la teoría de conjuntos y problemas relativos a los desarrollos contemporáneos de la misma.

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 las tareas abductivas, es decir, los modos de formular hipótesis explicativas de fenómenos a partir de conocimientos o creencias previas. 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 de 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

En el curso 2021-2022 la sede del máster es la Universidad de Valladolid

El máster da acceso al doctorado interuniversitario en Lógica y Filosofía de la Ciencia

Aquí puedes conocer a nuestros alumnos

Enciclopedias, revistas, sociedades, bibliotecas virtuales

Encuentra aquí los últimos libros publicados por nuestros profesores

Trabajos fin de máster realizados por nuestros alumnos

Conoce a los coordinadores de cada Universidad

Conoce a nuestros profesores

Toda la información en un solo texto

Ciclo de conferencias anual

Nuestro decálogo de honestidad intelectual

Nuestro sistema de garantía de calidad