## $$V = L$$ and intuitive plausibility in set theory. A case study.(English)Zbl 1258.03070

Summary: What 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.

### MSC:

 03E45 Inner models, including constructibility, ordinal definability, and core models 00A30 Philosophy of mathematics
Full Text:

### References:

 [1] Morality and belief. Essays in honour of Ruth-Barcan Marcus pp 74– (1995) [2] DOI: 10.1007/978-1-4020-5764-9_20 · Zbl 1198.03070 [3] Boolean-valued models and independence proofs in set theory (1977) · Zbl 0371.02028 [4] Handbook of mathematical logic pp 321– (1977) [5] Jahresbericht der Deutschen Mathematiker-Vereinigung 104 pp 165– (2002) [6] Set theory of the reals. Israel Mathematical Conference Proceedings 6 pp 1– (1991) [7] DOI: 10.1007/978-1-4020-5764-9_10 · Zbl 1198.03069 [8] Kurt Gödel. Collected works, Volume II. (1990) · Zbl 0698.01023 [9] Constructibility (1984) · Zbl 0542.03029 [10] DOI: 10.1017/CBO9780511570681.013 [11] DOI: 10.1023/A:1005204911291 [12] Philosophical Topics 42 pp 5– (1989) [13] The philosophy of mathematics today pp 271– (1996) [14] DOI: 10.2307/2025204 [15] Proceedings of the fifth Congress of Logic, Methodology and Philosophy of Science 1975. Part I: Logic, Foundation of Mathematics and Computability Theory pp 335– (1977) [16] Logic, Methodology and Philosophy of Science. Proceedings of the Twelfth International Congress pp 43– (2005) [17] Descriptive set theory (1980) · Zbl 0433.03025 [18] What is meant by V? Reflections on the universe of all sets (2007) · Zbl 1153.03002 [19] Zermelo’s Axiom of Choice. Its origins and its development (1982) · Zbl 0497.01005 [20] DOI: 10.1007/978-1-4020-5764-9_18 · Zbl 1198.03066 [21] Truth in mathematics pp 215– (1998) [22] The Journal of Symbolic Logic 53 pp 736– (1998) [23] Logic Colloquium ’95 pp 134– (1998) [24] Naturalism in mathematics (1997) · Zbl 0931.03003 [25] DOI: 10.2307/2275321 · Zbl 0781.03039 [26] Classical descriptive set theory (1995) [27] The higher infinite (2003) [28] DOI: 10.1016/0003-4843(72)90001-0 · Zbl 0257.02035 [29] Set theory (2003) [30] Logic, Methodology and Philosophy of Science. Proceedings of the Twelfth International Congress pp 373– (2005) [31] Fundamenta Mathematicae 16 pp 29– (1930) [32] American Philosophical Quarterly 42 pp 237– (2005) [33] DOI: 10.1007/BF01449999 · JFM 39.0097.03 [34] One hundred year of Russell’s paradox pp 93– (2004) [35] Notices of the American Mathematical Society 48 pp 681– (2001) [36] DOI: 10.1023/A:1011994619998 · Zbl 1002.03006 [37] From mathematics to philosophy pp 181– (1974) [38] Cantorian set theory and limitation of size (1984) [39] From Frege to Gödel. A source book in mathematical logic (1967) · Zbl 0183.00601 [40] Philosophy of mathematics. Selected readings pp 258– (1964) · Zbl 0144.24217 [41] DOI: 10.2307/2304666 · Zbl 0038.03003 [42] The philosophy of Bertrand Russell pp 125– (1944) [43] Philosophy of mathematics. Selected readings (1983) · Zbl 0548.03002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.