“Paraconsistency Everywhere,” Notre Dame Journal of Formal Logic 43 (2002), 147–156. (Appeared in 2004)”

 download pdf

Paraconsistent logics are, by definition, inconsistency tolerant: In a paraconsistent logic, inconsistencies need not entail everything. However, there is more than one way a body of information can be inconsistent. In this paper I distinguish contradictions from other inconsistencies, and I show that several different logics are, in an important sense, “paraconsistent” in virtue of being inconsistency tolerant without thereby being contradiction tolerant. For example, even though no inconsistencies are tolerated by intuitionistic propositional logic, some inconsistencies are tolerated by intuitionistic predicate logic. In this way, intuitionistic predicate logic is, in a mild sense, paraconsistent. So too are orthologic and quantum propositional logic and other formal systems. Given this fact, a widespread view that traditional paraconsistent logics are especially repugnant because they countenance inconsistencies is undercut. Many well-understood nonclassical logics countenance inconsistencies as well.

(This paper was published in 2004, despite the apparent date of 2002 in the citation. The tale is told in more detail here.)

Do you like this, or do you have a comment? Then please  share or reply on Twitter, or  email me.

← Relevance Logic | Writing Archive | Carnap’s Tolerance, Meaning and Logical Pluralism →


I’m Greg Restall, and this is my personal website. I teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is in any way endorsed by the University of Melbourne.



To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at  @consequently, where I’ll update you if anything is posted.