Frege: Grundgesetze

Frege's Grundgesetze der Arithmetik offers a conception of cpLogic as the study of functions. Among functions are included those that are concepts, i.e. characteristic functions whose values are the logical objects that are the True/the False. What, in Frege's view, are the objects the True/the False? Frege's stroke functions are themselves concepts. His stipulation introducing his negation stroke mentions that it yields [...]. But curiously no accommodating axiom is given, and there is no such theorem. Why is it that some (...) of Frege's informal stipulations never made appearances as axioms? I offer an explanation that sheds new light on the Grundgesetze. No axioms should over-determination the True as a logical object. Perhaps the True = 0, as would be common in the mathematics of characteristic functions. But the logical objects that are cardinal numbers are value ranges correlated with second-level numerical concepts by a non-homogeneous second-level value-range function [...]. The existence of concepts would be ontologically circular if the True is itself a number. We find this circularity perfectly agreeable to Frege, and suggest that he had accepted that the existence of functions that are concepts in his cpLogic may well be ontologically inseparable from the existence of his value-range function. His cpLogic itself stands or falls with the viability of some value-range function. (shrink)

EbertPhilip A and RossbergMarcus, eds.* * _ Essays on Frege’s Basic Laws of Arithmetic_. Oxford: Oxford University Press, 2019. Pp. xii + 673. ISBN: 978-0-19-871208-4 ; 978-0-19-102005-6, 978-0-19-178024-0. doi: 10.1093/oso/9780198712084.001.0001.

The volume is the first collection of essays that focuses on Gottlob Frege's Basic Laws of Arithmetic (1893/1903), highlighting both the technical and the philosophical richness of Frege's magnum opus. It brings together twenty-two renowned Frege scholars whose contributions discuss a wide range of topics arising from both volumes of Basic Laws of Arithmetic. The original chapters in this volume make vivid the importance and originality of Frege's masterpiece, not just for Frege scholars but for the study of the history (...) of logic, mathematics, and philosophy. (shrink)

In this paper we compare the propositional logic of Frege’s Grundgesetze der Arithmetik to modern propositional systems, and show that Frege does not have a separable propositional logic, definable in terms of primitives of Grundgesetze, that corresponds to modern formulations of the logic of “not”, “and”, “or”, and “if…then…”. Along the way we prove a number of novel results about the system of propositional logic found in Grundgesetze, and the broader system obtained by including identity. In particular, we show that (...) the propositional connectives that are definable in terms of Frege’s horizontal, negation, and conditional are exactly the connectives that fuse with the horizontal, and we show that the logical operators that are definable in terms of the horizontal, negation, the conditional, and identity are exactly the operators that are invariant with respect to permutations on the domain that leave the truth-values fixed. We conclude with some general observations regarding how Frege understood his logic, and how this understanding differs from modern views. (shrink)

We set out the implication fragment of Frege’s Grundgesetze, clarifying the implication rules and showing that this system extends Absolute Implication, or the implication fragment of Intuitionist logic. We set out a sequent calculus which naturally captures Frege’s implication proofs, and draw particular attention to the Cut-like features of his Hypothetical Syllogism rule.

Review of Basic Laws of Arithmetic, ed. and trans. by P. Ebert and M. Rossberg (Oxford 2013).

Frege's Grundgesetze was one of the 19th century forerunners to contemporary set theory which was plagued by the Russell paradox. In recent years, it has been shown that subsystems of the Grundgesetze formed by restricting the comprehension schema are consistent. One aim of this paper is to ascertain how much set theory can be developed within these consistent fragments of the Grundgesetze, and our main theorem shows that there is a model of a fragment of the Grundgesetze which defines a (...) model of all the axioms of Zermelo-Fraenkel set theory with the exception of the power set axiom. The proof of this result appeals to G\"odel's constructible universe of sets, which G\"odel famously used to show the relative consistency of the continuum hypothesis. More specifically, our proofs appeal to Kripke and Platek's idea of the projectum within the constructible universe as well as to a weak version of uniformization (which does not involve knowledge of Jensen's fine structure theory). The axioms of the Grundgesetze are examples of abstraction principles, and the other primary aim of this paper is to articulate a sufficient condition for the consistency of abstraction principles with limited amounts of comprehension. As an application, we resolve an analogue of the joint consistency problem in the predicative setting. (shrink)

This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze. We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second-order logic.

We discuss the typography of the notation used by Gottlob Frege in his Grundgesetze der Arithmetik.

In Grundgesetze, Vol. II, §91, Frege argues that ‘it is applicability alone which elevates arithmetic from a game to the rank of a science’. Many view this as an in nuce statement of the indispensability argument later championed by Quine. Garavaso has questioned this attribution. I argue that even though Frege's applicability argument is not a version of ia, it facilitates acceptance of suitable formulations of ia. The prospects for making the empiricist ia compatible with a rationalist Fregean framework appear (...) thus much less dim than expected. Nonetheless, those arguing for such compatibility eventually face an hardly surmountable dilemma. (shrink)

There is nothing straightforward about translating Frege. Up to now there has been no coherent and commonly accepted standard for his logico-philosophical terminology, and several researchers in th...

This is the first complete English translation of Gottlob Frege's Grundgesetze der Arithmetik, with introduction and annotation. The importance of Frege's ideas within contemporary philosophy would be hard to exaggerate. He was, to all intents and purposes, the inventor of mathematical logic, and the influence exerted on modern philosophy of language and logic, and indeed on general epistemology, by the philosophical framework.

Gottlob Frege's Grundgesetze der Arithmetik, or Basic Laws of Arithmetic, was intended to be his magnum opus, the book in which he would finally establish his logicist philosophy of arithmetic. But because of the disaster of Russell's Paradox, which undermined Frege's proofs, the more mathematical parts of the book have rarely been read. Richard G.

The analysis of identity as coreference is strongly associated with Frege ; it is the view in Begriffsschrift, and, some have argued, henceforth throughout his work. This thesis is incorrect: Frege never held that identity is coreference. The case is made not by interpretation of “proof-quotes”, but rather by exploring how Frege actually deploys the concept. Two cases are considered. The first, from Grundgesetze, are the definitions of the core concepts, zero and truth; the second, from Begriffsschrift, is the validity (...) of Leibniz's Law. In both cases, if identity is coreference, results ensue that would be unacceptable to Frege. (shrink)

In order to accommodate his view that quantifiers are predicates of predicates within a type theory, Frege introduces a rule which allows a function name to be formed by removing a saturated name from another saturated name which contains it. This rule requires that each name has a rather rich syntactic structure, since one must be able to recognize the occurrences of a name in a larger name. However, I argue that Frege is unable to account for this syntactic structure. (...) I argue that this problem undermines the inductive portion of Frege's proof that all of the names of his system denote in §§29–32 of The Basic Laws. (shrink)

In his "Grundgesetze", Frege hints that prior to his theory that cardinal numbers are objects he had an "almost completed" manuscript on cardinals. Taking this early theory to have been an account of cardinals as second-level functions, this paper works out the significance of the fact that Frege's cardinal numbers is a theory of concept-correlates. Frege held that, where n > 2, there is a one—one correlation between each n-level function and an n—1 level function, and a one—one correlation between (...) each first-level function and an object. Applied to cardinals, the correlation offers new answers to some perplexing features of Frege's philosophy. It is shown that within Frege's concept-script, a generalized form of Hume's Principle is equivalent to Russell's Principle ofion — a principle Russell employed to demonstrate the inadequacy of definition by abstraction. Accordingly, Frege's rejection of definition of cardinal number by Hume's Principle parallels Russell's objection to definition by abstraction. Frege's correlation thesis reveals that he has a way of meeting the structuralist challenge that it is arithmetic, and not a privileged progression of objects, that matters to the finite cardinals. (shrink)

Frege’s Grundgesetze der Arithmetik is formally inconsistent. This system is, except for minor differences, second-order logic together with an abstraction operator governed by Frege’s Axiom V. A few years ago, Richard Heck showed that the ramified predicative second-order fragment of the Grundgesetze is consistent. In this paper, we show that the above fragment augmented with the axiom of reducibility for concepts true of only finitely many individuals is still consistent, and that elementary Peano arithmetic (and more) is interpretable in this (...) extended system. (shrink)

In Section 10 of Grundgesetze, Volume I, Frege advances a mathematical argument (known as the permutation argument), by means of which he intends to show that an arbitrary value-range may be identified with the True, and any other one with the False, without contradicting any stipulations previously introduced (we shall call this claim the identifiability thesis, following Schroeder-Heister (1987)). As far as we are aware, there is no consensus in the literature as to (i) the proper interpretation of the permutation (...) argument and the identifiability thesis, (ii) the validity of the permutation argument, and (iii) the truth of the identifiability thesis. In this paper, we undertake a detailed technical study of the two main lines of interpretation, and gather some evidence for favoring one interpretation over the other. (shrink)

I present a novel interpretation of Frege’s attempt at Grundgesetze I §§29-31 to prove that every expression of his language has a unique reference. I argue that Frege’s proof is based on a contextual account of reference, similar to but more sophisticated than that enshrined in his famous Context Principle. Although Frege’s proof is incorrect, I argue that the account of reference on which it is based is of potential philosophical value, and I analyze the class of cases to which (...) it may successfully be applied. (shrink)

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)

In section 10 of Grundgesetze, Frege confronts an indeterm inacy left by his stipulations regarding his ‘smooth breathing’, from which names of valueranges are formed. Though there has been much discussion of his arguments, it remains unclear what this indeterminacy is; why it bothers Frege; and how he proposes to respond to it. The present paper attempts to answer these questions by reading section 10 as preparatory for the (fallacious) proof, given in section 31, that every expression of Frege's formal (...) language denotes. (shrink)

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.

Discusses Frege's formal definitions and characterizations of infinite and finite sets. Speculates that Frege might have discovered the "oddity" in Dedekind's famous proof that all infinite sets are Dedekind infinite and, in doing so, stumbled across an axiom of countable choice.

Discusses Frege's formal definitions and characterizations of infinite and finite sets. Speculates that Frege might have discovered the "oddity" in Dedekind's famous proof that all infinite sets are Dedekind infinite and, in doing so, stumbled across an axiom of countable choice.

Frege's intention in section 31 of Grundgesetze is to show that every well-formed expression in his formal system denotes. But it has been obscure why he wants to do this and how he intends to do it. It is argued here that, in large part, Frege's purpose is to show that the smooth breathing, from which names of value-ranges are formed, denotes; that his proof that his other primitive expressions denote is sound and anticipates Tarski's theory of truth; and that (...) the proof that the smooth breathing denotes, while flawed, rests upon an idea now familiar from the completeness proof for first-order logic. The main work of the paper consists in defending a new understanding of the semantics Frege offers for the quantifiers: one which is objectual, but which does not make use of the notion of an assignment to a free variable. (shrink)

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...

Frege seems to hold two incompatible theses:(i) that sentences differing in structure can yet express the same sense; and (ii) that the senses of the meaningful parts of a complex term are determinate parts of the sense of the term. Dummett offered a solution, distinguishing analysis from decomposition. The present paper offers an embellishment of Dummett?s distinction by providing a way of depicting the internal structures of complex senses?determinate structures that yield distinct decompositions. Decomposition is then shown to be adequate (...) as a foundation for the informativity and analyticity of logic. (shrink)

Pretendo usar o exemplo dos nomes de percursos de valores como prova de que, contrariamente ao que Michael Resnik e Michael Dummett sustentam, Frege nunca abandonou o seu princípio do contexto: “Apenas no contexto de uma sentenya tem uma palavra significado”. Em particular, pretendo mostrar que a prova da completude com relação ao significado, que Frege tentou introduzir na linguagem formal das Grundgesetze der Arithmetik, baseia-se em uma aplicação do principio do contexto, e que, em consequencia, tambem nomes de percursos (...) de valores tem significado apenas nocontexto de uma sentença. A teoria Fregeana do sentido e do significado somente pode ser entendida adequadamente sob o pano de fundo do princfpio do contexto.Taking course-of-values names as an example, I want to show that, contrary to what Michael Resnik and Michael Dummett claim, Frege never abandoned his context principle “Only in the context of a sentence do words have meaning”. In particular, I want to show that Frege’s attempted proof of referentiality for the formal language of Grundgesetze der Arithmetik rests on the context principle and that, consequently, course-of-values names have a reference only in the context of a sentence. It is only in the light of the context principle that Frege’s theory of sense and reference can be understood appropriately. (shrink)

Pretendo usar o exemplo dos nomes de percursos de valores como prova de que, contrariamente ao que Michael Resnik e Michael Dummett sustentam, Frege nunca abandonou o seu princípio do contexto: “Apenas no contexto de uma sentenya tem uma palavra significado”. Em particular, pretendo mostrar que a prova da completude com relação ao significado, que Frege tentou introduzir na linguagem formal das Grundgesetze der Arithmetik, baseia-se em uma aplicação do principio do contexto, e que, em consequencia, tambem nomes de percursos (...) de valores tem significado apenas nocontexto de uma sentença. A teoria Fregeana do sentido e do significado somente pode ser entendida adequadamente sob o pano de fundo do princfpio do contexto.Taking course-of-values names as an example, I want to show that, contrary to what Michael Resnik and Michael Dummett claim, Frege never abandoned his context principle “Only in the context of a sentence do words have meaning”. In particular, I want to show that Frege’s attempted proof of referentiality for the formal language of Grundgesetze der Arithmetik rests on the context principle and that, consequently, course-of-values names have a reference only in the context of a sentence. It is only in the light of the context principle that Frege’s theory of sense and reference can be understood appropriately. (shrink)

Two thoughts about the concept of number are incompatible: that any zero or more things have a number, and that any zero or more things have a number only if they are the members of some one set. It is Russell's paradox that shows the thoughts incompatible: the sets that are not members of themselves cannot be the members of any one set. The thought that any things have a number is Frege's; the thought that things have a number only (...) if they are the members of a set may be Cantor's and is in any case a commonplace of the usual contemporary presentations of the set theory that originated with Cantor and has become ZFC.In recent years a number of authors have examined Frege's accounts of arithmetic with a view to extracting an interesting subtheory from Frege's formal system, whose inconsistency, as is well known, was demonstrated by Russell. These accounts are contained in Frege's formal treatise Grundgesetze der Arithmetik and his earlier exoteric book Die Grundlagen der Arithmetik. We may describe the two central results of the recent re-evaluation of his work in the following way: Let Frege arithmetic be the result of adjoining to full axiomatic second-order logic a suitable formalization of the statement that the Fs and the Gs have the same number if and only if the F sand the Gs are equinumerous. (shrink)

This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.

Frege's development of the theory of arithmetic in his Grundgesetze der Arithmetik has long been ignored, since the formal theory of the Grundgesetze is inconsistent. His derivations of the axioms of arithmetic from what is known as Hume's Principle do not, however, depend upon that axiom of the system--Axiom V--which is responsible for the inconsistency. On the contrary, Frege's proofs constitute a derivation of axioms for arithmetic from Hume's Principle, in (axiomatic) second-order logic. Moreover, though Frege does prove each of (...) the now standard Dedekind-Peano axioms, his proofs are devoted primarily to the derivation of his own axioms for arithmetic, which are somewhat different (though of course equivalent). These axioms, which may be yet more intuitive than the Dedekind-Peano axioms, may be taken to be "The Basic Laws of Cardinal Number", as Frege understood them. Though the axioms of arithmetic have been known to be derivable from Hume's Principle for about ten years now, it has not been widely recognized that Frege himself showed them so to be; nor has it been known that Frege made use of any axiomatization for arithmetic whatsoever. Grundgesetze is thus a work of much greater significance than has often been thought. First, Frege's use of the inconsistent Axiom V may invalidate certain of his claims regarding the philosophical significance of his work (viz., the establishment of Logicism), but it should not be allowed to obscure his mathematical accomplishments and his contribution to our understanding of arithmetic. Second, Frege's knowledge that arithmetic is derivable from Hume's Principle raises important sorts of questions about his philosophy of arithmetic. For example, "Why did Frege not simply abandon Axiom V and take Hume's Principle as an axiom?". (shrink)

In lieu of an abstract, here is a brief excerpt of the content:RUSSELL TO FREGE, 24 MAY 1903: "I BELIEVE I HAVE DISCOVERED THAT CLASSES ARE ENTIRELY SUPERFLUOUS" GREGORY LANDINI Philosophy / University of Iowa Iowa City, IA 52242, USA It was his consideration of Cantor's proof that there is no greatest cardinal, Russell recalls in My Philosophical Development, that led in the spring of 1901 to the discovery of the paradox of the class of all classes not members of (...) themselves. "Never glad confident morning again", were Whitehead's reported words (MPD, p. 58). Whitehead was, of course, wrong. Russell had many new confident mornings. One in particular apparently occurred on 19 May 1903. On 23 May Russell wrote in his journal: "Four days ago 1 solved the Contradiction -the relief of this is unspeakable" (Papm 12: 24). The "solution" was communicated to Whitehead, who responded by telegram: "Heartiest congratulations Aristoteles secundus. 1 am delighted" (Clark, p. III). But it was not long before Russell knew his proposal was inadequate. On the form he would scrawl: "A propos of solVing the Contradiction. [But the solution was wrong]" (ibid; Russell's brackets). The episode is intriguing. What was the proposal? Russell's correspondence with Frege sheds some light. On 20 October 1902 Frege had sent a letter suggesting a way to avoid the contradiction. Frege's suggestion, formulated in a great hurry so that it might appear in the Appendix of Vol. II of the Grundgesetze der Arithmetik, was to abandon his Basic Law V; zcj>z =zez. ==. (x)(x. ==. ex), and to replace it by Russell to Frege, 24 May I903 161 V' zz =zez. ==. (x)(x *zz & x* zez: ~ : x. ==. ex). The underlying idea was to accept that one concept may have the same extension as another even though the two concepts are not coextensive. Though he thought the underlying idea "probably correct",! Russell expressed reservation in a reply of 12 December:... I find it difficult to accept your solution even though it is probably correct. Do you deny, e.g., that all classes form a class? And if this is admitted, then it is possible that - ana. Moreover, the class of non-humans is a. non-human. Otherwise it must be admitted that not ail objects fall either under a or not-a; namely, if a is a range of values, then a fails neither under a nor under not-a. This contradicts the law of excluded middle, which will be inconvenient to say the least.2 (Frege I980, p. 151) Frege's response of 28 December does not mention the contradiction, and Volume II of his Grundgesetze appeared early in 1903. Russell's reservations concerning Frege's solution· continue in a letter to Frege of 20 February 1903: What you say about my contradiction is of the greatest interest to me. Do you believe that the range of values remains unchanged if some subclass of the class is assigned to it as a new member? Extension seems to fit this view better than intension. Bur I fe;el far from clear about this question. (Frege I980, p. 155) Frege replied on 21 May, explaining that in general a class does not remain unchanged when a particular subclass is added to it, but that two concepts may have the same extension (the same class) when the only difference between them is that this class falls under the first concept but not under the second (p. 157). Then on 24 May 1903 Russell excitedly wrote Frege of a solution of the paradox of classes: "I received your letter this morning, and 1 am replying to it at once, for russell: the Journal of the Berrrand Russdl Archives McMasrer University Library Press n.S.•2 (wincer 1992-93): 160-85 ISSN 0036-01631 • The same evaluation appears in Russell's Appendix to The Principles ofMathematics (p. 522). 2 Frege's '\- a II b" is Peano and Russell's "a E b". Russell should have put "~ana". 162 GREGORY LANDINI I believe I have discovered that classes are entirely superfluous. Your designation i(z) can be used for itself, and x E i(z) for (x).... this seems to me to avoid the contradiction" (p. 159). The proposal is also mentioned in a... (shrink)

This is a study of Frege's permutation argument in Part I, Section 10, of Frege's Basic Laws of Arithmetic.

Quantifiers in Frege's Grundgesetze like are not well-defined because the part Fx & Gx stands for a concept but the yoking conjunction is horizontalised and must stand for a truth-value. This standard interpretation is rejected in favor of a substitutional reading that, it is argued, both conforms better to the text and is well-defined. The theory of the horizontal is investigated in detail and the composite reading of Frege's connectives as made up of horizontals is rejected. The sense in which (...) the Grundgesetze has a many-valued but classical logic is explained by proving that its propositional fragment (under the standard interpretation) and Bochvar's 3-valued logic are instances of the same metatheoretic methods. Historically, the paper argues for a more naive but well-defined reading of the text. Theoretically, it provides a formally adequate statement of that semantics, as well as developing the abstract metatheory which embraces Bochvar's language and the Fregean fragment. (shrink)

In §§28-31 of his Grundgesetze der Arithmetik, Frege forwards a demonstration that every correctly formed name of his formal language has a reference. Examination of this demonstration, it is here argued, reveals an incompleteness in a procedure of contextual definition. At the heart of this incompleteness is a difference between Frege's criteria of referentiality and the possession of reference as it is ordinarily conceived. This difference relates to the distinction between objectual and substitutional quantification and Frege?s vacillation between the two.

In §§28-31 of his Grundgesetze der Arithmetik, Frege forwards a demonstration that every correctly formed name of his formal language has a reference. Examination of this demonstration, it is here argued, reveals an incompleteness in a procedure of contextual definition. At the heart of this incompleteness is a difference between Frege’s criteria of referentiality and the possession of reference as it is ordinarily conceived. This difference relates to the distinction between objectual and substitutional quantification and Frege’s vacillation between the two.

Cet article cherche à travers une étude des textes, et en suivant l'évolution de la pensée de Frege, à dégager le rôle prédominant - à la fois positif et regrettable - qu'a joué la philosophie dans la construction du système fondationnel des Grundgesetze. En premier lieu, sa conception exhaltante de la logique, qui fonde son logicisme est exposée; ensuite, il apparaît que le concept "autonome” d'ensemble n'entrant pas, selon Frege, dans ce domaine pur, ne peut pas fonder l'arithmétique; ensuite, on (...) voit que les types violent à la fois la simplicité privilégiée de la logique et la nature métaphysique des fonctions et en dernier lieu, les raisons philosophiques de la théorie des entités incomplètes sont développées. Il apparaît qu'une vision philosophique empêche de sauver le système des Grundgesetze à moins de le détruire. (shrink)