Abstract
The aim of this paper is to shed new light on the logical roots of arithmetic by presenting a logical framework (ALA) that takes seriously ordinary locutions like ‘at least n Fs’, ‘n more Fs than Gs’ and ‘n times as many Fs as Gs’, instead of paraphrasing them away in terms of expressions of the form ‘the number of Fs’. It will be shown that the basic concepts of arithmetic can be intuitively defined in the language of ALA, and the Dedekind–Peano axioms can be derived from those definitions by logical means alone. It will also be shown that some fundamental facts about cardinal numbers expressed using singular terms of the form ‘the number of Fs’, including (a variant of) Hume’s Principle, can be derived solely from definitions.
Similar content being viewed by others
References
Bostock, D., Logic and Arithmetic: Natural Numbers, Oxford University Press, Oxford, 1974.
Carnap, R., The logicist foundations of mathematics, in P. Bernacerraf, and H. Putnam (eds.), Philosophy of Mathematics: Selected Readings, 2nd ed., Cambridge University Press, Cambridge, 1983, pp. 14–52.
Dummett, M., Frege: Philosophy of Mathematics, Harvard University Press, Cambridge, MA, 1991.
Enderton, H. B., A Mathematical Introduction to Logic, 2nd edn., Harcourt/Academic Press, San Diego, CA, 2001.
Frege, G., Die Grundlagen der Arithmetik, trans. J. L. Austin as The Foundations of Arithmetic, 2nd rev. edn., Blackwell, Oxford, 1980.
Frege, G., Grundgesetze der Arithmetik, I/II, Georg Olms, Hildesheim, 1962.
Frege, G., Posthumous Writings, eds., H. Hermes, F. Kambartel, and F. Kaulbach, University of Chicago Press, Chicago, 1979.
Gupta, A., Definitions, in Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, fall 2012 ed., 2012.
Hale, B., and C. Wright, The Reason’s Proper Study: Essays Towards a Neo-Fregean Philosophy of Mathematics, Clarendon Press, Oxford, 2001.
Heck, R., The development of arithmetic in Frege’s Grundgesetze der Arithmetik, Journal of Symbolic Logic 58(2):579–600, 1993.
Hodes, H., Logicism and the ontological commitments of arithmetic, Journal of Philosophy 81:123–149, 1984.
Kim, J., A Philosophical Inquiry into the Concept of Number, Ph.D. thesis, The University of Notre Dame, 2004. http://etd.nd.edu/ETD-db/theses/available/etd-04202004-160320.
Kim, J., A strengthening of the Caesar Problem, Erkenntnis 75(1):123–136, 2011. doi:10.1007/s10670-011-9272-4.
Kim, J., What are numbers?, Synthese, 190(6):1099–1112, 2013. doi:10.1007/s11229-011-9883-y.
Kim, J., Euclid strikes back at Frege, Philosophical Quarterly 64(254):20–38, 2014. doi:10.1093/pq/pqt009.
Prawitz, D., Natural Deduction: A Proof-Theoretical Study, Almqvist & Wiksell, Stockholm, 1965.
Rayo, A., Frege’s unofficial arithmetic, Journal of Symbolic Logic 67(4):1623–1638, 2002.
Shapiro, S., Prolegomenon to any future neo-logicist set theory: Abstraction and indefinite extensibility, British Journal for the Philosophy of Science 54:59–91, 2003.
Wiggins, D., Sameness and Substance Renewed, Cambridge University Press, Cambridge, 2001.
Williamson, T., Barcan formulas in second-order modal logic, forthcoming in M. Frauchiger, and W. K. Essler (eds.), Themes from Barcan Marcus, Ontos Verlag, Frankfurt.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Richmond Thomason
Rights and permissions
About this article
Cite this article
Kim, J. A Logical Foundation of Arithmetic. Stud Logica 103, 113–144 (2015). https://doi.org/10.1007/s11225-014-9551-6
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-014-9551-6