Abstract
In this paper, we critically discuss the idea of a ‘philosophical interpretation’ of paraconsistent logics. We do so by considering the epistemic approach to paraconsistency, by Carnielli and Rodrigues (2019a), according to which paraconsistent logics should be interpreted exclusively in terms of non-conclusive evidence, and also, by considering counter-arguments by Barrio (2018) and Barrio and Da Re (2018), according to whom paraconsistent logics are not specially tied to any specific interpretation. We begin by presenting the positions involved, and by arguing that the debate may be profitably understood in terms of the distinction between pure and applied logics. We argue that dialetheism is not an interpretation of paraconsistent logics, but rather a view on truth and negation which requires use of paraconsistent logics. Something similar may be said about the epistemic approach itself. The result is that there is nothing distinctive to be called a philosophical interpretation of paraconsistent logics, but rather what we have are distinct applications of paraconsistent logics. Arguments by Barrio (2018) and Barrio and Da Re (2018) may be then re-framed more effectively.
Similar content being viewed by others
Notes
Also, it is clear that ‘interpretation’, in this context, is not what is typically called an interpretation in logical textbooks, that is, a formal semantics developed inside some set theory employed in the metalanguage (see, in particular, the discussion in Carnielli and Rodrigues 2019b). In the present paper, ‘interpretation’ always refers to the idea of informal interpretation as advanced by Carnielli and Rodrigues; whenever we have to refer to the usual notion of interpretation as provided in logic textbooks, we use the word ‘formal semantics’.
Curiously, Rahman and Carnielli seem to suggest that lack of information requires a paraconsistent treatment. Latter on, in Carnielli and Rodrigues (see Carnielli and Rodrigues 2015), the distinction between ‘lack of evidence’ (requiring paracompleteness) and ‘conflicting evidence’ (requiring paraconsistency) is made clearer and properly distinguished. See also Arenhart and Krause (2019) for further discussion of the limits of applying paraconsistency to discuss lack of information.
The claim that true contradictions are ‘ontological’, and that the truth theory adopted by dialetheists is a correspondence theory, is common in Carnielli and Rodrigues’ papers. This is certainly more than most dialetheists would claim. See in particular Priest (2019a) for a reply on these issues.
References
Arenhart, J. R. B. (2021). The evidence approach to paraconsistency versus the paraconsistent approach to evidence. Synthese, 198, 11537–11559.
Arenhart, J. R. B., & Krause, D. (2019). Quasi-truth and defective knowledge in science: a critical examination. Retrieved April 05, 2020, from http://philsci-archive.pitt.edu/16356/.
Barrio, E. (2018). Models & proofs: LFIs without a canonical interpretation. Principia an International Journal of Epistemology, 22(1), 87–112.
Barrio, E., & da Re, B. (2018). Paraconsistency and its philosophical interpretations. Australasian Journal of Logic, 15(2), 151–170.
Beall, J. C., & Ripley, D. (2004). Analetheism and dialetheism. Analysis, 64(281), 30–35.
Button, T., & Walsh, S. (2018). Philosophy and model theory. Oxford Un. Press.
Carnielli, W., Coniglio, M., & Rodrigues, A. (2018). On formal aspects of the epistemic approach to paraconsistency. In M. Freund, M. Fernández, & M. Ruffino (Eds.), Logic and philosophy of logic. Recent trends in Latin America and Spain (pp. 49–74). London: College.
Carnielli, W., & Rodrigues, A. (2015). On the philosophy and mathematics of the logics of formal inconsistency. In J.-Y. Béziau, M. Chakraborty, & S. Dutta (Eds.), New directions in paraconsistent logic (pp. 57–88). Springer.
Carnielli, W., & Rodrigues, A. (2019a). An epistemic approach to paraconsistency: A logic of evidence and truth. Synthese, 196, 3789–3813.
Carnielli, W., & Rodrigues, A. (2019b). Inferential semantics, paraconsistency, and preservation of evidence. In C. Baskent & T. M. Ferguson (Eds.), Graham priest on dialetheism and paraconsistency (pp. 165–188). Springer.
Carnielli, W., & Rodrigues, A. (2020). On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms. Logic Journal of the IGPL, 29(4), 569–584.
da Costa, N. C. A., Krause, D., & Bueno, O. (2007). Paraconsistent logic and paraconsistency. In Dale, J. (Vol. Ed.), Dov, M. G., Paul, T., & Woods, J., (Book Eds.), Handbook of the philosophy of science. Volume 5: Philosophy of logic (pp. 655–775). Elsevier.
Lo Guercio, N., & Szmuc, D. (2018). Remarks on the epistemic interpretation of paraconsistent logic. Principia, 22(1), 153–170.
Omori, H., & Arenhart., J. R. B. 2022. Haack meets Herzberger and Priest. In Proceedings of ISMVL 2022 (pp. 137–144). IEEE Computer Society.
Priest, G. (2006). Doubt truth to be a liar. Oxford Un. Press.
Priest, G. (2008). An introduction to non-classical logics. From if to is (2nd ed.). Cambridge Un. Press.
Priest, G. (2019a). Some comments and replies. In C. Baskent & T. Ferguson (Eds.), Graham priest on dialetheism and paraconsistency (pp. 575–675). Springer.
Priest, G. (2019b). It was so revolting I couldn’t take my eyes off it. In A. Rieger & G. Young (Eds.), Dialetheism and its applications (pp. 47–56). Springer.
Priest, G., Berto, F., & Weber, Z. (2018). Dialetheism. In Zalta, E. N. (Ed.), The Stanford encyclopedia of philosophy (Fall 2018 Edn). https://plato.stanford.edu/archives/fall2018/entries/dialetheism/.
Rahman, S., & Carnielli, W. (2000). The dialogical approach to paraconsistency. Synthese, 125(1), 201–232.
Rodrigues, A., Bueno-Soler, J., & Carnielli, W. (2020). Measuring evidence: A probabilistic approach to an extension of Belnap-Dunn logic. Synthese. https://doi.org/10.1007/s11229-020-02571-w
Rodrigues, A., & Carnielli, W. (2022). On Barrio, Lo Guercio, Szmuc on logics of evidence and truth. Logic and Logical Philosophy, 31, 313–338.
Routley, R. (1980). Exploring Meinong’s jungle and beyond. An investigation of noneism and the theory of items. Departmental Monograph, Philosophy Department, Research School of Social Sciences, Australian National University.
Song, Y., Omori, H., and Tojo, S. (2021). A two-valued semantics for infectious logics. In Proceedings of ISMVL 2021 (pp. 50–55). IEEE Computer Society.
Acknowledgements
This paper was produced while the author benefited from a research fellowship at the Vienna Circle Institute, at the University of Vienna, Austria. The author is partially supported by CNPq (Brazilian National Research Council).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
There are no conflicts of interest.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Arenhart, J.R.B. Interpreting philosophical interpretations of paraconsistency. Synthese 200, 449 (2022). https://doi.org/10.1007/s11229-022-03941-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11229-022-03941-2