Frege: Works

Well over a century after its introduction, Frege's two-dimensional Begriffsschrift notation is still considered mainly a curiosity that stands out more for its clumsiness than anything else. This paper focuses mainly on the propositional fragment of the Begriffsschrift, because it embodies the characteristic features that distinguish it from other expressively equivalent notations. In the first part, I argue for the perspicuity and readability of the Begriffsschrift by discussing several idiosyncrasies of the notation, which allow an easy conversion of logically equivalent (...) formulas, and presenting the notation's close connection to syntax trees. In the second part, Frege's considerations regarding the design principles underlying the Begriffsschrift are presented. Frege was quite explicit about these in his replies to early criticisms and unfavorable comparisons with Boole's notation for propositional logic. This discussion reveals that the Begriffsschrift is in fact a well thought-out and carefully crafted notation that intentionally exploits the possibilities afforded by the two-dimensional medium of writing like none other. (shrink)

It is widely taken that the first-order part of Frege's Begriffsschrift is complete. However, there does not seem to have been a formal verification of this received claim. The general concern is that Frege's system is one axiom short in the first-order predicate calculus comparing to, by now, the standard first-order theory. Yet Frege has one extra inference rule in his system. Then the question is whether Frege's first-order calculus is still deductively sufficient as far as the first-order completeness is (...) concerned. In this short note we confirm that the missing axiom is derivable from his stated axioms and inference rules, and hence the logic system in the Begriffsschrift is indeed first-order complete. (shrink)

This volume contains English translations of Frege's early writings in logic and philosophy and of relevant reviews by other leading logicians. Professor Bynum has contributed a biographical essay, introduction, and extensive bibliography.

In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begriffsschrift, is like the language Leibniz sketched, a lingua characteristica, and not merely a logical calculus. According to the nineteenth century studies, Leibniz’s lingua characteristica was supposed to be a language with which the truths of science and the constitution of its concepts could be accurately expressed. I argue that this is exactly what the Begriffsschrift is: it is (...) a language, since, unlike calculi, its sentential expressions express truths, and it is a characteristic language, since the meaning of its complex expressions depend only on the meanings of their constituents and on the way they are put together. In fact it is in itself already a science composed in accordance with the Classical Model of Science. What makes the Begriffsschrift so special is that Frege is able to accomplish these goals with using only grammatical or syncategorematic terms and so has a medium with which he can try to show analyticity of the theorems of arithmetic. (shrink)

The dissertation seeks to gain a comprehensive understanding of Frege's watershed work of logic, the 1879 Begriffsschrift . The treatise is the first since Aristotle's instauration of the discipline to have succeeded in completely recasting logic. Very generally stated, the dissertation aims at making explicit the conceptual origins of modern logic. To do that will require that each of the achievements of Concept-script be examined from one or more vantage points: either within the perspective of Frege's larger and guiding ambition, (...) that of providing a logical justification of arithmetic; or with respect to the horizon of modernity; or in relation to later developments in logical theory and the philosophy of language, developments stimulated, albeit not exclusively, by Frege's very work. The vantage point adopted in each case will depend on the nature of the topic and the extent to which it requires to be made explicit. One perspective will have preponderance, that of Frege's relationship to his early modern ancestors, a group that includes philosophers, scientists, and mathematicians. Since modernity is constituted in a nearly constant critical, if not polemical, relationship to the Ancients, they will also at times be drawn into the discussion. The elucidation of Frege's breakthrough work will be guided by the following thesis: Frege's attempt to justify arithmetic logically and the fine work of clarification he produced in actualizing this project; his discovery of function-theoretic logic and his fashioning of a concept-script ; and his critique of natural language and the attendant semantics developed over the course of that critique constitute an unfolding and an extension of the primacy of universal method over ontology that is the signature of modern inquiry. (shrink)

This dissertation is a largely historical study in the theory of concepts. My discussion centers on the notion of a "complex concept" or, more illuminatingly, on varieties of logical complexity that attach specifically to concepts. My main contention is that one of the principal innovations associable with the logical doctrine of Frege's Begriffsschrift is the introduction of a novel conception of complex concepts. The innovation of Frege's position can only be appreciated by seeing it against the background of the logical (...) tradition from which it departed---a tradition that I characterize with reference to sources both from the early modern period and from the context of nineteenth-century algebraic logic. Broadly speaking, the purveyors of the earlier tradition held that logical complexity was, if not strictly identifiable with the complexity of concepts, at least parasitic upon a prior notion of the complexity of concepts. For this reason, explanations of predication and inference were characteristically based upon prior and independent accounts of concept-formation. It was just this order of priority that Frege opposed in his early elucidations of the function-argument syntax of Begriffsschrift. Frege departed from the earlier logical tradition by propounding the thesis that judgements are logically prior to concepts. I maintain that the central implication of this thesis is that an adequately general account of the complexity of concepts presupposes a prior and independent account of propositional structure. The main goal of the dissertation is to put Frege's views on concept-formation in perspective both by giving an account of the earlier approaches that Frege opposed and by relating Frege's views to elements of his broader philosophy of logic and language. (shrink)

Complete French translation of Gottlob Frege's Begriffsschrift.

In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begriffsschrift, is like the language Leibniz sketched, a lingua characteristica, and not merely a logical calculus. According to the nineteenth century studies, Leibniz’s lingua characteristica was supposed to be a language with which the truths of science and the constitution of its concepts could be accurately expressed. I argue that this is exactly what the Begriffsschrift is: it is (...) a language, since, unlike calculi, its sentential expressions express truths, and it is a characteristic language, since the meaning of its complex expressions depend only on the meanings of their constituents and on the way they are put together. In fact it is in itself already a science composed in accordance with the Classical Model of Science. What makes the Begriffsschrift so special is that Frege is able to accomplish these goals with using only grammatical or syncategorematic terms and so has a medium with which he can try to show analyticity of the theorems of arithmetic. (shrink)

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 Part III of his 1879 logic Frege proves a theorem in the theory of sequences on the basis of four definitions. He claims in Grundlagen that this proof, despite being strictly deductive, constitutes a real extension of our knowledge, that it is ampliative rather than merely explicative. Frege furthermore connects this idea of ampliative deductive proof to what he thinks of as a fruitful definition, one that draws new lines. My aim is to show that we can make good (...) sense of these claims if we read Frege’s notation diagrammatically, in particular, if we take that notation to have been designed to enable one to exhibit the (inferentially articulated) contents of concepts in a way that allows one to reason deductively on the basis of those contents. (shrink)

It is a familiar fact that different systems of notation can function in radically different ways. Consider, to take a very simple example, the difference between the sign-designs ‘twenty-three’, ‘XXIII’, and ‘23’. The first is an expression of English tracing the sounds a speaker makes in uttering the words ‘twenty’ and ‘three’. The second is a Roman numeral that uses signs for collections of things—‘X’ for ten things and ‘I’ for one thing—to present by addition the idea of ten and (...) ten and one and one and one, that is, twenty-three, things. Instead of tracing the sounds a speaker makes in speaking in some natural language, the Roman numeral ‘XXIII’ directly represents a collection of things. The Arabic numeral ‘23’ is different again. Like the Roman numeral ‘XXIII’ it in some way represents a number directly; unlike the Roman numeral it is not immediately additive. The numeral ‘23’ is not to be read as designating two and three things. The Arabic numeration system functions as a notational system in a way that is different both from the notational system of a written natural language such as English and from that of the Roman numeration system. (shrink)

If the begriffsschrift from Frege does represent the logical form of natural language it either lacks a logical form itself, or its logical form is different to that of natural language. But Frege insists that his notation has a logical form. So the second disjunct holds. This suggests that Frege's notation will generate consequences different to those that can be derived with natural language, with its different logical form. For anyone looking for "a means of avoiding misunderstandings", as Frege does, (...) this would be unpalatable, to say the least. (shrink)

Frege uses Greek letters in two different ways in his Begriffsschrift. One way is the familiar use of bound variables, in conjunction with variable-binding operators, to mark and close argument-places. The other, which is quite unfamiliar, employs letters to mark places for operators to reach into, without thereby closing these places. Frege thereby invents a powerful and compact notation for functional operations which can be recommended even today. His regrettable double use of Greek letters obscured his invention, and this, together (...) with the fact that in the Grundgesetze he no longer has need of function-valued functions, explains why the device was overlooked and has not passed into general use. (shrink)

Before Frege, the term Begriffsschrift'was used to indicate a language the expressions of which adequately represent the structure of the judgements or concepts which they signify, and a language the written signs of which designate ideas rather than sounds. In 1879 Frege follows . Later he adopts —and with it the Aristotelian theory of language in which it is embedded.

The formal structure of Frege’s ‘concept script’ has been widely adopted in logic text books since his time, even though its rather elaborate symbols have been abandoned for more convenient ones. But there are major difficulties with its formalisation of pronouns, predicates, and propositions, which infect the whole of the tradition which has followed Frege. It is shown first in this paper that these difficulties are what has led to many of the most notable paradoxes associated with this tradition; the (...) paper then goes on to indicate the lines on which formal logic—and also the lambda calculus and set theory—needs to be restructured, to remove the difficulties. Throughout the study of what have come to be known as first-, second-, and higher-order languages, what has been primarily overlooked is that these languages are abstractions. Many well known paradoxes, we shall see, arose because of the elementary level of simplification which has been involved in the abstract languages studied. Straightforward resolutions of the paradoxes immediately appear merely through attention to languages of greater sophistication, notably natural language, of course. The basic problem has been exclusive attention to a theory in place of what it is a theory of, leading to a focus on mathematical manipulation, which ‘brackets off’ any natural language reading. (shrink)

In the Grundlagen , Frege offers eight main arguments, together with a series of more minor supporting arguments, against Mill’s view that numbers are “properties of external things”. This paper reviews all eight of these arguments, arguing that none are conclusive.

I offer in this paper a contextual analysis of Frege's Grundlagen, section 64. It is surprising that with so much ink spilled on that section, the sources of Frege's discussion of definitions by abstraction have remained elusive. I hope to have filled this gap by providing textual evidence coming from, among other sources, Grassmann, Schlömilch, and the tradition of textbooks in geometry for secondary schools . In addition, I put Frege's considerations in the context of a widespread debate in Germany (...) on ‘directions’ as a central notion in the theory of parallels. (shrink)

I defend an alternative reading of §56 of Frege's Grundlagen, one that rescues Frege from Dummett's charge that this section is the weakest in the whole book. On my reading, Frege is not presenting arguments against the adjectival strategy. Rather, Frege presents the definitions in §55 in order to convince his reader that numbers must be objects. In §56 Frege suggests that these definitions contain two shortcomings that adequate definitions of numbers must overcome. And these short-comings, he argues, can only (...) be avoided if numbers are objects. Further, I have argued that my alternative reading defuses three of Dummett's four criticisms of §56, consequently challenging Dummett's claim that this section should be stigmatized as the weakest in the whole book. Nevertheless, I am inclined to agree with Dummett that the adjectival strategy is more robust than Frege suggests. Frege's arguments seem far from conclusive. Thus, it may be that the adjectival strategy can provide us with definitions that can do everything we can expect from adequate definitions of numbers. (shrink)

The idea of objectivity is primary in Gottlob Frege’s thought, not only for his conception of logic and mathematics, but also for his philosophy as a whole. He deals with the topic for the first time in 1884, in Grundlagen der Arithmetik, precisely in paragraph 26. He distinguishes the objective from the subjective, of course, but also from the real, what he calls the actual (wirklich in German). In order to be perfectly understood, he gives as example the colors but, (...) above all, to explain what is objective in geometry and space, he proceeds to a «thought-experiment», founded on the principle of duality. It is this aspect that I emphasize here, in the general framework ofparagraph 26 and in conjunction with Frege’s other works. (shrink)

En su obra de 1884, Die Grundlagen der Arithmetik [Gl.], Frege establece el principio del contexto como uno de sus principios fundamentales y propone valerse de él para dar con el concepto adecuado de número. Así, ofrece una definición de tipo contextual de número cardinal, pero ante una objeción que le resulta insalvable se decide por una definición explicita. La cuestión acerca de cuál ha sido entonces el sentido de establecer con tanto énfasis el principio del contexto admite más de (...) una respuesta. Mi texto polemiza con la interpretación canónica que se ha dado al papel de este principio en Gl., acusándola de permanecer encandilada por lo que se lee de manera inmediata en desmedro de una evaluación más integral y crítica. En particular, defenderé que: i) a diferencia de lo afirmado en Dummett 1991, la definición contextual de número cardinal no es abandonada por Frege al dar su definición explícita de número, ii) el principio del contexto tiene en Gl. un papel erístico fundamental de eliminar posiciones rivales acerca de la naturaleza de los números, iii) dicha definición contextual de número tiene un papel heurístico en el contexto de descubrimiento, en el sentido de que ofrece una intuición clave que permite llegar a la formulación final, iv) a su vez, la definición contextual es una condición necesaria de la definición explícita en el contexto de justificación, siendo que esta última se ha construido a partir de la primera. Por todo ello, sostengo que la función del principio del contexto no es la que prioriza Dummett, i. e., la fallida función de resolver el problema ontológico de la naturaleza de los números, sino que es fundamentalmente metodológica. En efecto, es en su función erística y heurística en donde debe ubicarse su relevancia para la investigación llevada a cabo en Gl. In his masterpiece of 1884, Die Grundlagen der Arithmetik [Gl.] Frege presents the context principle as a fundamental one in his investigation à propos an accurate concept of number. Thus, resting on it he offers a contextual definition of cardinal number; but after analyzing some objections he realizes that this definition does not work and decides himself for an explicit one. The question about what is the purport of the context principle when something that appeared to be the consequence is put aside admits more than a single answer. In this paper I argue against the canonic interpretation for, even while keeping next to the Fregean text, it fails to offer an integral explanation of how the context principle works all along Gl. In particular, I will defend that: i) contrary with Dummett 1991, the contextual definition of cardinal number is not abandoned by Frege when giving his explicit definition of number, ii) the context principle has in Gl. a fundamental eristic role of crossing out rival positions about the nature of numbers, iii) such contextual definition of number has an heuristic role in the discovery context, in the sense it offers a key intuition towards the final formulation, iv) furthermore, the contextual definition is a necessary condition in the justification context for the latest has been built up through the first one. For all this, I maintain that the function of the context principle is not the one Dummett prioritizes, i. e., the failed function of solving the ontological problem of the nature of numbers; the function of the context principle is rather and fundamentally methodological. It is on its eristic and heuristic function that its relevance to the Gl. investigation must be looked for. (shrink)