THE ITERATIVE CONCEPTION OF SET
@article{Forster2008THEIC, title={THE ITERATIVE CONCEPTION OF SET}, author={Thomas E. Forster}, journal={The Review of Symbolic Logic}, year={2008}, volume={1}, pages={97 - 110} }
The two expressions ‘The cumulative hierarchy’ and ‘The iterative conception of sets’ are usually taken to be synonymous. However, the second is more general than the first, in that there are recursive procedures that generate some ill-founded sets in addition to well-founded sets. The interesting question is whether or not the arguments in favour of the more restrictive version – the cumulative hierarchy – were all along arguments for the more general version.
200 Citations
How to be a minimalist about sets
- PhilosophyPhilosophical Studies
- 2011
According to the iterative conception of set, sets can be arranged in a cumulative hierarchy divided into levels. But why should we think this to be the case? The standard answer in the philosophical…
Complete Totalities
- Computer Science
- 2011
A new approach to sets as totalities is presented based on a notion of “concurrent aggregation,” which instead of avoiding “viscous circles” acknowledges the inherent circularities of some predicates, and provides a way to characterize and investigate these circularities.
THE POTENTIAL HIERARCHY OF SETS
- PhilosophyThe Review of Symbolic Logic
- 2013
A modal set theory is developed which encapsulates this potentialist conception and is equi-interpretable with Zermelo Fraenkel set theory but sheds new light on the set-theoretic paradoxes and the foundations of set theory.
LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY
- PhilosophyThe Bulletin of Symbolic Logic
- 2021
Abstract Potentialists think that the concept of set is importantly modal. Using tensed language as a heuristic, the following bare-bones story introduces the idea of a potential hierarchy of sets:…
Why is the universe of sets not a set?
- PhilosophySynthese
- 2017
This paper argues against the two main alternative answers to the guiding question of why there is no set of all sets and outlines a close alternative to the minimal explanation, the conception-based explanation.
The Iterative Conception Of Set A ( Bi-) Modal
- Linguistics
- 2012
The use of tensed language and the metaphor of set ‘formation’ found in informal descriptions of the iterative conception of set are seldom taken at all seriously. Both are eliminated in the nonmodal…
Conceptions of Set and the Foundations of Mathematics
- Philosophy
- 2020
Sets are central to mathematics and its foundations, but what are they? In this book Luca Incurvati provides a detailed examination of all the major conceptions of set and discusses their virtues and…
Hierarchies ontological and ideological
- Philosophy
- 2012
Godel claimed that Zermelo-Fraenkel set theory is ‘what becomes of the theory of types if certain superfluous restrictions are removed’. The aim of this paper is to develop a clearer understanding of…
The Graph Conception of Set
- PhilosophyJournal of Philosophical Logic
- 2012
The non-well-founded set theories described by Aczel (1988) have received attention from category theorists and computer scientists, but have been largely ignored by philosophers. At the root of this…
The scope of Feferman’s semi-intutionistic set theories and his second conjecture
- Philosophy
- 2020
The paper is concerned with the scope of semi-intuitionistic set theories that relate to various foundational stances. It also provides a proof for a second conjecture of Feferman’s that relates the…
References
SHOWING 1-10 OF 27 REFERENCES
On the Consistency of a Positive Theory
- EconomicsMath. Log. Q.
- 1999
Here it is proved that GPK+∞ + ACWF (ACWF being a form of the axiom of choice allowing to choose elements in well-founded sets) and the Kelley-Morse class theory with the axio of global choice and theAxiom "On is ramifiable" are mutually interpretable.
On Numbers and Games
- Art
- 1976
ONAG, as the book is commonly known, is one of those rare publications that sprang to life in a moment of creative energy and has remained influential for over a quarter of a century. Originally…
Set theory with free construction principles
- Mathematics
- 1983
L’accès aux archives de la revue « Annali della Scuola Normale Superiore di Pisa, Classe di Scienze » (http://www.sns.it/it/edizioni/riviste/annaliscienze/) implique l’accord avec les conditions…
Speaking of Objects in: Ontological Relativity and other essays
- 1968
Church-Oswald models for Set Theory. in: Logic, Meaning and Computation: essays in memory of Alonzo Church, Synthese library 305
- 2001
Logic, Induction and Sets
- Computer Science, MathematicsLondon Mathematical Society student texts
- 2003
This chapter discusses recursion, set theory, and other topics related to datatypes, as well as some examples of computable functions and examples of partial ordered sets.
On Numbers and Games, 2nd edition
- 2001