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}
}
  • T. Forster
  • Published 1 June 2008
  • Psychology
  • The Review of Symbolic Logic
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. 

Complete Totalities

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

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

  • Tim Button
  • Philosophy
    The 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

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

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

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

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

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

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

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

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

  • T. Forster
  • Computer Science, Mathematics
    London 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

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

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

Set Theory with a Universal Set

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

Annali della R. Scuola Normale Superiore di Pisa

  • 1889

Speaking of Objects

On Numbers and Games, 2nd edition

  • 2001