A machine-assisted view of paraconsistency
From MaRDI portal
Publication:6247366
arXiv1312.4381MaRDI QIDQ6247366FDOQ6247366
Authors: Jesse Alama 
Publication date: 16 December 2013
Abstract: For a newcomer, paraconsistent logics can be difficult to grasp. Even experts in logic can find the concept of paraconsistency to be suspicious or misguided, if not actually wrong. The problem is that although they usually have much in common with more familiar logics (such as intuitionistic or classical logic), paraconsistent logics necessarily disagree in other parts of the logical terrain which one might have thought were not up for debate. Thus, one's logical intuitions may need to be recalibrated to work skillfully with paraconsistency. To get started, one should clearly appreciate the possibility of paraconsistent logics and the genuineness of the distinctions to which paraconsistency points. For this purpose, one typically encounters matrices involving more than two truth values to characterize suitable consequence relations. In the eyes of a two-valued skeptic, such an approach might seem dubious. Even a non-skeptic might wonder if there's another way. To this end, to explore the basic notions of paraconsistent logic with the assistance of automated reasoning techniques. Such an approach has merit because by delegating some of the logical work to a machine, one's logical "biases" become externalized. The result is a new way to appreciate that the distinctions to which paraconsistent logic points are indeed genuine. Our approach can even suggest new questions and problems for the paraconsistent logic community.
This page was built for publication: A machine-assisted view of paraconsistency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6247366)
