The Consistency of predicative fragments of frege’s grundgesetze der arithmetik

History and Philosophy of Logic 17 (1-2):209-220 (1996)
  Copy   BIBTEX

Abstract

As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minor differ...

Analytics

Added to PP
2010-08-17

Downloads
815 (#16,580)

6 months
109 (#30,558)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richard Kimberly Heck
Brown University

Citations of this work

In defense of Countabilism.David Builes & Jessica M. Wilson - 2022 - Philosophical Studies 179 (7):2199-2236.
Neo-Fregeanism: An Embarrassment of Riches.Alan Weir - 2003 - Notre Dame Journal of Formal Logic 44 (1):13-48.
Predicative fragments of Frege arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.
Abstraction Reconceived.J. P. Studd - 2016 - British Journal for the Philosophy of Science 67 (2):579-615.

View all 53 citations / Add more citations

References found in this work

Frege.Michael Dummett - 1973 - Cambridge, Mass.: Harvard University Press.
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.

View all 6 references / Add more references