Philosophical Uses of Categoricity Arguments
From MaRDI portal
Publication:6072007
DOI10.1017/9781009432894arXiv2204.13754OpenAlexW4389258717MaRDI QIDQ6072007FDOQ6072007
Authors: Penelope Maddy, Jouko Väänänen 
Publication date: 29 November 2023
Abstract: Mathematicians and philosophers have appealed to categoricity arguments in a surprisingly varied range of contexts. One familiar example calls on second-order categoricity in an attempt to show that the Continuum Hypothesis, despite its formal independence, has a determinate truth value, but this does not exhaust the uses of categoricity even in set theory, not to mention its appearance in various roles in discussions of arithmetic. Here we compare and contrast a sampling of these deployments to get a sense of when these arguments tend to succeed and when they tend to fail. Our story begins with two historical landmarks, Dedekind and Zermelo, on arithmetic and set theory, respectively, and ends with two leading contemporary writers, Charles Parsons and the co-authors Tim Button and Sean Walsh, again on arithmetic and set theory, respectively. In between, we pause over the well-known contribution of Georg Kreisel. In each case we ask: what does the author set out to accomplish, philosophically?; what do they actually do (or what can be done), mathematically?; and does what is done (or can be done) accomplish what they set out to do? We find this focus on context illuminating: these authors have qualitatively different philosophical goals, and what works for one might not work for another.
Full work available at URL: https://arxiv.org/abs/2204.13754
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophy of mathematics (00A30) Research exposition (monographs, survey articles) pertaining to category theory (18-02)
This page was built for publication: Philosophical Uses of Categoricity Arguments
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6072007)
