Iteration One More Time

  title={Iteration One More Time},
  author={R. Cook},
  journal={Notre Dame J. Formal Log.},
  • R. Cook
  • Published 2003
  • Mathematics, Computer Science
  • Notre Dame J. Formal Log.
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
Abstraction without exceptions
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 IExpand
Hume’s Big Brother: counting concepts and the bad company objection
  • R. Cook
  • 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
  • S. Walsh
  • 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?
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 -
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 notExpand
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 ?
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 ofExpand
A Defense of Logicism∗
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
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-orderExpand
Abstraction and Additional Nature
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 inExpand


Prolegomenon To Any Future Neo‐Logicist Set Theory: Abstraction And Indefinite Extensibility
  • S. Shapiro
  • 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
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
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
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 IExpand
Neo-Fregeanism: An Embarrassment of Riches
  • A. Weir
  • 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
  • G. Uzquiano
  • 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
  • P. Aczel
  • 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
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 whatExpand
Foundations without Foundationalism: A Case for Second-Order Logic
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 PARTExpand
Cantorian set theory and limitation of size
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 onExpand