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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Arenhart, J.R.B., Krause, D.: Contradiction, quantum mechanics, and the square of opposition. Forthcoming in Logique et Analyse (2015)
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)
Béziau J.-Y.: New light on the square of oppositions and its nameless corners. Log. Investig. 10, 218–232 (2003)
Béziau J.-Y.: Paraconsistent Logics! A reply to Slater. Sorites 17, 17–25 (2006)
Béziau J.-Y.: The power of the hexagon. Logica Universalis 6(1–2), 1–43 (2012)
Béziau, J.-Y.: Contradiction and Negation. Talk delivered at the XVII EBL, Petrópolis, Brazil (2014)
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)
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)
Carnielli, W., Rodrigues, A.: What contradictions say (and what they say not). Cle e-prints 12(2) (2012)
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)
da Costa, N.C.A., The philosophical import of paraconsistent logics. CLE Manuscr. (1989)
da Costa, N.C.A., Ensaio sobre os fundamentos da lógica. 3rd ed (first edition: 1980). Hucitec, São Paulo (2008)
da Costa N.C.A., Béziau J.-Y., Bueno O.: Aspects of paraconsistent logic. Bull. IGPL 3(4), 597–614 (1995)
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)
da Costa N.C.A., de Ronde C.: The paraconsistent logic of superpositions. Found. Phys. 43, 854–858 (2013)
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)
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)
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)
Šešelja D., Straßer C.: Concerning Peter Vicker’s recent treatment of ‘Paraconsistencitis’. Int. Stud. Philos. Sci. 28(3), 325–340 (2014)
Slater, B.H.: Paraconsistent logics? J. Philos. Logic 24:451–454 (1995)
Sylvan R., Urbas I.: Paraconsistent classical logic. Logique Anal. 141(142), 3–24 (1993)
Author information
Authors and Affiliations
Corresponding author
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
About this article
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
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-015-0131-y