Skip to main content


  • 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).

Hide All
[1]Beth, Evert W., Chapter 13: Logicism, The Foundations of Mathematics: A Study in the Philosophy of Science, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1959, pp. 353364.
[2]Boolos, George, Logic, Logic, and Logic, Harvard University Press, Cambridge, MA, 1998, Edited by Jeffrey, Richard.
[3]Burgess, John P., Fixing Frege, Princeton Monographs in Philosophy, Princeton University Press, Princeton, 2005.
[4]Cook, Roy T. (editor), The Arché Papers on the Mathematics of Abstraction, The Western Ontario Series in Philosophy of Science, vol. 71, Springer, Berlin, 2007.
[5]Cook, Roy T. (editor), Conservativeness, stability, and abstraction. British Journal for the Philosophy of Science, vol. 63 (2012), pp. 673696.
[6]Demopoulos, William (editor), Frege’s Philosophy of Mathematics, Harvard University Press, Cambridge, 1995.
[7]Feferman, Solomon, Systems of predicative analysis. The Journal of Symbolic Logic, vol. 29 (1964), pp. 130.
[8]Feferman, Solomon, Predicativity, The Oxford Handbook of Philosophy of Mathematics and Logic (Shapiro, Stewart, editor), Oxford University Press, Oxford, 2005, pp. 590624.
[9]Ferreira, Fernando and Wehmeier, Kai F., On the consistency of the -CA fragment of Frege’s Grundgesetze. Journal of Philosophical Logic, vol. 31 (2002), no. 4, pp. 301311.
[10]Frege, Gottlob, Die Grundlagen der Arithmetik, Koebner, Breslau, 1884.
[11]Frege, Gottlob, Grundgesetze der Arithmetik: begriffsschriftlich abgeleitet, Pohle, Jena, 1893, 1903, Two volumes. Reprinted in [12].
[12]Frege, Gottlob, Grundgesetze der Arithmetik: begriffsschriftlich abgeleitet, Olms, Hildesheim, 1962.
[13]Frege, Gottlob, The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number, second ed., Northwestern University Press, Evanston, 1980. Translated by Austin, John Langshaw.
[14]Frege, Gottlob, Basic Laws of Arithmetic, Oxford University Press, Oxford, 2013. Translated by Ebert, Philip A. and Rossberg, Marcus.
[15]Friedman, Harvey M., Some systems of second-order arithmetic and their use, Proceedings of the International Congress of Mathematicians, Vancouver 1974, vol. 1, 1975, pp. 235242.
[16]Ganea, Mihai, Burgess’ PV is Robinson’s Q. The Journal of Symbolic Logic, vol. 72 (2007), no. 2, pp. 618624.
[17]Hájek, Petr and Pudlák, Pavel, Metamathematics of First-Order Arithmetic, Perspectives in Mathematical Logic, Springer, Berlin, 1998.
[18]Hale, Bob and Wright, Crispin, The Reason’s Proper Study, Oxford University Press, Oxford, 2001.
[19]Heck, Richard G. Jr., The consistency of predicative fragments of Frege’s Grundgesetze der Arithmetik. History and Philosophy of Logic, vol. 17 (1996), no. 4, pp. 209220.
[20]Heck, Richard G. Jr., Frege’s Theorem, Oxford University Press, Oxford, 2011.
[21]Hodes, Harold, Logicism and the Ontological Commitments of Arithmetic. The Journal of Philosophy, vol. 81 (1984), no. 3, pp. 123149.
[22]Lindström, Per, Aspects of Incompleteness, second ed., Lecture Notes in Logic, vol. 10, Association for Symbolic Logic, Urbana, IL, 2003.
[23]Linnebo, Øystein, Some criteria for acceptable abstraction. Notre Dame Journal of Formal Logic, vol. 52 (2010), no. 3, pp. 331338.
[24]Marker, David, Model Theory: An Introduction, Graduate Texts in Mathematics, vol. 217, Springer-Verlag, New York, 2002.
[25]Parsons, Terence, 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].
[26]Simpson, Stephen G., Subsystems of Second Order Arithmetic, second ed., Cambridge University Press, Cambridge, 2009.
[27]Visser, Albert, Categories of theories and interpretations, Logic in Tehran (Enayat, Ali, Kalantari, Iraj, and Moniri, Mojtaba, editors), Lecture Notes in Logic, vol. 26, Association for Symbolic Logic, La Jolla, 2006, pp. 284341.
[28]Visser, Albert, The predicative Frege hierarchy. Annals of Pure and Applied Logic, vol. 160 (2009), no. 2, pp. 129153.
[29]Walsh, Sean, Comparing Hume’s principle, Basic Law V and Peano Arithmetic. Annals of Pure and Applied Logic, vol. 163 (2012), pp. 16791709.
[30]Walsh, Sean, Logicism, interpretability, and knowledge of arithmetic. The Review of Symbolic Logic, vol. 7 (2014), no. 1, pp. 84119.
[31]Walsh, Sean, Fragments of Frege’s Grundgesetze and Gödel’s constructible universe. The Journal of Symbolic Logic,, forthcoming.
[32]Walsh, Sean, Predicativity, the Russell-Myhill paradox, and Church’s intensional logic. The Journal of Philosophical Logic,,, forthcoming.
[33]Weyl, Hermann, Das Kontinuum. Kritische Untersuchungen über die Grundlagen der Analysis, Veit, Leipzig, 1918.
[34]Wright, Crispin, Frege’s Conception of Numbers as Objects, Scots Philosophical Monographs, vol. 2, Aberdeen University Press, Aberdeen, 1983.
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: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed