Skip to main content
Log in

Paraconsistent Logic, Evidence, and Justification

Studia Logica Aims and scope Submit manuscript

Abstract

In a forthcoming paper, Walter Carnielli and Abilio Rodrigues propose a Basic Logic of Evidence (BLE) whose natural deduction rules are thought of as preserving evidence instead of truth. BLE turns out to be equivalent to Nelson’s paraconsistent logic N4, resulting from adding strong negation to Intuitionistic logic without Intuitionistic negation. The Carnielli/Rodrigues understanding of evidence is informal. Here we provide a formal alternative, using justification logic. First we introduce a modal logic, KX4, in which \(\square X\) can be read as asserting there is implicit evidence for X, where we understand evidence to permit contradictions. We show BLE embeds into KX4 in the same way that Intuitionistic logic embeds into S4. Then we formulate a new justification logic, JX4, in which the implicit evidence motivating KX4 is made explicit. KX4 embeds into JX4 via a realization theorem. Thus BLE has both implicit and explicit possibly contradictory evidence interpretations in a formal sense.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Anderson, A. R., and N. D. Belnap Jr., First Degree Entailments, Mathematische Annalen 149:302–319, 1963.

  2. Artemov, S. N., Explicit Provability and Constructive Semantics, Bulletin of Symbolic Logic 7.1:1–36, 2001.

  3. Artemov, S. N., The Logic of Justification, Review of Symbolic Logic 1.4:477–513, 2008. DOI:10.1017/S1755020308090060.

  4. Artemov, S. N., and M. C. Fitting, Justification Logic. Ed. by E. N. Zalta, 2011, revised 2015. URL: http://plato.stanford.edu/entries/logic-justification/.

  5. Belnap, N. D., Jr., A useful four-valued logic, in J. M. Dunn and G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel, 1977.

  6. Carnielli, W., and A. Rodrigues, A logic for evidence and truth. Submitted for publication, electronic version at http://www.cle.unicamp.br/e-prints/vol_15,n_5, 2015.

  7. Fitting, M. C., Justification Logics and Realization. Tech. rep. TR-2014004. CUNY Ph.D. Program in Computer Science, 2014. URL: http://academicworks.cuny.edu/gc_cs_tr/.

  8. Fitting, M. C., Modal Logics, Justification Logics, and Realization, Annals of Pure and Applied Logic 167:615–648, 2016. DOI:10.1016/j.apal.2016.03.005. URL: http://www.sciencedirect.com/science/article/pii/S016800721630029X.

  9. Gödel, K., Eine Interpretation des intuistionistischen Aussagenkalküls. In: Ergebnisse eines mathematischen Kolloquiums 4 (1933). Translated as An interpretation of the intuitionistic propositional calculus in [godelworks] I, 296–301, pp. 39–40.

  10. Kamide, N., and H. Wansing, Proof Theory of N4-related Paraconsistent Logics. Vol. 54. Studies in Logic. College Publications, 2015.

  11. Kamide, N., and H. Wansing, Proof theory of Nelson’s paraconsistent logic: A uniform perspective, Theoretical Computer Science 415:1–38, 2012.

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Melvin Fitting.

Additional information

Special Issue: 40 years of FDE Edited by Hitoshi Omori and Heinrich Wansing

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Fitting, M. Paraconsistent Logic, Evidence, and Justification. Stud Logica 105, 1149–1166 (2017). https://doi.org/10.1007/s11225-017-9714-3

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-017-9714-3

Keywords

Navigation