Skip to main content
SpringerLink
Log in

On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Belnap–Dunn’s relevance logic, \(\textsf{BD}\), was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or incomplete pieces of information. \(\textsf{BD}\) is a four-valued logic which is both paraconsistent and paracomplete. On the other hand, De and Omori, while investigating what classical negation amounts to in a paracomplete and paraconsistent four-valued setting, proposed the expansion \(\textsf{BD2}\) of the four valued Belnap–Dunn logic by a classical negation. In this paper, we introduce a four-valued expansion of BD called \({\textsf{BD}^\copyright }\), obtained by adding an unary connective \({\copyright }\,\ \)which is a consistency operator (in the sense of the Logics of Formal Inconsistency, LFIs). In addition, this operator is the unique one with the following features: it extends to \(\textsf{BD}\) the consistency operator of LFI1, a well-known three-valued LFI, still satisfying axiom ciw (which states that any sentence is either consistent or contradictory), and allowing to define an undeterminedness operator (in the sense of Logic of Formal Undeterminedness, LFUs). Moreover, \({\textsf{BD}^\copyright }\) is maximal w.r.t. LFI1, and it is proved to be equivalent to BD2, up to signature. After presenting a natural Hilbert-style characterization of \({\textsf{BD}^\copyright }\) obtained by means of twist-structures semantics, we propose a first-order version of \({\textsf{BD}^\copyright }\) called \({\textsf{QBD}^\copyright }\), with semantics based on an appropriate notion of four-valued Tarskian-like structures called \(\textbf{4}\)-structures. We show that in \({\textsf{QBD}^\copyright }\), the existential and universal quantifiers are interdefinable in terms of the paracomplete and paraconsistent negation, and not by means of the classical negation. Finally, a Hilbert-style calculus for \({\textsf{QBD}^\copyright }\) is presented, proving the corresponding soundness and completeness theorems.

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. Arieli, O., and A. Avron, Four-Valued Paradefinite Logics, Studia Logica 105(2): 1087–1122, 2017.

    Article  Google Scholar 

  2. Avron, A., Non-deterministic matrices and modular semantics of rules, in J.Y. Beziau, (ed.), Logica Universalis, Birkhäuser Verlag, 2005, pp. 149–167.

    Chapter  Google Scholar 

  3. Avron, A., B. Konikowska, and A. Zamansky, Analytic calculi for basic logics of formal inconsistency, in J.-Y. Beziau, and M.E. Coniglio, (eds.), Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday, vol. 17 of Tribute Series, College Publications, 2011, pp. 265–275.

  4. Avron, A., and A. Zamansky, Many-valued non-deterministic semantics for first-order Logics of Formal (In)consistency, in S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, and V. Marra, (eds.), Algebraic and Proof-theoretic Aspects of Non-classical Logics. Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday, vol. 4460 of Lecture Notes in Computer Science, Springer, 2007, pp. 1–24.

  5. Batens, D., Some Adaptive Contributions to Logics of Formal Inconsistency, in J.Y. Beziau, M. Chakraborty, and S. Dutta, (eds.), New Directions in Paraconsistent Logic, vol. 152 of Springer Proceedings in Mathematics & Statistics, Springer, New Delhi, 2015, pp. 309–333.

    Chapter  Google Scholar 

  6. Belnap, N. D., How a Computer Should Think, in G. Ryle, (ed.), Contemporary Aspects of Philosophy, Oriel Press, Boston, 1976, pp. 30–56.

    Google Scholar 

  7. Belnap, N. D., A Useful Four-Valued Logic, in J. M. Dunn, and G. Epstein, (eds.), Modern Uses of Multiple-Valued Logic, Reidel, Dordrecht-Boston, 1977, pp. 8–37.

    Google Scholar 

  8. Borja-Macías, V., M. E. Coniglio, and A. Hernández-Tello, Genuine paracomplete logics, Logic Journal of the IGPL 31(5): 961–987, 2023. https://doi.org/10.1093/jigpal/jzac060.

    Article  Google Scholar 

  9. Carnielli, W., and M. E. Coniglio, Paraconsistent Logic: Consistency, Contradiction and Negation, vol. 40 of Logic, Epistemology, and the Unity of Science, Springer, 2016.

  10. Carnielli, W. A., M. E. Coniglio, and J. Marcos, Logics of formal inconsistency, in D. M. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic (2nd edition), vol. 14, Springer, 2007, pp. 1–93.

    Google Scholar 

  11. Carnielli, W., M. Coniglio, and A. Rodrigues, Recovery operators, paraconsistency and duality, Logic Journal of the IGPL 28(5): 624–657, 2020.

    Article  Google Scholar 

  12. Carnielli, W., and J. Marcos, A taxonomy of C-systems, 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, pp. 1–94.

  13. Carnielli, W., J. Marcos, and S. de Amo, Formal inconsistency and evolutionary databases, Logic and Logical Philosophy 8:115–152, 2000.

    Article  Google Scholar 

  14. Carnielli, W., and A. Rodrigues, An epistemic approach to paraconsistency: a logic of evidence and truth, Synthese 196: 3789–3813, 2017.

    Article  Google Scholar 

  15. Ciuni, R., and M. Carrara, Normality operators and classical recapture in many-valued logic, Logic Journal of the IGPL 28(5): 657–683, 2020.

    Article  Google Scholar 

  16. Coniglio, M. E., F. Esteva, J. Gispert, and L. Godo, Maximality in finite-valued Łukasiewicz logics defined by order filters, Journal of Logic and Computation 29(1): 125–156, 2018.

    Article  Google Scholar 

  17. Coniglio, M. E., and M. Figallo, Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras, Studia Logica 102(3): 525–539, 2014.

    Article  Google Scholar 

  18. da Costa, N. C. A., Sistemas formais inconsistentes (Inconsistent Formal Systems) (in Portuguese), Cathedra Thesis, Universidade do Paraná, Curitiba, Brazil, 1963.

  19. da Silva Oliveira, K. E. C., Paraconsistent logic programming in three and four valued logics (in Portuguese), PhD thesis, Universidade Estadual de Campinas, Brazil, 2017.

  20. De, M., and H. Omori, Classical Negation and Expansions of Belnap–Dunn Logic, Studia Logica 103: 825–851, 2015.

    Article  Google Scholar 

  21. D’Ottaviano, I. M. L., and N. C. A. da Costa, Sur un problème de Jaśkowski (in French), Comptes Rendus de l’Académie de Sciences de Paris 270:1349–1353, 1970.

    Google Scholar 

  22. Dunn, J. M., The algebra of intensional logics, PhD thesis, University of Pittsburgh, USA, 1966.

  23. Dunn, J. M., Intuitive semantics for first-degree entailments and coupled trees, Philosophical Studies 29(3): 149–169, 1976.

    Article  Google Scholar 

  24. Fidel, M. M., An algebraic study of a propositional system of Nelson, in A. I. Arruda, N. C. A. da Costa, and R. Chuaqui, (eds.), Mathematical Logic. Proceedings of the FirstBrazilian Conference on Mathematical Logic, Campinas 1977, Marcel Dekker, New York, 1978, pp. 99–117.

    Google Scholar 

  25. Figallo, M., Hypersequents and the Tetravalent Modal Logic, PhD Thesis, Universidad Nacional del Sur, Bahía Blanca, Argentina, 2013.

  26. Figallo, M., Cut–free sequent calculus and natural deduction for the tetravalent modal logic, Studia Logica 109: 1347–1373, 2021.

    Article  Google Scholar 

  27. Font, J. M., and M. Rius, An abstract algebraic logic approach to tetravalent modal logics, Journal of Symbolic Logic 65(2): 481–518, 2000.

    Article  Google Scholar 

  28. Givant, S., and P. Halmos. Introduction to Boolean Algebras. Springer, New York, 2009.

    Google Scholar 

  29. Kalman, J. A., Lattices with involution, Transactions of the American Mathematical Society 87: 485–491, 1958.

    Article  Google Scholar 

  30. Malinowski, G., Many-Valued Logics, in L. Goble, (ed.), The Blackwell Guide to Philosophical Logic, vol. 4, Ch. 14, Blackwell Philosophy Guides John Wiley & Sons, Ltd, 2001, pp. 309–335.

  31. Marcos, J., Nearly every normal modal logic is paranormal, Logique et Analyse 48, 279–300, 2005.

    Google Scholar 

  32. Mendelson, E., Introduction to Mathematical Logic, 6th edn. CRC Press, 2015.

    Book  Google Scholar 

  33. Mostowski, A., Axiomatizability of some many valued predicate calculi, in A. Mostowski, Foundational Studies. Selected Works, Volume II, vol. 93 of Studies in Logic and the Foundations of Mathematics Series, Elsevier, 1979, pp. 442–467.

  34. Odintsov, S. P., The class of extensions of Nelson paraconsistent logic, Studia Logica 80: 291–320, 2005.

    Article  Google Scholar 

  35. Omori, H., and T. Waragai, Some Observations on the Systems LFI1 and \({\bf LFI1}^*\), in Proceedings of the 2011 22nd International Workshop on Database and Expert Systems Applications, IEEE Computer Society, DEXA ’11 series, 2011, pp. 320–324.

  36. Pynko, A. P., Functional completeness and axiomatizability within Belnap’s four-valued logic and its expansions, Journal of Applied Non-classical Logics 9(1):61–105, 1999.

    Article  Google Scholar 

  37. Rosser, J. B., and A. R. Turquette, Many-valued Logics, North-Holland, 1952.

    Google Scholar 

  38. Sano, K., and H. Omori, An expansion of first-order Belnap-Dunn logic, Logic Journal of the IGPL 22(3): 458–481, 2014.

    Article  Google Scholar 

  39. Shramko, Y., D. Zaitsev, and A. Belikov, First-Degree Entailment and its Relatives, Studia Logica 105(6):1291–1317, 2017.

    Article  Google Scholar 

  40. Vakarelov, D., Notes on N-lattices and constructive logic with strong negation, Studia Logica 36(1-2):109–125, 1977.

    Article  Google Scholar 

  41. Wójcicki, R., Lectures on Propositional Calculi, Ossolineum, Wroclaw, 1984.

    Google Scholar 

  42. Wójcicki, R., Theory of Logical Calculi, vol. 199 of Synthese Library Series, Kluwer, 1988.

Download references

Acknowledgements

We would like to thank the two anonymous referees by their useful comments and suggestions, which helped us to improve the overall quality of the paper. This research was supported by the São Paulo Research Foundation (FAPESP, Brazil) trough the Thematic Project Rationality, logic and probability – RatioLog, grant #2020/16353-3, and the Visiting Researcher Award grant #2022/03862-2. The first author also acknowledges support from the National Council for Scientific and Technological Development (CNPq, Brazil), through the individual research grant #306530/2019-8, and the Edital Universal project #408040/2021-1.

Author information

Authors and Affiliations

  1. Centre for Logic, Epistemology and the History of Science (CLE) and Institute of Philosophy and the Humanities (IFCH), University of Campinas (UNICAMP), Campinas, Brazil

    Marcelo E. Coniglio

  2. Departamento de Matemática, Universidad Nacional del Sur (UNS), Bahía Blanca, Argentina

    G. T. Gomez–Pereira

  3. Departamento de Matemática and Instituto de Matemática (INMABB), Universidad Nacional del Sur (UNS), Bahía Blanca, Argentina

    Martín Figallo

Authors
  1. Marcelo E. Coniglio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. T. Gomez–Pereira
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Martín Figallo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Marcelo E. Coniglio.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Presented by Walter Carnielli

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Coniglio, M.E., Gomez–Pereira, G.T. & Figallo, M. On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness. Stud Logica (2024). https://doi.org/10.1007/s11225-024-10106-4

Download citation

  • Received:

  • Published:

  • DOI: https://doi.org/10.1007/s11225-024-10106-4

Keywords

Search

Navigation