Logicism, Interpretability, and Knowledge of Arithmetic

Review of Symbolic Logic 7 (1):84-119 (2014)
  Copy   BIBTEX


A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are representable in the logical principles. The notions of representation considered here are related to theory-based and structure-based notions of representation from contemporary mathematical logic. It is argued that the theory-based versions of such logicism are either too liberal (the plethora problem) or are committed to intuitively incorrect closure conditions (the consistency problem). Structure-based versions must on the other hand respond to a charge of begging the question (the circularity problem) or explain how one may have a knowledge of structure in advance of a knowledge of axioms (the signature problem). This discussion is significant because it gives us a better idea of what a notion of representation must look like if it is to aid in realizing some of the traditional epistemic aims of logicism in the philosophy of mathematics.

Similar books and articles

Logicism Reconsidered.Patricia A. Blanchette - 1990 - Dissertation, Stanford University
The geometrical basis of arithmetical knowledge: Frege & Dehaene.Sorin Costreie - 2018 - Theoria : An International Journal for Theory, History and Fundations of Science 33 (2):361-370.
Plural Ancestral Logic as the Logic of Arithmetic.Oliver Tatton-Brown - 2024 - Review of Symbolic Logic 17 (2):305-342.
Russell on Logicism and Coherence.Conor Mayo-Wilson - 2011 - Russell: The Journal of Bertrand Russell Studies 31 (1):63-79.
Logicism and its Philosophical Legacy.William Demopoulos - 2013 - New York: Cambridge University Press.
Truth and Knowledge in Logic and Mathematics.Gila Sher - 2012 - The Logica Yearbook 2011:289-304.
The Modal Status of Contextually A Priori Arithmetical Truths.Markus Pantsar - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing.
Frege, Kant, and the logic in logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.


Added to PP

113 (#161,597)

6 months
1,299 (#687)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Sean Walsh
University of California, Los Angeles

References found in this work

The Philosophy of Philosophy.Timothy Williamson - 2007 - Malden, MA: Wiley-Blackwell.
The Structure of Appearance.Nelson Goodman - 1951 - Cambridge, MA, USA: Harvard University Press.
Mathematics as a science of patterns.Michael David Resnik - 1997 - New York ;: Oxford University Press.

View all 85 references / Add more references