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.
185 Citations
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:…
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…
Sets and supersets
- PhilosophySynthese
- 2015
This paper takes seriously the idea that the authors can talk about the collection of all the sets and many more collections beyond that and argues that this approach provides a natural extension to ordinary set theory and leaves ordinary mathematical practice untouched.
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 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…
Wide Sets, ZFCU, and the Iterative Conception
- Philosophy
- 2014
In the “intended” models of (first-order) ZFC — Zermelo-Fraenkel set theory with the axiom of Choice — there are only sets. ZFCU is ZFC modified to allow for the existence of urelements, or atoms,…
ON POTENTIALIST SET THEORY AND JUSTIFYING REPLACEMENT
- Philosophy
- 2018
The ZFC axioms provide a very widely accepted foundation for set theory, and in turn for all of mathematics. Thus one might hope that, once we adopt a good philosophy of set theory, all the ZFC…
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.
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
- 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
On Numbers and Games, 2nd edition
- 2001