3rd Workshop
on the Interpretations of Paraconsistent Logics 

 About

The development of logic over the 20th century was prodigious. Almost at the same time that the so-called 'classical logic' was being developed by the hands of Frege, Russell and Whitehead, rival systems of logic were also emerging: the so-called ‘non-classical logics’ with the research of, among others, Brouwer, Heyting and Lukasiewicz. The rivalry between these types of systems has always been a topic of philosophical investigation, and is currently  receiving  new breath with the recent approaches to the problem of revising logic and the search for a new epistemology of logic. Of particular interest are paraconsistent logics, whose formal systems can deductively cope with contradictions, since these do not entailing triviality. Contradictions  appear in various areas of scientific and philosophical research, as well as everyday life. Could this serve as evidence that we should adopt a paraconsistent logic in such contexts? Yet how can we make sense of the idea of adopting a new logic? Moreover: among the bunch of  rival paraconsistent logics currently available, which one should be preferred? How should we understand key notions such as 'negation' and 'contradiction' in these different logics? The III Workshop on the Interpretations of Paraconsistent Logics (3rd WILP) aims to to foster discussions about the revision of logical theories and how this question bears on the interpretations of paraconsistent logics. In this edition we also bring conferences on Modal Logic  together to 3rd WILP as a way of optimizing resources and integrating researches on philosophy of paraconsistency and modal logic, strengthening international connections in both topics of the event. The 3rd WILP, promoted by The Research Group in Logic and Foundations of Science (UFSC, CNPq) and Research Group in Philosophy of Logic and Language (UFMA, CNPq), will be held from 09-12 December, at Federal University of Santa Catarina.