April 3, 2019: Davide Ciucci: A unifying framework for several logics of uncertain and conflicting information
Davide Ciucci - Università degli Studi di Milano Bicocca
A unifying framework for several logics of uncertain and conflicting information
April 3, 2019, h. 16:30-18:30.
Seminars of Logic. Room Enzo Paci, Directorate of the Department of Philosophy, Universita' degli Studi di Milano, Via Festa del Perdono 7.
Boolean Capacity (BC) logic is a two-tiered modal logic for reasoning about multisource information, thus able to cope at the same time with incompleteness and inconsistency. It encompasses the well-known Belnap-Dunn logic, which indeed can be translated in BC logic. Other approaches to uncertainty can also be captured by BC logic: Kleene and Priest three-valued logics and the source-processor logic among the others. We will present the idea behind this translation from many-valued to modal logic, showing that BC logic has the potential to bridge the gap among many valued-logics, epistemic logics and some theories of uncertainty.
The Logic Group, Department of Philosophy, University of Milan
Participation is strongly recommended to students of the Doctoral School in Philosophy and Human Sciences.
Everyone interested is welcome to attend.