Dirk Schlimm

Peano was one of the driving forces behind the development of the current mathematical formalism. In this paper, we study his particular approach to notational design and present some original features of his notations. To explain the motivations underlying Peano's approach, we first present his view of logic as a method of analysis and his desire for a rigorous and concise symbolism to represent mathematical ideas. On the basis of both his practice and his explicit reflections on notations, we discuss the principles that guided Peano's introduction of new symbols, the choice of characters, and the layout of formulas. Finally, we take a closer look, from a systematic and historical perspective, at one of Peano's most striking innovations, his use of dots for the grouping of subformulas.

This volume contains ten papers that have been collected by the Canadian Society for History and Philosophy of Mathematics/Société canadienne d’histoire et de philosophie des mathématiques. It showcases rigorously-reviewed contemporary scholarship on an interesting variety of topics in the history and philosophy of mathematics from the seventeenth century to the modern era. The volume begins with an exposition of the life and work of Professor Bolesław Sobociński. It then moves on to cover a collection of topics about twentieth-century philosophy of mathematics, including Fred Sommers’s creation of Traditional Formal Logic and Alexander Grothendieck’s work as a starting point for discussing analogies between commutative algebra and algebraic geometry. Continuing the focus on the philosophy of mathematics, the next selections discuss the mathematization of biology and address the study of numerical cognition. The volume then moves to discussing various aspects of mathematics education, including Charles Davies’s early book on the teaching of mathematics and the use of Gaussian Lemniscates in the classroom. A collection of papers on the history of mathematics in the nineteenth century closes out the volume, presenting a discussion of Gauss’s “Allgemeine Theorie des Erdmagnetismus” and a comparison of the geometric works of Desargues and La Hire. Written by leading scholars in the field, these papers are accessible not only to mathematicians and students of the history and philosophy of mathematics, but also to anyone with a general interest in mathematics.

Mathematical notation includes a vast array of signs. Most mathematical signs appear to be symbolic, in the sense that their meaning is arbitrarily related to their visual appearance. We explored the hypothesis that mathematical signs with iconic aspects—those which visually resemble in some way the concepts they represent—offer a cognitive advantage over those which are purely symbolic. An early formulation of this hypothesis was made by Christine Ladd in 1883 who suggested that symmetrical signs should be used to convey commutative relations, because they visually resemble the mathematical concept they represent. Two controlled experiments provide the first empirical test of, and evidence for, Ladd's hypothesis. In Experiment 1 we find that participants are more likely to attribute commutativity to operations denoted by symmetric signs. In Experiment 2 we further show that using symmetric signs as notation for commutative operations can increase mathematical performance.

In "Plato's Ghost" Jeremy Gray presented many connections between mathematical practices in the nineteenth century and the rise of mathematical platonism in the context of more general developments, which he refers to as modernism. In this paper, I take up this theme and present a condensed discussion of some arguments put forward in favor of and against the view of mathematical platonism. In particular, I highlight some pressures that arose in the work of Frege, Cantor, and Gödel, which support adopting a platonist position. The aim of this discussion is to provide an historically informed introduction to the philosophical position of mathematical platonism and to point at some of its mathematical and philosophical roots in the nineteenth century.

This volume contains thirteen papers that were presented at the 2017 Annual Meeting of the Canadian Society for History and Philosophy of Mathematics/Société canadienne d’histoire et de philosophie des mathématiques, which was held at Ryerson University in Toronto. It showcases rigorously reviewed modern scholarship on an interesting variety of topics in the history and philosophy of mathematics from Ancient Greece to the twentieth century. A series of chapters all set in the eighteenth century consider topics such as John Marsh’s techniques for the computation of decimal fractions, Euler’s efforts to compute the surface area of scalene cones, a little-known work by John Playfair on the practical aspects of mathematics, and Monge’s use of descriptive geometry. After a brief stop in the nineteenth century to consider the culture of research mathematics in 1860s Prussia, the book moves into the twentieth century with an examination of the historical context within which the Axiom of Choice was developed and a paper discussing Anatoly Vlasov’s adaptation of the Boltzmann equation to ionized gases. The remaining chapters deal with the philosophy of twentieth-century mathematics through topics such as an historically informed discussion of finitism and its limits; a reexamination of Mary Leng’s defenses of mathematical fictionalism through an alternative, anti-realist approach to mathematics; and a look at the reasons that mathematicians select specific problems to pursue. Written by leading scholars in the field, these papers are accessible to not only mathematicians and students of the history and philosophy of mathematics, but also anyone with a general interest in mathematics.

By way of a close reading of Boole and Frege’s solutions to the same logical problem, we highlight an underappreciated aspect of Boole’s work—and of its difference with Frege’s better-known approach—which we believe sheds light on the concepts of ‘calculus’ and ‘mechanization’ and on their history. Boole has a clear notion of a logical problem; for him, the whole point of a logical calculus is to enable systematic and goal-directed solution methods for such problems. Frege’s Begriffsschrift, on the other hand, is a visual tool to scrutinize concepts and inferences, and is a calculus only in the thin sense that every possible transition between sentences is fully and unambiguously specified in advance. While Frege’s outlook has dominated much of philosophical thinking about logical symbolism, we believe there is value—particularly in light of recent interest in the role of notations in mathematics and logic—in reviving Boole’s idea of an intrinsic link between, as he put it, a ‘calculus’ and a ‘directive method’ to solve problems.

The standard notion of iconicity, which is based on degrees of similarity or resemblance, does not provide a satisfactory account of the iconic character of some representations of abstract entities when those entities do not exhibit any imitable internal structure. Individual numbers are paradigmatic examples of such structureless entities. Nevertheless, numerals are frequently described as iconic or symbolic; for example, we say that the number three is represented symbolically by '3', but iconically by '|||'. To address this difficulty, I discuss various alternative notions of iconicity that have been presented in the literature, and I propose two novel accounts.

Tables are widely used for storing, retrieving, communicating, and processing information, but in the literature on the study of representations they are still somewhat neglected. The strong structural constraints on tables allow for a clear identification of their characteristic features and the roles these play in the use of tables as representational and cognitive tools. After introducing syntactic, spatial, and semantic features of tables, we give an account of how these affect our perception and cognition on the basis of fundamental principles of Gestalt psychology. Next are discussed the ways in which these features of tables support their uses in providing a global access to information, retrieving information, and visualizing relational structure and patterns. The latter is particularly important, because it shows how tables can contribute to the generation of new knowledge. In addition, tables also provide efficient means for manipulating information in general and in structured notations. In sum, tables are powerful and efficient representational tools.

In this chapter, we will provide an overview of Richard Dedekind's work on continuity, both foundational and mathematical. His seminal contribution to the foundations of analysis is the well-known 1872 booklet Stetigkeit und irrationale Zahlen (Continuity and irrational numbers), which is based on Dedekind's insight into the essence of continuity that he arrived at in the fall of 1858. After analysing the intuitive understanding of the continuity of the geometric line, Dedekind characterized the property of continuity for the real numbers in terms of what are nowadays called 'Dedekind cuts' on the rational numbers. This treatment, which can be characterized as being 'arithmetical' as well as 'axiomatic', will be presented in detail. To better position Dedekind's contributions in their historical context, we will also consider some of his more mathematical treatments of continuity in addition to his foundational work. Of particular interest is the definition of the Riemann surface in his joint work with Heinrich Weber (1882). Moreover, Dedekind's reflections on space and continuity in his unpublished papers 'Allgemeine Sätze über Räume' (General theorems about spaces; before 1870) and 'Beweis und Anwendungen eines allgemeinen Satzes über mehrfach ausgedehnte stetige Gebiete' (Proof and applications of a general theorem about multiply extended continuous domains; 1892) illustrate the wide range and general coherency of his thoughts. By discussing Dedekind's works in which the notion of continuity plays a central role, we will show how Dedekind's approaches became increasingly abstract, while at the same time retaining a common methodology.

J. S. Silverberg, The Most Obscure and Inconvenient Tables ever Constructed.- D. J. Melville, Commercializing Arithmetic: The Case of Edward Hatton.- C. Baltus, Leading to Poncelet: A Story of Collinear Points.- R. Godard, Cauchy, Le Verrier et Jacobi sur le problème algébrique des valeurs propres et les inégalités séculaires des mouvements des planètes.- A. Ackerberg-Hastings, Mathematics in Astronomy at Harvard College Before 1839 as a Case Study for Teaching Historical Writing in Mathematics Courses.- J. J. Tattersall, S. L. McMurran, "Lectures for Women" and the Founding of Newnham College, Cambridge.- D. Waszek, Are Euclid's Diagrams "Representations"? On an Argument by Ken Manders.- B. Buldt, Abstraction by Embedding and Constraint-Based Design.- W. Meyer, The Birth of Undergraduate Modern Algebra in the United States.- P. Liu, History as a Source of Mathematical Narrative in Developing Students' Interpretations of Mathematics.- F. Kamareddine, J. P. Seldin, Thoughts on Using the History of Mathematics to Teach the Foundations of Mathematical Analysis.

To discuss the developments of mathematics that have to do with the introduction of new objects, we distinguish between ‘Aristotelian’ and ‘non-Aristotelian’ accounts of abstraction and mathematical ‘top-down’ and ‘bottom-up’ approaches. The development of mathematics from the 19th to the 20th century is then characterized as a move from a ‘bottom-up’ to a ‘top-down’ approach. Since the latter also leads to more abstract objects for which the Aristotelian account of abstraction is not well-suited, this development has also lead to a decrease of visualizations in mathematical practice.

Mathematics is a powerful tool for describing and developing our knowledge of the physical world. It informs our understanding of subjects as diverse as music, games, science, economics, communications protocols, and visual arts. Mathematical thinking has its roots in the adaptive behavior of living creatures: animals must employ judgments about quantities and magnitudes in the assessment of both threats (how many foes) and opportunities (how much food) in order to make effective decisions, and use geometric information in the environment for recognizing landmarks and navigating environments. Correspondingly, cognitive systems that are dedicated to the processing of distinctly mathematical information have developed. In particular, there is evidence that certain core systems for understanding different aspects of arithmetic as well as geometry are employed by humans and many other animals. They become active early in life and, particularly in the case of humans, develop through maturation. Although these core systems individually appear to be quite limited in application, in combination they allow for the recognition of mathematical properties and the formation of appropriate inferences based upon those properties. In this overview, the core systems, their roles, their limitations, and their interaction with external representations are discussed, as well as possibilities for how they can be employed together to allow us to reason about more complex mathematical domains.