# Iteration One More Time

@article{Cook2003IterationOM, title={Iteration One More Time}, author={R. Cook}, journal={Notre Dame J. Formal Log.}, year={2003}, volume={44}, pages={63-92} }

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… Expand

#### Topics from this paper

#### 23 Citations

Abstraction without exceptions

- 2021

Wright claims that “the epistemology of good abstraction principles should be assimilated to that of basic principles of logical inference”. In this paper I follow Wright’s recommendation, but I… Expand

Hume’s Big Brother: counting concepts and the bad company objection

- Computer Science
- Synthese
- 2007

Variants of Hume’s Principle that allow us to count concepts instead of objects are examined and it is argued that, prima facie, these principles ought to be no more problematic than HP itself. Expand

FRAGMENTS OF FREGE’S GRUNDGESETZE AND GÖDEL’S CONSTRUCTIBLE UNIVERSE

- Mathematics, Computer Science
- The Journal of Symbolic Logic
- 2016

It is shown that there is a model of a fragment of the Grundgesetze which defines a models of all the axioms of Zermelo–Fraenkel set theory with the exception of the power set axiom. Expand

What is Neologicism?

- Philosophy, Computer Science
- Bulletin of Symbolic Logic
- 2006

According to one well-received view, logicism was replaced by a very different account of the foundations of mathematics, in which mathematics was seen as the study of axioms and their consequences in models consisting of the sets described by Zermelo-Fraenkel set theory (ZF). Expand

What Russell Should Have Said to Burali -

- 2016

The paradox that appears under Burali-Forti’s name in many textbooks of set theory is a clever piece of reasoning leading to an unproblematic theorem. The theorem asserts that the ordinals do not… Expand

WHAT RUSSELL SHOULD HAVE SAID TO BURALI–FORTI

- Philosophy, Computer Science
- The Review of Symbolic Logic
- 2017

It is argued that the paradox of Burali–Forti is first and foremost a problem about concept formation by abstraction, not about sets, and that some hundred years after its discovery the paradox is still without any fully satisfactory resolution. Expand

What is the Purpose of Neo-Logicism ?

- Mathematics
- 2007

objects are those, that are not possibly concrete; and ordinary objects are those that are possibly concrete. The notion of an ordinary object allows Zalta in other projects to propose a theory of… Expand

A Defense of Logicism∗

- 2021

We argue that logicism, the thesis that mathematics is reducible to logic and analytic truths, is true. We do so by (a) developing a formal framework with comprehension and abstraction principles,… Expand

A puzzle about ontological commitments

- Philosophy
- 2007

This paper raises and then discusses a puzzle concerning the ontological commitments of mathematical principles. The main focus here is Hume's Principle—a statement that, embedded in second-order… Expand

Abstraction and Additional Nature

- Philosophy
- 2007

In ‘What is wrong with abstraction’, Michael Potter and Peter Sullivan explain a further objection to the abstractionist programme in the foundations of mathematics which they first presented in… Expand

#### References

SHOWING 1-10 OF 18 REFERENCES

Prolegomenon To Any Future Neo‐Logicist Set Theory: Abstraction And Indefinite Extensibility

- Mathematics
- The British Journal for the Philosophy of Science
- 2003

The purpose of this paper is to assess the prospects for a neo‐logicist development of set theory based on a restriction of Frege's Basic Law V, which we call (RV): ∀P∀Q[Ext(P) = Ext(Q) ≡ [(BAD(P) &… Expand

Well- and Non-Well-Founded Fregean Extensions

- Mathematics, Computer Science
- J. Philos. Log.
- 2004

It is suggested that Fregean extensions provide a natural way to envisage non-well-founded membership as well as models of Aczel's anti-foundation axiom (AFA). Expand

An argument for Finsler-Aczel set theory

- Mathematics
- 2000

Recent interest in non-well-founded set theories has been concentrated on Aczel's anti-foundation axiom AFA. I compare this axiom with some others considered by Aczel, and argue that another axiom,… Expand

Reals by Abstractiont

- Mathematics
- 2000

ions like the Direction equivalence and Hume’s principle and that it is reasonable to regard it as one. We might bring EM into line with the characterisation of abstraction principles with which I… Expand

Neo-Fregeanism: An Embarrassment of Riches

- Philosophy, Computer Science
- Notre Dame J. Formal Log.
- 2003

It is argued that the neo-Fregean program, at least insofar as it includes a platonistic ontology, is fatally wounded by it, and various further criteria on acceptable abstractions proposed by Wright are considered. Expand

Models of second-order Zermelo set theory

- Mathematics, Computer Science
- Bull. Symb. Log.
- 1999

It is a remarkable result due to Zermelo that second-order ZF can only be satisfied in models of the form 〈Vκ,∈ ∩ (Vκ × Vκ)〉 for κ a strongly inaccessible ordinal. Expand

Non-well-founded sets

- Computer Science
- CSLI lecture notes series
- 1988

If the lesson of the paradoxes of set theory is that a predicate need no more have a set as extension than the name "Santa Claus" need denote someone, then perhaps the lessons of the liar paradox is that nothing answers to a liar sentence. Expand

Abstraction and Identity

- Philosophy
- 2005

and want to settle cross-sortal identity claims of the form: Both abstraction principles, however, are silent with regard to this identity - a special instance of the Caesar Problem . In what… Expand

Foundations without Foundationalism: A Case for Second-Order Logic

- 1994

PART I: ORIENTATION Terms and questions Foundationalism and foundations of mathematics PART II: LOGIC AND MATHEMATICS Theory Metatheory Second-order logic and mathematics Advanced metatheory PART… Expand

Cantorian set theory and limitation of size

- Mathematics
- 1984

Cantor's ideas formed the basis for set theory and also for the mathematical treatment of the concept of infinity. The philosophical and heuristic framework he developed had a lasting effect on… Expand