Humans and other animals have an evolved ability to detect discrete magnitudes in their environment. Does this observation support evolutionary debunking arguments against mathematical realism, as has been recently argued by Clarke-Doane, or does it bolster mathematical realism, as authors such as Joyce and Sinnott-Armstrong have assumed? To find out, we need to pay closer attention to the features of evolved numerical cognition. I provide a detailed examination of the functional properties of evolved numerical cognition, and propose that (...) they prima facie favor a realist account of numbers. (shrink)

In this paper I study the development of arithmetical cognition with the focus on metaphorical thinking. In an approach developing on Lakoff and Núñez, I propose one particular conceptual metaphor, the Process → Object Metaphor, as a key element in understanding the development of mathematical thinking.

Object identity, the apprehension that two glimpses refer to the same object, is offered as an example of combining generality, mathematics, and evolution. We argue that it applies to glimpses in time (apparent motion), modality (ventriloquism), and space (Gestalt grouping); that it has a mathematically elegant solution of nested geometries (Euclidean, Similarity, Affine, Projective, Topology); and that it is evolutionarily sound despite our Euclidean world. [Shepard].

Early mathematical abilities matter for later formal arithmetical performances, school and professional success. Accordingly, it seems central to accurately assess numerical school readiness at school entrance. This is a prerequisite for identifying school-starters who are at risk to encounter difficulties in mathematics and stimulate their acquisition of mathematical fundamentals as soon as possible. In the present study, we present a new test which allows professionals working with children (e.g., teachers, school psychologists, speech therapists, school doctors) to assess children’s (...) numerical school readiness when they enter formal schooling in a simple, rapid and efficient manner. 346 children were assessed at the entrance of 1st grade (6-to-7-year-olds) with the novel numerical school readiness test (T1). In addition, children’s numerical skill levels were evaluated with classical arithmetical tests at T1 and a year later in 2nd grade (T2, 7-to-8-year-olds). Performance in these classical tests in 1st and 2nd grade systematically related to their early mathematical abilities assessed with the numerical school readiness test. By using the present test to evaluate numerical school readiness it is possible to identify pupils at risk for developing poor mathematical skills right from the start of formal schooling. Such a tool is needed, as a child’s scholastic level in mathematic at school entrance (or school readiness) is known to be critical for his or her future school and professional carrier (Currie & Thomas, 1999; Duncan et al., 2007; Pagani, Fitzpatrick, Archambault, & Janosz, 2010; Rivera-Batiz, 1992; Romano, Babchishin, Pagani, & Kohen, 2010). (shrink)

Socio-economic status and mathematical performance seem to be risk factors of mathematics anxiety in both children and adults. However, there is little evidence about how exactly these three constructs are related, especially during early stages of mathematical learning. In the present study, we assessed longitudinal performance in symbolic and non-symbolic basic numerical skills in pre-school and second grade students, as well as MA in second grade students. Participants were 451 children from 12 schools in Chile, which differed in (...) school vulnerability index, an indicator of SES. We tested an explanatory model of MA that included SES and longitudinal performance in basic numerical skills as predictors. The results showed a direct effect of SES on MA and a mediating effect of performance in symbolic and non-symbolic comparison tasks in pre-school. However, in second grade, only performance in symbolic comparison significantly mediated the SES-MA relationship. These findings suggest that performance in non-symbolic comparison plays an important role in explaining MA at initial stages, but that its influence is no longer significant by the time children reach formal instruction in second grade. By contrast, as children’s formal educational experience in mathematics increases, MA becomes linked primarily to symbolic numerical tasks. In sum, SES affects MA and this is due in part to the effect of SES on the development of numerical learning in pre-school, which in turn has an impact on subsequent, more complex learning, ultimately leading to differences in MA. We discuss the implications of these findings for preventing and acting upon the emergence of MA. (shrink)

Menary OpenMIND, MIND Group, Frankfurt am Main, 2015) has argued that the development of our capacities for mathematical cognition can be explained in terms of enculturation. Our ancient systems for perceptually estimating numerical quantities are augmented and transformed by interacting with a culturally-enriched environment that provides scaffolds for the acquisition of cognitive practices, leading to the development of a discrete number system for representing number precisely. Numerals and the practices associated with numeral systems play a significant role in this (...) process. However, the details of the relationship between the ancient number system and the discrete number system remain unclear. This lack of clarity is exacerbated by the problem of symbolic estrangement and the fact that unique features of how numeral systems represent require our ancient number system to play a dual role. These issues highlight that Dehaene’s From monkey brain to human brain, MIT Press, Cambridge, pp 133–157, 2005) neuronal recycling hypothesis may be insufficient to explain the neural mechanisms underlying the process of enculturation. In order to explain mathematical enculturation, and enculturation more generally, it may be necessary to adopt Anderson’s :245–266, 2010; After phrenology: neural reuse and the interactive brain, MIT Press, Cambridge, 2014) theory of neural reuse. (shrink)

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)

The progress of Mathematics during the nineteenth century was characterised both by an enormous acquisition of new knowledge and by the attempts to introduce rigour in reasoning patterns and mathematical writing. Cauchy’s presentation of Mathematical Analysis was not immediately accepted, and many writers, though aware of that new style, did not use it in their own mathematical production. This paper is devoted to an episode of this sort that took place in Spain during the first half of the century: (...) It deals with the presentation of a method for numerically solving algebraic equations by José Mariano Vallejo, a late Spanish follower of the Enlightenment ideas, politician, writer, and mathematician who published it in the fourth (1840) edition of his book Compendio de Matemáticas Puras y Mistas, claiming to have discovered it on his own. Vallejo’s main achievement was to write down the whole procedure in a very careful way taking into account the different types of roots, although he paid little attention to questions such as convergence checks and the fulfilment of the hypotheses of Rolle’s Theorem. For sure this lack of mathematical care prevented Vallejo to occupy a place among the forerunners of Computational Algebra. (shrink)

ABSTRACTCurrent theoretical approaches suggest that mathematical anxiety manifests itself as a weakness in quantity manipulations. This study is the first to examine automatic versus intentional processing of numerical information using the numerical Stroop paradigm in participants with high MA. To manipulate anxiety levels, we combined the numerical Stroop task with an affective priming paradigm. We took a group of college students with high MA and compared their performance to a group of participants with low MA. Under low (...) anxiety conditions, participants with high MA showed relatively intact number processing abilities. However, under high anxiety conditions, participants with high MA showed higher processing of the non-numerical irrelevant information, which aligns with the theoretical view regarding deficits in selective attention in anxiety and an abnormal numerical distance effect. These results demonstrate that abnormal, basic numerical process... (shrink)

Several hundred thousand intellectually talented 12-to 13-year-olds have been tested nationwide over the past 16 years with the mathematics and verbal sections of the Scholastic Aptitude Test (SAT). Although no sex differences in verbal ability have been found, there have been consistent sex differences favoring males in mathematical reasoning ability, as measured by the mathematics section of the SAT (SAT-M). These differences are most pronounced at the highest levels of mathematical reasoning, they are stable over time, and they (...) are observed in other countries as well. The sex difference in mathematical reasoning ability can predict subsequent sex differences in achievement in mathematics and science and is therefore of practical importance. To date a primarily environmental explanation for the difference in ability has not received support from the numerous studies conducted over many years by the staff of Study of Mathematically Precocious Youth (SMPY) and others. We have studied some of the classical environmental hypotheses: attitudes toward mathematics, perceived usefulness of mathematics, confidence, expectations/ encouragement from parents and others, sex-typing, and differential course-taking. In addition, several physiological correlates of extremely high mathematical reasoning ability have been identified (left-handedness, allergies, myopia, and perhaps bilateral representation of cognitive functions and prenatal hormonal exposure). It is therefore proposed that the sex difference in SAT-M scores among intellectually talented students, which may be related to greater male variability, results from both environmental and biological factors. (shrink)

The foundation of Mathematics is both a logico-formal issue and an epistemological one. By the first, we mean the explicitation and analysis of formal proof principles, which, largely a posteriori, ground proof on general deduction rules and schemata. By the second, we mean the investigation of the constitutive genesis of concepts and structures, the aim of this paper. This “genealogy of concepts”, so dear to Riemann, Poincaré and Enriques among others, is necessary both in order to enrich the foundational (...) analysis with an often disregarded aspect (the cognitive and historical constitution of mathematical structures) and because of the provable incompleteness of proof principles also in the analysis of deduction. For the purposes of our investigation, we will hint here to a philosophical frame as well as to some recent experimental studies on numerical cognition that support our claim on the cognitive origin and the constitutive role of mathematical intuition. (shrink)

Mathematical cognition has become an interesting case study for wider theories of cognition. Menary :1–20, 2015) argues that arithmetical cognition not only shows that internalist theories of cognition are wrong, but that it also shows that the Hypothesis of Extended Cognition is right. I examine this argument in more detail, to see if arithmetical cognition can support such conclusions. Specifically, I look at how the use of numerals extends our arithmetical abilities from quantity-related innate systems to systems that can deal (...) with exact numbers of arbitrary size. I then argue that the system underlying our grasp of small numbers is an unhelpful case study for Menary; it doesn’t support an argument for externalism over internalism. The system for large numbers, on the other hand, clearly displays important interactions between public numeral systems and our cognitive processes. I argue that the large number system supports an argument against internalist theories of arithmetical cognition, but that one cannot conclude that the Hypothesis of Extended Cognition is correct. In other words, the large number case doesn’t decide between the Hypothesis of Extended Cognition and the Hypothesis of EMbedded Cognition. (shrink)

Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as the Riemann hypothesis, have had to be considered in terms of the evidence for and against them. In recent decades, massive increases in computer power have permitted the gathering of huge amounts of numerical evidence, both for conjectures in pure (...) mathematics and for the behavior of complex applied mathematical models and statistical algorithms. Mathematics has therefore become (among other things) an experimental science (though that has not diminished the importance of proof in the traditional style). We examine how the evaluation of evidence for conjectures works in mathematical practice. We explain the (objective) Bayesian view of probability, which gives a theoretical framework for unifying evidence evaluation in science and law as well as in mathematics. Numerical evidence in mathematics is related to the problem of induction; the occurrence of straightforward inductive reasoning in the purely logical material of pure mathematics casts light on the nature of induction as well as of mathematical reasoning. (shrink)

Metaphysics, Mathematics, and Meaning brings together Nathan Salmon's influential papers on topics in the metaphysics of existence, non-existence, and fiction; modality and its logic; strict identity, including personal identity; numbers and numerical quantifiers; the philosophical significance of Godel's Incompleteness theorems; and semantic content and designation. Including a previously unpublished essay and a helpful new introduction to orient the reader, the volume offers rich and varied sustenance for philosophers and logicians.

Mathematical thinking skills are very important in mathematics, both to learn math or as learning goals. Thinking skills can be seen from the description given answers in solving mathematical problems faced. Mathematical thinking skills can be seen from the types, levels, and process. Proportionally questions given to students at universities in Indonesia (semester I, III, V, and VII). These questions are a matter of description that belong to the higher-level thinking. Students choose 5 of 8 given problem. Qualitatively, the (...) answers were analyzed by descriptive to see the tendency to think mathematically used in completing the test. The results show that students tend to choose the issues relating to the calculation. They are more use cases, examples and not an example, to evaluate the conjecture and prove to belong to the numeric argumentation. Used mathematical thinking students are very personal (intelligence, interest, and experience), and the situation (problems encountered). Thus, the level of half of the students are not guaranteed and shows the level of mathematical thinking. (shrink)

Summary In terms of control of composition, the fabrication of money was arguably the most demanding of all pre-Industrial Revolution metallurgical practices. The calculations involved in such control needed arithmetical computations involving repeated multiplications and divisions, not only of integers but also of mixed numbers. Such computations were possible using Roman numerals, but with some difficulties. The advantages gained by employing arithmetic using Indo-arabic numerals for alloying calculations would have been the same as for other types of commercial calculations. A (...) method of calculating the proportions of two coinage alloys of different compositions that were needed to produce a third alloy of specified intermediate composition, eventually known as the rule of alternate alligation, was however a specific requirement in the minting of money. This requirement made a particular demand on medieval mathematics, as a solution was not possible using arithmetic alone. Furthermore, the problem became indeterminate when more than two components were available for mixing. All the necessary methods of calculation were described by Fibonacci in his Liber abbaci. These methods are to be found in a sequence of practical arithmetics that stretch through the trattati d'abbaco of the Italian city states during the fourteenth and fifteenth centuries, to the first printed books of Continental authors such as Pacioli. Of the earliest sixteenth-century printed English books on practical arithmetic, The Grounde of Artes by Robert Recorde contained the first advance in the methodology of alternate alligation since Fibonacci. In the seventeenth century, formal proof of the rule of alternate alligation was given by Kersey in his practical arithmetics and in his treatise on algebra. The topic was also addressed by several authors of academic algebras. It was in this century that the problem of indeterminacy in the solution of alternate alligation involving the mixture of more than two components, was finally resolved. English mint accounts provide little direct information on the alloying calculation carried out, and nothing on the methods used. However, the continued description of such calculations in other mint documents, merchants notebooks, and in goldsmiths' handbooks spanning four centuries imply that the calculations described in practical arithmetics were used in practice. Monetary matters had high economic and political profiles during the whole of the time span covered in this study. The influence of such considerations pervades the history of the technology of minting and the mathematics on which it called, and is discussed in context. (shrink)

Schistosomiasis, a vector-borne chronically debilitating infectious disease, is a serious public health concern for humans and animals in the affected tropical and sub-tropical regions. We formulate and theoretically analyze a deterministic mathematical model with snail and bovine hosts. The basic reproduction number R0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$R_0$$\end{document} is computed and used to investigate the local stability of the model’s steady states. Global stability of the endemic equilibrium is carried out by constructing a suitable Lyapunov function. (...) Sensitivity analysis shows that the basic reproduction number is most sensitive to the model parameters related to the contaminated environment, namely: shedding rate of cercariae by snails, cercariae to miracidia survival probability, snails-miracidia effective contact rate and natural death rate of miracidia and cercariae. Numerical results show that when no intervention measures are implemented, there is an increase of the infected classes, and a rapid decline of the number of susceptible and exposed bovines and snails. Effects of the variation of some of the key sensitive model parameters on the schistosomiasis dynamics as well as on the initial disease transmission threshold parameter R0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$R_0$$\end{document} are graphically depicted. (shrink)

An important task in mathematical sciences is to make quantitative predictions, which is often done via the solution of differential equations. In this paper, we investigate why, to perform this task, scientists sometimes choose to use numerical methods instead of analytical solutions. Via several examples, we argue that the choice for numerical methods can be explained by the fact that, while making quantitative predictions seems at first glance to be facilitated by analytical solutions, this is actually often much (...) easier with numerical methods. Thus we challenge the widely presumed superiority of analytical solutions over numerical methods. (shrink)

This book has been designed specifically to support the student through the IB Diploma Programme in Mathematical Studies. It includes worked examples and numerous opportunities for practice. In addition the book will provide students with features integrated with study and learning approaches, TOK and the IB learner profile. Examples and activities drawn from around the world will encourage students to develop an international perspective.

In terms of control of composition, the fabrication of money was arguably the most demanding of all pre-Industrial Revolution metallurgical practices. The calculations involved in such control needed arithmetical computations involving repeated multiplications and divisions, not only of integers but also of mixed numbers. Such computations were possible using Roman numerals, but with some difficulties. The advantages gained by employing arithmetic using Indo-arabic numerals for alloying calculations would have been the same as for other types of commercial calculations. A method (...) of calculating the proportions of two coinage alloys of different compositions that were needed to produce a third alloy of specified intermediate composition, eventually known as the rule of alternate alligation, was however, a specific requirement in the minting of money. This requirement made a particular demand on medieval mathematics, as a solution was not possible using arithmetic alone. Furthermore, the problem became indeterminate when more than two components were available for mixing. All the necessary methods of calculation were described by Fibonacci in his Liber abbaci. These methods are to be found in a sequence of practical arithmetics that stretch through the trattati d'abbaco of the Italian city states during the fourteenth and fifteenth centuries, to the first printed books of Continental authors such as Pacioli. Of the earliest sixteenth-century printed English books on practical arithmetic, The Grounde of Artes by Robert Recorde contained the first advance in the methodology of alternate alligation since Fibonacci. In the seventeenth century, formal proof of the rule of alternate alligation was given by Kersey in his practical arithmetics and his treatise on algebra. The topic was also addressed by several authors of academic algebras. It was in this century that the problem of indeterminacy in the solution of alternate alligation involving the mixture of more than two components, was finally resolved. English mint accounts provide little direct information on the alloying calculations carried out, and nothing on the methods used. However, the continued description of such calculations in other mint documents, merchants notebooks, and in goldsmiths' handbooks spanning four centuries imply that the calculations described in practical arithmetics were used in practice. Monetary matters had high economic and political profiles during the whole of the time span covered in this study. The influence of such considerations pervades the history of the technology of minting and the mathematics on which it called, and is discussed in context. (shrink)

"This accessible, applications-related introductory treatment explores some of the structure of modern symbolic logic useful in the exposition of elementary mathematics. Topics include axiomatic structure and the relation of theory to interpretation. No prior training in logic is necessary, and numerous examples and exercises aid in the mastery of the language of logic. 1959 edition"--.

In 1980 Morris Kline wrote this engaging book, in which he took on many of the myths about the nature and history of mathematics. This new edition will probably be as seldom read as the original, which is too bad because it contains important messages, including perhaps some comfort for anomalies researchers. I will briefly present an overview of the book’s contents, and then say what I think these comforts are. · · · The ancient Greeks developed the seed (...) of what we now think of as mathematics. Kline points out that their mathematical concepts arose from consideration of the natural world, and then the fact that numbers, shapes, and relationships corresponded to things in the real world convinced them that reality itself was in some mystical way generated by numerical principles. The regular patterns that they found in geometric forms and simple integers reflected the regularities of nature, and so provided keys to understanding how things were, and why they were that way. The faith that mathematics lay behind the mundane world of observations became an unquestioned truth, at least as important as the practical techniques the Greeks devised, and passed along through the Middle East and the medieval period to modern Europe. (shrink)

Evangelista Torricelli is perhaps best known for being the most gifted of Galileo’s pupils, and for his works based on indivisibles, especially his stunning cubature of an infinite hyperboloid. Scattered among Torricelli’s writings, we find numerous traces of the philosophy of mathematics underlying his mathematical practice. Though virtually neglected by historians and philosophers alike, these traces reveal that Torricelli’s mathematical practice was informed by an original philosophy of mathematics. The latter was dashed with strains of Thomistic metaphysics and (...) theology. Torricelli’s philosophy of mathematics emphasized mathematical constructs as human-made beings of reason, yet mathematical truths as divine decrees, which upon being discovered by the mathematician ‘appropriate eternity’. In this paper, I reconstruct Torricelli’s philosophy of mathematics—which I label radical mathematical Thomism—placing it in the context of Thomistic patterns of thought.Keywords: Evangelista Torricelli; Thomism; Eternity; Indivisibles; Proportions. (shrink)

Mathematics is often defined as a “universal” or “conventional” language. Yet, things may be not as simple as that. The theoretical lens of the semiosphere, with the related notions of context and spatial dynamics, within which the concept of cultural conflict is defined, provides a new framework for research in mathematics education to consider the cultural aspects of mathematical discourses. It is under this framework that learning awareness occurs, and teaching challenges are no longer conceived as independent of (...) the content taught (or to be taught). It is not a question of nullifying the cultural conflict, but exploiting the concept of asymmetry to make sense of mathematical discourse. Meeting foreign cultures leads to looking at one’s own practices. An example drawn from Danish numerals, juxtaposed with a mathematical discourse occurring in a sixth-grade classroom in Italy, delves into the practical application of the framework. (shrink)

The processes of wound healing and bone regeneration and problems in tissue engineering have been an active area for mathematical modeling in the last decade. Here we review a selection of recent models which aim at deriving strategies for improved healing. In wound healing, the models have particularly focused on the inflammatory response in order to improve the healing of chronic wound. For bone regeneration, the mathematical models have been applied to design optimal and new treatment strategies for normal and (...) specific cases of impaired fracture healing. For the field of tissue engineering, we focus on mathematical models that analyze the interplay between cells and their biochemical cues within the scaffold to ensure optimal nutrient transport and maximal tissue production. Finally, we briefly comment on numerical issues arising from simulations of these mathematical models. (shrink)

The ‘bat and ball’ is one of the problems most frequently employed as a testbed for research on the dual-system hypothesis of reasoning. Frederick (J Econ Perspect 19:25–42, 2005) is the first to envisage the possibility that different numerical arrangements of the ‘bat and ball’ problem could lead to different dynamics of activation of the dual-system, and so to different performances of subjects in task accomplishment. This possibility has triggered a strand of research oriented to accomplish ‘sensitivity analyses’ of (...) the ‘bat and ball’ problem. The scope of this paper is to test experimentally the specific hypothesis that numerals are responsible for the selective activation of the two systems of reasoning in this task. In particular, we argue that their role goes beyond and cannot be reduced to that of numbers conceived as magnitudes. To test our hypothesis, we devise an experimental setting in which the role of numbers (as magnitudes) is rendered irrelevant. We find experimental results consistent with our hypothesis. We further provide a link between the literature on mathematical problem-solving and that on mathematical cognition research, in particular that branch labeled embodied mathematical cognition. (shrink)

Suitable for advanced undergraduates and graduate students from diverse fields and varying backgrounds, this self-contained course in mathematical logic features numerous exercises that vary in difficulty. The author is a Professor of Mathematics at the University of Wisconsin.

Arithmetic is one of the foundations of our educational systems, but what exactly is it? Numbers are everywhere in our modern societies, but what is our knowledge of numbers really about? This book provides a philosophical account of arithmetical knowledge that is based on the state-of-the-art empirical studies of numerical cognition. It explains how humans have developed arithmetic from humble origins to its modern status as an almost universally possessed knowledge and skill. Central to the account is the realisation (...) that, while arithmetic is a human creation, the development of arithmetic is constrained by our evolutionarily developed cognitive architecture. Arithmetic is a sophisticated cultural development, but it is ultimately based on abilities with numerosities that we already possess as infants and share with many non-human animals. Therefore, arithmetic is not purely conventional, an arbitrary game akin to chess. Instead, arithmetic is deeply connected to our basic cognitive capacities. (shrink)

Our epistemic access to mathematical objects, like numbers, is mediated through our external representations of them, like numerals. Nevertheless, the role of formal notations and, in particular, of the internal structure of these notations has not received much attention in philosophy of mathematics and cognitive science. While systems of number words and of numerals are often treated alike, I argue that they have crucial structural differences, and that one has to understand how the external representation works in order to (...) form an advanced conception of numbers. The relation between external representations and mathematical cognition will be discussed by drawing on experimental results from cognitive science and mathematics education, and I argue for the constitutive role of external representations for the development of an advanced conception of numbers. (shrink)

A proposal by Baron, Colyvan, and Ripley to extend the counterfactual theory of explanation to include counterfactual reasoning about mathematical explanations of physical facts is discussed. Their suggestion is that the explanatory role of mathematics can best be captured counterfactually. This paper focuses on their example with a number-theoretic antecedent. Incorporating discussions on the structure and de re knowledge of numbers, it is argued that the approach leads to a change in the structure of numbers. As a result, the (...) counterfactual is not about the natural numbers anymore. Linking the antecedent and consequent of the counterfactual also becomes problematic. (shrink)

The thesis of this important new direction in classical logic is that the syllogism is an inherently numerical form of entailment - a position in direct opposition to the perennial view. In the book the author shows both that the propositions of classical logic make implicit numerical claims, and also that alternative numerical values can be substituted for these implicit ones to yield a logic whose quantifiers are infinitely flexible. A significant aspect of this work is the (...) development of a «schematic» which clearly exhibits the validity or invalidity of each categorical argument, whether it be classically or numerically extended. (shrink)

The present collection is the very first contribution of this type in the field of sparse recovery. Compressed sensing is one of the important facets of the broader concept presented in the book, which by now has made connections with other branches such as mathematical imaging, inverse problems, numerical analysis and simulation. The book consists of four lecture notes of courses given at the Summer School on "Theoretical Foundations and Numerical Methods for Sparse Recovery" held at the Johann (...) Radon Institute for Computational and Applied Mathematics in Linz, Austria, in September 2009. This unique collection will be of value for a broad community and may serve as a textbook for graduate courses. (shrink)

In recent years, neologicists have demonstrated that Hume's principle, based on the one-to-one correspondence relation, suffices to construct the natural numbers. This formal work is shown to be relevant for empirical research on mathematical cognition. I give a hypothetical account of how nonnumerate societies may acquire arithmetical knowledge on the basis of the one-to-one correspondence relation only, whereby the acquisition of number concepts need not rely on enumeration (the stable-order principle). The existing empirical data on the role of the one-to-one (...) correspondence relation for numerical abilities is assessed and additional empirical tests are proposed. In the final part, it is argued that the fact that the successor relation and the one-to-one correspondence relation can play independent roles in number concept acquisition may be a complication for testing the Whorfian hypothesis. (shrink)

In this paper, I introduce and examine the notion of “mathematical engineering” and its impact on mathematical change. Mathematical engineering is an important part of contemporary mathematics and it roughly consists of the “construction” and development of various machines, probes and instruments used in numerous mathematical fields. As an example of such constructions, I briefly present the basic steps and properties of homology theory. I then try to show that this aspect of contemporary mathematics has important consequences on (...) our conception of mathematical knowledge, in particular mathematical growth. (shrink)

Many experiments with infants suggest that they possess quantitative abilities, and many experimentalists believe that these abilities set the stage for later mathematics: natural numbers and arithmetic. However, the connection between these early and later skills is far from obvious. We evaluate two possible routes to mathematics and argue that neither is sufficient: (1) We first sketch what we think is the most likely model for infant abilities in this domain, and we examine proposals for extrapolating the natural (...) number concept from these beginnings. Proposals for arriving at natural number by (empirical) induction presuppose the mathematical concepts they seek to explain. Moreover, standard experimental tests for children's understanding of number terms do not necessarily tap these concepts. (2) True concepts of number do appear, however, when children are able to understand generalizations over all numbers; for example, the principle of additive commutativity (a+b=b+a). Theories of how children learn such principles usually rely on a process of mapping from physical object groupings. But both experimental results and theoretical considerations imply that direct mapping is insufficient for acquiring these principles. We suggest instead that children may arrive at natural numbers and arithmetic in a more top-down way, by constructing mathematical schemas. (shrink)

In their recent paper on “Challenges in mathematical cognition”, Alcock and colleagues (Alcock et al. [2016]. Challenges in mathematical cognition: A collaboratively-derived research agenda. Journal of Numerical Cognition, 2, 20-41) defined a research agenda through 26 specific research questions. An important dimension of mathematical cognition almost completely absent from their discussion is the cultural constitution of mathematical cognition. Spanning work from a broad range of disciplines – including anthropology, archaeology, cognitive science, history of science, linguistics, philosophy, and psychology – (...) we argue that for any research agenda on mathematical cognition the cultural dimension is indispensable, and we propose a set of exemplary research questions related to it. (shrink)

Monsters lurk within mathematical as well as literary haunts. I propose to trace some pathways between these two monstrous habitats. I start from Jeffrey Jerome Cohen’s influential account of monster culture and explore how well mathematical monsters fit each of his seven theses. The mathematical monsters I discuss are drawn primarily from three distinct but overlapping domains. Firstly, late nineteenth-century mathematicians made numerous unsettling discoveries that threatened their understanding of their own discipline and challenged their intuitions. The great French mathematician (...) Henri Poincaré characterised these anomalies as ‘monsters’, a name that stuck. Secondly, the twentieth-century philosopher Imre Lakatos composed a seminal work on the nature of mathematical proof, in which monsters play a conspicuous role. Lakatos coined such terms as ‘monster-barring’ and ‘monster-adjusting’ to describe strategies for dealing with entities whose properties seem to falsify a conjecture. Thirdly, and most recently, mathematicians dubbed the largest of the sporadic groups ‘the Monster’, because of its vast size and uncanny properties, and because its existence was suspected long before it could be confirmed. (shrink)

The role of mathematics in scientific practice is too readily relegated to that of formulating equations that model or describe what is being investigated, and then finding solutions to those equations. I survey the role of mathematics in: 1. Exact solutions of differential equations, especially conformal mapping; and 2. Simulations of solutions to differential equations via numerical methods and via agent-based models; and 3. The use of experimental models to solve equations (a) via physical analogies based on (...) similarity of the form of the equations, such as Prandtl’s soap-film method, and (b) the method of physically similar systems. Two major themes emerge: First, the role of mathematics in science is not well described by deduction from axioms, although it generally involves deductive reasoning. Creative leaps, the integration of experimental or observational evidence, synthesis of ideas from different areas of mathematics, and insight regarding analogous forms are required to find solutions to equations. Second, methods that involve mappings or transformations are in use in disparate contexts, from the purely mathematical context of conformal mapping where it is mathematical objects that are mapped, to the use of concrete physical experimental models, where one concrete thing is shown to correspond to another. (shrink)

ArgumentJohannes Kepler published hisAstronomia novain 1609, based upon a huge amount of computations. The aim of this paper is to show that Kepler's new astronomy was grounded on methods from numerical analysis. In his research he applied and improved methods that required iterative calculations, and he developed precompiled mathematical tables to solve the problems, including a transcendental equation. Kepler was aware of the shortcomings of his novel methods, and called for a new Apollonius to offer a formal mathematical deduction. (...) He was also in great need of computational power, and his friend and colleague, Wilhelm Schickard, constructed the first prototype of a true mechanical calculator, although it never came into regular use. The article concludes that Kepler's new astronomy was clearly backed up by numerical methods and embedded concepts and challenges of great importance for the future development of numerical analysis. (shrink)

We argue that the mathematization of science should be understood as a normative activity of advocating for a particular methodology with its own criteria for evaluating good research. As a case study, we examine the mathematization of taxonomic classification in systematic biology. We show how mathematization is a normative activity by contrasting its distinctive features in numerical taxonomy in the 1960s with an earlier reform advocated by Ernst Mayr starting in the 1940s. Both Mayr and the numerical taxonomists (...) sought to formalize the work of classification, but Mayr introduced a qualitative formalism based on human judgment for determining the taxonomic rank of populations, while the numerical taxonomists introduced a quantitative formalism based on automated procedures for computing classifications. The key contrast between Mayr and the numerical taxonomists is how they conceptualized the temporal structure of the workflow of classification, specifically where they allowed meta-level discourse about difficulties in producing the classification. (shrink)