Abstract
The present paper focuses on Graham Priest’s claim that even primitive recursive relations may be inconsistent. Although he carefully presented his claim using the expression “may be,” Priest (2006, p. 240) made a definite claim that even numerical equations can be inconsistent. His argument relies heavily on the fact that there is an inconsistent model for arithmetic. After summarizing Priest’s argument for the inconsistent primitive recursive relation, I first discuss the fact that his argument has a weak foundation to explain that the existence of a model for some relations does not guarantee that they are primitive recursive. Moreover, since his identity relation is a combination of a standard identity and a congruence relation, it does not simply represent the standard identity function. Then, I argue that his identity relation cannot be both inconsistent and primitive recursive. Furthermore, I extend the argument to the general case that there is no inconsistent primitive recursive relation. These arguments show that the standard notions of “function” and “primitive recursive function” do not fit Priest’s inconsistent model. New definitions are necessary to show the existence of a dialetheic primitive recursive relation.
Similar content being viewed by others
Notes
In answer to Priest, Shapiro (2019) recently stated that it was his mistake in Shapiro (2002) to think that the soundness of \(PA^{*}\) could be proved straightforwardly through the induction. He argued that \(PA^{*}\) fails to prove its own soundness due to Curry’s Paradox. However, it does not mean that the unsoundness of the system has been established. Also, for the consistency of primitive recursive relations, he did not directly address Priest’s claim that there exists an inconsistent primitive recursive relation. In addition, no argument against Priest’s inconsistent primitive recursive relation has been made before. Therefore, a discussion on this point is most necessary.
It should be noted that Priest used the identity symbol “\(=\)” ambiguously. His identity relation is not the same as the standard identity relation but combines that with the congruence relation. The standard identity, the congruence relations, and Priest’s identity relation are distinguished in Sects. 3 and 4.
There are two standard notions of consistency. Roughly put, syntactic consistency means that for any system S, S is consistent if there is no \(\varphi \) such that S derives \(\varphi \) and \(\lnot \varphi \); otherwise, it is inconsistent. Semantic consistency means that, for any set S of formulas, S is consistent iff there is a case that every formula in S is true; otherwise, it is inconsistent. Both notions apply a set of formulas (or a system), not a single relation. It is an interesting point that the standard notion of semantic consistency does not rule out some true contradictions. I am grateful to the anonymous referee for noting this point.
For some m and n, the remainder is as defined in the division theorem that if \(x=ym+n\) where \(0 \le n <y\), then n is the remainder. Then, rem is primitive recursive. (Cf. Davis (1958).)
I am grateful to the anonymous referee here. Even when engaging in discussions beyond the discourse of mathematics, there is no question that Priest’s notion of identity is not the same thing as what people typically mean by identity. Priest (2005, Ch. 5) interestingly argued that there are no problems even when the identity relation is applied to non-existent objects or vague objects. Moreover, Priest (2014) defended the idea that the identity does not obey all sorts of standard rules such as transitivity. However, discussions of these topics are beyond the scope of the present paper, and the reader is referred to the literature for further details in Priest (2005, 2014).
References
Beall, J. (2009). Spandrels of truth (1st ed.). Oxford University Press.
Choi, S. (2017). Can Gödel’s incompleteness theorem be a ground for dialetheism? Korean Journal of Logic, 20(2), 241–271.
Davis, M. (1958). Computability and unsolvability (1st ed.). Dover Publications.
Gödel, K. (1931). On formally undecidable propositions of Principia Mathematica and related system I. In S. Feferman, J. W. Dawson, S. Kleene, G. Moore, R. Solovay, & J. Heijenoort (Eds.), Kurt Gödel: Collected works (pp. 144–195). Oxford University Press.
Gödel, K. (1934). On undecidable propositions of formal mathematical systems. In S. Feferman, J. W. Dawson, S. Kleene, G. Moore, R. Solovay, & J. Heijenoort (Eds.), Kurt Gödel: Collected works (Vol. I, pp. 346–371). Oxford University Press.
Jech, T. (2003). Set theory: The Third Millennium Edition, revised and expanded. Springer.
Paris, J. B., & Pathmanathan, N. (2006). A note on priest’s finite inconsistent arithmetics. Journal of Philosophical Logic, 35, 529–537.
Paris, J. B., & Sirokofskich, A. (2008). On lp-models of arithmetic. The Journal of Symbolic Logic, 73(1), 212–226.
Priest, G. (1979). The logic of paradox. The Journal of Philosophical Logic, 8(1), 219–241.
Priest, G. (1991). Minimally inconsistent LP. Studia Logica: An International Journal for Symbolic Logic, 50, 321–331.
Priest, G. (1997). Inconsistent models for arithmetic: I, finite models. The Journal of Philosophical Logic, 26, 223–235.
Priest, G. (2000). Inconsistent models for arithmetic: II, the general case. The Journal of Symbolic Logic, 65, 1519–1529.
Priest, G. (2005). Towards non-being the logic and metaphysics of intentionality. Oxford University Press.
Priest, G. (2006). In contradiction: A study of the transconsistent. Oxford University Press.
Priest, G. (2014). One: Being an investigation into the unity of reality and of its parts, including the singular object which is nothingness. Oxford University Press.
Shapiro, S. (2002). Incompleteness and inconsistency. Mind, 111, 817–831.
Shapiro, S. (2019). Inconsistency and incompleteness, revisited. In C. Baskent & T. N. Ferguson (Eds.), Graham Priest on dialetheism and paraconsistency outstanding contributions to logic (Vol. 18, pp. 469–479). Springer.
Tanswell, F. S. (2016). Saving proof from paradox: Gödel’s paradox and the inconsistency of informal mathematics. In H. Andreas & P. Verdée (Eds.), Logical studies of paraconsistent reasoning in science and mathematics (pp. 159–173). Springer.
Tedder, A. (2015). Axioms for finite collapse models of arithmetic. The Review of Symbolic Logic, 8(3), 529–539.
Tedder, A. (2021). On consistency and decidability in some paraconsistent arithmetics. Australasian Journal of Logic, 11, 473–502.
Weber, Z. (2016). Paraconsistent computation and dialetheic machines. In H. Andreas & P. Verdée (Eds.), Logical studies of paraconsistent reasoning in science and mathematics (pp. 205–221). Springer.
Acknowledgements
This research has been supported by the AMOREPACIFIC Foundation. An early version of this paper was presented at the Summer Regular Conference of the Korean Association for Logic, the Fall Regular Conference of the Korean Society of Analytic Philosophy, and the 2nd Korea Logic Day. I would like to thank two anonymous referees, Byungdeok Lee, Chulmin Yoon, Dongwoo Kim, Eunseok Yang, Hanjong So, Inkyo Chung, Junguk Lee, and Junhee Kim for their helpful comments.
Author information
Authors and Affiliations
Corresponding author
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 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
Choi, S. Is there an inconsistent primitive recursive relation?. Synthese 200, 418 (2022). https://doi.org/10.1007/s11229-022-03900-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11229-022-03900-x