To promote interdisciplinary interaction between different faculty members and students on the campus, a weekly meeting has been organized by our postdoc Jialiang Yan since September 2023, called Tsing Ch’a Sessions (清茶会). Its slogan “know thyself and let others know you better.”
■Current Sessions
About the speaker: Giovanni Sanavio a third year Ph.D. candidate conducting his research within the “Reasoning with Data” (ReDa) group based at the Department of Philosophy of the University of Milan, and part of the joint doctoral program “HuME” shared with IUSS Pavia and the SNS of Pisa. His research has thus far focused on clinical reasoning, evidence evaluation and belief revision for bed-side decision making. More generally, his interests include philosophy of science and medicine, formal epistemology and inductive logic.
In his 1996 doctoral thesis, Maurice Pagnucco introduced the first AGM-like abductive expansion operation. Building on his operation, together with a taxonomy—inspired by Atocha Aliseda—that serves to highlight and formalize the main components of abductive reasoning, the main aim of this presentation is to introduce a new paraconsistent AGM-like abductive expansion operation—capable of assimilating contradictory explanatory hypotheses without leading to trivialization and the resulting absurd epistemic state—, with its postulates and its transitively relational partial meet construction. To a large extent, the formal development we will present was only made possible by the recent creation of the paraconsistent logic RCbr, by Marcelo E. Coniglio, Martin Figallo and Rafael R. Testa, an LFI (Logics of Formal Inconsistencies) that establishes properties especially relevant to belief revision contexts, in particular, the ability to be self-extensional—i.e., to satisfy the replacement property.
The transitively relational partial meet abductive expansion operation introduced in this talk is part of a system called AGM_{p_{abd}}. Despite not assigning, in the postulates and construction, any relevant epistemic role to the paraconsistent operators of negation \neg and consistency \circ, this operation is, to the best of my knowledge, the first of its kind in the AGM literature.
