Philosophical Studies 49 (1):37 - 61 (1986)
As the story goes, the source of the paradoxes of naive set theory lies in a conflation of two distinct conceptions of set: the so-called iterative, or mathematical, conception, and the Fregean, or logical, conception. While the latter conception is provably inconsistent, the former, as Godel notes, "has never led to any antinomy whatsoever". More important, the iterative conception explains the paradoxes by showing precisely where the Fregean conception goes wrong by enabling us to distinguish between sets and proper classes, collections that are "too big" to be sets. While I agree wholeheartedly with this distinction, in this paper I argue first that the iterative conception does not provide an explanation of all of the set theoretic paradoxes. I then argue that we need to reconsider the distinction between sets and proper classes rather more carefully. The result will be that ZFC does not capture the iterative conception in its full generality. I close by offering a more general theory that, arguably, does.
|Keywords||set theory proper classes iterative conception of set|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Toward a Modal-Structural Interpretation of Set Theory.Geoffrey Hellman - 1990 - Synthese 84 (3):409 - 443.
Similar books and articles
Finite Mathematics and the Justification of the Axiom of Choicet.Pierluigi Miraglia - 2000 - Philosophia Mathematica 8 (1):9-25.
Paradox, ZF and the Axiom of Foundation.Adam Rieger - 2011 - In D. DeVidi, M. Hallet & P. Clark (eds.), Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell. Springer.
Categoricity Theorems and Conceptions of Set.Gabriel Uzquiano - 2002 - Journal of Philosophical Logic 31 (2):181-196.
Plural Quantification and the Iterative Concept of Set.Stephen Pollard - 1985 - Philosophy Research Archives 11:579-587.
Boolos on the Justification of Set Theory.Alexander Paseau - 2006 - Philosophia Mathematica 15 (1):30-53.
Proper Classes Via the Iterative Conception of Set.Mark F. Sharlow - 1987 - Journal of Symbolic Logic 52 (3):636-650.
Added to index2009-01-28
Total downloads592 ( #2,152 of 2,153,859 )
Recent downloads (6 months)7 ( #105,233 of 2,153,859 )
How can I increase my downloads?