On a Consistent Subsystem of Frege's Grundgesetze

Notre Dame Journal of Formal Logic 39 (2):274-278 (1998)
  Copy   BIBTEX

Abstract

Parsons has given a (nonconstructive) proof that the first-order fragment of the system of Frege's Grundgesetze is consistent. Here a constructive proof of the same result is presented

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1039293068

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Amending Frege’s Grundgesetze der Arithmetik.Fernando Ferreira - 2005 - Synthese 147 (1):3-19.
Russell's paradox in consistent fragments of Frege's grundgesetze der arithmetik.Kai F. Wehmeier - 2004 - In Godehard Link (ed.), One Hundred Years of Russell’s Paradox. de Gruyter.
Definition by Induction in Frege's Grundgesetze der Arithmetik.Richard Heck - 1995 - In William Demopoulos (ed.), Frege's philosophy of mathematics. Cambridge, Mass.: Harvard University Press.
The Consistency of predicative fragments of frege’s grundgesetze der arithmetik.Richard G. Heck - 1996 - History and Philosophy of Logic 17 (1-2):209-220.
Grundgesetze der arithmetic I §10.Richard Heck - 1999 - Philosophia Mathematica 7 (3):258-292.
The development of arithmetic in Frege's Grundgesetze der Arithmetik.Richard Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
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.
Grundgesetze der Arithmetik. Section 56ff.Gottlob Frege - 1960 - In P. Geach & M. Black (eds.), Translations From the Philosophical Writings of Gottlob Frege. Blackwell.
Frege against the formalists (II): A translation of part of grundgesetze der arithmetik.Gottlob Frege - 1950 - Philosophical Review 59 (2):202-220.
Frege against the formalists. III: A translation of part of grundgesetze der arithmetik.Gottlob Frege - 1950 - Philosophical Review 59 (3):332-345.
O principio do contexto nas grundgesetze de Frege (the context principle in Frege's grundgesetze).Matthias Schirn - 1996 - Theoria 11 (3):177-201.
Grundgesetze der Arithmetik I §§29‒32.Richard G. Heck - 1997 - Notre Dame Journal of Formal Logic 38 (3):437-474.

Analytics

Added to PP
2010-08-24

Downloads
48 (#322,994)

6 months
18 (#135,873)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Burgess
Princeton University

Citations of this work

What is neologicism?Bernard Linsky & Edward N. Zalta - 2006 - Bulletin of Symbolic Logic 12 (1):60-99.
Ramified Frege Arithmetic.Richard G. Heck - 2011 - Journal of Philosophical Logic 40 (6):715-735.

View all 12 citations / Add more citations

References found in this work

On the consistency of the first-order portion of Frege's logical system.Terence Parsons - 1987 - Notre Dame Journal of Formal Logic 28 (1):161-168.
Whence the Contradiction?George Boolos - 1993 - Aristotelian Society Supplementary Volume 67:211--233.
Grundgesetze der Arithmetik I §§29‒32.Richard G. Heck - 1997 - Notre Dame Journal of Formal Logic 38 (3):437-474.
Basic Law (V).George Boolos & Peter Clark - 1993 - Aristotelian Society Supplementary Volume 67 (1):213 - 249.

Add more references