Munich Center for Mathematical Philosophy (MCMP)

Breadcrumb Navigation


Talk: Abilio Azambuja Rodrigues Filho (Minas Gerais)

Location: Ludwigstr. 31, ground floor, Room 021.

30.01.2020 16:00  – 18:00 


Paraconsistency, evidence, and truth


The aim of this talk is to present some recent developments of the approach to paraconsistency in terms of preservation of evidence. A logic of formal inconsistency called LETF (the logic of evidence and truth based on FDE) will be introduced. LETF is an extension of the well-known Belnap-Dunn 4-valued logic that treats positive and negative non-conclusive evidence as two primitive and non-complementary notions. It is equipped with a classicality operator
that is able to distinguish scenarios of conclusive evidence, subjected to classical logic, from non-classical scenarios where the evidence available is non-conclusive or unreliable. Decidable bi-valued semantics, a probabilistic semantics, and Kripke models for LETF will be presented and discussed.