Dedekind’s methodology, in his classic booklet on the foundations of arithmetic, has been the topic of some debate. While some authors make it closely analogue to Hilbert’s early axiomatics, others emphasize its idiosyncratic features, most importantly the fact that no axioms are stated and its careful deductive structure apparently rests on definitions alone. In particular, the so-called Dedekind “axioms” of arithmetic are presented by him as “characteristic conditions” in the _definition_ of the complex concept of a _simply infinite_ system. Making (...) sense of Dedekind’s method may be dependent on an analysis of the classical model of deductive science, as presented by authors from the eighteenth and early nineteenth centuries. Studying the modern reconstructions of Euclidean geometry, we show that they did not presuppose deductive independence of the axioms from the definitions. Authors like Wolff elaborated a mathematics _based on definitions_, and the Wolffian model of deductive science shows significant coincidences with Dedekind’s method, despite the great differences in content and approach. Wolff had a conception of definitions as _genetic_, which bears some similarities with Kant’s idea of synthetic definitions: they are understood as positing the content of mathematical concepts and introducing thought objects (_Gedankendinge_) that are the objects of mathematics. The emphasis on the spontaneity of the understanding, which can be found in this philosophical tradition, can also be fruitfully related with Dedekind’s idea of the “free creation” of mathematical objects. (shrink)

Domain extension in mathematics occurs whenever a given mathematical domain is augmented so as to include new elements. Manders argues that the advantages of important cases of domain extension are captured by the model-theoretic notions of existential closure and model completion. In the specific case of domain extension via ideal elements, I argue, Manders’s proposed explanation does not suffice. I then develop and formalize a different approach to domain extension based on Dedekind’s Habilitationsrede, to which Manders’s account is compared. I (...) conclude with an examination of three possible stances towards extensions via ideal elements. (shrink)

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

The place of Richard Dedekind in the history of logicism is a controversial matter. The conception of logic incorporated in his work is certainly old-fashioned, in spite of innovative elements that would play an important role in late 19th and early 20th century discussions. Yet his understanding of logic and logicism remains of interest for the light it throws upon the development of modern logic in general, and logicist views of the foundations of mathematics in particular. The paper clarifies Dedekind's (...) views and their relation to transcendental logic, makes explicit the role of the principle of comprehension (unrestricted) and offers a reconstrucion ot his dichotomy conception. The last section explores the differences with Frege (half epistemic, half metaphysical) making clear that there were different brands of logicism, and that logicism does not necessarily lead to singularism or “essentialistic objectualism”. (shrink)

Frege's main contributions to logic and the philosophy of mathematics are, on the one hand, his introduction of modern relational and quantificational logic and, on the other, his analysis of the concept of number. My focus in this paper will be on the latter, although the two are closely related, of course, in ways that will also play a role. More specifically, I will discuss Frege's logicist reconceptualization of the natural numbers with the goal of clarifying two aspects: the motivations (...) for its core ideas; the step-by-step development of these ideas, from Begriffsschrift through Die Grundlagen der Arithmetik and Grundgesetze der Arithmetik to Frege's very last writings, indeed even beyond those, to a number of recent "neo-Fregean" proposals for how to update them. One main development, or break, in Frege's views occurred after he was informed of Russell's antinomy. His attempt to come to terms with this antinomy has found some attention in the literature already. It has seldom been analyzed in connection with earlier changes in his views, however, partly because those changes themselves have been largely ignored. Nor has it been discussed much in connection with Frege's basic motivations, as formed in reaction to earlier positions. Doing both in this paper will not only shed new light on his response to Russell's antinomy, but also on other aspects of his views. In addition, it will provide us with a framework for comparing recent updates of these views, thus for assessing the remaining attraction of Frege's general approach. I will proceed as follows: In the first part of the paper (§1.1 and §1.2), I will consider the relationship of Frege's conception of the natural numbers to earlier conceptions, in particular to what I will call the "pluralities conception", thus bringing into sharper focus his core ideas and their motivations. In the next part (§2.1 and §2.2), I will trace the order in which these ideas come up in Frege's writings, as well as the ways in which his position gets modified along the way, both before and after Russell's antinomy.. (shrink)

A precise notion of ‘mathematical structure’ other than that given by model theory may prove fruitful in the philosophy of mathematics. It is shown how the language and methods of category theory provide such a notion, having developed out of a structural approach in modern mathematical practice. As an example, it is then shown how the categorical notion of a topos provides a characterization of ‘logical structure’, and an alternative to the Pregean approach to logic which is continuous with the (...) modern structural approach in mathematics. (shrink)

Theoria, Volume 87, Issue 1, Page 87-108, February 2021.

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)

Cantor’s abstractionist account of cardinal numbers has been criticized by Frege as a psychological theory of numbers which leads to contradiction. The aim of the paper is to meet these objections by proposing a reassessment of Cantor’s proposal based upon the set theoretic framework of Bourbaki—called BK—which is a First-order set theory extended with Hilbert’s \-operator. Moreover, it is argued that the BK system and the \-operator provide a faithful reconstruction of Cantor’s insights on cardinal numbers. I will introduce first (...) the axiomatic setting of BK and the definition of cardinal numbers by means of the \-operator. Then, after presenting Cantor’s abstractionist theory, I will point out two assumptions concerning the definition of cardinal numbers that are deeply rooted in Cantor’s work. I will claim that these assumptions are supported as well by the BK definition of cardinal numbers, which will be compared to those of Zermelo–von Neumann and Frege–Russell. On the basis of these similarities, I will make use of the BK framework in meeting Frege’s objections to Cantor’s proposal. A key ingredient in the defence of Cantorian abstraction will be played by the role of representative sets, which are arbitrarily denoted by the \-operator in the BK definition of cardinal numbers. (shrink)

This paper has a two-fold objective: to provide a balanced, multi-faceted account of the origins of logicism; to rehabilitate Richard Dedekind as a main logicist. Logicism should be seen as more deeply rooted in the development of modern mathematics than typically assumed, and this becomes evident by reconsidering Dedekind's writings in relation to Frege's. Especially in its Dedekindian and Fregean versions, logicism constitutes the culmination of the rise of ?pure mathematics? in the nineteenth century; and this rise brought with it (...) an inter-weaving of methodological and epistemological considerations. The latter aspect illustrates how philosophical concerns can grow out of mathematical practice, as opposed to being imposed on it from outside. It also sheds new light on the legacy and the lasting significance of logicism today. (shrink)

One of Gottlob Frege’s most original contributions to logic and philosophy was his logical notation, his ‘Begriffsschrift’. While long criticized, dismissed, or simply ignored, the recent secondary literature contains some helpful re-evaluations and partial defenses of it. These rely largely on technical, pragmatic, or cognitive-psychological considerations. In this paper, we reconsider Frege’s own reasons for valuing his notation highly. We argue that there is a further semiotic dimension, one that matters epistemologically. This dimension becomes evident once one takes seriously, partly (...) also literally, some striking visual metaphors Frege uses. The result is an interpretation highlighting a side of Frege’s position that is not widely known. It involves his views about the indispensable role that language, or sign systems more generally, play for human thought, and especially, for logic and mathematics. More particularly and as we read Frege, a good logical notation allows for expressing conceptual/inferential relations in a ‘visually inscribed’, thus ‘perspicuous’ way, and this leads to a special kind of ‘insight’ in mathematics. Or as we elaborate this point further, it involves a kind of articulation and understanding hardly possible without it. Frege designed his Begriffsschrift with that specific goal in mind. (shrink)

Richard Kimberly Heck and Paolo Mancosu have claimed that the possibility of non-Cantorian assignments of cardinalities to infinite concepts shows that Hume's Principle (HP) is not implicit in the concept of cardinal number. Neologicism would therefore be threatened by the ‘good company' HP is kept by such alternative assignments. In his review of Mancosu's book, Bob Hale argues, however, that ‘getting different numerosities for different countable infinite collections depends on taking the groups in a certain order – but it is (...) of the essence of cardinal numbers that the cardinal size of a collection does not depend upon how its members are ordered'. This paper's goal is to implement Hale's response to the Good Company problem by producing a Cantorian argument for HP. In Section 2, we present the Heck-Mancosu argument against neologicism. In Section 3, we discuss Hale's defence of Hume's Principle. In Section 4, we discuss Cantor's abstractionist definitions of number. In Section 5, we argue that good abstraction must comply with what we call ‘Gödel’s Minimal Account of Abstraction’ (GMAA). We finally show (Sections 5 and 6) that non-Cantorian theories of cardinality fail to satisfy GMAA. (shrink)

In making assertions one takes on commitments to the consistency of what one asserts and to the logical consequences of what one asserts. Although there is no quick link between belief and assertion, the dialectical requirements on assertion feed back into normative constraints on those beliefs that constitute one's evidence. But if we are not certain of many of our beliefs and that uncertainty is modelled in terms of probabilities, then there is at least prima facie incoherence between the normative (...) constraints on belief and the probability-like structure of degrees of belief. I suggest that the norm-governed practice relating to degrees of belief is the evaluation of betting odds. (shrink)

W. Tait, The provenance of pure reason. Essays in the philosophy of mathematics and its history. New York: Oxford University Press, 2005. ix + 332 pp. £36.50. ISBN 0-19-514192-X. Reviewed by J. W....

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

In recent philosophy of mathematics avariety of writers have presented ``structuralist''views and arguments. There are, however, a number ofsubstantive differences in what their proponents take``structuralism'' to be. In this paper we make explicitthese differences, as well as some underlyingsimilarities and common roots. We thus identifysystematically and in detail, several main variants ofstructuralism, including some not often recognized assuch. As a result the relations between thesevariants, and between the respective problems theyface, become manifest. Throughout our focus is onsemantic and metaphysical issues, (...) including what is orcould be meant by ``structure'' in this connection. (shrink)

In recent work Bruno Whittle has presented a new challenge to the Cantorian idea that there are different infinite cardinalities. Most challenges of this kind have tended to focus on the status of the axioms of standard set theory; Whittle’s is different in that he focuses on the connection between standard set theory and intuitive concepts related to cardinality. Specifically, Whittle argues we are not in a position to know a principle I call the Quantificational Hume Principle, which connects the (...) application of intuitive, quantificational cardinality concepts to claims involving the existence of functions. This paper responds to Whittle’s skeptical arguments by providing an argument justifying the QHP. (shrink)

We discuss the concept of a cardinal number and its history, focussing on Cantor's work and its reception. J'ay fait icy peu pres comme Euclide, qui ne pouvant pas bien >faire< entendre absolument ce que c'est que raison prise dans le sens des Geometres, definit bien ce que c'est que memes raisons. (Leibniz) 1.

Wilfred Sieg and Dirk Schlimm. Dedekind's Analysis of Number: Systems and Axioms.

There are two general questions which many views in the philosophy of mathematics can be seen as addressing: what are mathematical objects, and how do we have knowledge of them? Naturally, the answers given to these questions are linked, since whatever account we give of how we have knowledge of mathematical objects surely has to take into account what sorts of things we claim they are; conversely, whatever account we give of the nature of mathematical objects must be accompanied by (...) a corresponding account of how it is that we acquire knowledge of those objects. The connection between these problems results in what is often called "Benacerraf's Problem", which is a dilemma that many philosophical views about mathematical objects face. It will be my goal here to present a view, attributed to Richard Dedekind, which approaches the initial questions in a different way than many other philosophical views do, and in doing so, avoids the dilemma given by Benacerraf's problem. (shrink)

Dedekind's major work on the foundations of arithmetic employs several techniques that have left him open to charges of psychologism, and through this, to worries about the objectivity of the natural-number concept he defines. While I accept that Dedekind takes the foundation for arithmetic to lie in certain mental powers, I will also argue that, given an appropriate philosophical background, this need not make numbers into subjective mental objects. Even though Dedekind himself did not provide that background, one can nevertheless (...) be found in the work of the neo-Kantian Ernst Cassirer on mathematical concept formation. (shrink)