Logo Università degli Studi di Milano



 
 
Eventi  

22 maggio 2019: Anna Zamansky: Paraconsistent reasoning: between theory and practice

Seminars of Logic Logo

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

Anna Zamansky - University of Haifa

Paraconsistent reasoning: between theory and practice


22 maggio 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

In this talk I will provide an overview of the mathematical theory of (propositional and monotonic) paraconsistent reasoning, based on our recently published book titled "Theory of Effective Propositional Paraconsistent Logics" (joint work with Arnon Avron, Ofer Arieli), discussing key notions such as negation and paraconsistency, as well as main paraconsistent approaches. I will also refer to the gap between theory and practice, specifically discussing a recent empirical study of addressing practitioners' perceptions of inconsistency management in requirements engineering (joint work with Irit Hadar and Daniel Berry).

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’U omo.

La partecipazione è aperta a tutti gli interessati.

22 maggio 2019
Torna ad inizio pagina