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

Studia Logica 97 (3):329-345 (2011)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,174

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2013-08-01

Downloads
97 (#125,214)

6 months
1 (#413,740)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Francesca Boccuni
University Vita-Salute San Raffaele

Citations of this work

Plural Logicism.Francesca Boccuni - 2013 - Erkenntnis 78 (5):1051-1067.
Tuples All the Way Down?Simon Thomas Hewitt - 2018 - Thought: A Journal of Philosophy 7 (3):161-169.
Russell’s Paradox and Free Zig Zag Solutions.Ludovica Conti - forthcoming - Foundations of Science:1-19.
Minimal Logicism.Francesca Boccuni - 2014 - Philosophia Scientae 18:81-94.

View all 6 citations / Add more citations

References found in this work

Frege: Philosophy of Mathematics.Michael Dummett - 1991 - Harvard University Press.
Nominalist Platonism.George Boolos - 1985 - Philosophical Review 94 (3):327-344.
Fixing Frege.John P. Burgess - 2005 - Princeton University Press.
Pluralities and Sets.Øystein Linnebo - 2010 - Journal of Philosophy 107 (3):144-164.

View all 15 references / Add more references