Dieser Band enthält die vier Arbeiten Freges: Begriffsschrift, eine der arithmetischen nachgebildeten Formelsprache, 1879; Anwendungen der Begriffsschrift, 1879; Über den Briefwechsel Leibnizens und Huggens mit Papin, 1881; Über den Zweck der Begriffsschrift, 1883; Über die wissenschaftliche Berechtigung einer Begriffsschrift, 1882. Frege's research work in the field of mathematical logic is of great importance for the present-day analytic philosophy. We actually owe to Frege a great amount of basical insight and exemplary research, which set up a new standard also in other (...) fields of knowledge. As the founder of mathematical logic he severely examindes the syllogisms on which arithmetic is built up. In doing so, Frege recognized that our colloquial language is inadequate to define logic structures. His notional language corresponded to the artaivicial logical language demandes by Leibniz. Frege's achievement in the field of logic were so important, that they radiated into the domain of philosophy and influenced the development of mathematical logic decisively. (shrink)

... as 'logicism') that the content expressed by true propositions of arithmetic and analysis is not something of an irreducibly mathematical character, ...

Noonan’s book comprises, along with a substantial introduction, chapters on Frege’s logic, his philosophy of arithmetic, his philosophical logic and his theory of meaning, among them covering all his principal contributions to philosophy. The exposition, while remaining throughout accessible to any nonspecialist reader with a reasonable background in analytical philosophy, is sympathetic but at the same time searching and critical, aimed both at deepening our understanding of the reasons that led Frege to his most important doctrines and of the connections (...) between them, and at bringing out clearly the difficulties to which they give rise. After a brief but engaging account of Frege’s life and career, Noonan’s introductory chapter provides a helpful sketch of the origins and development of his leading ideas in their philosophical and mathematical context—Kant’s thesis that mathematics, while a priori, must be synthetic and his associated insistence on the role of intuition; the emergence of non-Euclidean geometries; and the drive for rigor and the arithmetization of analysis by Augustine Cauchy, Karl Weierstrass, and others—followed by a concise overview of Frege’s main contributions which serves as a useful background to their more detailed discussion in the chapters that follow. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 39.3 (2001) 454-456 [Access article in PDF] Michael Potter. Reason's Nearest Kin: Philosophies of Arithmetic from Kant to Carnap.New York: Oxford University Press, 2000. Pp. x + 305. Cloth, $45.00. This book tells the story of a remarkable series of answers to two related questions:(1) How can arithmetic be necessary and knowable a priori? [End Page 454](2) What accounts for the applicability (...) of arithmetic to matters of empirical fact?These are philosophical questions, part of a "wider puzzle of explaining the link between experience, language, thought, and the world" (18). But answers to them are heavily constrained by technical results in logic and mathematics, and most of Potter's protagonists are either mathematicians (Frege, Dedekind, Ramsey, Hilbert, Gödel) or mathematically trained philosophers (Kant, Russell, Carnap). (Only Wittgenstein fits neither category.) Potter, whose doctorate was in pure mathematics, is an able guide.It is not hard to think of answers to these questions taken singly; what is hard is answering both at the same time. Formalists can easily explain why arithmetic does not depend for its justification on empirical fact—it is just a game with symbols, not responsible to anything beyond its own rules—but they then have trouble explaining why the world of empirical fact is constrained by this game. Empiricists can explain the applicability of arithmetic in just the same way they explain the applicability of physics, but they then must then explain away the apparent a prioricity and necessity of arithmetic. Kant was the first to propose a plausible answer to both questions: arithmetic is both necessary and empirically applicable because it is grounded in the spatio-temporal form of any possible experience.What unites Frege, Dedekind, Russell, Ramsey, Hilbert, and Carnap is that they reject Kant's answer while continuing to seek an answer to his question: how can arithmetic's necessity be reconciled with its applicability? Potter helpfully classifies their projects by the surrogates they substitute for Kant's appeal to the form of spatio-temporal intuition: Frege and Dedekind appeal to thought, Russell to necessary features of the world, Wittgenstein, Ramsey, and Carnap to language, and Hilbert to the necessary structure of our experience of finitary combinations of objects. (Revealingly, the logicists are not grouped together in Potter's taxonomy.) A chapter (or two) is devoted to each of these thinkers, plus Kant and Gödel.This breadth of coverage does not come at the price of superficiality: Potter's chapters are (by and large) accurate, penetrating, and full of interesting insights. I cannot think of another book that offers such clear explanations of the many mathematical concepts and distinctions one must grasp in order to follow debates in the philosophy of arithmetic. The Russell chapters are enhanced by numerous quotations from archival material. The exposition of Hilbert's programme and the implications for it of Gödel's theorems is the best I have seen. The discussions of Wittgenstein's views on arithmetic and of Carnap's syntactical approach also shine. The chapters on Kant and Frege are somewhat weaker; the discussion of Kant, in particular, would have benefited from some engagement with Michael Friedman's views.But the real contribution of Potter's book is its integration of these nine thinkers into a single coherent story. No one will be surprised that Russell's motivations can only be understood in light of Frege's failures, or that many features of Wittgenstein's cryptic work become clearer when seen in light of the specific problems with Russell's system. But there are also some less obvious payoffs: for example, Hilbert's programme is usefully compared with Russell's regressive method (227-8), and Carnap and Russell are shown to face a common dilemma (269, 286).If there is a central theme to Potter's story, it is "how often we have had to reject an [End Page 455] account not for philosophical reasons but for technical ones" (278). Frege's program founders on Russell's paradox, Russell's... (shrink)

Dieser Band enthält die vier Arbeiten Freges: Begriffsschrift, eine der arithmetischen nachgebildeten Formelsprache, 1879; Anwendungen der Begriffsschrift, 1879; Über den Briefwechsel Leibnizens und Huggens mit Papin, 1881; Über den Zweck der Begriffsschrift, 1883; Über die wissenschaftliche Berechtigung einer Begriffsschrift, 1882. Frege's research work in the field of mathematical logic is of great importance for the present-day analytic philosophy. We actually owe to Frege a great amount of basical insight and exemplary research, which set up a new standard also in other (...) fields of knowledge. As the founder of mathematical logic he severely examindes the syllogisms on which arithmetic is built up. In doing so, Frege recognized that our colloquial language is inadequate to define logic structures. His notional language corresponded to the artaivicial logical language demandes by Leibniz. Frege's achievement in the field of logic were so important, that they radiated into the domain of philosophy and influenced the development of mathematical logic decisively. (shrink)

This is the only work to provide a histori­cal account of Kant’s theory of arith­metic, examining in detail the theories of both his predecessors and his successors. Until his death, Martin was the editor of _Kant-Studien _from 1954_, _of the gen­eral Kant index from 1964, of the Leibniz index from 1968, and coeditor of _Leib­nizstudien _from 1969. This background is used to its fullest as he strives to make clear the historical milieu in which Kant’s mathematical contributions (...) de­veloped. He uses Leibniz, Wolff, and oth­ers whose work was accomplished before Kant was born as well as Lambert, Men­delssohn, and others roughly contempo­rary with Kant; and when a point requires it, he refers to Gauss, Grassman, Frege, Russell, and Hilbert. In her translation Wubnig has ap­proached the original author with an abiding respect. She makes the transla­tion flow in English while preserving as far as possible the flavor of the original. She has added many bibliographical and biographical details to ease the following up of Martin’s allusions and suggestions. (shrink)

In this paper I argue that the two-dimensional character of Frege’s Begriffsschrift plays an epistemological role in his argument for the analyticity of arithmetic. First, I motivate the claim that its two-dimensional character needs a historical explanation. Then, to set the stage, I discuss Frege’s notion of a Begriffsschrift and Kant’s epistemology of mathematics as synthetic a priori and partly grounded in intuition, canvassing Frege’s sharp disagreement on these points. Finally, I argue that the two-dimensional character of Frege’s notations (...) play the epistemological role of facilitating our grasp of logical truths independently of intuition. The rest of this paper critically evaluates Frege’s view and discusses Macbeth’s account. (shrink)

Kant's claim that arithmetical truths are synthetic is famously contradicted by Frege, who considers them to be analytical. It may seem that this is a mere dispute about linguistic labels, since both Kant and Frege agree that arithmetical truths are a priori and informative, and, therefore, it is only a matter of how one chooses to call them. I argue that the choice between calling arithmetic “synthetic” or “analytic” has a deeper significance. I claim that the dispute is (...) not a merely linguistic one, but one involving the status of arithmetic as a science. Namely, it is a dispute about what truths are appropriate to use in grounding a scientific discipline. I interpret Frege's critique of Kant as being mainly about the lack of distinction between the context of justification and the context of discovery. (shrink)

Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]-116).

The project of this Précis de philosophie de la logique et des mathématiques (vol. 1 under the direction of F. Poggiolesi and P. Wagner, vol. 2 under the direction of A. Arana and M. Panza) aims to offer a rich, systematic and clear introduction to the main contemporary debates in the philosophy of mathematics and logic. The two volumes bring together the contributions of thirty researchers (twelve for the philosophy of logic and eighteen for the philosophy of mathematics), specialists in (...) the history or philosophy of logic or mathematics. Each volume consists of ten chapters; each chapter is about forty pages, is independent from the others and deals with a particular philosophical question about logic or mathematics. The objective is to offer to the French-speaking reader a reference book. On many of the issues addressed, this Précis offers the first clear and thorough synthesis that is available in French. -/- This book is intended for third year / master's students, but also for teachers of philosophy in secondary or higher education, for logicians and mathematicians willing to take a philosophical look at the fundamental concepts of their discipline, and for any reader interested in the basic issues discussed in the philosophy of logic and mathematics. Each chapter is self-contained, although some basic training in logic (or in mathematics, as the case may be) is required. The book should be looked at as a comprehensive framework for contemporary discussions in the philosophy of logic and mathematics, while also giving some guidance on the disciplinary content required by these discussions. -/- The first three chapters of the present volume (on the philosophy of mathematics) are devoted to the history of the philosophy of mathematics: from antiquity to the modern era, and from this period to the foundational crisis of the nineteenth century, to the twentieth century. Next, four chapters deal with the crucial questions for the philosophy of mathematics of the twentieth century: the opposition and/or comparison of set theory and category theory as foundational frameworks for mathematics; mathematical constructivism; the analysis of calculability; and Benaceraff's problem. The two following chapters are focused on the philosophy of mathematical practice, by treating the notion of ideals of proof, in particular explanation and purity, and the notion of informal proof and the use of visual artifacts in mathematical argumentation. Finally the last chapter deals with the applicability of mathematics, including the role of probability. -/- In Chapter 1, Sébastien Maronne and David Rabouin present the history of the philosophy of mathematics from antiquity to the modern era. The goal is to show that the philosophy of mathematics has a history as ancient as mathematics and philosophy itself, a history largely continuous with the latter, often by staying out of sync with respect to the former. In Chapter 2, Sébastien Gandon discusses the question of the foundations of mathematics from Kant to the end of the nineteenth century. By tying this question to Kant, he is able to show that the discussion of the foundations of mathematics that occupied a large part of these two centuries has much older roots. Accent is placed on the differences between the framework proposed by Kant for making sense of classical mathematics and the use made by Frege and then Russell of logical tools for giving a different reading of arithmetic and real analysis. The link between between these different conceptions and the evolution of mathematics itself is also underlined. -/- Chapter 3, written by Hourya Benis-Sinaceur and Mirna Džamonja, deals with the evolution of mathematics in the twentieth century, notably the structuralist turn of Dedekind, E. Noether, and Bourbaki, and certain more recent developments. They devote themselves, among other things, to explaining how these developments can be understood as responses to and extensions of questions posed during the foundational debate of the immediately preceding era. -/- In Chapter 4, Jean-Pierre Marquis and Jean-Jacques Szczeciniarz discuss the different foundational options coming from set theory and category theory. They discuss, among other things, Lawvere's program to replace ZF with an axiomatization of the category of sets, the latter judged better adapted to the needs of contemporary mathematics. Different reactions, as much philosophical as technical, raised by this program are also taken into account. -/- Constructive mathematics are the object of Chapter 5, in which Gerhard Heinzmann and Mark van Atten examine in a critical and comparative manner a variety of constructivisms, including intuitionism, constructive type theory, predicativism, and finitism. -/- In Chapter 6, Guido Gherardi and Maël Pegny present computability theory, stressing its philosophical consequences. They discuss the basic concepts of this theory, for the computability of both the natural numbers and the real numbers. They then tackle the theory of computational complexity. -/- In Chapter 7, Andrea Sereni and Fabrice Pataut present Benacerraf's problem, opposing every possible account of mathematical knowledge to the availability of a theory of truth founded on an abstract ontology of mathematical objects. They give an overview of the original problem and its reformulation by Hartry Field, and reconstruct the debate that this problem has raised, by meeting at once the major opposing positions today of the analytic affiliation of the philosophy of mathematics, as much those on the platonist side as on that of nominalism. -/- In Chapter 8, Valeria Giardino and Yacin Hamami treat certain crucial aspects of the philosophy of mathematical practice. They deal in particular with the notion of an informal proof and on the role of artifacts in mathematical reasoning. They consider how such proofs, making use of these means, can contribute to the understanding of theorems and mathematical theories, thanks also to the role of visualisation and the aid of computer tools. -/- Why do mathematics often give several proofs of the same theorem? This is the question that Andrew Arana raises in Chapter 9, introducing the notion of an epistemic ideal and discuss two such ideals, the explanatoriness and purity of proof. -/- Chapter 10 is devoted to the applicability of mathematics in the study of empirical phenomena. After summarizing the history of this question, going back to Plato and Aristotle and passing by Mill and Kant, Daniele Molinini and Marco Panza reconstruct the contemporary debate, in relation, among other things, to questions raised in the philosophy of science. -/- Two appendices complete the volume. In the first Frédéric Patras treats the French tradition in philosophy of mathematics of the 20th century. In the second, Maria Carla Galavotti discusses the notion of probability and its use in science. (shrink)

The epistomology of the definition of number and the philosophical foundation of arithmetic based on a comparison between Gottlob Frege's logicism and Platonic philosophy (Syrianus, Theo Smyrnaeus, and others). The intention of this article is to provide arithmetic with a logically and methodologically valid definition of number for construing a consistent philosophical foundation of arithmetic. The – surely astonishing – main thesis is that instead of the modern and contemporary attempts, especially in Gottlob Frege's Foundations of Arithmetic, such a definition (...) is found in the arithmetic in Euclid's Elements. To draw this conclusion a profound reflection on the role of epistemology for the foundation of mathematics, especially for the method of definition of number, is indispensable; a reflection not to be found in the contemporary debate (the predominate ‘pragmaticformalism’ in current mathematics just shirks from trying to solve the epistemological problems raised by the debate between logicism, intuitionism, and formalism). Frege's definition of number, ‘The number of the concept F is the extension of the concept ‘numerically equal to the concept F”, which is still substantial for contemporary mathematics, does not fulfil the requirements of logical and methodological correctness because the definiens in a double way (in the concepts ‘extension of a concept’ and ‘numerically equal’) implicitly presupposes the definiendum, i.e. number itself. Number itself, on the contrary, is defined adequately by Euclid as ‘multitude composed of units’, a definition which is even, though never mentioned, an implicit presupposition of the modern concept ofset. But Frege rejects this definition and construes his own - for epistemological reasons: Frege's definition exactly fits the needs of modern epistemology, namely that for to know something like the number of a concept one must become conscious of a multitude of acts of producing units of ‘given’ representations under the condition of a 1:1 relationship to obtain between the acts of counting and the counted ‘objects’. According to this view, which has existed at least since the Renaissance stoicism and is maintained not only by Frege but also by Descartes, Kant, Husserl, Dummett, and others, there is no such thing as a number of pure units itself because the intellect or pure reason, by itself empty, must become conscious of different units of representation in order to know a multitude, a condition not fulfilled by Euclid's conception. As this is Frege's main reason to reject Euclid's definition of number (others are discussed in detail), the paper shows that the epistemological reflection in Neoplatonic mathematical philosophy, which agrees with Euclid's definition of number, provides a consistent basement for it. Therefore it is not progress in the history of science which hasled to the a poretic contemporary state of affairs but an arbitrary change of epistemology in early modern times, which is of great influence even today. (shrink)

Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of arithmetic: “however we might turn and twist our concepts, we could never, by the mere analysis of them, and without the aid of intuition, discover what is the sum [7+5]” (KrV, B16). Frege took himself to have shown that Kant was wrong about this. According to Frege’s logicist thesis, every arithmetical concept can be defined in purely logical (...) terms, and every theorem of arithmetic can be proved using only the basic laws of logic. Hence, Kant was wrong to think that our grasp of arithmetical concepts and our knowledge of arithmetical truth depend on an extralogical source—the pure intuition of time (Frege 1884, §89, §109). Arithmetic, properly understood, is just a part of logic. (shrink)

The main tool of the arithmetization and logization of analysis in the history of nineteenth century mathematics was an informal logic of quantifiers in the guise of the “epsilon–delta” technique. Mathematicians slowly worked out the problems encountered in using it, but logicians from Frege on did not understand it let alone formalize it, and instead used an unnecessarily poor logic of quantifiers, viz. the traditional, first-order logic. This logic does not e.g. allow the definition and study of mathematicians’ uniformity concepts (...) important in analysis. Mathematicians’ stronger logic was rediscovered around 1990 as the form of independence-friendly logic which hence is not a new logic nor a further development of ordinary first-order logic but a richer version of it. (shrink)

In this essay I revisit Kant's much-criticized views on arithmetic. In so doing I make a case for the claim that his theory of arithmetic is not in fact subject to the most familiar and forceful objection against it, namely that his doctrine of the dependence of arithmetic on time is plainly false, or even worse, simply unintelligible; on the contrary, Kant's doctrine about time and arithmetic is highly original, fully intelligible, and with qualifications due to the inherent (...) limitations of his conceptions of arithmetic and logic, defensible to an important extent. (edited). (shrink)

The paper argues that Frege’s primary foundational purpose concerning arithmetic was neither that of making natural numbers logical objects, nor that of making arithmetic a part of logic, but rather that of assigning to it an appropriate place in the architectonics of mathematics and knowledge, by immersing it in a theory of numbers of concepts and making truths about natural numbers, and/or knowledge of them transparent to reason without the medium of senses and intuition.

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy and striking advances in logic. This (...) historical-critical study provides an excellent introduction to the problems of the philosophy of mathematics - problems which have wide implications for philosophy as a whole. This reissue will appeal to students of both mathematics and philosophy who wish to improve their knowledge of logic. (shrink)

Gottlob Frege’s Grundgesetze der Arithmetik (Basic Laws of Arithmetic, Vol. I/II; 1893/1903) is a modern classic. Since the 1930s it has belonged to an exclusive class of only eleven works in the history of symbolic logic, which contain the ‘first appearance of a new idea of fundamental importance’ [Church, 1936, p. 122], and its author is the only one whose other major works — Begriffsschrift (1879) and Die Grundlagen der Arithmetik (1884) — also belong to this distinguished group. Together with (...) the seminal paper ‘Über Sinn und Bedeutung’ these three monographs represent the essential contributions to one of the most fascinating foundational projects in mathematics, then and now. For decades Frege struggled with the question, ‘how are we to apprehend logical objects, in particular, the numbers? What justifies us in acknowledging numbers as objects?’ [Frege, 2013, ‘Afterword’, p. 265]. His favourite answer, for a long time, was that arithmetic is a complex branch of logic. But since there is no logicism without logic, Frege started in Begriffsschrift with the invention of a nearly perfect formalization of higher-order classical predicate logic. To discover how far we can get in arithmetic by analytic means alone, it was even necessary to clarify the semantic character of the concept of number. This was done in a marvellous way by Frege five years later, in Grundlagen. The next step was nothing less than the complete execution of his logicist project, a monumental undertaking; and it is well known that here Frege failed, due to Russell’s derivation of the antinomy in 1902. But, despite the contradiction, Grundgesetze contains Frege’s legacy to logicism, which became more and more attractive. (shrink)

Following Kant, Frege took the idea that there is such a thing as bona fide a priori knowledge of a large range of necessary propositions for granted. In particular he assumed that such is the character of our knowledge of basic logic and arithmetic. This view is no longer orthodoxy. The idea that pure (for Frege, logical) intellection can provide for substantial knowledge of necessary features of the world is widely regarded with suspicion. However it is fair to say (...) that most recent scepticism about it has been driven either by abstract background theoretical commitments—for instance, by a thoroughgoing empiricism, as in Mill and Quine, or by epistemological externalism1—or by the conviction that the concept of a priori justification allows of no stable, theoretically interesting characterisation.2 The present discussion focuses on the example of elementary arithmetic to develop and explore a different, relatively neglected and, it may be suggested, more fundamental kind of sceptical challenge, one prefigured in the writings on mathematics of the later Wittgenstein but independent of the discussion of following a rule to which his generally deflationary or conventionalist cast of thinking about mathematical knowledge is, after Kripkenstein,3 nowadays usually attributed. Elementary arithmetical truths are normally taken to be justifiable a priori if any truths are. They are also normally taken to be both necessary and substantial—essentially applicable to our dealings with the world and empirically predictive, yet good for counterfactual reasoning about however far-fetched and exotic scenarios. Yet, I will argue, scrutiny of the kind of methods—simple informal cognitive routines involving counting and pictures—whereby such judgements are initially apt to win our confidence serves to make it puzzling how they can justify what they are supposed to at all: how such procedures can merit either the very high levels of confidence we standardly place in the judgements they lead to, or the modal (counterfactual) significance we standardly attach to those judgements. The present discussion elaborates these apparent shortfalls (§§2–4) and reviews four proposals (§§5–8) for redressing them, arguing that each is ineffective. The sceptical challenge accordingly stands unanswered. §9 elaborates its relation to one strand in the Remarks on the Foundations of Mathematics. §10 summarises the resulting dialectical position. The upshot, I believe, is a deepened understanding of an important aspect of Wittgenstein’s later philosophy and a major intellectual challenge to those—possibly still a majority—who incline to side with Frege’s view of the epistemological status of arithmetic. (shrink)

In this three-part essay, I investigate Frege’s platonist and anti-creationist position in Grundgesetze der Arithmetik and to some extent also in Die Grundlagen der Arithmetik. In Sect. 1.1, I analyze his arithmetical and logical platonism in Grundgesetze. I argue that the reference-fixing strategy for value-range names—and indirectly also for numerical singular terms—that Frege pursues in Grundgesetze I gives rise to a conflict with the supposed mind- and language-independent existence of numbers and logical objects in general. In Sect. 1.2 and 1.3, (...) I discuss the non-creativity of Frege’s definitions in Grundgesetze and the case of what I call weakly creative definitions. In Part II of this essay, I first deal with Stolz’s and Dedekind’s (intended) creation of numbers. In what follows, I focus on Grundgesetze II, §146, where Frege considers a potential creationist charge in relation to the stipulation that he makes in Grundgesetze I, §3 with the purpose of partially fixing the references of value-range names. I place equal emphasis on the related twin stipulations that he makes in Grundgesetze I, §10. In §10, Frege identifies the truth-values with their unit classes in order to fix the references of value-range names (almost) completely. He does so in a piecemeal fashion. Although in Grundgesetze II, §146 Frege refers also to Grundgesetze I, §9 and §10 in this connection, he does not explain why he thinks that the transsortal identifications in §10 and also the stipulation that he makes in §9 regarding the value-range notation may give rise to a creationist charge in addition to or in connection with the stipulation in §3, and if so, how he would have responded to it. The two main issues that I discuss in Part II are: (a) Has Frege created value-ranges in general in Grundgesetze I, §3? (b) Has he created the unit classes of the True and the False in §10? In Part III, I discuss, inter alia, the question of whether in developing the whole wealth of objects and functions that arithmetic deals with from the primitive functions of Grundgesetze by applying the formation rules Frege creates special value-ranges and special functions. This procedure is fundamentally different from the reference-fixing strategy regarding value-range names that Frege pursues in Grundgesetze I, §3, §10–12. It is just another aspect of his anti-creationism. In Grundgesetze II, §147, Frege makes a concession to an imagined creationist opponent which might suggest that he was fully convinced neither of the defensibility of his anti-creationist position regarding the syntactic development of the subject matter of arithmetic nor of his actual defence in §146 of the non-creativity of the introduction of value-ranges via logical abstraction in Grundgesetze I, §3 and the twin stipulations in §10. I argue that not only in Grundgesetze II, §146 but also in Grundgesetze II, §147 Frege falls short of defending his anti-creationist position. I further argue that on the face of it his creationist rival gains the upper hand in the envisioned debate in more than one respect. (shrink)

Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer. The (...) book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene. (shrink)

This is the first complete English translation of Gottlob Frege's Grundgesetze der Arithmetik (1893 and 1903), with introduction and annotation. As the culmination of his ground-breaking work in the philosophy of logic and mathematics, Frege here tried to show how the fundamental laws of arithmetic could be derived from purely logical principles.

The late 1960s saw the emergence of new philosophical interest in Kant's philosophy of mathematics, and since then this interest has developed into a major and dynamic field of study. In this state-of-the-art survey of contemporary scholarship on Kant's mathematical thinking, Carl Posy and Ofra Rechter gather leading authors who approach it from multiple perspectives, engaging with topics including geometry, arithmetic, logic, and metaphysics. Their essays offer fine-grained analysis of Kant's philosophy of mathematics in the context of (...) his Critical philosophy, and also show sensitivity to its historical background. The volume will be important for readers seeking a comprehensive picture of the current scholarship about the development of Kant's philosophy of mathematics, its place in his overall philosophy, and the Kantian themes that influenced mathematics and its philosophy after Kant. (shrink)

In early analytic philosophy, one of the most central questions concerned the status of arithmetical objects. Frege argued against the popular conception that we arrive at natural numbers with a psychological process of abstraction. Instead, he wanted to show that arithmetical truths can be derived from the truths of logic, thus eliminating all psychological components. Meanwhile, Dedekind and Peano developed axiomatic systems of arithmetic. The differences between the logicist and axiomatic approaches turned out to be philosophical as well as mathematical. (...) In this paper, I will argue that Dedekind’s approach can be seen as a precursor to modern structuralism and as such, it enjoys many advantages over Frege’s logicism. I also show that from a modern perspective, Frege’s criticism of abstraction and psychologism is one-sided and fails against the psychological processes that modern research suggests to be at the heart of numerical cognition. The approach here is twofold. First, through historical analysis, I will try to build a clear image of what Frege’s and Dedekind’s views on arithmetic were. Then, I will consider those views from the perspective of modern philosophy of mathematics, and in particular, the empirical study of arithmetical cognition. I aim to show that there is nothing to suggest that the axiomatic Dedekind approach could not provide a perfectly adequate basis for philosophy of arithmetic. (shrink)

Widespread interest in Frege's general philosophical writings is, relatively speaking, a fairly recent phenomenon. But it is only very recently that his philosophy of mathematics has begun to attract the attention it now enjoys. This interest has been elicited by the discovery of the remarkable mathematical properties of Frege's contextual definition of number and of the unique character of his proposals for a theory of the real numbers. This collection of essays addresses three main developments in recent work on Frege's (...) philosophy of mathematics: the emerging interest in the intellectual background to his logicism; the rediscovery of Frege's theorem; and the reevaluation of the mathematical content of The Basic Laws of Arithmetic. Each essay attempts a sympathetic, if not uncritical, reconstruction, evaluation, or extension of a facet of Frege's theory of arithmetic. Together they form an accessible and authoritative introduction to aspects of Frege's thought that have, until now, been largely missed by the philosophical community. (shrink)

The scope and method of logic as we know it today eminently reflect the ground-breaking developments of set theory and the logical foundations of mathematics at the turn of the 20th century. Unfortunately, little effort has been made to understand the idiosyncrasies of the philosophical context that led to these tremendous innovations in the 19thcentury beyond what is found in the works of mathematicians such as Frege, Hilbert, and Russell. This constitutes a monumental gap in our understanding of the central (...) influences that shaped 19th-century thought, from Kant to Russell, and that helped to create the conditions in which analytic philosophy could emerge. -/- The aim of Logic from Kant to Russell is to document the development of logic in the works of 19th-century philosophers. It contains thirteen original essays written by authors from a broad range of backgrounds—intellectual historians, historians of idealism, philosophers of science, and historians of logic and analytic philosophy. These essays question the standard narratives of analytic philosophy’s past and address concerns that are relevant to the contemporary philosophical study of language, mind, and cognition. The book covers a broad range of influential thinkers in 19th-century philosophy and analytic philosophy, including Kant, Bolzano, Hegel, Herbart, Lotze, the British Algebraists and Idealists, Moore, Russell, the Neo-Kantians, and Frege. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:176 Reviews c:\users\ken\documents\type3402\rj 3402 050 red.docx 2015-02-04 9:19 PM THE GRUNDGESETZE Nicholas Griffin Russell Research Centre / McMaster U. Hamilton, on, Canada l8s 4l6 [email protected] Gottlob Frege. Basic Laws of Arithmetic. Derived Using Concept-script. Volumes i and ii. Translated and edited by Philip A. Ebert and Marcus Rossberg with Crispin Wright. Oxford: Oxford U. P., 2013. Pp. xxxix + xxxii + 253 + xv + 285 + A–42 + (...) i–11. isbn 978-0-19-928174-9. £60; us$110. iven the steadily rising interest in Frege’s work since the 1950s, it is surprising that his Grundgesetze der Arithmetik, the work he thought would be the crowning achievement of his career, has not previously been fully translated into English. Other Frege works have long been available in English. The earlier Grundlagen der Arithmetik was nicely, if not always entirely accurately, translated by J. L. Austin and published in 1950.1 Translations of Frege’s other philosophical writings began to appear in influential editions about the same time,2 initially a small corpus that has been gradually added to over the years to include works from his Nachlass and letters from his correspondence.3 Somewhat later, the Begriffsschrift, Frege’s momentous first 1 The Foundations of Arithmetic (Oxford: Blackwell, 1950; 2nd edn. 1953). The later translation under the same title by Dale Jacquette (London: Longman, 2007) is much less satisfactory. 2 The first importance source for these was Peter Geach and Max Black’s Translations from the Philosophical Writing of Gottlob Frege (1952; 2nd edn. 1960; 3rd edn. 1980), though it included reprints of some much earlier translations. 3 The two most comprehensive English sources for the shorter writings are now Brian d= Reviews 177 c:\users\ken\documents\type3402\rj 3402 050 red.docx 2015-02-04 9:19 PM contribution to modern logic, the work which Quine 4 said had made logic a great subject, was translated in full despite the difficulties of Fregean notation.5 But through all this the Grundgesetze remained largely (though not entirely ) untranslated. The view seems, for a long time, to have been that Frege’s contributions to logic were to be found in the Begriffsschrift and his contributions to philosophy in the Grundlagen and a small number of seminal articles. The Grundgesetze, on the other hand, was widely thought not to have added much to these magni ficent achievements, but to have employed them in a project that was doomed by the discovery of Russell’s paradox; namely, the attempt to show that arithmetic could be rigorously derived from purely logical principles. In the bleak aftermath of Russell’s paradox it came to seem as if whatever was of value in the Grundgesetze had already been published elsewhere, while what was new in it was mistaken.6 That assessment of the book’s value, combined with the huge difficulties of typesetting Frege’s idiosyncratic two-dimensional notation, and the sheer scale of the work (even without the anticipated third volume, which was abandoned in the face of Russell’s paradox, it was, by far, Frege’s largest work) made it seem as though a translation of the whole Grundgesetze was not only a prohibitively large undertaking, but also one which was not really necessary. And so, through much of the twentieth century, the Grundgesetze vied with Principia Mathematica as the world’s bestknown but least-read philosophical book. But this understanding of the Grundgesetze’s importance could not withstand the development of neo-logicism, brought to prominence by Crispin Wright’s Frege’s Conception of Numbers as Objects.7 The key insight of neoMcGuinness, ed., Frege, Collected Papers on Mathematics, Logic, and Philosophy (1984); and Michael Beaney, ed., The Frege Reader (1997). 4 At least in early editions of Mathematical Logic. The remark was removed in later ones in deference to Boole. 5 By Stefan Bauer-Mengelberg in Jean van Heijenoort, ed., From Frege to Gödel (1967), pp. 5–82. 6 Not surprisingly the one part of the Grundgesetze which has appeared most frequently in translation is the “Nachwort” responding to Russell’s paradox which Frege added as the book was in press. Geach... (shrink)

_The Foundations of Arithmetic_ is undoubtedly the best introduction to Frege's thought; it is here that Frege expounds the central notions of his philosophy, subjecting the views of his predecessors and contemporaries to devastating analysis. The book represents the first philosophically sound discussion of the concept of number in Western civilization. It profoundly influenced developments in the philosophy of mathematics and in general ontology.

A little over one hundred years ago , Frege wrote to Russell in the following terms1: I myself was long reluctant to recognize ranges of values and hence classes; but I saw no other possibility of placing arithmetic on a logical foundation. But the question is how do we apprehend logical objects? And I have found no other answer to it than this, We apprehend them as extensions of concepts, or more generally, as ranges of values of functions. I have (...) always been aware that there are difficulties connected with this, and your discovery of the contradiction has added to them; but what other way is there? (shrink)

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)

On the background of explaining their different notions of analyticity, their different views on definitions, and some aspects of Frege’s notion of sense, three important Kantian strands that interweave into Frege’s view are exposed. First, Frege’s remarkable view that arithmetic, though analytic, contains truths that “extend our knowledge”, and by Kant’s use of the term, should be regarded synthetic. Secondly, that our arithmetical (and logical) knowledge depends on a sort of a capacity to recognize and identify objects, which are (...) given us in particular ways, constituting their senses (Sinne). Third, that there is a sense in which Frege’s view of definitions and explications gives new substance to Kant’s leading idea of analyticity, namely, the containment of a truth or a concept in another. In all these, Frege’s view does not endorse the Kantian strands as they are, but gives them special and sometimes quite sophisticated twists. (shrink)

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)

The days when Frege was more footnoted than read are now long gone; still, until very recently he has been read rather selectively. No doubt many had an inkling that there’s more to Frege than the sense/reference distinction; but few, one suspects, thought that his philosophy of mathematics was as fertile and intriguing as the present collection demonstrates. Perhaps, as Paul Benacerraf’s essay in this collection suggests, logical positivism should be held partly responsible for the neglect of this aspect of (...) Frege’s thought, since it contributed to the following common impression of Frege’s philosophy of mathematics: Frege’s project was to reduce arithmetic to logic, in order to provide an empiricist account of mathematical knowledge; Russell’s paradox showed that this was not possible, and that the best that can be done is to reduce arithmetic to set theory; so, Frege’s logicism is demonstrably a philosophical dead end. (shrink)

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy and striking advances in logic. This (...) historical-critical study provides an excellent introduction to the problems of the philosophy of mathematics - problems which have wide implications for philosophy as a whole. This reissue will appeal to students of both mathematics and philosophy who wish to improve their knowledge of logic. (shrink)

This article derives from a project attempting to show that Western formal logic, from Aristotle onward, has both been partially constituted by, and partially constitutive of, what has become known as racism. In the present article, I will first discuss, in light of Frege’s honorary role as founder of the philosophy of mathematics, Reuben Hersh’s What is Mathematics, Really? Second, I will explore how the infamous section of Frege’s 1924 diary (specifically the entries from March 10 to April 9) supports (...) Hersh's claim regarding the link between political conservatism and the (historically and currently) dominant school of the philosophy of mathematics (to which Frege undeniably belongs). Third, I will examine Frege’s attempt at a more reader-friendly introduction to his philosophy of mathematics, The Foundations of Arithmetic. And finally, I will briefly analyze Frege’s Begriffsschrift to see how questions of race arise even at the heights of his logical abstraction. (shrink)

In “Kant on Existence, Predication, and the Ontological Argument”, Hintikka argues that the so-called “Kant–Frege view” is wrong, for its supporters erroneously assume that for Kant ‘is’ is ambiguous. In this paper, I will first critically evaluate Hintikka’s arguments against the Kant–Frege view. Then, I will attempt to prove that Kant’s claim that existence is not a real predicate and Frege’s claim that existence is a quantifier are in fact logically interdependent. Finally, I will use (...) the Kant–Frege view in order to reconcile the various claims that Kant makes about existence. (shrink)

While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensive history of the mathematical background, content, and impact of the mathematical logic and philosophy of mathematics that Russell developed with A. N. Whitehead in their Principia mathematica (1910-1913).? This definitive history of a critical period in mathematics includes detailed accounts of the two principal influences upon Russell around 1900: the set theory of Cantor and the mathematical logic of (...) Peano and his followers. Substantial surveys are provided of many related topics and figures of the late nineteenth century: the foundations of mathematical analysis under Weierstrass; the creation of algebraic logic by De Morgan, Boole, Peirce, Schröder, and Jevons; the contributions of Dedekind and Frege; the phenomenology of Husserl; and the proof theory of Hilbert. The many-sided story of the reception is recorded up to 1940, including the rise of logic in Poland and the impact on Vienna Circle philosophers Carnap and Gödel. A strong American theme runs though the story, beginning with the mathematician E. H. Moore and the philosopher Josiah Royce, and stretching through the emergence of Church and Quine, and the 1930s immigration of Carnap and GödeI. Grattan-Guinness draws on around fifty manuscript collections, including the Russell Archives, as well as many original reviews. The bibliography comprises around 1,900 items, bringing to light a wealth of primary materials. Written for mathematicians, logicians, historians, and philosophers--especially those interested in the historical interaction between these disciplines--this authoritative account tells an important story from its most neglected point of view. Whitehead and Russell hoped to show that (much of) mathematics was expressible within their logic; they failed in various ways, but no definitive alternative position emerged then or since. (shrink)

Are the truths of arithmetic analytic, as Frege insisted in opposition to Kant? Although bits and pieces of an adequate answer to the question are doubtless to be found scattered throughout the literature, one continues to be disappointed by the absence of any extended treatment of the issue that would undertake to digest the rich body of diverse material that has accumulated since the publication of Frege's Begriffsschrift in 1879.

This book is based on two premises: one cannot understand philosophy of mathematics without understanding mathematics and one cannot understand mathematics without doing mathematics. It draws readers into philosophy of mathematics by having them do mathematics. It offers 298 exercises, covering philosophically important material, presented in a philosophically informed way. The exercises give readers opportunities to recreate some mathematics that will illuminate important readings in philosophy of mathematics. Topics include primitive recursive arithmetic, Peano arithmetic, Gödel's theorems, interpretability, the hierarchy of (...) sets, Frege arithmetic, and intuitionist sentential logic. The book is intended for readers who understand basic properties of the natural and real numbers and have some background in formal logic. (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)

Frege attempted to provide arithmetic with a foundation in logic. But his attempt to do so was confounded by Russell's discovery of paradox at the heart of Frege's system. The papers collected in this special issue contribute to the on-going investigation into the foundations of mathematics and logic. After sketching the historical background, this introduction provides an overview of the papers collected here, tracing some of the themes that connect them.

Abstractionism in the philosophy of mathematics aims at deriving large fragments of mathematics by combining abstraction principles (i.e. the abstract objects $\S e_1, \S e_2$, are identical if, and only if, an equivalence relation $Eq_\S$ holds between the entities $e_1, e_2$) with logic. Still, as highlighted in work on the semantics for relevant logics, there are different ways theories might be combined. In exactly what ways must logic and abstraction be combined in order to get interesting mathematics? In this paper, (...) we investigate the matter by deriving the axioms of second-order Peano Arithmetic from Frege's Basic Law V (the extension of $F$ is identical with the extension of $G$ if, and only if, $F$ and $G$ are extensionally equivalent) in the presence of a relevant higher-order logic. The results are interesting. Not only must we take on logic as true, and not only must we apply our logic to abstraction principles, but also we have to apply our theory of abstraction back to the logic in order to arrive at arithmetic. Thus, what Abstractionism gives us is not simply what we get from abstraction via logic, but also what we get from logic via abstraction. (shrink)

This new book offers a comprehensive and accessible introduction to Frege's remarkable philosophical work, examining the main areas of his writings and demonstrating the connections between them. Frege's main contribution to philosophy spans philosophical logic, the theory of meaning, mathematical logic and the philosophy of mathematics. The book clearly explains and assesses Frege's work in these areas, systematically examining his major concepts, and revealing the links between them. The emphasis is on Frege's highly influential work in philosophical logic and the (...) theory of meaning, including the features of his logic, his conceptions of object, concept and function, and his seminal distinction between sense and reference. Frege will be invaluable for students of the philosophy of language, philosophical logic, and analytic philosophy. (shrink)

Not only can the influence of Gottlob Frege be found in contemporary work in logic, the philosophy of mathematics, and the philosophy of language, but his projects—and the very terminology he employed in pursuing those projects—are still current in contemporary philosophy. This is undoubtedly why it seems so reasonable to assume that we can read Frege' s writings as if he were one of us, speaking to our philosophical concerns in our language. In Joan Weiner's view, however, Frege's words can (...) be accurately interpreted only if we set that assumption aside. Weiner here offers a challenging new approach to the philosophy of this central figure in analytic philosophy. Weiner finds in Frege's corpus, from Begriffsschrift on, a unified project of remarkable ambition to which each of the writings in that corpus makes a distinct contribution—a project whose motivation she brings to life through a careful reading of his Foundations of Arithmetic. The Frege that Weiner brings into clear view is very different from the familiar figure. Far from having originated one of the standard positions on the nature of reference, Frege turns out not to have had positive doctrines on anything like what contemporary philosophers mean by "reference." Far from having served as a standard-bearer for those who take the realists' side of contemporary disputes with anti-realists, Frege turns out to have had no stake in either side of the controversy. Through Weiner's lens, Frege emerges as a thinker who has principled reasons for challenging the very assumptions and motivations that animate philosophers to dispute these doctrines. This lucidly written and accessible book will generate controversy among all readers with an interest in epistemology, philosophy of language, history of philosophy, and the philosophy of mathematics. (shrink)

It is difficult to describe this book without praising it. Collected here in one volume are some thirty-six high quality translations into English of the most important foreign-language works in mathematical logic, as well as articles and letters by Whitehead, Russell, Norbert Weiner and Post. The contents of the volume are arranged in chronological order, beginning with Frege's Begriffsschrift—translated in its entirety—and concluding with Gödel's famous "On Formally Undecidable Propositions" and Herbrand's "On the Consistency of Arithmetic". The translation of the (...) Gödel article is a small masterpiece, and is especially welcome in view of some of the rather poor efforts which have been made to render this important work into English. But this is more than a paste-pot job of anthologizing. Van Heijenoort and others have written prefaces to each of the included selections, in which are provided background historical and bibliographical information, comments on the intellectual currents which led to the production of the article, and, in many cases, a digest of the important theorems and concepts in the article itself. Each selection is a classic in its own right. In reading through the selections in this volume, one is struck by the extent to which purely mathematical problems and issues have controlled recent logical inquiry and have determined the development of various philosophies of mathematics. In the early stages, Frege and Peano were concerned with the logical reconstruction of arithmetic, and this led to the work of Russell and the logicist philosophy. Already in the development of the new logic there were certain problems which were resolved with Russell's theory of types—a device which many mathematicians felt to be rather artificial. The use of set theory, beginning with Cantor and reaching its maturity in Zermelo's 1904 proof of the well-ordering theorem, gave rise to a new set of difficulties concerning the axioms of choice, the continuum problem, and infinite sets. The two traditions are brought together in a common nexus of foundational problems by Weiner in 1914 and by Skolem's form of the Löwenheim theorem, given in 1920. Hereafter, the way is open for the rise of mathematical inquiry into the foundations of number systems, set theory and logic by Post, Skolem, von Neumann, Hilbert, Bernays, Gödel and many others. The work was far from completed by 1931, but a new and important tradition in mathematical inquiry had been established, and had come into its own. This book is, in effect, the record of an important chapter in the history of thought. No serious student of logic or foundations of mathematics will want to be without it.—H. P. K. (shrink)