Logo Università degli Studi di Milano


3 giugno 2021: Atocha Aliseda-Llera: The role of Hypothesis in Medical Diagnosis: a Logical Challenge

Seminars of Logic Logo

Logic LunchSeminar Series on line a cura del Logic Group del Dipartimento di Filosofia "Piero Martinetti"

Atocha Aliseda-Llera – UNAM

The role of Hypothesis in Medical Diagnosis: a Logical Challenge

3 giugno 2021, h. 18:00.

In order to obtain the link for the webinar, please write to: logic.unimi@gmail.com


In this talk I will start by presenting some challenges for the formal modeling of medical diagnosis and then introduce an Adaptive Logic: LATAr, which together with a contraction procedure RETRO and a way to distinguish kinds of premises (knowledge, hypotheses, observations), serves as a formal setting for hypotheses generation and testing in the empirical sciences. In particular, LATAr serves as a model for medical reasoning in the construction of diagnoses in Neurology. As opposed to other abductive models, it considers the fact that diagnostic hypotheses are either the result of an abductive rule application or added deliberatively, the latter aiming to capture the case when a medical doctor aims at refuting a hypothesis. As any other Adaptive Logic, LATAr has a dynamic proof theory, one that allows for a line in a proof to be deleted when it is found that it no longer observes the conditions under which it was obtained in the first place. In addition, our LATAr combines deductive and abductive steps in its dynamic proofs. The research reported here was published in the Logic Journal of the IGPL 21(6): 915-913. 2013. doi:10.1093/jigpal/jzt005.

La conferenza si terrà in inglese.

La partecipazione alla conferenza è fortemente consigliata agli allievi della Scuola di Dottorato in Filosofia e Scienze dell’Uomo e della Scuola di Dottorato di Mente, Cervello e Ragionamento.

La partecipazione è aperta a tutti gli interessati. 

The Logic Group, Department of Philosophy, University of Milan

03 giugno 2021
Torna ad inizio pagina