Profa Juliana Bueno-Soler was postponed to this Tuesday, February 10, at 11h in Room P3.10
Mathematics BuildingInstituto Superior Técnicohttp://tecnico.ulisb oa.pt
Juliana Bueno-Soler, CLE / UNICAMP - Brazil
Amending probability with consistency.
I will discuss the first step towards constructing a paraconsistent theory of probability based on the Logics of Formal Inconsistency (LFIs). It will be shown that LFIS very naturally encode an extension of the notion of probability able to express sophisticate probabilistic reasoning under contradictions. This is achieved by means of appropriate notions of conditional probability and paraconsistent updating, via a version of Bayes' Theorem for conditionalization. It will be also shown that the dissimil arity between the notions of inconsistency and contradiction, one of the pillars of LFIs, plays a central role in this proposed extension of the notion of probability.
Work in progress. Joint work with W. A. Carnielli.