Skip to main content
    • Aa
    • Aa


  • SEAN WALSH (a1)

Frege’s theorem says that second-order Peano arithmetic is interpretable in Hume’s Principle and full impredicative comprehension. Hume’s Principle is one example of an abstraction principle, while another paradigmatic example is Basic Law V from Frege’s Grundgesetze. In this paper we study the strength of abstraction principles in the presence of predicative restrictions on the comprehension schema, and in particular we study a predicative Fregean theory which contains all the abstraction principles whose underlying equivalence relations can be proven to be equivalence relations in a weak background second-order logic. We show that this predicative Fregean theory interprets second-order Peano arithmetic (cf. Theorem 3.2).

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

Roy T. Cook (editor), The Arché Papers on the Mathematics of Abstraction, The Western Ontario Series in Philosophy of Science, vol. 71, Springer, Berlin, 2007.

Roy T. Cook (editor), Conservativeness, stability, and abstraction. British Journal for the Philosophy of Science, vol. 63 (2012), pp. 673696.

Solomon Feferman , Predicativity, The Oxford Handbook of Philosophy of Mathematics and Logic ( Stewart Shapiro , editor), Oxford University Press, Oxford, 2005, pp. 590624.

Fernando Ferreira and Kai F. Wehmeier , On the consistency of the$\Delta _1^1 $-CA fragment of Frege’s Grundgesetze. Journal of Philosophical Logic, vol. 31 (2002), no. 4, pp. 301311.

Mihai Ganea , Burgess’ PV is Robinson’s Q. The Journal of Symbolic Logic, vol. 72 (2007), no. 2, pp. 618624.

Bob Hale and Crispin Wright , The Reason’s Proper Study, Oxford University Press, Oxford, 2001.

Richard G. Heck Jr., The consistency of predicative fragments of Frege’s Grundgesetze der Arithmetik. History and Philosophy of Logic, vol. 17 (1996), no. 4, pp. 209220.

Harold Hodes , Logicism and the Ontological Commitments of Arithmetic. The Journal of Philosophy, vol. 81 (1984), no. 3, pp. 123149.

Øystein Linnebo , Some criteria for acceptable abstraction. Notre Dame Journal of Formal Logic, vol. 52 (2010), no. 3, pp. 331338.

Terence Parsons , On the consistency of the first-order portion of Frege’s logical system. Notre Dame Journal of Formal Logic, vol. 28 (1987), no. 1, pp. 161168, Reprinted in [6].

Stephen G. Simpson , Subsystems of Second Order Arithmetic, second ed., Cambridge University Press, Cambridge, 2009.

Albert Visser , The predicative Frege hierarchy. Annals of Pure and Applied Logic, vol. 160 (2009), no. 2, pp. 129153.

Sean Walsh , Comparing Hume’s principle, Basic Law V and Peano Arithmetic. Annals of Pure and Applied Logic, vol. 163 (2012), pp. 16791709.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Bulletin of Symbolic Logic
  • ISSN: 1079-8986
  • EISSN: 1943-5894
  • URL: /core/journals/bulletin-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *



Full text views

Total number of HTML views: 0
Total number of PDF views: 17 *
Loading metrics...

Abstract views

Total abstract views: 102 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 29th May 2017. This data will be updated every 24 hours.