Abstract
Proof-theoretic semantics provides meanings to the connectives of intuitionistic logic without the need for a semantics in the standard sense of an attribution of semantic values to formulas. Meanings are given by the inference rules that, in this case, do not express preservation of truth but rather preservation of availability of a constructive proof. Elsewhere we presented two paraconsistent systems of natural deduction: the Basic Logic of Evidence (BLE) and the Logic of Evidence and Truth (\(LET_{J}\)). The rules of BLE have been conceived to preserve a notion weaker than truth, namely, evidence, understood as reasons for believing in or accepting a given proposition. \(LET_{J}\), on the other hand, is a logic of formal inconsistency and undeterminedness that extends \(BLE\) by adding resources to recover classical logic for formulas taken as true, or false. We extend the idea of proof-theoretic semantics to these logics and argue that the meanings of the connectives in BLE are given by the fact that its rules are concerned with preservation of the availability of evidence. An analogous idea also applies to \(LET_{J}\).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
- 2.
An example is the Goldstein theorem whose proof is independent of Peano Arithmetic (formal number theory), and so cannot be proved by constructive means.
- 3.
We defend this view in Carnielli and Rodrigues (2016, Sect. 3).
- 4.
The same idea of a “peaceful coexistence” between intuitionism and classicism is found in Dubucs (2008).
- 5.
For a more detailed account of paraconsistency as preservation of evidence and the duality between paraconsistent and paracomplete logics understood as concerned, respectively, with a notion weaker and stronger than truth, we refer the reader to Carnielli and Rodrigues (2016, Sect. 4) and (2017, Sects. 1 and 2).
- 6.
- 7.
We quote here from the French edition of Heyting’s text originally publish in German in 1934.
- 8.
Another remarkable feature of \(BLE\) is the symmetry between the introduction and elimination positive rules for \(\wedge \) and \(\vee \) on the one hand, and the introduction and elimination negative rules for the dual operators \(\vee \) and \(\wedge \) on the other (there is no dual of \(\rightarrow \) in \(BLE\)).
- 9.
The logic \(BLE\), besides being equivalent to Nelson’s N4, is also equivalent to the propositional fragment of the refutability calculus proposed by López-Escobar (1972), where an explanation of refutation as a primitive notion in number theory that is similar to the clauses [E4]–[E7] above can be found (López-Escobar 1972, pp. 363ff). This is not a surprise, though, since the logics are equivalent, but his motivations are completely different from ours. Regarding the motivations and the “discovery” of \(BLE\) and \(LET_{J}\), see Sect. 5.3 and footnote 21 of Carnielli and Rodrigues (2017).
- 10.
- 11.
These two conditions exclude contradictions due to properties instantiated in different moments of time and contradictions that depend on two different perspectives. Heraclitean oppositions, thus, are not dialetheias, and contradictions in history, like the ones asserted by Hegelians, do not qualify as dialetheias either.
References
Almukdad, A., & Nelson, D. (1984). Constructible falsity and inexact predicates. The Journal of Symbolic Logic, 49(1), 231–233.
Brouwer, L. E. J. (1907). On the foundations of mathematics. In A. Heyting (Ed.), Collected works (Vol. I). North-Holland Publishing Company (1975)
Carnielli, W. A., & Coniglio, M. E. (2016). Paraconsistent logic: Consistency contradiction and negation. Springer.
Carnielli, W. A., & Rodrigues, A. (2016). Paraconsistency and duality: Between ontological and epistemological views. In Logica yearbook 2015. College Publications.
Carnielli, W. A., & Rodrigues, A. (2017). An epistemic approach to paraconsistency: A logic of evidence and truth. Synthese.
Carnielli, W. A., Coniglio, M. E., & Marcos, J. (2007). Logics of formal inconsistency. In Gabbay & Guenthner (Eds.), Handbook of philosophical logic (Vol. 14). Springer.
da Costa, N. C. A., & Alves, E. (1977). A semantical analysis of the calculi C\(_{n}\). Notre Dame Journal of Formal Logic, 18(4), 621–630.
Dubucs, J. (2008). Truth and experience of truth. In M. van Atten, et al. (Eds.), One hundred years of intuitionism. Birkhäuser Verlag.
Dummett, M. (1973). Frege: Philosophy of language. Harvard University Press.
Dummett, M. (1991). The logical basis of metaphysics. Harvard University Press.
Frege, G. (1980). Letter to Frege. In Philosophical and mathematical correspondence (H. Kaal, Trans.) (pp. 150–151). University of Chicago Press.
Gentzen, G. (1935). Investigations into logical deduction. In M. E. Szabo (Ed.), The collected papers of Gerhard Gentzen. North-Holland Publishing Company (1969).
Heyting, A. (1930). On intuitionistic logic. In M. Paolo (Ed.), From Brouwer to Hilbert: The debate on the foundations of mathematics in the 1920s. Oxford University Press (1998).
Heyting, A. (1934). Les Fondements des Mathématiques, Intuitionnisme, Théorie de la Démonstration (p. 1955). Paris: Gautier-Villars.
Heyting, A. (1956). Intuitionism: An introduction. North-Holland Publishing Company.
Kolmogorov, A. (1932). On the interpretation of intuitionistic logic. In M. Paolo (Ed.), From Brouwer to Hilbert: The debate on the foundations of mathematics in the 1920s. Oxford University Press.
Kripke, S. (1965). Semantical analysis of intuitionistic logic I. In J. Crossley & M. Dummett (Eds.), Formal systems and recursive functions. Amsterdam: North-Holland Publishing.
Loparic, A. (1986). A semantical study of some propositional calculi. The Journal of Non-classical Logic, 3(1), 73–95.
Loparic, A. (2010). Valuation semantics for intuitionistic propositional calculus and some of its subcalculi. Principia, 14(1), 125–133.
Loparic, A., & Alves, E. (1979).The semantics of the systems C\(_{n}\) of da Costa. In A. I. Arruda, N. C. A. da Costa, & A. M. Sette (Eds.), Proceedings of the III Brazilian Conference on Mathematical Logic, Recife, 1979 (pp. 161–172). São Paulo: Brazilian Logic Society.
López-Escobar, E. G. K. (1972). Refutability and elementary number theory. Indagationes Mathematicae, 34, 362–374.
Odintsov, S. (2008). Constructive negations and paraconsistency. Springer.
Prawitz, D. (1965). Natural deduction: A proof-theoretical study. Dover Publications (2006).
Prawitz, D. (2015). Classical versus intuitionistic logic. In Why is this a Proof? Festschrift for Luiz Carlos Pereira. College Publications.
Prawitz, D. (2016). On the relation between Heyting’s and Gentzen’s approaches to meaning. In Piecha et al. (Ed.), Advances in proof-theoretic semantics. Springer.
Priest, G., & Berto, F. (2013). Dialetheism. Stanford Encyclopedia of Philosophy. http://plato.stanford.edu/archives/sum2013/entries/dialetheism/.
Tarski, A. (1944). The semantic conception of truth and the foundations of semantics. Philosophy and Phenomenological Research, 4, 341–376.
Tarski, A., & (1956a). The concept of truth in formalized languages,. (1936). In Logic, Semantics. Metamathematics: Clarendon Press.
Tarski, A., & (1956b). The establishment of scientific semantics,. (1935). In Logic, Semantics. Metamathematics: Clarendon Press.
Tarski, A. (1969). Truth and proof. Scientific American, 63–70, 75–77.
van Dalen, D., & Troelstra, A. S. (1988). Constructivism in mathematics: An introduction. Amsterdam: Elsevier.
Acknowledgements
The first author acknowledges support from FAPESP (Fundação de Amparo à Pesquisa do Estado de São Paulo, thematic project LogCons) and from a CNPq (Conselho Nacional de Desenvolvimento Científico e Tecnológico) research grant. The second author acknowledges support from FAPEMIG (Fundação de Amparo à Pesquisa do Estado de Minas Gerais, grants PEP 157-16 and 701-16). We would like to thank Eduardo Barrio, the audience of the Workshop CLE-BsAs Logic Group (Buenos Aires, April 2016), and two anonymous referees for some valuable comments on a previous version of this text.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Carnielli, W., Rodrigues, A. (2019). Inferential Semantics, Paraconsistency, and Preservation of Evidence. In: Başkent, C., Ferguson, T. (eds) Graham Priest on Dialetheism and Paraconsistency. Outstanding Contributions to Logic, vol 18. Springer, Cham. https://doi.org/10.1007/978-3-030-25365-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-030-25365-3_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-25364-6
Online ISBN: 978-3-030-25365-3
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)