Review of Symbolic Logic 1 (1):97-110 (2008)

The phrase ‘The iterative conception of sets’ conjures up a picture of a particular settheoretic universe – the cumulative hierarchy – and the constant conjunction of phrasewith-picture is so reliable that people tend to think that the cumulative hierarchy is all there is to the iterative conception of sets: if you conceive sets iteratively, then the result is the cumulative hierarchy. In this paper, I shall be arguing that this is a mistake: the iterative conception of set is a good one, for all the usual reasons. However, the cumulative hierarchy is merely one way among many of working out this conception, and arguments in favour of an iterative conception have been mistaken for arguments in favour of this one special instance of it. (This may be the point to get out of the way the observation that although philosophers of mathematics write of the iterative conception of set, what they really mean – in the terminology of modern computer science at least – is the recursive conception of sets. Nevertheless, having got that quibble off my chest, I shall continue to write of the iterative conception like everyone else.).
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020308080064
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,290
Through your library

References found in this work BETA

The Iterative Conception of Set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.
Speaking of Objects.W. V. Quine - 1957 - Proceedings and Addresses of the American Philosophical Association 31 (3):5 - 22.
Speaking of Objects.W. V. Quine - 1958 - Journal of Symbolic Logic 24 (3):268-269.
On the Consistency of a Positive Theory.Olivier Esser - 1999 - Mathematical Logic Quarterly 45 (1):105-116.

View all 6 references / Add more references

Citations of this work BETA

Sets and Supersets.Toby Meadows - 2016 - Synthese 193 (6):1875-1907.
Term Models for Abstraction Principles.Leon Horsten & Øystein Linnebo - 2016 - Journal of Philosophical Logic 45 (1):1-23.

View all 8 citations / Add more citations

Similar books and articles

Broadening the Iterative Conception of Set.Mark F. Sharlow - 2001 - Notre Dame Journal of Formal Logic 42 (3):149-170.
Boolos on the Justification of Set Theory.Alexander Paseau - 2007 - Philosophia Mathematica 15 (1):30-53.
Iterative Set Theory.M. D. Potter - 1994 - Philosophical Quarterly 44 (171):178-193.
Plural Quantification and the Iterative Concept of Set.Stephen Pollard - 1985 - Philosophy Research Archives 11:579-587.
Proper Classes Via the Iterative Conception of Set.Mark F. Sharlow - 1987 - Journal of Symbolic Logic 52 (3):636-650.
How to Be a Minimalist About Sets.Luca Incurvati - 2012 - Philosophical Studies 159 (1):69-87.
Logically Possible Machines.Eric Steinhart - 2002 - Minds and Machines 12 (2):259-280.
The Iterative Conception of Set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.
On the Iterative Explanation of the Paradoxes.Christopher Menzel - 1986 - Philosophical Studies 49 (1):37 - 61.


Added to PP index

Total views
214 ( #54,218 of 2,519,267 )

Recent downloads (6 months)
4 ( #167,254 of 2,519,267 )

How can I increase my downloads?


My notes