Abstract
We give a complete characterization of Priest's Finite Inconsistent Arithmetics observing that his original putative characterization included arithmetics which cannot in fact be realized.
Similar content being viewed by others
References
Pathmanathan, N. 2005: MSc thesis, University of Manchester.
Priest, G. 1997: Inconsistent models of arithmetic. Part I. Finite models, Journal of Philosophical Logic 26, 223–235.
Priest, G. 1987: In Contradiction, Nijhoff, Dordrecht.
Priest, G. 1991: Minimally inconsistent \(LP\), Studia Logica 50, 321–331.
Priest, G. 2000: Inconsistent models of arithmetic. Part II. The general case, Journal of Symbolic Logic 65, 1519–1529.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Paris, J.B., Pathmanathan, N. A Note on Priest's Finite Inconsistent Arithmetics. J Philos Logic 35, 529–537 (2006). https://doi.org/10.1007/s10992-006-9031-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-006-9031-1