Editing Paraconsistent logic (section)

{{Short description|Type of formal logic without explosion principle}}

{{More citations needed|date=April 2018}}

'''Paraconsistent logic''' is a type of [[non-classical logic]] that allows for the coexistence of contradictory statements without leading to a logical explosion where anything can be proven true. Specifically, paraconsistent logic is the subfield of [[logic]] that is concerned with studying and developing "inconsistency-tolerant" systems of logic, purposefully excluding the [[principle of explosion]].

Inconsistency-tolerant logics have been discussed since at least 1910 (and arguably much earlier, for example in the writings of [[Aristotle]]);<ref>{{cite encyclopedia|url=http://plato.stanford.edu/entries/logic-paraconsistent/|title=Paraconsistent Logic|encyclopedia=[[Stanford Encyclopedia of Philosophy]]|access-date=1 December 2015|archive-url=https://web.archive.org/web/20151211014311/http://plato.stanford.edu/entries/logic-paraconsistent/|archive-date=2015-12-11|url-status=live}}</ref> however, the term ''paraconsistent'' ("beside the consistent") was first coined in 1976, by the [[Peru]]vian [[philosopher]] [[Francisco Miró Quesada Cantuarias]].<ref>Priest (2002), p. 288 and §3.3.</ref> The study of paraconsistent logic has been dubbed '''paraconsistency''',<ref>Carnielli, W.; Rodrigues, A.

"[http://philsci-archive.pitt.edu/14115/1/letj.pdf An epistemic approach to paraconsistency: a logic of evidence and truth]"

[[University of Pittsburgh|Pittsburg]]</ref> which encompasses the school of [[dialetheism]].