University of Campinas , Brazil
State University of Maringá, Brazil
"Facing contradiction: paraconsistent reasoning at the edge of logicality"
In the history of logic, we will track answers for some fundamental questions, as if logical principles and rules, according to which not everything may be deduced from a contradiction, or something may be rejected, were conceived, evoked or introduced within certain theoretical contexts and traditions. We will employ advanced historiographical categories to deal with logical contributions to the history of paraconsistent logic, providing a critical assessment of paraconsistent-like positions in ancient Greek logic, medieval scholastic logic, and modern logic as well as in paraconsistent logic systems era. In the establishment of the paraconsistent logic, we will stress the crucial contributions of Stanislaw Jaśkowski (1948) and Newton da Costa (1963), with special emphasis to the legacy of these fundamental contributions to the further development of paraconsistency as a mature field of research.
da Costa, N. C. A. 1974. On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic 15 (4): 497-510.
Gomes, E. L., D’Ottaviano, I. M. L. 2017. Para além das Colunas de Hércules, uma história da paraconsistência: de Heráclito a Newton da Costa. Campinas: Editora Unicamp. 712p.
Jaśkowski, S. 1999. Propositional calculus for contradictory deductive system. Studia Logica 24 (1): 143-157.
