Theoria, Volume 87, Issue 4, Page 986-1000, August 2021.

James Walmsley in “Categoricity and Indefinite Extensibility” argues that a realist about some branch of mathematics X (e.g. arithmetic) apparently cannot use the categoricity of an axiomatisation of X to justify her belief that every sentence of the language of X has a truth-value. My note corrects Walmsley’s formulation of his claim, and shows that his argument for it hinges on the implausible idea that grasping that there is some model of the axioms amounts to grasping that there is a (...) unique such model. (shrink)