We describe recent developments in research on mathematical practice and cognition and outline the nine contributions in this special issue of topiCS. We divide these contributions into those that address (a) mathematical reasoning: patterns, levels, and evaluation; (b) mathematical concepts: evolution and meaning; and (c) the number concept: representation and processing.

Frank Quinn of Jaffe-Quinn fame worked out the basics of his own account of how mathematical practice should be described and analyzed, partly by historical comparisons with 19th century mathematics, partly by an analysis of contemporary mathematics and its pedagogy. Despite his claim that for this task, "professional philosophers seem as irrelevant as Aristotle is to modern physics," this philosophy talk will provide a critical summary of his main observations and arguments. The goal is to inject some of (...) Quinns remarks to the current conversation on mathematical practice. [1] Jaffe, Arthur, Quinn, Frank. "Theoretical Mathematics: Towards a synthesis of mathematics and theoretical physics," Bulletin of the American Mathematical Society NS 29:1, 113. [2] Quinn, Frank. Contributions to a Science of Mathematics, manuscript, 98pp. [3] Quinn, Frank. "A revolution in mathematics? What really happened a century ago and why it matters today," Notices American Mathematical Society 59:1 31-37. (shrink)

This article looks at recent work in cognitive science on mathematical cognition from the perspective of history and philosophy of mathematical practice. The discussion is focused on the work of Lakoff and Núñez, because this is the first comprehensive account of mathematical cognition that also addresses advanced mathematics and its history. Building on a distinction between mathematics as it is presented in textbooks and as it presents itself to the researcher, it is argued that (...) the focus of cognitive analyses of historical developments of mathematics has been primarily on the former, even if they claim to be about the latter. (shrink)

The published works of scientists often conceal the cognitive processes that led to their results. Scholars of mathematical practice must therefore seek out less obvious sources. This article analyzes a widely circulated mathematical joke, comprising a list of spurious proof types. An account is proposed in terms of argumentation schemes: stereotypical patterns of reasoning, which may be accompanied by critical questions itemizing possible lines of defeat. It is argued that humor is associated with risky forms of inference, (...) which are essential to creative mathematics. The components of the joke are explicated by argumentation schemes devised for application to topic-neutral reasoning. These in turn are classified under seven headings: retroduction, citation, intuition, meta-argument, closure, generalization, and definition. Finally, the wider significance of this account for the cognitive science of mathematics is discussed. (shrink)

This paper attempts to look at the contemporary mathematical practice through the lenses of the distributed cognition approach. The ubiquitous use of personal computers and the internet as a key attribute of the digital society is interpreted here as a means to achieve a more effective distribution of the human cognitive activity. The major challenge that determines the transformation of mathematical practice is identified as ‘the problem of complexity’. The computer-assisted complete formalization of mathematical (...) proofs as a current tendency is viewed as one of the strands along which the mathematical community responds to the challenge. It is shown that this tendency gives live to the project calling to revisit and rebuild the very foundations of mathematics to secure more effective communication and thus guarantee the reliability of contemporary mathematics. (shrink)

In the field of mathematics education, one of the main questions remaining under debate is whether students’ development of mathematical reasoning and problem-solving is aided more by solving tasks with given instructions or by solving them without instructions. It has been argued, that providing little or no instruction for a mathematical task generates a mathematical struggle, which can facilitate learning. This view in contrast, tasks in which routine procedures can be applied can lead to mechanical repetition with (...) little or no conceptual understanding. This study contrasts Creative Mathematical Reasoning (CMR), in which students must construct the mathematical method, with Algorithmic Reasoning (AR), in which predetermined methods and procedures on how to solve the task are given. Moreover, measures of fluid intelligence and working memory capacity are included in the analyses alongside the students’ math tracks. The results show that practicing with CMR tasks was superior to practicing with AR tasks in terms of students’ performance onpracticed test tasksandtransfer test tasks. Cognitive proficiency was shown to have an effect on students’ learning for both CMR and AR learning conditions. However, math tracks (advanced versus a more basic level) showed no significant effect. It is argued that going beyond step-by-step textbook solutions is essential and that students need to be presented with mathematical activities involving a struggle. In the CMR approach, students must focus on the relevant information in order to solve the task, and the characteristics of CMR tasks can guide students to the structural features that are critical for aiding comprehension. (shrink)

Most previous research on human cognition has focused on problem-solving, and has confined its investigations to the laboratory. As a result, it has been difficult to account for complex mental processes and their place in culture and history. In this startling - indeed, disco in forting - study, Jean Lave moves the analysis of one particular form of cognitive activity, - arithmetic problem-solving - out of the laboratory into the domain of everyday life. In so doing, she shows how (...) mathematics in the 'real world', like all thinking, is shaped by the dynamic encounter between the culturally endowed mind and its total context, a subtle interaction that shapes 1) Both tile human subject and the world within which it acts. The study is focused on mundane daily, activities, such as grocery shopping for 'best buys' in the supermarket, dieting, and so on. Innovative in its method, fascinating in its findings, the research is above all significant in its theoretical contributions. Have offers a cogent critique of conventional cognitive theory, turning for an alternative to recent social theory, and weaving a compelling synthesis from elements of culture theory, theories of practice, and Marxist discourse. The result is a new way of understanding human thought processes, a vision of cognition as the dialectic between persons-acting, and the settings in which their activity is constituted. The book will appeal to anthropologists, for its novel theory of the relation of cognition to culture and context; to cognitive scientists and educational theorists; and to the 'plain folks' who form its subject, and who will recognize themselves in it, a rare accomplishment in the modern social sciences. (shrink)

This book is meant as a part of the larger contemporary philosophical project of naturalizing logico-mathematical knowledge, and addresses the key question that motivates most of the work in this field: What is philosophically relevant about the nature of logico-mathematical knowledge in recent research in psychology and cognitive science? The question about this distinctive kind of knowledge is rooted in Plato’s dialogues, and virtually all major philosophers have expressed interest in it. The essays in this collection tackle this (...) important philosophical query from the perspective of the modern sciences of cognition, namely cognitive psychology and neuroscience. _Naturalizing Logico-Mathematical Knowledge _contributes to consolidating a new, emerging direction in the philosophy of mathematics, which, while keeping the traditional concerns of this sub-discipline in sight, aims to engage with them in a scientifically-informed manner. A subsequent aim is to signal the philosophers’ willingness to enter into a fruitful dialogue with the community of cognitive scientists and psychologists by examining their methods and interpretive strategies. (shrink)

The attitude toward mathematics is shaped by cognitive components such as beliefs and cognitive processes. However, the importance of cognitive processes in attitude toward mathematics has not yet been researched. Therefore, this study aimed to identify the role of cognitive processes, creativity and cognitive flexibility, in the attitude toward mathematics of future teachers. For that purpose, 218 University students and preservice teachers, completed assignments on creativity and cognitive flexibility and a questionnaire on attitude toward mathematics. The results showed that the (...) use of innovative details (a creativity subscale) rises the probability of exhibiting a positive attitude toward mathematics by 1.81. Besides, cognitive flexibility rises this probability by 2.32. The conclusion is that both, details and cognitive flexibility act as good predictors of a positive attitude toward mathematics. This has implications for educational practice in the planning of mathematics instruction in higher education, specifically, in future teachers. (shrink)

In the past 10 years, contemporary philosophy of mathematics has seen the development of a trend that conceives mathematics as first and foremost a human activity and in particular as a kind of practice. However, only recently the need for a general framework to account for the target of the so-called philosophy of mathematical practice has emerged. The purpose of the present article is to make progress towards the definition of a more precise general framework for the (...) philosophy of mathematical practice by exploring two strategies. A first strategy is to turn to philosophy of mind and Edwin Hutchins' view of distributed cognition in order to better understand the cognitive issues at play when considering a community of mathematicians; a second strategy is to refer to philosophy of language and focus on Robert Brandom's inferentialism and mathematical conceptual content. A possible combination of these two views, called enhanced material inferentialism, is then put forward as a promising framework to account for the philosophy of mathematical practice. (shrink)

Siyaves Azeri (2020) quite well shows that arithmetical thinking emerges on the basis of specific social practices and material engagement (clay tokens for economic exchange practices beget number concepts, e.g.). But his discussion here is relegated mostly to Neolithic and Bronze Age practices. While surely such practices produced revolutions in the cognitive abilities of many humans, much of the cognitive architecture that allows normative conceptual thought was already in place long before this time. This response, then, is an attempt to (...) sketch the deep prehistory of human cognition in order to show the inter-social bases of normative thought in general. To do this, I will look first to the work of Vygotsky and Leontiev, two often neglected psychologists whose combined efforts culminate in a developmental account of human cognitive origins. Then, I will review some key insights from the contemporary comparative psychologist Michael Tomasello—whose project is admittedly a Vygotskian one—in order to further shed light on the social-practical basis of abstract thought, of which mathematical cognition is surely a part. (shrink)

The concept of infinity has a long and troubled history. Thus it is a promising concept with which to explore rejection, disagreement, controversy and acceptance in mathematical practice. This paper briefly considers four cases from the history of infinity, drawing on social constructionism as the background social theory. The unit of analysis of social constructionism is conversation. This is the social mechanism whereby new mathematical claims are proposed, scrutinised and critiqued. Minimally, conversation is based on the two (...) roles of proponent and critic. The proponent puts forward a proposal, which is reacted to and evaluated by those in the role of critic. There is a continuum of contexts in which such conversations take place from inner conversations the mathematician has within themselves, and casual face-to face interactions between mathematicians at the chalkboard, all the way to the formal responses of referees and editors to submitted journal papers. Such responses vary from unconditional acceptance, partial acceptance through to outright rejection. There may be disagreements between proponents and critics, among those in the joint role of critic, and broader, community-wide disagreements and controversies, according to specific mathematical proposal and the critical judgements of it. (shrink)

Records of online collaborative mathematical activity provide us with a novel, rich, searchable, accessible and sizeable source of data for empirical investigations into mathematical practice. In this paper we discuss how the resources of crowdsourced mathematics can be used to help formulate and answer questions about mathematical practice, and what their limitations might be. We describe quantitative approaches to studying crowdsourced mathematics, reviewing work from cognitive history (comparing individual and collaborative proofs); social psychology (on the (...) prospects for a measure of collective intelligence); human–computer interaction (on the factors that led to the success of one such project); network analysis (on the differences between collaborations on open research problems and known-but-hard problems); and argumentation theory (on modelling the argument structures of online collaborations). We also give an overview of qualitative approaches, reviewing work from empirical philosophy (on explanation in crowdsourced mathematics); sociology of scientific knowledge (on conventions and conversations in online mathematics); and ethnography (on contrasting conceptions of collaboration). We suggest how these diverse methods can be applied to crowdsourced mathematics and when each might be appropriate. (shrink)

Mathematics is a highly specialised arena of human endeavour, one in which complex notations are invented and are subjected to complex and involved manipulations in the course of everyday work. What part do these writing practices play in mathematical communication, and how can we understand their use in the mathematical world in relation to theories of communication and cognition? To answer this, I examine in detail an excerpt from a research meeting in which communicative board-writing practices can (...) be observed, and attempt to explain the observed exchanges with reference to relevance theory (a cognitivist theory of pragmatics), in combination with the situated cognition paradigm. Successful communication in the excerpt appears well described by the notion of metacognitive acquaintance, as described in Sperber & Wilson (2015), especially when a situated view of cognition is adopted. Though this example is taken from a relatively informal face-to-face communicative situation, characteristics of such situations extend even into formal written mathematics, since even the technical terminology developed in the course of the meeting includes details that may provide readers with a kind of access to the mathematicians’ cognitive processes. (shrink)

Why study notations, diagrams, or more broadly the variety of nonverbal “representations” or “signs” that are used in mathematical practice? This chapter maps out recent work on the topic by distinguishing three main philosophical motivations for doing so. First, some work (like that on diagrammatic reasoning) studies signs to recover norms of informal or historical mathematical practices that would get lost if the particular signs that these practices rely on were translated away; work in this vein has (...) the potential to broaden our view of the specific normativity of mathematics beyond logical proof. Second, some work focuses on signs to highlight the open-ended and “nonrigorous” aspects of mathematical practice, and the role of these aspects in the historical development of mathematics. The third motivation is based on the following observation: the reason differences in signs matter in mathematics is that humans are finite agents, with cognitive and computational limitations. Accordingly, studying signs can be a way to study how human computational constraints shape the mathematics that we do, and to tackle the topic of mathematical understanding. (shrink)

Proponents of practice-based accounts of science often reject theory-based accounts, and seek to explain scientific theory reductively in terms of practice. I consider two examples: Dimitri Ginev and Joseph Rouse. Both draw inspiration from Martin Heidegger’s existential conception of science. And both allege that Heidegger ultimately betrayed his insight that theory can be reduced to practice when he sought to explain modern science in terms of a theory-based “mathematical projection of nature.” I argue that Heidegger believed (...) neither that theory can be reduced to practice nor that the mathematical projection is theory-based. For Heidegger, the mathematical projection is the existential condition of possibility for modern science. The theory and practice of modern science represent two distinct modes of this single existential ground state. (shrink)

This book positions itself at the intersection of the key areas of the modern humanities. Different authors from a variety of countries take innovative approaches to investigating multimodal communication, adapting pedagogical design to digital environments and enhancing cognitive skills through transformations in teaching and learning practices. The eclectic forms under study require eclectic approaches and methodologies, and the authors cross disciplinary boundaries drawing on philosophy, linguistics, semiotics, computational linguistics, mathematics, cognitive studies and neuroaesthetics. Part I presents methods of analysing multimodal (...) communication in its different displays, covering promotional video in crowdfunding project presentations, multimodal public signs of prohibition and visuals as arguments. Part II explores varied teaching methodologies that have emerged as a result of and in response to modern technological changes and contains some practical hints for educators. It demonstrates the pedagogical potential of video games, virtual worlds, linguistic corpora and online dictionaries. Part III focuses on psychological and cognitive factors influencing success in the classroom, primarily, ways of developing students’ and teachers’ personalities. The volume sits at the intersection between Communication Studies, Digital Humanities, Discourse Analysis, Education Theory and Cognitive Studies and is useful to scholars and students of communication, languages, education and other areas of the humanities. This book should trigger scholarly discussions as well as stimulating practitioners’ interest in these fields. (shrink)

The concept of an operator is used in a variety of practical and theoretical areas. Operators, as both conceptual and physical entities, are found throughout the world as subsystems in nature, the human mind, and the manmade world. Operators, and what they operate, i.e., their substrates, targets, or operands, have a wide variety of forms, functions, and properties. Operators have explicit philosophical significance. On the one hand, they represent important ontological issues of reality. On the other hand, epistemological operators form (...) the basic mechanism of cognition. At the same time, there is no unified theory of the nature and functions of operators. In this work, we elaborate a detailed analysis of operators, which range from the most abstract formal structures and symbols in mathematics and logic to real entities, human and machine, and are responsible for effecting changes at both the individual and collective human levels. Our goal is to find what is common in physical objects called operators and abstract mathematical structures, with the name operator providing foundations for building a unified but flexible theory of operators. The paper concludes with some reflections on functionalism and other philosophical aspects of the ‘operation’ of operators. (shrink)

What sorts of epistemic virtues are required for effective mathematical practice? Should these be virtues of individual or collective agents? What sorts of corresponding epistemic vices might interfere with mathematical practice? How do these virtues and vices of mathematics relate to the virtue-theoretic terminology used by philosophers? We engage in these foundational questions, and explore how the richness of mathematical practices is enhanced by thinking in terms of virtues and vices, and how the philosophical picture (...) is challenged by the complexity of the case of mathematics. For example, within different social and interpersonal conditions, a trait often classified as a vice might be epistemically productive and vice versa. We illustrate that this occurs in mathematics by discussing Gerovitch’s historical study of the aggressive adversarialism of the Gelfand seminar in post-war Moscow. From this we conclude that virtue epistemologies of mathematics should avoid pre-emptive judgments about the sorts of epistemic character traits that ought to be promoted and criticised. (shrink)

The argument of this paper is that we should think of the extension of cognitive abilities and cognitive character in integrationist terms. Cognitive abilities are extended by acquired practices of creating and manipulating information that is stored in a publicly accessible environment. I call these cognitive practices (2007). In contrast to Pritchard (2010) I argue that such processes are integrated into our cognitive characters rather than artefacts; such as notebooks. There are two routes to cognitive extension that I contrast in (...) the paper, the first I call artefact extension which is the now classic position of the causal coupling of an agent with an artefact. This approach needs to overcome the objection from cognitive outsourcing: that we simply get an artefact or tool to do the cognitive processing for us without extending our cognitive abilities. Enculturated cognition, by contrast, does not claim that artefacts themselves extend our cognitive abilities, but rather that the acquired practices for manipulating artefacts and the information stored in them extend our cognitive abilities (by augmenting and transforming them). In the rest of the paper I provide a series of arguments and cases which demonstrate that an enculturated approach works better for both epistemic and cognitive cases of the extension of ability and character. (shrink)

In argumentation studies, almost all theoretical proposals are applied, in general, to the analysis and evaluation of argumentative products, but little attention has been paid to the creative process of arguing. Mathematics can be used as a clear example to illustrate some significant theoretical differences between mathematical practice and the products of it, to differentiate the distinct components of the arguments, and to emphasize the need to address the different types of argumentative discourse and argumentative situation in the (...) practice. I consider some issues of recent papers associated with mathematical argumentation in an attempt to contribute to the discussion about the role of arguing in mathematical practice and in the evaluation of the products of this practice. I apply this discussion to learning environments to defend the thesis that argumentative practice should be encouraged when teaching technical subjects to convey a better understanding and to improve thought and creativity. (shrink)

According to the traditional nomological-deductive methodology of physics and chemistry [Hempel and Oppenheim, 1948], explaining a phenomenon means subsuming it under a law. Logic becomes then the glue of explanation and laws the primary explainers. Thus, the scientific study of a system would consist in the development of a logically sound model of it, once the relevant observables (state variables) are identified and the general laws governing their change (expressed as differential equations, state transition rules, maximization/minimization principles,. . . ) (...) are well determined, together with the initial or boundary conditions for each particular case. Often this also involves making a set of assumptions about the elementary components of the system (e.g., their structural and dynamic properties) and modes of local interaction. In this framework, predictability becomes the main goal and that is why research is carried out through the construction of accurate mathematical models. Thus, physics and chemistry have made most progress so far by focusing on systems that, either due to their intrinsic properties or to the conditions in which they are investigated, allow for very strong simplifying assumptions, under which, nevertheless, those highly idealized models of reality are deemed to be in good correspondence with reality itself. Despite the enormous success that this methodology has had, the study of living and cognitive phenomena had to follow a very different road, because these phenomena are produced by systems whose underlying material structure and organization do not permit such crude approximations. Seen from the perspective of physics or chemistry, biological and cognitive systems are made of an enormous number of parts or elements interacting in non-linear and selective ways, which makes very difficult their tractability through mathematical models. In addition, many of those interacting elements are hierarchically organized, in a way that the “macroscopic” (observable) parts behave according to rules that cannot be, in practice, derived from simple principles at the level of their “microscopic” dynamics.. (shrink)

On knowledge and practices: a manifesto -- The web of practices -- Agents and frameworks -- Complementarity in mathematics -- Ancient Greek mathematics: a role for diagrams -- Advanced math: the hypothetical conception -- Arithmetic certainty -- Mathematics developed: the case of the reals -- Objectivity in mathematical knowledge -- The problem of conceptual understanding.

Proof requires a dialogue between agents to clarify obscure inference steps, fill gaps, or reveal implicit assumptions in a purported proof. Hence, argumentation is an integral component of the discovery process for mathematical proofs. This work presents how argumentation theories can be applied to describe specific informal features in the development of proof-events. The concept of proof-event was coined by Goguen who described mathematical proof as a public social event that takes place in space and time. This new (...) meta-methodological concept is designed to cover not only “traditional” formal proofs but all kinds of proofs and inference steps, including incomplete or purported proofs. Our approach attempts to make proof-events more comprehensive to express the complete trajectory of a mathematical proof-event until the ultimate validation of the proving outcome. Thus, we advance an extended version of proof-event calculus which is built on argumentation theories designed to capture the internal and external structure of collaborative mathematical practice and highlight the relationship between proof, human reasoning, and cognitive processes. In addition, another area in which argumentation can make a significant contribution is dealing with the defeasible knowledge of the Web which is a product of its open and ubiquitous nature. This approach seems to be sufficient for the presentation of Web-based proving processes as manifested in the case of the Mini-Polymath 4 project. (shrink)

The use of figurate numbers (e. g. in the context of elementary number theory) can be considered a heuristic in the field of problem solving or proving. In this paper, we want to discuss this heuristic from the perspectives of the semiotic theory of Peirce (“diagrammatic reasoning” and “collateral knowledge”) and cognitive psychology (“schema theory” and “Gestalt psychology”). We will make use of several results taken from our research to illustrate first-year students’ problems when dealing with figurate numbers in the (...) context of proving. The considerations taken from both theoretical perspectives will help to partly explain such phenomena. It will be shown that the use of figurate numbers must not be considered to be any kind of help for learners or some way of ‘easy’ mathematics. Working in this representational system has to be learned and practiced as another kind of knowledge is necessary for working with figurate numbers. The named findings also touch upon the concept of ‘proofs that explain’. Finally, we will highlight some implications for teaching and point to a number of demands for future research. (shrink)

The purpose of the present study was to investigate the effect and use of distributed practice in the context of self-regulated mathematical learning in high school. With distributed practice, a fixed learning duration is spread over several sessions, whereas with massed practice, the same time is spent learning in one session. Distributed practice has been proven to be an effective tool for improving long-term retention of verbal material and simple procedural knowledge in mathematics, at least (...) when the practice schedule is externally guided. In the present study, distributed practice was investigated in a context that required a higher degree of self-regulation. In total, 158 secondary school students were invited to participate. After motivational and cognitive characteristics of the students were assessed, the students were introduced to basic statistics, a topic of their regular curriculum. At the end of the introduction, the students could sign up for the study to further practice this content. Eighty-seven students did so and were randomly assigned either to the distributed or to the massed practice condition. In the distributed practice condition, they received three practice sets on three different days. In the massed practice condition, they received the same three sets, but all on one day. All exercises were worked in the context of self-regulated learning at home. Performance was tested two weeks after the last practice set. Only 44 students finished the study, which hampered the analysis of the effect of distributed practice. The characteristics of the students who completed the exercises were analyzed exploratory: The proportion of students who finished all exercises was significantly higher in the massed than in the distributed practice condition. Within the distributed practice condition, a significantly larger proportion of female students completed the exercises compared to male students. Additionally, among these female students, a larger proportion showed lower concentration difficulty. No such differential effects were revealed in the massed practice condition. Our results suggest that the use of distributed practice in the context of self-regulated learning might depend on learner characteristics. Accordingly, distributed practice might obtain more reliable effects in more externally guided learning contexts. (shrink)

In current philosophical research, there is a rather one-sided focus on the foundations of proof. A full picture of mathematical practice should however additionally involve considerations about various methodological aspects. A number of these is identified, from large-scale to small-scale ones. After that, naturalism, a philosophical school concerned with scientific practice, is looked at, as far as the translations of its epistemic principles to mathematics is concerned. Finally, we call for intensifying the interaction between both dimensions of (...) practice and epistemology. (shrink)

In current philosophical research, there is a rather one-sided focus on the foundations of proof. A full picture of mathematical practice should however additionally involve considerations about various methodological aspects. A number of these is identified, from large-scale to small-scale ones. After that, naturalism, a philosophical school concerned with scientific practice, is looked at, as far as the translations of its epistemic principles to mathematics is concerned. Finally, we call for intensifying the interaction between both dimensions of (...) practice and epistemology. (shrink)

In current philosophical research, there is a rather one-sided focus on the foundations of proof. A full picture of mathematical practice should however additionally involve considerations about various methodological aspects. A number of these is identified, from large-scale to small-scale ones. After that, naturalism, a philosophical school concerned with scientific practice, is looked at, as far as the translations of its epistemic principles to mathematics is concerned. Finally, we call for intensifying the interaction between both dimensions of (...) practice and epistemology. (shrink)

Leonardo da Vinci’s extensive drawings and notes devoted to anatomy do not arise in a medical context. He does not engage with surgery or “physic.” Rather, his aim is to reveal what he understood to be the divine engineering of God’s greatest creation. His earliest anatomical drawings map the conduits for the “spirits” at a deep level not practiced by other artists interested in the human body. The first set of drawings he produced in 1489 describes skulls with brilliant draftsmanship. (...) His notes for these drawings are predominantly concerned with the location of the “common sense” (sensus communis) at the geometrical center of the cranium. The next great set of drawings completed in ca. 1510 expounds the form and functions of the bones and muscles in meticulous mechanical detail, probably in collaboration with the young Paduan doctor, Marcantonio della Torre. Leonardo’s greatest realization of mathematics in anatomy comes when he looks at the valves of the heart; in studying the heart he also conceived a casting technique that he adapted to determine the form of the ventricles in the brain, radically revising the traditional arrangement of these structures. In a range of portrayals from diagrammatic to pictorial and from static to dynamic, Leonardo’s anatomical research is unrivalled in revealing the mechanics of the human body. His work in this context is an underappreciated precursor of the modern science of biomechanics. (Larger-sized versions of the Leonardo drawings presented here are available as supplementary material in the online version of this article.). (shrink)

Cognitive innovation has shaped and transformed our cognitive capacities throughout history. Until recently, cognitive innovation has not received much attention by empirical and conceptual research in the cognitive sciences. This paper is a first attempt to help close this gap. It will be argued that cognitive innovation is best understood in connection with cumulative cultural evolution and enculturation. Cumulative cultural evolution plays a vital role for the inter-generational transmission of the products of cognitive innovation. Furthermore, there are at least two (...) important functions of enculturation for cognitive innovation. First, enculturation is responsible for the ontogenetic acquisition of cognitive practices governing the interaction with innovative products. Second, successful processes of enculturation provide opportunities for subsequent innovative processes. The trans-generational trajectory of calculation from mathematical symbol systems to the first digital computers will serve as a paradigm example of the delicate interplay of cognitive innovation, cumulative cultural evolution, and enculturation. (shrink)

If there is an area of discourse in which disagreement is virtually absent, it is mathematics. After all, mathematicians justify their claims with deductive proofs: arguments that entail their conclusions. But is mathematics really exceptional in this respect? Looking at the history and practice of mathematics, we soon realize that it is not. First, deductive arguments must start somewhere. How should we choose the starting points (i.e., the axioms)? Second, mathematicians, like the rest of us, are fallible. Their ability (...) to recognize whether a putative proof is correct is not infallible. In most cases, disagreement over the correctness of a putative proof is, however, evanescent. Once an error is spotted and communicated, the disagreement disappears. But this is not always the case. Sometimes it is recalcitrant; that is, it persists over time. In order to zoom in on this type of disagreement and explain its very possibility, we focus on a single case study: a decades-long (1921-1949) controversy between Federigo Enriques and Francesco Severi, two prominent exponents of the Italian school of algebraic geometry. We suggest that the instability of the mathematical community to which they belonged can be explained by the gap between an abstract criterion of rigor and local criteria of acceptability. It is this instability that made the existence of recalcitrant disagreement over putative proofs possible. We do not condemn speculative mathematics but rather its pretense of being rigorous mathematics. In this respect, we show that the overly self-confident Severi and the more intuitive, visionary Enriques had a completely different attitude. (shrink)

A large portion of mathematics education centers heavily around imitative reasoning and rote learning, raising concerns about students’ lack of deeper and conceptual understanding of mathematics. To address these concerns, there has been a growing focus on students learning and teachers teaching methods that aim to enhance conceptual understanding and problem-solving skills. One suggestion is allowing students to construct their own solution methods using creative mathematical reasoning, a method that in previous studies has been contrasted against algorithmic reasoning with (...) positive effects on test tasks. Although previous studies have evaluated the effects of CMR, they have ignored if and to what extent intrinsic cognitive motivation play a role. This study investigated the effects of intrinsic cognitive motivation to engage in cognitive strenuous mathematical tasks, operationalized through Need for Cognition, and working memory capacity. Two independent groups, consisting of upper secondary students, practiced non-routine mathematical problem solving with CMR and AR tasks and were tested 1 week later. An initial t-test confirmed that the CMR group outperformed the AR group. Structural equation modeling revealed that NFC was a significant predictor of math performance for the CMR group but not for the AR group. The results also showed that WMC was a strong predictor of math performance independent of group. These results are discussed in terms of allowing for time and opportunities for struggle with constructing own solution methods using CMR, thereby enhancing students conceptual understanding. (shrink)

The study of presumptions has intensified in argumentation theory over the last years. Although scholars put forward different accounts, they mostly agree that presumptions can be studied in deliberative and epistemic contexts, have distinct contextual functions, and promote different kinds of goals. Accordingly, there are “practical” and “cognitive” presumptions. In this paper, I show that the differences between practical and cognitive presumptions go far beyond contextual considerations. The central aim is to explore Nicholas Rescher’s contention that both types of presumptions (...) have a closely analogous pragmatic function, i.e., that practical and cognitive presumptions are made to avoid greater harm in circumstances of epistemic uncertainty. By comparing schemes of practical and cognitive reasoning, I show that Rescher’s contention requires qualifications. Moreover, not only do practical and cognitive presumptions have distinct pragmatic functions, but they also perform different dialogical functions and, in some circumstances, cannot be defeated by the same kinds of evidence. Hence, I conclude that the two classes of presumptions merit distinct treatment in argumentation theory. (shrink)

Marr’s seminal distinction between computational, algorithmic, and implementational levels of analysis has inspired research in cognitive science for more than 30 years. According to a widely-used paradigm, the modelling of cognitive processes should mainly operate on the computational level and be targeted at the idealised competence, rather than the actual performance of cognisers in a specific domain. In this paper, we explore how this paradigm can be adopted and revised to understand mathematical problem solving. The computational-level approach applies methods (...) from computational complexity theory and focuses on optimal strategies for completing cognitive tasks. However, human cognitive capacities in mathematical problem solving are essentially characterised by processes that are computationally sub-optimal, because they initially add to the computational complexity of the solutions. Yet, these solutions can be optimal for human cognisers given the acquisition and enactment of mathematical practices. Here we present diagrams and the spatial manipulation of symbols as two examples of problem solving strategies that can be computationally sub-optimal but humanly optimal. These aspects need to be taken into account when analysing competence in mathematical problem solving. Empirically informed considerations on enculturation can help identify, explore, and model the cognitive processes involved in problem solving tasks. The enculturation account of mathematical problem solving strongly suggests that computational-level analyses need to be complemented by considerations on the algorithmic and implementational levels. The emerging research strategy can help develop algorithms that model what we call enculturated cognitive optimality in an empirically plausible and ecologically valid way. (shrink)

In this article, I will discuss the relationship between mathematical intuition and mathematical visualization. I will argue that in order to investigate this relationship, it is necessary to consider mathematical activity as a complex phenomenon, which involves many different cognitive resources. I will focus on two kinds of danger in recurring to visualization and I will show that they are not a good reason to conclude that visualization is not reliable, if we consider its use in (...) class='Hi'>mathematical practice. Then, I will give an example of mathematical reasoning with a figure, and show that both visualization and intuition are involved. I claim that mathematical intuition depends on background knowledge and expertise, and that it allows to see the generality of the conclusions obtained by means of visualization. (shrink)

This book gathers together novel essays on the state-of-the-art research into the logic and practice of abduction. In many ways, abduction has become established and essential to several fields, such as logic, cognitive science, artificial intelligence, philosophy of science, and methodology. In recent years this interest in abduction’s many aspects and functions has accelerated. There are evidently several different interpretations and uses for abduction. Many fundamental questions on abduction remain open. How is abduction manifested in human cognition and (...) intelligence? What kinds or types of abduction can be discerned? What is the role for abduction in inquiry and mathematical discovery? The chapters aim at providing answer to these and other current questions. Their contributors have been at the forefront of discussions on abduction, and offer here their updated approaches to the issues that they consider central to abduction’s contemporary relevance. The book is an essential reading for any scholar or professional keeping up with disciplines impacted by the study of abductive reasoning, and its novel development and applications in various fields. (shrink)

Mathematicians’ use of external representations, such as symbols and diagrams, constitutes an important focal point in current philosophical attempts to understand mathematical practice. In this paper, we add to this understanding by presenting and analyzing how research mathematicians use and interact with external representations. The empirical basis of the article consists of a qualitative interview study we conducted with active research mathematicians. In our analysis of the empirical material, we primarily used the empirically based frameworks provided by distributed (...) cognition and cognitive semantics as well as the broader theory of cognitive integration as an analytical lens. We conclude that research mathematicians engage in generative feedback loops with material representations, that they use representations to facilitate the use of experiences of handling the physical world as a resource in mathematical work, and that their use of representations is socially sanctioned and enabled. These results verify the validity of the cognitive frameworks used as the basis for our analysis, but also show the need for augmentation and revision. Especially, we conclude that the social and cultural context cannot be excluded from cognitive analysis of mathematicians’ use of external representations. Rather, representations are socially sanctioned and enabled in an enculturation process. (shrink)

This paper argues that paradox offers an ideal didactic context for open-ended group discussion, for the intensive practice of reasoning, acquiring dispositions critical for mathematical thinking, and higher order learning. In order to characterize the full pedagogical range of paradox, I offer a short overview of the effects of paradox, followed by a discussion of some parallels between the use of paradox in paradoxical psychotherapy and the use of the koan in Zen Buddhist spiritual training. Reasoning with paradoxes (...) in a community of mathematical inquiry is interpreted as a comparative if not isomorphic pedagogical and cognitive phenomenon. Finally, some broad implications are drawn for mathematical inquiry with paradoxes. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Handbook of Cognitive Mathematics ed. by Marcel DanesiNathan HaydonMarcel Danesi (Ed) Handbook of Cognitive Mathematics Cham, Switzerland: Springer International, 2022, vii + 1383, including indexFor one acquainted with C.S. Peirce, it is hard to see Springer's recent Handbook of Cognitive Mathematics (editor: Marcel Danesi) through none other than a Peircean lens. Short for the cognitive science of mathematics, such a modern, scientific pursuit into the nature and study (...) of mathematical practice would no doubt be found agreeable to Peirce. The fact that references to Peirce appear often throughout the Handbook is a welcome find, with Peirce's ideas being a key subject of half a dozen chapters, and where a reader of any other chapter may well find further connections to Peirce's ideas. After spending time with the Handbook, it is clear that cognitive mathematics has not only embraced some of Pierce's ideas but may be at an important forefront of Peirce studies. In the end, the field may well be an area a Peircean should pay attention to.The book itself is pitched as a reference volume to the field (p. v) with the necessary background to familiarize oneself with the aims and results. The connection to cognitive science may call to mind detailed cognitive models [Ch. 10–14], theories on the origins of numeracy and other theories behind the biological and evolutionary requirements of mathematical thought [Ch.15–18], and the like. These are all present. But a key theme of the Handbook is to situate mathematics not just within more traditional 'cognitive' faculties and the more formal, i.e. algebraic, presentations of mathematics, but also to place mathematics within other human faculties and practices, from the arts to language [Ch. 19–22], within education and learning more broadly [Ch. 23–26], and in relation to the significant, though at first perhaps less quantitative parts of mathematics, like the use of metaphor, gesture, analogy, [End Page 243] abstraction, as well as further cultural and ethnographic considerations [Ch. 5–8]. The Handbook has explicitly taken a broader, more interdisciplinary approach (p. vi–vii) towards the scientific aspects of mathematical practice—choosing to regulate the study not by antecedently drawn opinions about what mathematics is (or has traditionally been taken to be) but by what future quantifiable and diverse study may come to bear on the practice and have to say about those engaging in it.This broad interdisciplinarity has a pragmatist ring, where theory cannot so easily be separated from the normative, social, and, more generally, the more thoroughly human aspects that we encounter and employ when we engage in it. Two further commitments of cognitive mathematics steer us even closer towards Peirce's views. The first—going back, for example, to Lakoff and Núñez's Where Mathematics Comes From (2000), which is taken to be a key early work in shaping the field—is that mathematics is taken to be a language like any other and as such must be learned and situated within our other cognitive faculties (p. vi, Ch. 4). The second—and largely, one imagines, following from a concern for seeing how mathematics is actually practiced—is that mathematics is essentially diagrammatic, involving as it does experimenting in diagrams and employing other signs (one may think here even of the mathematician sketching equations or geometric figures on a sheet of paper). What is perhaps initially most noteworthy about Peirce's philosophy of mathematics is his early concern for both these aspects of the practice.The book (more like a tome of over 1300 pages) is too large to be covered here in all its aspects, hence the review will focus on those aspects a Peircean or Pragmatist may find of interest. In particular, this review focuses on several of the themes above—situating mathematics more broadly within our everyday (cognitive) lives, the necessarily diagrammatic, fallible, and creative aspects of the practice, and, finally, what these aspects may have to say about Peirce's philosophy more generally, particularly with respect to (scientific) inquiry.A Peircean reader may well begin with Pietarinen's "Pragmaticism as Philosophy of Cognitive Mathematics" [Ch. 39] and "Peirce on Mathematical... (shrink)

This edited volume of 13 new essays aims to turn past discussions of natural kinds on their head. Instead of presenting a metaphysical view of kinds based largely on an unempirical vantage point, it pursues questions of kindedness which take the use of kinds and activities of kinding in practice as significant in the articulation of them as kinds. The book brings philosophical study of current and historical episodes and case studies from various scientific disciplines to bear on natural (...) kinds as traditionally conceived of within metaphysics. Focusing on these practices reveals the different knowledge-producing activities of kinding and processes involved in natural kind use, generation, and discovery. -/- Specialists in their field, the esteemed group of contributors use diverse empirically responsive approaches to explore the nature of kindhood. This groundbreaking volume presents detailed case studies that exemplify kinding in use. Newly written for this volume, each chapter engages with the activities of kinding across a variety of disciplines. Chapter topics include the nature of kinds, kindhood, kinding, and kind-making in linguistics, chemical classification, neuroscience, gene and protein classification, colour theory in applied mathematics, homology in comparative biology, sex and gender identity theory, memory research, race, extended cognition, symbolic algebra, cartography, and geographic information science. -/- The volume seeks to open up an as-yet unexplored area within the emerging field of philosophy of science in practice, and constitutes a valuable addition to the disciplines of philosophy and history of science, technology, engineering, and mathematics. -/- Contributions from a diverse group of established and junior scholars in the fields of Philosophy and History and Philosophy of Science including Hasok Chang, Jordi Cat, Sally Haslanger, Joyce C. Havstad, Catherine Kendig, Bernhard Nickel, Josipa Petrunic, Samuli Pöyhönen, Thomas A. C. Reydon, Quayshawn Spencer, Jackie Sullivan, Michael Wheeler, and Rasmus Grønfeldt Winther. (shrink)

The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities (...) requested to the practitioners; and (3) the specific forms of representation and notation shared and selected by the practitioners. Moreover, it is claimed that a broadening of the notion of ‘permissible action’ as introduced by Larvor (2012) with respect to mathematical arguments, allows for a consideration of all these three elements simultaneously. Second, a case from topology – the proof of Alexander’s theorem – is presented to illustrate a concrete analysis of a mathematical practice and to exemplify the proposed method. It is discussed that the attention to the three elements of the practice identified above brings to the emergence of philosophically relevant features in the practice of topology: the need for a revision in the definition of criteria of validity, the interest in tracking the operations that are performed on the notation, and the constant and fruitful back-and-forth from one representation to another in dealing with mathematical content. Finally, some suggestions for further research are given in the conclusions. (shrink)

Mathematicians suggest that some proofs are valued for their explanatory value. This has led to a philosophical debate about the distinction between explanatory and non-explanatory proofs. In this paper, we explore whether contrasting views about the explanatory value of proof are possible and how to understand these diverging assessments. By considering an epistemic and contextual conception of explanation, we can make sense of disagreements about explanatoriness in mathematics by identifying differences in the background knowledge, skill corpus, or epistemic aims of (...) mathematicians or mathematical communities. We focus on the relation between explanation, epistemic aims and diverging explanatory assessments by looking at cases from mathematical practice. (shrink)