Review of Symbolic Logic 1 (2):241-266 (2008)
1. Philosophical background: iteration, ineffability, reflection. There are at least two heuristic motivations for the axioms of standard set theory, by which we mean, as usual, first-order Zermelo–Fraenkel set theory with the axiom of choice : the iterative conception and limitation of size . Each strand provides a rather hospitable environment for the hypothesis that the set-theoretic universe is ineffable, which is our target in this paper, although the motivation is different in each case.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
The Reason's Proper Study: Essays Towards a Neo-Fregean Philosophy of Mathematics.Bob Hale (ed.) - 2001 - Oxford University Press.
Foundations Without Foundationalism: A Case for Second-Order Logic.Stewart Shapiro - 1991 - Oxford University Press.
Citations of this work BETA
No citations found.
Similar books and articles
Einstein Meets Magritte: An Interdisciplinary Reflection: The White Book of "Einstein Meets Magritte".Diederik Aerts, Jan Broekaert & Ernest Mathijs (eds.) - 1999 - Kluwer Academic.
The Origins of Zermelo's Axiomatization of Set Theory.Gregory H. Moore - 1978 - Journal of Philosophical Logic 7 (1):307 - 329.
We Hold These Truths to Be Self-Evident: But What Do We Mean by That?Stewart Shapiro - 2009 - Review of Symbolic Logic 2 (1):175-207.
Cantor on Frege's Foundations of Arithmetic : Cantor's 1885 Review of Frege's Die Grundlagen der Arithmetik.Marcus Rossberg & Philip A. Ebert - 2010 - History and Philosophy of Logic 30 (4):341-348.
Added to index2009-01-28
Total downloads87 ( #56,146 of 2,132,859 )
Recent downloads (6 months)3 ( #238,214 of 2,132,859 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.