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.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-011-9311-9

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,793

External links

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

Through your library

My notes

Similar books and articles

Plural Grundgesetze.Francesca Boccuni - 2010 - Studia Logica 96 (2):315-330.
Plural Logicism.Francesca Boccuni - 2013 - Erkenntnis 78 (5):1051-1067.
Minimal Logicism.Francesca Boccuni - 2014 - Philosophia Scientiae 18:81-94.
The Strength of Abstraction with Predicative Comprehension.Sean Walsh - 2016 - Bulletin of Symbolic Logic 22 (1):105–120.
Comparing Peano arithmetic, Basic Law V, and Hume’s Principle.Sean Walsh - 2012 - Annals of Pure and Applied Logic 163 (11):1679-1709.
On the consistency of the Δ11-CA fragment of Frege's grundgesetze.Fernando Ferreira & Kai F. Wehmeier - 2002 - Journal of Philosophical Logic 31 (4):301-311.
Amending Frege’s Grundgesetze der Arithmetik.Fernando Ferreira - 2005 - Synthese 147 (1):3-19.
The Consistency of predicative fragments of frege's grundgesetze der arithmetik.Richard Heck Jnr - 1996 - History and Philosophy of Logic 17 (1 & 2):209-220.
The Finitistic Consistency of Heck’s Predicative Fregean System.Luís Cruz-Filipe & Fernando Ferreira - 2015 - Notre Dame Journal of Formal Logic 56 (1):61-79.

Analytics

Added to PP
2013-08-01

Downloads
119 (#178,533)

6 months
7 (#653,123)

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 - 2020 - Foundations of Science 28 (1):185-203.
Plural Frege Arithmetic.Francesca Boccuni - 2022 - Philosophia Scientiae 26:189-206.

View all 7 citations / Add more citations

References found in this work

Frege.Michael Dummett - 1981 - Cambridge: Harvard University Press.
Nominalist platonism.George Boolos - 1985 - Philosophical Review 94 (3):327-344.
Pluralities and Sets.Øystein Linnebo - 2010 - Journal of Philosophy 107 (3):144-164.
Nominalist platonism.George Boolos - 1998 - In Richard Jeffrey (ed.), Logic, Logic, and Logic. Harvard University Press. pp. 73-87.

View all 15 references / Add more references