Next week, our Logic Seminar Series continues, again as a Logic Aperitivo!
The next talk will be given by Atocha Aliseda (UNAM) on June 3rd, starting at 18:00. Save the date and join us on Zoom!
Title: The role of Hypothesis in Medical Diagnosis: a Logical Challenge
Abstract: 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.