Logo Università degli Studi di Milano



 
 
Eventi  

3 aprile 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



3 aprile 2019, ore 16:30-18:30.

Sala Enzo Paci, Direzione del Dipartimento di Filosofia, 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

L'incontro si terrrà in inglese.

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

La partecipazione è aperta a tutti gli interessati.

03 aprile 2019
Torna ad inizio pagina