Skip to content
Free planNo credit card requiredStart writing

book chapter · Oxford University Press eBooks · 2020

Mathematical Determinacy

Jared S. Warren

Cited by 0Abstract and details only

Abstract

This chapter addresses the second major challenge for the extension of conventionalism from logic to mathematics: the richness of mathematical truth. The chapter begins by distinguishing indeterminacy from pluralism and clarifying the crucial notion of open-endedness. It then critically discusses the two major strategies for securing arithmetical categoricity using open-endedness; one based on a collapse theorem, the other on a kind of anti-overspill idea. With this done, a new argument for the categoricity of arithmetic is then presented. In subsequent discussion, the philosophical importance of this categoricity result is called into question to some degree. The categoricity argument is then supplemented by an appeal to the infinitary omega rule, and an argument is given that beings like us can actually follow the omega rule without any violation of Church’s thesis. Finally, the chapter discusses the extension of this type of approach beyond arithmetic, to set theory and the rest of mathematics.

Cite this paper

APA 7

Warren, J. S. (2020). Mathematical Determinacy. Oxford University Press eBooks, 239–275. https://doi.org/10.1093/oso/9780190086152.003.0010

MLA 9

Warren, Jared S. “Mathematical Determinacy.” Oxford University Press eBooks, 2020, pp. 239–75, https://doi.org/10.1093/oso/9780190086152.003.0010.

Chicago

Warren, Jared S. 2020. “Mathematical Determinacy.” Oxford University Press eBooks: 239–75. https://doi.org/10.1093/oso/9780190086152.003.0010.

Harvard

Warren, J.S. (2020) ‘Mathematical Determinacy’, Oxford University Press eBooks, pp. 239–275. Available at: https://doi.org/10.1093/oso/9780190086152.003.0010.

BibTeX
@incollection{warren2020mathematical,
  title = {{Mathematical Determinacy}},
  author = {Warren, Jared S.},
  booktitle = {Oxford University Press eBooks},
  pages = {239--275},
  year = {2020},
  doi = {10.1093/oso/9780190086152.003.0010}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.