Predicative fragments of Frege Arithmetic

@article{Linnebo2004PredicativeFO,
  title={Predicative fragments of Frege Arithmetic},
  author={{\O}ystein Linnebo},
  journal={Bull. Symb. Log.},
  year={2004},
  volume={10},
  pages={153-174}
}
Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Hume’s Principle, which says that the number of F s is identical to the number of Gs if and only if the F s and the Gs can be one-to-one correlated. According to Frege’s Theorem, FA and some natural definitions imply all of second-order Peano Arithmetic. This paper distinguishes two dimensions of impredicativity involved in FA—one having to do with Hume’s Principle, the other, with the underlying second-order logic… Expand
Predicative Frege Arithmetic and ‘Everyday’ Mathematics
HP asserts that the number of As is the same as the number of Bs just in case the As can be correlated one-one with the Bs. Fregean arithmetics are thus theories of cardinal numbers. Since HPExpand
A Logic for Frege’s Theorem
This result isFrege’s Theorem. Its philosophical interest has been a matter of some controversy, most of which has concerned the status of HP itself. To use Frege’s Theorem to re-instate logicism,Expand
The Positive Fragments of Grundgesetze
Generally, the theory, consisting of standard second-order theory and Hume’s Principle, is called Frege Arithmetic. However, Frege Theorem doesn’t amount to the establishment of Frege’s Logicism,Expand
Comparing Peano arithmetic, Basic Law V, and Hume's Principle
  • S. Walsh
  • Mathematics, Computer Science
  • Ann. Pure Appl. Log.
  • 2012
TLDR
There is a consistent extension of the hypear arithmetic fragment of Basic Law V which interprets the hyperarithmetic fragment of second-order Peano arithmetic, so that in this specific sense there is no predicative version of Frege’s Theorem. Expand
Mending the Master John P. Burgess, Fixing Frege. Princeton, N. J.: Princeton University Press, 2005. ISBN 0-691-12231-8. Pp. xii + 257.
ionism has enjoyed some preliminary success with Hume’s Principle, which says that the number of F s is identical to the number of Gs just in case the F s and the Gs can be one-to-one correlated.Expand
8 Logicism , Ontology , and the Epistemology of Second-Order Logic
At the basis of Frege’s logicism is his logic. And, although Frege does clearly distinguish firstfrom second-order quantification, at least in Grundgesetze,1 he never suggests that there might be anyExpand
Logicism, Ontology, and the Epistemology of Second-Order Logic
At the basis of Frege’s logicism is his logic. And, although Frege does clearly distinguish firstfrom second-order quantification, at least in Grundgesetze,1 he never suggests that there might be anyExpand
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
WHAT RUSSELL SHOULD HAVE SAID TO BURALI–FORTI
TLDR
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
Second-order logic: properties, semantics, and existential commitments
  • B. Hale
  • Computer Science
  • Synthese
  • 2015
TLDR
This section argues that if second-order variables are interpreted as ranging over properties more reasonably construed, in accordance with an abundant or deflationary conception, Quine’s charge can be resisted, and recommends the approach I recommend, which has revisionary implications which some may find unpalatable. Expand
...
1
2
3
4
...

References

SHOWING 1-10 OF 60 REFERENCES
Finitude and Hume’s Principle
TLDR
‘Finite Hume’s Principle’ suffices for the derivation of axioms for arithmetic and is equivalent to a version of them, in the presence of Frege's definitions of the primitive expressions of the language of arithmetic. Expand
The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minorExpand
Hume's Principle and the Number of all Objects
obtained by adjoining Hume's principle to axiomatic second-order logic, and the name Frege's theorem for the result that 'zero', 'immediately precedes' and 'natural number' can be defined in theExpand
The Development of Arithmetic in Frege's Grundgesetze der Arithmetik
TLDR
Frege's use of the inconsistent Axiom V may invalidate certain of his claims regarding the philosophical significance of his work (viz., the establishment of Logicism), but it should not be allowed to obscure his mathematical accomplishments and his contribution to the authors' understanding of arithmetic. Expand
Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege"s Grundgesetze in Object Theory
  • E. Zalta
  • Philosophy, Computer Science
  • J. Philos. Log.
  • 1999
TLDR
The author derives the Dedekind–Peano axioms for number theory from a consistent and general metaphysical theory of abstract objects, with the exception of the claim that every number has a successor, which is derived from a modal axiom that (philosophical) logicians implicitly accept. Expand
Is Hume's Principle Analytic?
  • C. Wright
  • Computer Science
  • Notre Dame J. Formal Log.
  • 1999
TLDR
The present paper reviews five misgivings that developed in various of George Boolos’s writings and observes that each of them really concerns not ‘analyticity’ but either the truth of Hume's Principle or the authors' entitlement to accept it and reviews possible neologicist replies. Expand
Logic, Logic, and Logic
Part 1 Studies on set theory and the nature of logic: the iterative conception of set reply to Charles Parsons' "Sets and Classes" on second-order logic to be is to be a value of a variable (or to beExpand
Plural Quantification Exposed
English contains two sorts of object quantifiers. In addition to ordinary singular quantifiers, as in the sentence 'There is a Cheerio in the bowl', there are plural quantifiers, as in 'There areExpand
Challenges to Predicative Foundations of Arithmetic
This is a sequel to our article "Predicative foundations of arithmetic" (Feferman and Hellman, 1995), referred to in the following as PFA; here we review and clarify what was accomplished in PFA,Expand
Cardinality, Counting, and Equinumerosity
TLDR
It is argued that Frege was close to right, that the concept of cardinal number is closely connected with a notion like that of one-one correspondence, a more primitive notion the authors might call just as many. Expand
...
1
2
3
4
5
...