It is well known that Frege's system in the Grundgesetze der Arithmetik is formally inconsistent. Frege's instantiation rule for the second-order universal quantifier makes his system, except for minor differences, full (i.e., with unrestricted comprehension) second-order logic, augmented by an abstraction operator that abides to Frege's basic law V. A few years ago, Richard Heck proved the consistency of the fragment of Frege's theory obtained by restricting the comprehension schema to predicative formulae. He further conjectured that the more encompassing Δ₁¹-comprehension (...) schema would already be inconsistent. In the present paper, we show that this is not the case. (shrink)

Confronted with Russell's Paradox, Frege wrote an appendix to volume II of his _Grundgesetze der Arithmetik_. In it he offered a revision to Basic Law V, and proclaimed with confidence that the major theorems for arithmetic are recoverable. This paper shows that Frege's revised system has been seriously undermined by interpretations that transcribe his system into a predicate logic that is inattentive to important details of his concept-script. By examining the revised system as a concept-script, we see how Frege imagined (...) that minor modifications of his former proofs would recover arithmetic. (shrink)

In 1885, Georg Cantor published his review of Gottlob Frege's Grundlagen der Arithmetik . In this essay, we provide its first English translation together with an introductory note. We also provide a translation of a note by Ernst Zermelo on Cantor's review, and a new translation of Frege's brief response to Cantor. In recent years, it has become philosophical folklore that Cantor's 1885 review of Frege's Grundlagen already contained a warning to Frege. This warning is said to concern the defectiveness (...) of Frege's notion of extension. The exact scope of such speculations varies and sometimes extends as far as crediting Cantor with an early hunch of the paradoxical nature of Frege's notion of extension. William Tait goes even further and deems Frege 'reckless' for having missed Cantor's explicit warning regarding the notion of extension. As such, Cantor's purported inkling would have predated the discovery of the Russell-Zermelo paradox by almost two decades. In our introductory essay, we discuss this alleged implicit (or even explicit) warning, separating two issues: first, whether the most natural reading of Cantor's criticism provides an indication that the notion of extension is defective; second, whether there are other ways of understanding Cantor that support such an interpretation and can serve as a precisification of Cantor's presumed warning. (shrink)

In this paper, I consider two curious subsystems ofFrege's Grundgesetze der Arithmetik: Richard Heck's predicative fragment H, consisting of schema V together with predicative second-order comprehension (in a language containing a syntactical abstraction operator), and a theory T in monadic second-order logic, consisting of axiom V and 1 1-comprehension (in a language containing anabstraction function). I provide a consistency proof for the latter theory, thereby refuting a version of a conjecture by Heck. It is shown that both Heck and T (...) prove the existence of infinitely many non-logical objects (T deriving,moreover, the nonexistence of the value-range concept). Some implications concerning the interpretation of Frege's proof of referentiality and the possibility of classifying any of these subsystems as logicist are discussed. Finally, I explore the relation of T toCantor's theorem which is somewhat surprising. (shrink)