Can the Cumulative Hierarchy Be Categorically Characterized?

Logique Et Analyse 59 (236):367-387 (2016)
  Copy   BIBTEX

Abstract

Mathematical realists have long invoked the categoricity of axiomatizations of arithmetic and analysis to explain how we manage to fix the intended meaning of their respective vocabulary. Can this strategy be extended to set theory? Although traditional wisdom recommends a negative answer to this question, Vann McGee (1997) has offered a proof that purports to show otherwise. I argue that one of the two key assumptions on which the proof rests deprives McGee's result of the significance he and the realist want to attribute to it. I consider two strategies to deal with the problem --- one of which is outlined by McGee himself (2000) --- and argue that both of them fail. I end with some remarks on the prospects for mathematical realism in the light of my discussion.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Categoricity and indefinite extensibility.James Walmsley - 2002 - Proceedings of the Aristotelian Society 102 (3):217–235.
Categoricity theorems and conceptions of set.Gabriel Uzquiano - 2002 - Journal of Philosophical Logic 31 (2):181-196.
Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.
Second order logic or set theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.
Mathematical Explanations Of Empirical Facts, And Mathematical Realism.Aidan Lyon - 2012 - Australasian Journal of Philosophy 90 (3):559-578.
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
How we learn mathematical language.Vann McGee - 1997 - Philosophical Review 106 (1):35-68.
Internal Categoricity in Arithmetic and Set Theory.Jouko Väänänen & Tong Wang - 2015 - Notre Dame Journal of Formal Logic 56 (1):121-134.

Analytics

Added to PP
2015-03-16

Downloads
141 (#132,848)

6 months
13 (#200,551)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Luca Incurvati
University of Amsterdam

References found in this work

No references found.

Add more references