Despite the importance of mathematics in our educational systems little is known about how abstract mathematical thinking emerges. Under the uniting thread of mathematical development, we hope to connect researchers from various backgrounds to provide an integrated view of abstract mathematical cognition. Much progress has been made in the last 20 years on how numeracy is acquired. Experimental psychology has brought to light the fact that numerical cognition stems from spatial cognition. The findings from neuroimaging and single (...) cell recording experiments converge to show that numerical representations take place in the intraparietal sulcus. Further research has demonstrated that supplementary neural networks might be recruited to carry out subtasks; for example, the retrieval of arithmetic facts is done by the angular gyrus. Now that the neural networks in charge of basic mathematical cognition are identified, we can move onto the stage where we seek to understand how these basics skills are used to support the acquisition and use of abstract mathematical concepts. (shrink)

An Elementary Transition to Abstract Mathematics will help students move from introductory courses to those where rigor and proof play a much greater role. The text is organized into five basic parts: the first looks back on selected topics from pre-calculus and calculus, treating them more rigorously, and it covers various proof techniques; the second part covers induction, sets, functions, cardinality, complex numbers, permutations, and matrices; the third part introduces basic number theory including applications to cryptography; the fourth (...) part introduces key objects from abstract algebra; and the final part focuses on polynomials. Features: The material is presented in many short chapters, so that one concept at a time can be absorbed by the student. Two "looking back" chapters at the outset (pre-calculus and calculus) are designed to start the student's transition by working with familiar concepts. Many examples of every concept are given to make the material as concrete as possible and to emphasize the importance of searching for patterns. A conversational writing style is employed throughout in an effort to encourage active learning on the part of the student. (shrink)

Originally published: Philadelphia: Saunders College Pub., c1990.

In this paper, we try to establish that some mathematical theories, like K-theory, homology, cohomology, homotopy theories, spectral sequences, modern Galois theory (in its various applications), representation theory and character theory, etc., should be thought of as (abstract) machines in the same way that there are (concrete) machines in the natural sciences. If this is correct, then many epistemological and ontological issues in the philosophy of mathematics are seen in a different light. We concentrate on one problem which (...) immediately follows the recognition of the particular status of these theories: the demarcation problem between ‘natural kinds’ and ‘artefacts’. (shrink)

Statements in mathematics -- Proofs in mathematics -- Basic set operations -- Functions -- Relations on a set -- Cardinality -- Algebra of number systems -- The natural numbers -- The integers -- The rational numbers -- The real numbers -- Cantor's reals -- The complex numbers -- Time scales -- The delta derivative -- Hints for (and comments on) the exercises.

This book is designed for the sophomore/junior level Introduction to Advanced Mathematics course. Written in a modified R.L. Moore fashion, it offers a unique approach in which readers construct their own understanding. However, while readers are called upon to write their own proofs, they are also encouraged to work in groups. There are few finished proofs contained in the text, but the author offers “proof sketches” and helpful technique tips to help readers as they develop their proof writing skills. (...) This book is most successful in a small, seminar style class. Logic, Sets, Induction, Relations, Functions, Elementary Number Theory, Cardinality, The Real Numbers For all readers interested in abstract mathematics. (shrink)

The aim of this book is to help students write mathematics better. Throughout it are large exercise sets well-integrated with the text and varying appropriately from easy to hard. Basic issues are treated, and attention is given to small issues like not placing a mathematical symbol directly after a punctuation mark. And it provides many examples of what students should think and what they should write and how these two are often not the same.

This paper identifies one way that a mathematical proof can be more explanatory than another proof. This is by invoking a more abstract kind of entity than the topic of the theorem. These abstract mathematical explanations are identified via an investigation of a canonical instance of modern mathematics: the Galois theory proof that there is no general solution in radicals for fifth-degree polynomial equations. I claim that abstract explanations are best seen as describing a special sort (...) of dependence relation between distinct mathematical domains. This case study highlights the importance of the conceptual, as opposed to computational, turn of much of modern mathematics, as recently emphasized by Tappenden and Avigad. The approach adopted here is contrasted with alternative proposals by Steiner and Kitcher. (shrink)

This essay uses a mental files theory of singular thought—a theory saying that singular thought about and reference to a particular object requires possession of a mental store of information taken to be about that object—to explain how we could have such thoughts about abstract mathematical objects. After showing why we should want an explanation of this I argue that none of three main contemporary mental files theories of singular thought—acquaintance theory, semantic instrumentalism, and semantic cognitivism—can give it. I (...) argue for two claims intended to advance our understanding of singular thought about mathematical abstracta. First, that the conditions for possession of a file for an abstract mathematical object are the same as the conditions for possessing a file for an object perceived in the past—namely, that the agent retains information about the object. Thus insofar as we are able to have memory-based files for objects perceived in the past, we ought to be able to have files for abstract mathematical objects too. Second, at least one recently articulated condition on a file’s being a device for singular thought—that it be capable of surviving a certain kind of change in the information it contains—can be satisfied by files for abstract mathematical objects. (shrink)

This essay uses a mental files theory of singular thought—a theory saying that singular thought about and reference to a particular object requires possession of a mental store of information taken to be about that object—to explain how we could have such thoughts about abstract mathematical objects. After showing why we should want an explanation of this I argue that none of three main contemporary mental files theories of singular thought—acquaintance theory, semantic instrumentalism, and semantic cognitivism—can give it. I (...) argue for two claims intended to advance our understanding of singular thought about mathematical abstracta. First, that the conditions for possession of a file for an abstract mathematical object are the same as the conditions for possessing a file for an object perceived in the past—namely, that the agent retains information about the object. Thus insofar as we are able to have memory-based files for objects perceived in the past, we ought to be able to have files for abstract mathematical objects too. Second, at least one recently articulated condition on a file’s being a device for singular thought—that it be capable of surviving a certain kind of change in the information it contains—can be satisfied by files for abstract mathematical objects. (shrink)

Fefermans argument is indeed convincing in a certain context, it can be dissolved entirely by modifying the context appropriately.

Several years ago, while teaching middle and high school mathematics at a small progressive school in upstate New York, I was asked to evaluate and reconceptualize the school’s approach to teaching mathematics. From its inception in the early 1960s, the school had prided itself on its progressive ideals. It was child-centered, committed to both project-based learning and to the social and emotional development of children, and a place where independent and critical thinking was highly valued. Yet, it was (...) clear that our mathematics program was not delivering results in line with our expectations. Academically, our students were not low achievers. Yet, to our dismay, very few of our middle and high school students actually liked their mathematics studies. (shrink)

There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article (...) lays out and compares these options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized. (shrink)

The nature of light is a focus of Thomas Hobbes’s natural philosophical project. Hobbes’s explanation of the light of lucid bodies differs across his works, from dilation and contraction in Elements of Law to simple circular motions in De corpore. However, Hobbes consistently explains perceived light by positing that bodily resistance generates the phantasm of light. In Letters I.XIX–XX of Philosophical Letters, fellow materialist Margaret Cavendish attacks the Hobbesian understanding of both lux and lumen by claiming that Hobbes has illicitly (...) made abstractions from matter. In this paper, I argue that Cavendish’s criticisms rely on an incorrect understanding of the nature of Hobbesian geometry and the role it plays in Hobbes’s natural philosophy. Rather than understanding geometry as wholly abstract, Hobbes attempts to ground geometry in different ways of considering bodies and their motions. Furthermore, Hobbes’s own criticisms of abstraction suggest that he would share many of the worries she raises but deny that he falls prey to them. (shrink)

The aim of the paper is to answer some arguments raised against mathematical structuralism developed by Michael Resnik. These arguments stress the abstractness of mathematical objects, especially their causal inertness, and conclude that mathematical objects, the structures posited by Resnik included, are inaccessible to human cognition. In the paper I introduce a distinction between abstract and ideal objects and argue that mathematical objects are primarily ideal. I reconstruct some aspects of the instrumental practice of mathematics, such as symbolic (...) manipulations or ruler-and-compass constructions, and argue that instrumental practice can secure epistemic access to ideal objects of mathematics. (shrink)

ion turns equivalence into identity, but there are two ways to do it. Given the equivalence relation of parallelness on lines, the #1 way to turn equivalence into identity by abstraction is to consider equivalence classes of parallel lines. The #2 way is to consider the abstract notion of the direction of parallel lines. This paper developments simple mathematical models of both types of abstraction and shows, for instance, how finite probability theory can be interpreted using #2 abstracts as (...) “superposition events” in addition to the ordinary events. The goal is to use the second notion of abstraction to shed some light on the notion of an indefinite superposition in quantum mechanics. (shrink)

Beginning at the end of the nineteenth century, systematic scientific abstracting played a crucial role in reconfiguring the sciences on an international scale. For mathematicians, the 1931 launch of the Zentralblatt für Mathematik and 1940 launch of Mathematical Reviews marked and intensified a fundamental transformation, not just to the geographic scale of professional mathematics but to the very nature of mathematicians’ research and theories. It was not an accident that mathematical abstracting in this period coincided with an embrace across (...) mathematical research fields of a distinctive form of symbolic and conceptual abstraction. This essay examines the historical, institutional, embodied, and conceptual bases of mathematical abstracting and abstraction in the mid-twentieth century, placing them in historical context within the first half of the twentieth century and then examining their consequences and legacies for the second half of the twentieth century and beyond. Focused on scale, media, and the relationship between mathematical knowledge and its forms of articulation, my analysis connects the changing social structure of modern mathematical research communities to their changing domains of investigation and resources for representation and collective understanding. (shrink)

One of the key features of modern mathematics is the adoption of the abstract method. Our goal in this paper is to propose an explication of that method that is rooted in the history of the subject.

Scientists use models to know the world. It i susually assumed that mathematicians doing pure mathematics do not. Mathematicians doing pure mathematics prove theorems about mathematical entities like sets, numbers, geometric figures, spaces, etc., they compute various functions and solve equations. In this paper, I want to exhibit models build by mathematicians to study the fundamental components of spaces and, more generally, of mathematical forms. I focus on one area of mathematics where models occupy a central role, (...) namely homotopy theory. I argue that mathematicians introduce genuine models and I offer a rough classification of these models. (shrink)

A well-established historiography has pointed out the distinction between first philosophy and theology, proposed by Benet Perera in his De communibus, as the “birth” of modern ontology. Ontology is often defined as an independent or neutral science by modern authors as well as contemporary scholars.This paper aims to show the way in which Perera comes to this distinction, after a long reflection on the status of mathematics and abstractions of theoretical sciences matured during his lectures at the Collegio Romano.Interestingly, (...) it appears that after the subject of ontology is removed from its relationship with God and rational theology, ontology does not seem to acquire the status of neutral and universal science that Perera sought. Ontology becomes, in fact, a science dependent on the definitions provided by other disciplines and sciences, such as logic and mathematics.Following these recent findings, the paper also provides a renewed confrontation b.. (shrink)

If mathematics is the purest form of knowledge, the perfect foundation of all the hard sciences, and a uniquely precise discipline, then how can the human brain, an imperfect and imprecise organ, process mathematical ideas? Is mathematics made up of eternal, universal truths? Or, as some have claimed, could mathematics simply be a human invention, a kind of tool or metaphor? These questions are among the greatest enigmas of science and epistemology, discussed at length by mathematicians, physicians, (...) and philosophers. But, curiously enough, neuroscientists have been absent in the debate, even though it is precisely the field of neuroscience—which studies the brain’s mechanisms for thinking and reasoning—that ought to be at the very center of these discussions. How our Emotions and Bodies are Vital for Abstract Thought explores the unique mechanisms of cooperation between the body, emotions, and the cortex, based on fundamental physical principles. It is these mechanisms that help us to overcome the limitations of our physiology and allow our imperfect, human brains to make transcendent mathematical discoveries. This book is written for anyone who is interested in the nature of abstract thought, including mathematicians, physicists, computer scientists, psychologists, and psychiatrists. (shrink)

In this paper, I argue that in spite of suggestions to the contrary, Merleau-Ponty defends a positive account of the kind of abstract thought involved in mathematics and natural science. More specifically, drawing on both the Phenomenology of Perception and his later writings, I show that, for Merleau-Ponty, abstract thought and perception stand in the two-way relation of “foundation,” according to which abstract thought makes what we perceive explicit and determinate, and what we perceive is made (...) to appear by abstract thought. I claim that, on Merleau-Ponty's view, although this process can sometimes lead to falsification, it can also be carried out in such a manner that allows mathematics and natural science to articulate what we perceive in a way that is non-distortive and in keeping with the demands of perception itself. (shrink)

This paper argues for two related theses. The first is that mathematical abstraction can play an important role in shaping the way we think about and hence understand certain phenomena, an enterprise that extends well beyond simply representing those phenomena for the purpose of calculating/predicting their behaviour. The second is that much of our contemporary understanding and interpretation of natural selection has resulted from the way it has been described in the context of statistics and mathematics. I argue for (...) these claims by tracing attempts to understand the basis of natural selection from its early formulation as a statistical theory to its later development by R.A. Fisher, one of the founders of modern population genetics. Not only did these developments put natural selection of a firm theoretical foundation but its mathematization changed the way it was understood as a biological process. Instead of simply clarifying its status, mathematical techniques were responsible for redefining or reconceptualising selection. As a corollary I show how a highly idealised mathematical law that seemingly fails to describe any concrete system can nevertheless contain a great deal of accurate information that can enhance our understanding far beyond simply predictive capabilities. (shrink)

Mathematical abstraction is the process of considering and ma­nipulating operations, rules, methods and concepts divested from their refe­rence to real world phenomena and circumstances, and also deprived from the content connected to particular applications. There is no one single way of per­forming mathematical abstraction. The term “abstraction” does not name a unique procedure but a general process, which goes many ways that are mostly simultaneous and intertwined; in particular, the process does not amount only to logical subsumption. I will consider (...) comparatively how philosophers consi­der abstraction and how mathematicians perform it, with the aim to bring to light the fundamental thinking processes at play, and to illustrate by signifi­cant examples how much intricate and multi-leveled may be the combination of typical mathematical techniques which include axiomatic method, invariance principles, equivalence relations and functional correspondences. (shrink)

Although there are many questions to be asked about philosophy of mathematics, the fundamental questions to be asked will be questions about what the mathematical object is in view of being and what the mathematical reasoning is in view of knowledge. It is clear that other problems will develop in parallel within the framework of the answers to these questions. For this reason, when we approach Aristotle's philosophy of mathematics over these two basic problems, we come up with (...) the concept of abstraction. In our work, I will try to explain the mathematical abstraction that Aristotle has developed to understand mathematical philosophy. (shrink)

In this paper a parallel is drawn between the problem of epistemic access to abstract objects in mathematics and the problem of epistemic access to idealized systems in the physical sciences. On this basis it is argued that some recent and more traditional approaches to solving these problems are problematic.

In this paper, we wish to explore the role that textual representations play in the creation of new mathematical objects. We do so by analyzing texts by Joseph-Louis Lagrange (1736–1813) and Évariste Galois (1811–1832), which are seen as central to the historical development of the mathematical concept of groups. In our analysis, we consider how the material features of representations relate to the changes in conceptualization that we see in the texts.Against this backdrop, we discuss the idea that new mathematical (...) concepts, in general, are increasingly abstract in the sense of being detached from material configurations. Our analysis supports the opposite view. We suggest that changes in the material aspects of textual representations (i.e., the actual graphic inscriptions) play an active and crucial role in conceptual change.We employ an analytical framework adapted from Bruno Latour’s 1999 account of intertwined material and representational practices in the empirical sciences. This approach facilitates a foregrounding of the interconnection between the conceptual development of mathematics, and the construction, (re-)configuration, and manipulation of the materiality of representations. Our analysis suggests that, in mathematical practice, distinctions between the material and structural features of representations are not permanent and absolute. This problematizes the appropriateness of the distinction between concrete inscriptions and abstract relations in understanding the development of mathematical concepts. (shrink)

The first part of this paper surveys the current literature in the history of nineteenth-century mathematics in order to show that the question “Did the increasing abstraction of mathematics lead to a sense of anxiety?” is a new and valid question. I argue that the mathematics of the nineteenth century is marked by a growing appreciation of error leading to a note of anxiety, hesitant at first but persistent by 1900. This mounting disquiet about so many aspects (...) of mathematics after 1850 is seldom discussed. The second part explores the issue of anxiety in mathematical life through an interesting account of an address made by a mathematician in 1911, Oscar Perron. The third and final part ventures some conclusions about the value of anxiety as a question for historians of mathematics to pursue. (shrink)

I explore physics implications of the External Reality Hypothesis (ERH) that there exists an external physical reality completely independent of us humans. I argue that with a sufficiently broad definition of mathematics, it implies the Mathematical Universe Hypothesis (MUH) that our physical world is an abstract mathematical structure. I discuss various implications of the ERH and MUH, ranging from standard physics topics like symmetries, irreducible representations, units, free parameters, randomness and initial conditions to broader issues like consciousness, parallel (...) universes and Gödel incompleteness. I hypothesize that only computable and decidable (in Gödel’s sense) structures exist, which alleviates the cosmological measure problem and may help explain why our physical laws appear so simple. I also comment on the intimate relation between mathematical structures, computations, simulations and physical systems. (shrink)

Mathematical abstraction is the process of considering and ma­nipulating operations, rules, methods and concepts divested from their refe­rence to real world phenomena and circumstances, and also deprived from the content connected to particular applications. There is no one single way of per­forming mathematical abstraction. The term “abstraction” does not name a unique procedure but a general process, which goes many ways that are mostly simultaneous and intertwined; in particular, the process does not amount only to logical subsumption. I will consider (...) comparatively how philosophers consi­der abstraction and how mathematicians perform it, with the aim to bring to light the fundamental thinking processes at play, and to illustrate by signifi­cant examples how much intricate and multi-leveled may be the combination of typical mathematical techniques which include axiomatic method, invariance principles, equivalence relations and functional correspondences. (shrink)

In this paper, following the claims made by various mathematicians, I try to construct a theory of levels of abstraction. I first try to clarify the basic components of the abstract method as it developed in the first quarter of the 20th century. I then submit an explication of the notion of levels of abstraction. In the final section, I briefly explore some of main philosophical consequences of the theory.

Open peer commentary on the article “Examining the Role of Re-Presentation in Mathematical Problem Solving: An Application of Ernst von Glasersfeld’s Conceptual Analysis” by Victor V. Cifarelli & Volkan Sevim. Upshot: Cifarelli and Sevim’s analysis of Marie’s problem solving activity raises two questions for me. The first regards what Marie is reflectively abstracting: the use of the generic phrase her solution activity finesses a largely unarticulated disagreement in the mathematics education community about what the nature of actions are in (...) Piaget’s theory. The second question involves the implications that radical constructivist research in mathematics has for day-to-day mathematics instruction. (shrink)

In this paper a number of oppositions which have haunted mathematics and philosophy are described and analyzed. These include the Continuous and the Discrete, the One and the Many, the Finite and the Infinite, the Whole and the Part, and the Constant and the Variable.

This book uses Ludwig Wittgenstein's philosophical methodology to solve a problem that has perplexed thinkers for thousands of years: 'how come (abstract) mathematics applies so wonderfully well to the (concrete, physical) world?' The book is distinctive in several ways. First, it gives the reader a route into understanding important features of Wittgenstein's writings and lectures by using his methodology to tackle this long-standing and seemingly intractable philosophical problem. More than this, though, it offers an outline of important (sometimes (...) little-known) aspects of the development of mathematical thought through the ages, and an engagement of Wittgenstein's philosophy with this and with contemporary philosophy of mathematics on its own terms. A clear overview of all this in the context of Wittgenstein's philosophy of mathematics is interesting in its own right; it is also just what is needed to solve the problem of mathematics and world. (shrink)

In some passages of the Opus maius and the Opus tertium, Roger Bacon holds that mathematical objects are the immediate and adequate objects of human’s intellect: in our sensible life, the intellect develops mostly around quantity itself. We comprehend quantities and bodies by a perception of the intellect because their forms belong to the intellect, namely, an understanding of mathematical truths is almost innate within us. A natural reaction to these sentences is to deduce a strong Pythagorean or Platonic influence (...) in Roger Bacon’s theory of mathematical knowledge. However, Bacon has always followed Aristotle’s view according to which numbers and figures have no real existence apart from the sensible substances, and universal knowledge comes from sensory experience as well. It appears that Bacon’s claim that quantity is the first object of human's intellect comes from an original reading of a passage of Aristotle’s On Memory and Reminiscence. In this paper, we try to clarify Bacon’s views about mathematical abstraction and intellectual perception of mathematical forms in his Parisian questions on Physics and Liber De causis, the Perspectiva, Opus maius, Opus tertium, the Communia mathematica and the Geometria speculativa. We conclude that Bacon considered mathematical abstraction as a mode of perception of the internal structure of the physical world: mathematical abstraction does not mean for Bacon an act of separation of ideal forms from the sensible matter, but a possibility of intuition of the internal structure of the sensible world itself, a faculty which is necessary for human’s perception of space and time. (shrink)