Skip to main content
Log in

On the Consistency of a Plural Theory of Frege’s Grundgesetze

Studia Logica Aims and scope Submit manuscript

Cite this article


PG (Plural Grundgesetze) is a predicative monadic second-order system which is aimed to derive second-order Peano arithmetic. It exploits the notion of plural quantification and a few Fregean devices, among which the infamous Basic Law V. In this paper, a model-theoretical consistency proof for the system PG is provided.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others


  1. Ben-Yami, H., Logic & Natural Language, Ashgate, Aldershot, Burlington, 2004.

  2. Boccuni F.: ‘Plural Grundgesetze’. Studia Logica 96(2), 315–330 (2010)

    Article  Google Scholar 

  3. Boolos G.: ‘Nominalist Platonism’. Philosophical Review 94, 327–344 (1985)

    Article  Google Scholar 

  4. Burgess, J.P., Fixing Frege, Princeton, Princeton University Press, 2005.

    Google Scholar 

  5. Carrara M., Martino E.: ‘To be is to be the Object of a Possible Act of Choice’. Studia Logica 96(2), 289–313 (2010)

    Article  Google Scholar 

  6. Dummett M.: Frege: Philosophy of Mathematics. Duckworth, London (1991)

    Google Scholar 

  7. Ferreira F., Wehmeier K.F.: ‘On the Consistency of the \({\Delta^1_1}\)-CA Fragment of rege’s Grundgesetze’. Journal of Philosophical Logic 31, 301–311 (2002)

    Article  Google Scholar 

  8. Heck R.: ‘The Consistency of Predicative Fragments of Frege’s Grundgesetze der Arithmetik’. History and Philosophy of Logic 17, 209–220 (1996)

    Article  Google Scholar 

  9. Linnebo Ø.: ‘Predicative Fragments of Frege Arithmetic’. The Bulletin of Symbolic Logic 10(2), 153–174 (2004)

    Article  Google Scholar 

  10. Linnebo Ø.: ‘Bad Company Tamed’. Synthese 170(3), 371–391 (2007)

    Article  Google Scholar 

  11. Linnebo Ø.: ‘Pluralities and Sets’. Journal of Philosophy 107(3), 144–164 (2010)

    Google Scholar 

  12. Martino E.: ‘Arbitrary Reference in Mathematical Reasoning’. Topoi 20, 65–77 (2001)

    Article  Google Scholar 

  13. Wehmeier K.F.: ‘Consistent Fragments of Grundgesetze and the Existence of Non- Logical Objects’. Synthese 121, 309–328 (1999)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Francesca Boccuni.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Boccuni, F. On the Consistency of a Plural Theory of Frege’s Grundgesetze . Stud Logica 97, 329–345 (2011).

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: