© The Author [2017]. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: [email protected] Dedekind was a contemporary of Bernhard Riemann, Georg Cantor, and Gottlob Frege, among others. Together, they revolutionized mathematics and logic in the second half of the nineteenth century. Dedekind had an especially strong influence on David Hilbert, Ernst Zermelo, Emmy Noether, and Nicolas Bourbaki, who completed that revolution in the twentieth century. With respect to mainstream mathematics, he is best known for his contributions (...) to algebra and number theory. With respect to logic and the foundations of mathematics, many of his technical results — his conceptualization of the natural and real numbers, his analysis of proofs by mathematical induction and definitions by recursion (extended to the transfinite by Zermelo, John von... (shrink)

Recent historical studies have investigated the first proponents of methodological structuralism in late nineteenth-century mathematics. In this paper, I shall attempt to answer the question of whether Peano can be counted amongst the early structuralists. I shall focus on Peano’s understanding of the primitive notions and axioms of geometry and arithmetic. First, I shall argue that the undefinability of the primitive notions of geometry and arithmetic led Peano to the study of the relational features of the systems of objects that (...) compose these theories. Second, I shall claim that, in the context of independence arguments, Peano developed a schematic understanding of the axioms which, despite diverging in some respects from Dedekind’s construction of arithmetic, should be considered structuralist. From this stance I shall argue that this schematic understanding of the axioms anticipates the basic components of a formal language. (shrink)