A neologicist set theory based on an abstraction principle (NewerV) codifying the iterative conception of set is investigated, and its strength is compared to Boolos's NewV. The new principle, unlike NewV, fails to imply the axiom of replacement, but does secure powerset. Like NewV, however, it also fails to entail the axiom of infinity. A set theory based on the conjunction of these two principles is then examined. It turns out that this set theory, supplemented by a principle stating that (...) there are infinitely many nonsets, captures all (or enough) of standard second-order ZFC. Issues pertaining to the axiom of foundation are also investigated, and I conclude by arguing that this treatment provides the neologicist with the most viable reconstruction of set theory he is likely to obtain. (shrink)

Non-well-founded set theories allow set-theoretic exotica that standard ZFC will not allow, such as a set that has itself as its sole member. We can distinguish plenitudinous non-well-founded set theories, such as Boffa set theory, that allow infinitely many such sets, from restrictive theories, such as Finsler-Aczel or AFA, that allow exactly one. Plenitudinous non-well-founded set theories face a puzzle: nothing seems to explain the identity or distinctness of various of the sets they countenance. In this paper I aim to (...) sharpen this puzzle, make clear who it does and does not apply to and, ultimately, to argue in favor of a plenitudinous theory like Boffa. (shrink)

Boffa non-well-founded set theory allows for several distinct sets equal to their respective singletons, the so-called ‘Quine atoms’. Rieger contends that this theory cannot be a faithful description of set-theoretic reality. He argues that, even after granting that there are non-well-founded sets, ‘the extensional nature of sets’ precludes numerically distinct Quine atoms. In this paper we uncover important similarities between Rieger’s argument and how non-rigid structures are conceived within mathematical structuralism. This opens the way for an objection against Rieger, whilst (...) affording the theoretical resources for a defence of Boffa set theory as a faithful description of set-theoretic reality. (shrink)

'Chains of Being' argues that there can be infinite chains of dependence or grounding. Cameron also defends the view that there can be circular relations of ontological dependence or grounding, and uses these claims to explore issues in logic and ontology.

The concept of hypodox is dual to the concept of paradox. Whereas a paradox is incompatibly overdetermined, a hypodox is underdetermined. Indeed, many particular paradoxes have dual hypodoxes. So, naively the dual of Russell’s Paradox is whether the set of all sets that are members of themselves is self-membered. The dual of the Liar Paradox is the Truth-teller, and a hypodoxical dual of the Heterological paradox is whether ‘autological’ is autological. I provide some analysis of the duality and I search (...) for modal hypodoxes as duals to known paradoxes. I also try to continue this search further by mapping the relations between some paradoxes and hypodoxes in duality squares. This investigation increases the known extension of the concept of hypodox, and the duality relation between paradoxes and hypodoxes assists in finding some of these. (shrink)

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. (shrink)

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

In this paper we develop a reconstruction of the Tractatus ontology. The basic idea is that objects are unsaturated and that Sachlagen are like molecules. Bisimulation is used for the proper individuation of the Sachlagen. We show that the ordering of the Sachlagen is a complete distributive, lattice. It is atomistic , i.e., each Sachlage is the supremum of the Sachverhalte below it. We exhibit three normal forms for Sachlagen: the bisimulation collapse, the canonical unraveling and the canonical bisimulation collapse. (...) The first of these forms is unique modulo isomorphism, the second and third are simply unique. The subset ordering on normal forms of the second and third kind reflects the ordering of the Sachlagen. (shrink)

This paper seeks to question the position of ZF as the dominant system of set theory, and in particular to examine whether there is any philosophical justification for the axiom of foundation. After some historical observations regarding Poincare and Russell, and the notions of circularity and hierarchy, the iterative conception of set is argued to be a semi-constructvist hybrid without philosophical coherence. ZF cannot be justified as necessary to avoid paradoxes, as axiomatizing a coherent notion of set, nor on pragmatic (...) grounds, and should be replaced by a system allowing non-well-founded sets. (shrink)