Journal of Philosophical Logic 43 (1):181-208 (2014)

Authors
Luca Incurvati
University of Amsterdam
Abstract
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 neglect might lie the impression that these theories do not embody a conception of set, but are rather of mere technical interest. This paper attempts to dispel this impression. I present a conception of set which may be taken as lying behind a non-well-founded set theory. I argue that the axiom AFA is justified on the conception, which provides, contra Rieger (Mind 109:241–253, 2000), a rationale for restricting attention to the system based on this axiom. By making use of formal and informal considerations, I then make a case that most of the other axioms of this system are also justified on the conception. I conclude by commenting on the significance of the conception for the debate about the justification of the Axiom of Foundation
Keywords Non-well-founded set theory  Anti-foundation axiom  Iterative conception
Categories (categorize this paper)
Reprint years 2014
ISBN(s)
DOI 10.1007/s10992-012-9259-x
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


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

References found in this work BETA

Logic, Logic and Logic.George Boolos - 1998 - Harvard University Press.
The Iterative Conception of Set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.

View all 18 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

The Iterative Conception of Set: A (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.
The Iterative Conception of Set.Thomas Forster - 2008 - Review of Symbolic Logic 1 (1):97-110.
On the Iterative Explanation of the Paradoxes.Christopher Menzel - 1986 - Philosophical Studies 49 (1):37 - 61.
Anti-Admissible Sets.Jacob Lurie - 1999 - Journal of Symbolic Logic 64 (2):407-435.
Boolos on the Justification of Set Theory.Alexander Paseau - 2007 - Philosophia Mathematica 15 (1):30-53.
Well- and Non-Well-Founded Fregean Extensions.Ignacio Jané & Gabriel Uzquiano - 2004 - Journal of Philosophical Logic 33 (5):437-465.
Wide Sets, ZFCU, and the Iterative Conception.Christopher Menzel - 2014 - Journal of Philosophy 111 (2):57-83.
Iterative Set Theory.M. D. Potter - 1994 - Philosophical Quarterly 44 (171):178-193.
Conceptions and Paradoxes of Sets.G. Aldo Antonelli - 1999 - Philosophia Mathematica 7 (2):136-163.
Categoricity Theorems and Conceptions of Set.Gabriel Uzquiano - 2002 - Journal of Philosophical Logic 31 (2):181-196.
Lévy Hierarchy in Weak Set Theories.Jiří Hanika - 2008 - Journal of Philosophical Logic 37 (2):121 - 140.

Analytics

Added to PP index
2012-12-14

Total views
110 ( #81,725 of 2,325,529 )

Recent downloads (6 months)
2 ( #449,490 of 2,325,529 )

How can I increase my downloads?

Downloads

My notes