From Inconsistency to Incompatibility
DOI:
https://doi.org/10.12775/LLP.2022.027Keywords
incompatibility, paraconsistent logics, non-deterministic matrices, restricted non-deterministic matricesAbstract
The aim of this article is to generalize logics of formal inconsistency (LFIs) to systems dealing with the concept of incompatibility, expressed by means of a binary connective. The basic idea is that having two incompatible formulas to hold trivializes a deduction, and as a special case, a formula becomes consistent (in the sense of LFIs) when it is incompatible with its own negation. We show how this notion extends that of consistency in a non-trivial way, presenting conservative translations for many simple LFIs into some of the most basic logics of incompatibility, thereby evidencing in a precise way how the notion of incompatibility generalizes that of consistency. We provide semantics for the new logics, as well as decision procedures, based on restricted non-deterministic matrices. The use of non-deterministic semantics with restrictions is justified by the fact that, as proved here, these systems are not algebraizable according to Blok-Pigozzi nor are they characterizable by finite Nmatrices. Finally, we briefly compare our logics to other systems focused on treating incompatibility, specially those pioneered by Brandom and further developed by Peregrin.
References
Avron, A., “Non-deterministic matrices and modular semantics of rules”, pages 149–167 in J.-Y. Béziau (ed.), Logica Universalis, Birkhäuser Verlag: Basel, 2005.
Avron, A., and I. Lev, “Canonical propositional Gentzen-type systems”, pages 529–544 in R. Gore, A. Leitsch, and T. Nipkow (eds.), Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR 2001), vol. 2083 of LNAI, Springer Verlag, 2001.
Blok, W. J., and D. Pigozzi, Algebraizable Logics, Memoirs of the American Mathematical Society, 1989.
Brandom, R. B., and A. Aker, Between Saying and Doing: Towards an Analytic Pragmatism, Oxford University Press, 2008.
Carnielli, W., and M. E. Coniglio, Paraconsistent Logic: Consistency, Contradiction and Negation, vol. 40 of the Logic, Epistemology, and the Unity of Science Series, Springer: Cham, 2016. DOI: http://dx.doi.org/10.1007/978-3-319-33205-5
Carnielli, W. A., M. E. Coniglio and J. Marcos, “Logics of formal inconsistency”, pages 1–93 in D. M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd. edition, vol. 14, Springer, 2007. DOI: http://dx.doi.org/10.1007/978-1-4020-6324-4_1
Carnielli, W. A., and J. Marcos, “A taxonomy of C-systems”, pages 1–94 in W. A. Carnielli, M. E. Coniglio and I. M. L. D’Ottaviano (eds.), Paraconsistency: The Logical Way to the Inconsistent, vol. 228 of Lecture Notes in Pure and Applied Mathematics, Marcel Dekker: New York, 2002. DOI: http://dx.doi.org/10.1201/9780203910139.pt1
Coniglio, M. E., and G. V. Toledo, “Two decision procedures for da Costa’s Cn logics based on restricted nmatrix semantics”, Studia Logica 110, 3 (2022): 601–642. DOI: http://dx.doi.org/10.1007/s11225-021-09972-z
da Costa, N. C. A., Sistemas formais inconsistentes (Inconsistent Formal Systems, in Portuguese), Habilitation Thesis, Universidade do Paraná, Curitiba, 1963 (republished by Editora UFPR, Brazil 1993).
Feitosa, H. A., and I. M. L. D’Ottaviano, “Conservative translations”, Annals of Pure and Applied Logic 108, 1–3 (2001): 205–227.
Fidel, M., “The decidability of the calculi Cn”, Reports on Mathematical Logic 8 (1977): 31–40.
Lewin, R. A., I. F. Mikenberg and M. G. Schwarze, “C1 is not algebraizable”, Notre Dame Journal of Formal Logic 32, 4 (1991): 609–611.
Mendelson, E., Introduction to Mathematical Logic, 5th. edition, Chapman & Hall: New York, 1987.
O’Connor, D. J., “Incompatible properties”, Analysis 15, 5 (1955): 109–117. DOI: http://dx.doi.org/10.1093/analys/15.5.109
Peregrin, J., “Brandom’s incompatibility semantics”, Philosophical Topics 36, 2 (2008):99–121.
Peregrin, J., “Logic as based in incompatibility”, pages 157–168 in M. Peliš and V. Punčochář (eds.), The Logica Yearbook 2010, College Publications: London, 2011.
Piochi, B., “Matrici adequate per calcoli generali predicativi”, Bolletino della Unione Matematica Italiana 15A (1978): 66–76.
Piochi, B., “Logical matrices and non-structural consequence operators”, Studia Logica 42, 1 (1983): 33–42.
Wójcicki, R., Lectures on Propositional Calculi, Ossolineum: Wroclaw, 1984.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2022 Marcelo E. Coniglio, Guilherme V. Toledo
This work is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License.
Stats
Number of views and downloads: 1233
Number of citations: 0
