Why pure mathematical truths are metaphysically necessary: a set-theoretic explanation

Synthese 197 (7):3113-3120 (2020)
  Copy   BIBTEX

Abstract

Pure mathematical truths are commonly thought to be metaphysically necessary. Assuming the truth of pure mathematics as currently pursued, and presupposing that set theory serves as a foundation of pure mathematics, this article aims to provide a metaphysical explanation of why pure mathematics is metaphysically necessary.

Categories

Keywords

Reprint years

DOI

10.1007/s11229-018-1873-x

Other Versions

No versions found

Links

PhilArchive

External links

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

Through your library

My notes

Similar books and articles

Inferentialism, Conventionalism, and A Posteriori Necessity.Jared Warren - 2022 - Journal of Philosophy 119 (10):517-541.
Arithmetic, Set Theory, Reduction and Explanation.William D’Alessandro - 2018 - Synthese 195 (11):5059-5089.
Lane Saunders Mac. Categorical algebra and set-theoretic foundations. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 231–240. [REVIEW]William Mitchell - 1973 - Journal of Symbolic Logic 38 (3):528-528.
Logical foundations of applied mathematics.V. V. Nalimov - 1974 - Synthese 27 (1-2):211 - 250.
Invariant descriptive set theory. Pure and applied mathematics.Su Gao - 2011 - Bulletin of Symbolic Logic 17 (2):265-267.
Modal Objectivity.Justin Clarke-Doane - 2017 - Noûs 53 (2):266-295.
Wittgenstein on pure and applied mathematics.Ryan Dawson - 2014 - Synthese 191 (17):4131-4148.
Mathematics, Metaphysics and Intuition in Kant.Emily Carson - 1996 - Dissertation, Harvard University
Cohen Paul J.. Comments on the foundations of set theory. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 9–15. [REVIEW]Donald A. Martin - 1975 - Journal of Symbolic Logic 40 (3):459-460.
Scanlon’s modal metaphysics.Gideon Rosen - 2017 - Canadian Journal of Philosophy 47 (6):856-876.

Analytics

Added to PP
2018-07-19

Downloads
367 (#84,433)

6 months
169 (#27,635)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hannes Leitgeb
Ludwig Maximilians Universität, München

Citations of this work

Arithmetic is Necessary.Zachary Goodsell - 2024 - Journal of Philosophical Logic 53 (4).

Add more citations

References found in this work

Guide to Ground.Kit Fine - 2012 - In Fabrice Correia & Benjamin Schnieder, Metaphysical grounding: understanding the structure of reality. Cambridge: Cambridge University Press. pp. 37--80.
Essence and modality.Kit Fine - 1994 - Philosophical Perspectives 8 (Logic and Language):1-16.
What numbers could not be.Paul Benacerraf - 1965 - Philosophical Review 74 (1):47-73.
Angellic Content.Kit Fine - 2016 - Journal of Philosophical Logic 45 (2):199-226.
A logic for 'because'.Benjamin Schnieder - 2011 - Review of Symbolic Logic 4 (3):445-465.

View all 21 references / Add more references