Bulletin of Symbolic Logic 17 (3):337-360 (2011)
AbstractWhat counts as an intuitively plausible set theoretic content (notion, axiom or theorem) has been a matter of much debate in contemporary philosophy of mathematics. In this paper I develop a critical appraisal of the issue. I analyze first R. B. Jensen's positions on the epistemic status of the axiom of constructibility. I then formulate and discuss a view of intuitiveness in set theory that assumes it to hinge basically on mathematical success. At the same time, I present accounts of set theoretic axioms and theorems formulated in non-strictly mathematical terms, e.g., by appealing to the iterative concept of set and/or to overall methodological principles, like unify and maximize, and investigate the relation of the latter to success in mathematics
Similar books and articles
Finite Mathematics and the Justification of the Axiom of Choicet.Pierluigi Miraglia - 2000 - Philosophia Mathematica 8 (1):9-25.
Structuralism as a Philosophy of Mathematical Practice.Jessica Carter - 2008 - Synthese 163 (2):119 - 131.
Set Theory and its Philosophy: A Critical Introduction.Michael D. Potter - 2004 - Oxford, England: Oxford University Press.
The Axiom of Choice and the Law of Excluded Middle in Weak Set Theories.John L. Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
Set-Theoretic Foundations.Stewart Shapiro - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 2000:183-196.
The Iterative Conception of Set: A (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.
E Pluribus Unum: Plural Logic and Set Theory.John P. Burgess - 2004 - Philosophia Mathematica 12 (3):193-221.
Between Logic and Intuition: Essays in Honor of Charles Parsons.Gila Sher & Richard Tieszen (eds.) - 2000 - Cambridge University Press.
Added to PP
Historical graph of downloads
Citations of this work
Foundational Implications of the Inner Model Hypothesis.Tatiana Arrigoni & Sy-David Friedman - 2012 - Annals of Pure and Applied Logic 163 (10):1360-1366.
Why is Cantor’s Absolute Inherently Inaccessible?Stathis Livadas - 2020 - Axiomathes 30 (5):549-576.
References found in this work
Philosophy of mathematics, selected readings.Paul Benacerraf & Hilary Putnam - 1966 - Revue Philosophique de la France Et de l'Etranger 156:501-502.