Skip to main content
SpringerLink
Log in

Liberating Paraconsistency from Contradiction

  • Published:
Logica Universalis Aims and scope Submit manuscript

Abstract

In this paper we propose to take seriously the claim that at least some kinds of paraconsistent negations are subcontrariety forming operators. We shall argue that from an intuitive point of view, by considering paraconsistent negations as formalizing that particular kind of opposition, one needs not worry with issues about the meaning of true contradictions and the like, given that “true contradictions” are not involved in these paraconsistent logics. Our strategy will consist in showing that, on the one hand, the natural translation for subcontrariety in formal languages is not a contradiction in natural language, and on the other, translating alleged cases of contradiction in natural language to paraconsistent formal systems works only provided we transform them into a subcontrariety. Transforming contradictions into subcontrariety shall provide for an intuitive interpretation for paraconsistent negation, which we also discuss here. By putting all those pieces together, we hope a clearer sense of paraconsistency can be made, one which may liberate us from the need to tame contradictions.

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

References

  1. Arenhart, J.R.B., Krause, D.: Contradiction, quantum mechanics, and the square of opposition. Forthcoming in Logique et Analyse (2015)

  2. Béziau, J.-Y.: La logique paraconsistante. In: N.C.A. da Costa, Logiques Classiques et Non Classiques (pp. 237–255) (French translation of [12] by J.-Y.Béziau with a preface and two appendices by the translator). Masson, Paris (1997)

  3. Béziau J.-Y.: New light on the square of oppositions and its nameless corners. Log. Investig. 10, 218–232 (2003)

    Google Scholar 

  4. Béziau J.-Y.: Paraconsistent Logics! A reply to Slater. Sorites 17, 17–25 (2006)

    Google Scholar 

  5. Béziau J.-Y.: The power of the hexagon. Logica Universalis 6(1–2), 1–43 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  6. Béziau, J.-Y.: Contradiction and Negation. Talk delivered at the XVII EBL, Petrópolis, Brazil (2014)

  7. Béziau J.-Y.: Round squares are no contradictions (Tutorial on Negation, Contradiction, and Opposition). In: Béziau, J.-Y., Chakraborty, M., Dutta, S. (eds.) New Directions in Paraconsistent Logic., Springer, New Delhi (2015)

    Google Scholar 

  8. Béziau J.-Y., Franceschetto A.: Strong three-valued paraconsistent logics. In: Béziau, J.-Y., Chakraborty, M., Dutta, S. (eds.) New Directions in Paraconsistent Logic, Springer, New Delhi (2015)

    Google Scholar 

  9. Carnielli, W., Rodrigues, A.: What contradictions say (and what they say not). Cle e-prints 12(2) (2012)

  10. Carnielli, W., Coniglio, M.E.: On discourses addressed by infidel logicians. In: Tanaka, K., Berto, F., Mares, E., Paoli, F. (eds.) Paraconsistency: Logic and Applications (pp. 27–42). Logic, epistemology, and the unity of science 26. Springer, Dordrecht (2013)

  11. da Costa, N.C.A., The philosophical import of paraconsistent logics. CLE Manuscr. (1989)

  12. da Costa, N.C.A., Ensaio sobre os fundamentos da lógica. 3rd ed (first edition: 1980). Hucitec, São Paulo (2008)

  13. da Costa N.C.A., Béziau J.-Y., Bueno O.: Aspects of paraconsistent logic. Bull. IGPL 3(4), 597–614 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  14. da Costa, N.C.A., Krause, D., Bueno, O.: Paraconcistent logic and paraconsistency. In: Handbook of the Philosophy of Science (pp. 791–911). Volume 5: Philosophy of Logic. Volume editor: Dale Jacquette. Handbook editors: Dov M. Gabbay, Paul Thagard and and John Woods. Elsevier, Amsterdam (2006)

  15. da Costa N.C.A., de Ronde C.: The paraconsistent logic of superpositions. Found. Phys. 43, 854–858 (2013)

    Article  Google Scholar 

  16. Horn, L.R.: Contradiction. The Stanford Encyclopedia of Philosophy (Spring 2014 Edition), Edward N. Zalta (ed.), http://plato.stanford.edu/archives/spr2014/entries/contradiction/ (2014)

  17. Horn, L.R., Wansing, H.: Negation. In: The Stanford Encyclopedia of Philosophy (Spring 2015 Edition), Edward N. Zalta (ed.), http://plato.stanford.edu/archives/spr2015/entries/negation/ (2015)

  18. Novaes, C.D.: Contradiction: the real philosophical challenge for paraconsistent logic. In: Béziau, J.-Y., Carnielli, W., Gabbay, D. (eds.) Handbook of Paraconsistency (pp. 465–480). Elsevier, Amsterdam (2008)

  19. Šešelja D., Straßer C.: Concerning Peter Vicker’s recent treatment of ‘Paraconsistencitis’. Int. Stud. Philos. Sci. 28(3), 325–340 (2014)

    Article  Google Scholar 

  20. Slater, B.H.: Paraconsistent logics? J. Philos. Logic 24:451–454 (1995)

  21. Sylvan R., Urbas I.: Paraconsistent classical logic. Logique Anal. 141(142), 3–24 (1993)

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, Federal University of Santa Catarina, Florianópolis, Santa Catarina, Brazil

    Jonas R. Becker Arenhart

Authors
  1. Jonas R. Becker Arenhart
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jonas R. Becker Arenhart.

Additional information

I would like to thank two anonymous referees of the journal for their comments which helped improve a previous version of the paper. The remaining mistakes and infelicities are my sole responsibility, of course.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Arenhart, J.R.B. Liberating Paraconsistency from Contradiction. Log. Univers. 9, 523–544 (2015). https://doi.org/10.1007/s11787-015-0131-y

Download citation

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-015-0131-y

Mathematics Subject Classification

Keywords

Search

Navigation