Skip to main content
SpringerLink
Log in

Paraconsistent Logic

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

In some logics, anything whatsoever follows from a contradiction; call these logics explosive. Paraconsistent logics are logics that are not explosive. Paraconsistent logics have a long and fruitful history, and no doubt a long and fruitful future. To give some sense of the situation, I’ll spend Section 1 exploring exactly what it takes for a logic to be paraconsistent. It will emerge that there is considerable open texture to the idea. In Section 2, I’ll give some examples of techniques for developing paraconsistent logics. In Section 3, I’ll discuss what seem to me to be some promising applications of certain paraconsistent logics. In fact, however, I don’t think there’s all that much to the concept ‘paraconsistent’ itself; the collection of paraconsistent logics is far too heterogenous to be very productively dealt with under a single label. Perhaps that will emerge as we go.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Notes

  1. I have nothing much to say about which things are and which things are not consequence relations. I certainly have no precise definition in mind; usual precise definitions exclude some things I include. (For example, understanding a consequence relation as a Tarskian closure operation excludes a wide variety of substructural logics.) If it so much as smells consequencey it’s a consequence relation as far as I’m concerned.

  2. For the additive conjunction ∧, we have A∧¬A,A∧¬A⊩B, but A∧¬A⊯B; two copies of a contradiction do entail everything, but a single copy does not.

  3. You might note that I haven’t said anything about what it takes to count as a negation or a conjunction or a way of combining premises in the first place. No way am I going near that can of worms.

  4. This works for the subvaluationist ‘global’ consequence. For more on subvaluationist logic, see [11, 19, 46, 47].

  5. For more on LP, see [7, 26, 29].

  6. For more on the C systems, see [10, 13].

  7. Note that there is still something of an indeterministic flavour: if you know that A is designated, that’s not yet enough to say whether ¬A is designated or not. But the facts that underlie this are fully deterministic.

  8. Any fully structural logic can be seen as preserving some status; this is one upshot of Suszko’s Thesis; see eg [16, 18, 43, 44]. But this is sometimes not the most helpful way to look at it. Moreover, the suggested generalization of this method extends well beyond fully structural logics, as in [22].

  9. Typically, this is because we haven’t noticed the contradiction, but there are at least two other kinds of case: 1) cases in which we notice the contradiction, but haven’t yet decided how or whether to resolve it, and 2) cases in which we notice the contradiction, but have decided simply to live with it.

  10. See [2, 37] for details.

  11. Smooth infinitesimal analysis provides an example. It is a rich topic of mathematical study based on axioms that are inconsistent in classical logic, but not in the intuitionist logic in which it is conducted. See eg [25].

References

  1. Alxatib, S., Pagin, P., & Sauerland, U. (2013). Acceptable contradictions: Pragmatics or semantics? a reply to Cobreros et al. Journal of Philosophical Logic, 42(4), 619–634.

    Article  Google Scholar 

  2. Alxatib, S., & Pelletier, J. (2011). The psychology of vagueness: Borderline cases and contradictions. Mind and Language, 26(3), 287–326.

    Article  Google Scholar 

  3. Anderson, A.R., & Belnap, N.D. (1975). Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton: Princeton University Press.

    Google Scholar 

  4. Arruda, A.I. (1989). Aspects of the historical development of paraconsistent logic. In: [33], (pp. 99–130).

  5. Batens, D. (1989). Dynamic dialectical logics. In: [33], (pp. 187–217).

  6. Batens, D. (2000). Towards the unification of inconsistency handling mechanisms. Logic and Logical Philosophy, 8, 5–31.

    Article  Google Scholar 

  7. Beall, J., & van Fraassen, B.C. (2003). Possibilities and Paradox: An Introduction to Modal and Many-valued Logic. Oxford: Oxford University Press.

    Google Scholar 

  8. Belnap, N.D. (1982). Display logic. Journal of Philosophical Logic, 11(4), 375–417.

    Article  Google Scholar 

  9. Brady, R.T. (2006). Universal Logic. Stanford: CSLI Publications.

    Google Scholar 

  10. Carnielli, W.A., & Marcos, J. (1999). Limits for paraconsistent calculi. Notre Dame Journal of Formal Logic, 40(3), 375–390.

    Article  Google Scholar 

  11. Cobreros, P. (2013). Vagueness: Subvaluationism. Philosophy Compass, 8(5), 472–485.

    Article  Google Scholar 

  12. Cobreros, P., Égré, P., Ripley, D., van Rooij, R. (2012). Tolerant, classical, strict. Journal of Philosophical Logic, 41(2), 347–385.

    Article  Google Scholar 

  13. da Costa, N. (1974). On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 15, 497–510.

    Article  Google Scholar 

  14. Dietz, R. (2011). The paradox of vagueness In Horsten, L., & Pettigrew, R. (Eds.), The Continuum Companion to Philosophical Logic, (pp. 128–179). Great Britain: Continuum.

    Google Scholar 

  15. Dunn, J.M. (1993). Star and perp: Two treatments of negation. Philosophical Perspectives, 7, 331–357.

    Article  Google Scholar 

  16. Dunn, J.M., & Hardegree, G.M. (2001). Algebraic Methods in Philosophical Logic. Oxford: Oxford University Press.

    Google Scholar 

  17. Goré, R. (1998). Gaggles, Gentzen, and Galois: How to display your favorite substructural logic. Logic Journal of the IGPL, 6(5), 669–694.

    Article  Google Scholar 

  18. Humberstone, L. (2012). The Connectives. Cambridge: MIT Press.

    Google Scholar 

  19. Hyde, D. (1997). From heaps and gaps to heaps of gluts. Mind, 106, 641–660.

    Article  Google Scholar 

  20. Hyde, D. (2008). Vagueness, Logic, and Ontology. Hampshire: Ashgate.

    Google Scholar 

  21. Malinowski, G. (1990). Q-consequence operation. Reports on Mathematical Logic, 24, 49–59.

    Google Scholar 

  22. Meyer, R.K., & Routley, R. (1972). Algebraic analysis of entailment I. Logique et Analyse, 15, 407–428.

    Google Scholar 

  23. Meyer, R.K., & Routley, R. (1974). Classical relevant logics II. Studia Logica, 33(2), 183–194.

    Article  Google Scholar 

  24. Mortensen, C. (1995). Inconsistent Mathematics. Dordrecht: Kluwer Academic Publishers.

    Book  Google Scholar 

  25. O’Connor, M. (2008). An introduction to smooth infinitesimal analysis. arXiv:0805.3307 [math.GM].

  26. Priest, G. (1979). Logic of paradox. Journal of Philosophical Logic, 8, 219–241.

    Article  Google Scholar 

  27. Priest, G. (2002). Paraconsistent logic. In Gabbay, D.M., & Guenthner, F. (Eds.), Handbook of Philosophical Logic, 2nd edn. Vol. 6. Dordrecht: Kluwer Academic Publishers. 2 edition.

    Google Scholar 

  28. Priest, G. (2005). Towards Non-Being: The Logic and Metaphysics of Intentionality. Oxford: Oxford University Press.

    Book  Google Scholar 

  29. Priest, G. (2008). An Introduction to Non-Classical Logic: From If to Is, 2nd edn. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  30. Priest, G. (2013). Mathematical pluralism. Logic Journal of the IGPL, 21(1), 4–13.

    Article  Google Scholar 

  31. Priest, G., & Routley, R. (1989a). First historical introduction: A preliminary history of paraconsistent and dialetheic approaches. In: [33], (pp. 3–75).

  32. Priest, G., & Routley, R. (1989b). Systems of paraconsistent logic. In: [33], (pp. 151–186).

  33. Priest, G., Routley, R., Norman, J. (Eds.) (1989). Paraconsistent Logic: Essays on the Inconsistent. Munich: Philosophia Verlag.

  34. Restall, G. (1997). Ways things can’t be. Notre Dame Journal of Formal Logic, 38(4), 583–596.

    Article  Google Scholar 

  35. Restall, G. (1999). Negation in relevant logics: How I stopped worrying and learned to love the Routley star In Gabbay, D., & Wansing, H. (Eds.), What is Negation? (pp. 53–76). Dordrecht: Kluwer Academic Publishers.

    Chapter  Google Scholar 

  36. Restall, G. (2000). An Introduction to Substructural Logics. London: Routledge.

    Book  Google Scholar 

  37. Ripley, D., Nouwen, R., Rooij, R., Schmitz, H.-C., Sauerland, U. (2011a). Contradictions at the borders. Vagueness and Communication, (pp. 169–188): Springer.

  38. Ripley, D. (2011b). Inconstancy and inconsistency In Cintula, P., Fermüller, C., Godo, L., Hájek, P. (Eds.), Understanding Vagueness: Logical, Philosophical, and Linguistic Perspectives, (pp. 41–58): College Publications.

  39. Ripley, D. (2012). Structures and circumstances: Two ways to fine-grain propositions. Synthese, 189(1), 97–118.

    Article  Google Scholar 

  40. Routley, R., Meyer, R.K., Plumwood, V., Brady, R.T. (1982). Relevant Logics and their Rivals 1. Atascadero: Ridgeview.

    Google Scholar 

  41. Routley, R., & Routley, V. (1972). The semantics of first degree entailment. Noûs, 6(4), 335–359.

    Article  Google Scholar 

  42. Routley, R., & Routley, V. (1975). The role of inconsistent and incomplete theories in the semantics of belief. Communication and Cognition, 8, 185–235.

    Google Scholar 

  43. Shoesmith, D.J., & Smiley, T.J. (1978). Multiple-conclusion Logic. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  44. Shramko, Y., & Wansing, H. (2012). Truth values. In Zalta, E.N. (Ed.), The Stanford Encyclopedia of Philosophy. Winter 2012 edition.

  45. Urbas, I. (1990). Paraconsistency. Studies in Soviet Thought, 39(3/4), 343–354.

    Article  Google Scholar 

  46. Varzi, A. (1997). Inconsistency without contradiction. Notre Dame Journal of Formal Logic, 38(4), 621–639.

    Article  Google Scholar 

  47. Varzi, A. (2000). Supervaluationism and paraconsistency In Batens, D., Mortensen, C., Priest, G., Bendegem, J.-P.V. (Eds.), Frontiers in Paraconsistent Logic, (pp. 279–297). Baldock: Research Studies Press.

    Google Scholar 

  48. Verdée, P. (2013). Strong, universal, and provably non-trivial set theory by means of adaptive logic. Logic Journal of the IGPL, 21(1), 108–125.

    Article  Google Scholar 

  49. Weber, Z. (2010). Transfinite numbers in paraconsistent set theory. Review of Symbolic Logic, 3(1), 71–92.

    Article  Google Scholar 

  50. Weber, Z. (2012). Transfinite cardinals in paraconsistent set theory. Review of Symbolic Logic, 5(2), 269–293.

    Article  Google Scholar 

  51. Weber, Z., Ripley, D., Priest, G., Hyde, D., & Colyvan, M. (2014). Tolerating gluts: a reply to Beall. Mind, 123(491), 813–828.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Connecticut, Mansfield, CT, USA

    David Ripley

Authors
  1. David Ripley
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to David Ripley.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ripley, D. Paraconsistent Logic. J Philos Logic 44, 771–780 (2015). https://doi.org/10.1007/s10992-015-9358-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10992-015-9358-6

Keywords

Search

Navigation