Review of Symbolic Logic 10 (1):80-91 (2017)

Graham Leach-Krouse
Kansas State University
It’s well known that it’s possible to extract, from Frege’s Grudgesetze, an interpretation of second-order Peano Arithmetic in the theory  HP2, whose sole axiom is Hume’s principle. What’s less well known is that, in Die Grundlagen Der Arithmetic §82–83 Boolos (2011), George Boolos provided a converse interpretation of HP2 in PA2 . Boolos’ interpretation can be used to show that the Frege’s construction allows for any model of PA2 to be recovered from some model of HP2. So the space of possible arithmetical universes is precisely characterized by Hume’s principle. In this paper, I show that a large class of second-order theories admit characterization by an abstraction principle in this sense. The proof makes use of structural abstraction principles, a class of abstraction principles of considerable intrinsic interest, and categories of interpretations in the sense of Visser (2003).
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020316000332
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,209
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Frege’s Theorem.Richard Heck - 1999 - The Harvard Review of Philosophy 7 (1):56-73.
Second Order Logic or Set Theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.
Finite Axiomatizability Using Additional Predicates.W. Craig & R. L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):289-308.
Logic, Logic, and Logic.Vann McGee - 2001 - Bulletin of Symbolic Logic 7 (1):58-62.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On the Proof of Frege's Theorem.George Boolos - 1996 - In Adam Morton & Stephen P. Stich (eds.), Benacerraf and His Critics. Blackwell. pp. 143--59.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
Erratum: Frege's Theorem and the Peano Postulates.George Boolos - 1996 - Bulletin of Symbolic Logic 2 (1):126-126.
A Proof of the Löwenheim-Skolem Theorem.George S. Boolos - 1970 - Notre Dame Journal of Formal Logic 11 (1):76-78.
A Representation Theorem for Co-Diagonalizable Algebras.Jacek Hawranek - 1985 - Bulletin of the Section of Logic 14 (3):124-125.
Generalizing Morley's Theorem.Tapani Hyttinen - 1998 - Mathematical Logic Quarterly 44 (2):176-184.
Generalizing Kruskal’s Theorem to Pairs of Cohabitating Trees.Timothy Carlson - 2016 - Archive for Mathematical Logic 55 (1-2):37-48.


Added to PP index

Total views
29 ( #379,738 of 2,455,351 )

Recent downloads (6 months)
2 ( #303,290 of 2,455,351 )

How can I increase my downloads?


My notes