The Price of Mathematical Scepticism

[Submitted on 27 Jul 2021 (v1), last revised 25 May 2022 (this version, v5)]

View PDF

Abstract:This paper argues that, insofar as we doubt the bivalence of the Continuum Hypothesis or the truth of the Axiom of Choice, we should also doubt the consistency of third-order arithmetic, both the classical and intuitionistic versions. Underlying this argument is the following philosophical view. Mathematical belief springs from certain intuitions, each of which can be either accepted or doubted in its entirety, but not half-accepted. Therefore, our beliefs about reality, bivalence, choice and consistency should all be aligned.

Submission history

From: Paul Levy [view email]
[v1] Tue, 27 Jul 2021 16:34:40 UTC (13 KB)
[v2] Mon, 9 Aug 2021 16:54:20 UTC (27 KB)
[v3] Tue, 5 Apr 2022 12:28:35 UTC (46 KB)
[v4] Sun, 24 Apr 2022 16:35:28 UTC (46 KB)
[v5] Wed, 25 May 2022 15:36:05 UTC (46 KB)

Bibliographic and Citation Tools

Code, Data and Media Associated with this Article

Demos

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.