Logo Università degli Studi di Milano



 
 
News  

April 3, 2019: Davide Ciucci: A unifying framework for several logics of uncertain and conflicting information

Uncertain signals

Seminari di Logica a cura del Logic Group del Dipartimento di Filosofia "Piero Martinetti"

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.

Abstract

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.


ORGANIZERS
The Logic Group, Department of Philosophy, University of Milan
www.filosofia.unimi.it/logic

CONTACT
marcello.dagostino@unimi.it - www.filosofia.unimi.it/dagostino

Participation is strongly recommended to students of the Doctoral School in Philosophy and Human Sciences.

Everyone interested is welcome to attend.

03 April 2019
Back to top