A new diagnostic modeling system for automatically synthesizing a deep‐structure model of a student's misconceptions or bugs in his basic mathematical skills provides a mechanism for explaining why a student is making a mistake as opposed to simply identifying the mistake. This report is divided into four sections: The first provides examples of the problems that must be handled by a diagnostic model. It then introduces procedural networks as a general framework for representing the knowledge underlying a skill. (...) The challenge in designing this representation is to find one that facilitates the discovery of misconceptions or bugs existing in a particular student's encoding of this knowledge. The second section discusses some of the pedagogical issues that have emerged from the use of diagnostic models within an instructional system. This discussion is framed in the context of a computer‐based tutoring/gaming system developed to teach students and student teachers how to diagnose bugs strategically as well as how to provide a better understanding of the underlying structure of arithmetic skills. The third section describes our uses of an executable network as a tool for automatically diagnosing student behavior, for automatically generating “diagnostic” tests, and for judging the diagnostic quality of a given exam. Included in this section is a discussion of the success of this system in diagnosing 1300 school students from a data base of 20.000 test items. The last section discusses future research directions. (shrink)

An increasing number of learning goals refer to the acquisition of cognitive skills that can be described as ‘resource-based,’ as they require the availability, coordination, and integration of multiple underlying resources such as skills and knowledge facets. However, research on the support of cognitive skills rarely takes this resource-based nature explicitly into account. This is mirrored in prior research on mathematical argumentation and proof skills: Although repeatedly highlighted as resource-based, for example relying on mathematical (...) topic knowledge, methodological knowledge, mathematical strategic knowledge, and problem-solving skills, little evidence exists on how to support mathematical argumentation and proof skills based on its resources. To address this gap, a quasi-experimental intervention study with undergraduate mathematics students examined the effectiveness of different approaches to support both mathematical argumentation and proof skills and four of its resources. Based on the part-/whole-task debate from instructional design, two approaches were implemented during students’ work on proof construction tasks: (i) asequential approachfocusing and supporting each resource of mathematical argumentation and proof skills sequentially after each other and (ii) aconcurrent approachfocusing and supporting multiple resources concurrently. Empirical analyses show pronounced effects of both approaches regarding the resources underlying mathematical argumentation and proof skills. However, the effects of both approaches are mostly comparable, and only mathematical strategic knowledge benefits significantly more from the concurrent approach. Regarding mathematical argumentation and proof skills, short-term effects of both approaches are at best mixed and show differing effects based on prior attainment, possibly indicating an expertise reversal effect of the relatively short intervention. Data suggests that students with low prior attainment benefited most from the intervention, specifically from the concurrent approach. A supplementary qualitative analysis showcases how supporting multiple resources concurrently alongside mathematical argumentation and proof skills can lead to a synergistic integration of these during proof construction and can be beneficial yet demanding for students. Although results require further empirical underpinning, both approaches appear promising to support the resources underlying mathematical argumentation and proof skills and likely also show positive long-term effects on mathematical argumentation and proof skills, especially for initially weaker students. (shrink)

Mathematics textbooks teach logical reasoning by example, a practice started by Euclid; while logic textbooks treat logic as a subject in its own right without practical application to mathematics. Stuck in the middle are students seeking mathematical proficiency and educators seeking to provide it. To assist them, the article explains in practical detail how to teach logic-based skills such as: making mathematical reasoning fully explicit; moving from step to step in a mathematical proof in logically correct (...) ways; and checking to make sure inferences are logically correct. The methodology can easily be extended beyond the four examples analyzed. (shrink)

In the recent years, problem-solving become a central topic that discussed by educators or researchers in mathematics education. it’s not only as the ability or as a method of teaching. but also, it is a little in reviewing about the components of the support to succeed in problem-solving, such as student's belief and attitude towards mathematics, algebraic thinking skills, resources and teaching materials. In this paper, examines the algebraic thinking skills as a foundation for problem-solving, and learning cycle (...) as a breath of continuous learning. In this paper, learning cycle to be used is a modified type of 5E based on beliefs. (shrink)

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)

Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical (...) symbols are not only used to express mathematical concepts—they are constitutive of the mathematical concepts themselves. Mathematical symbols are epistemic actions, because they enable us to represent concepts that are literally unthinkable with our bare brains. Using case-studies from the history of mathematics and from educational psychology, we argue for an intimate relationship between mathematical symbols and mathematical cognition. (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)

"This book is interesting and well-written. The research methods were explained clearly and conclusions were summarized nicely. It is a relatively quick read at only 130 pages. Anyone who has been told, or who has told others, that mathematicians make better thinkers should read this book." MAA Reviews "The authors particularly attend to protecting positive correlations against the self-selection interpretation, merely that logical minds elect studying more mathematics. Here, one finds a stimulating survey of the systemic difficulties people have with (...) basic syllogisms and deductions." CHOICE connect "The authors particularly attend to protecting positive correlations against the self-selection interpretation, merely that logical minds elect studying more mathematics. Here, one finds a stimulating survey of the systemic difficulties people have with basic syllogisms and deductions." CHOICE Connect For centuries, educational policymakers have believed that studying mathematics is important, in part because it develops general thinking skills that are useful throughout life. This 'Theory of Formal Discipline' (TFD) has been used as a justification for mathematics education globally. Despite this, few empirical studies have directly investigated the issue, and those which have showed mixed results. Does Mathematical Study Develop Logical Thinking? describes a rigorous investigation of the TFD. It reviews the theory's history and prior research on the topic, followed by reports on a series of recent empirical studies. It argues that, contrary to the position held by sceptics, advanced mathematical study does develop certain general thinking skills, however these are much more restricted than those typically claimed by TFD proponents. Perfect for students, researchers and policymakers in education, further education and mathematics, this book provides much needed insight into the theory and practice of the foundations of modern educational policy. (shrink)

The central question underlying this study was whether metacognition training could enhance the two metacognition components—knowledge and skills—and the mathematical problem-solving capacities of normal children in grade 3. We also investigated whether metacognitive training had a differential effect according to the children's mathematics level. A total of 48 participants took part in this study, divided into an experimental and a control group, each subdivided into a lower and a normal achievers group. The training programme took an interactive approach (...) in accordance with Schraw's (1998) recommendation and was carried out over five training sessions. Results indicated that children in the training group had significantly higher post-test metacognitive knowledge, metacognitive skills, and mathematical problem-solving scores. In addition, metacognitive training was particularly beneficial to the low achievers. Thus metacognitive training enabled the low achievers to make progress and solve the same number of problems on the post-test as the normal achievers solved on the pre-test. (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)

This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to bear on the core material of analysis in such a lucid presentation that the development reads naturally and in a straightforward progression. Retaining the core text, the second edition has additional worked examples which (...) users have indicated a need for, in addition to more emphasis on how analysis can be used to tell the accuracy of the approximations to the quantities of interest which arise in analytical limits. (shrink)

Based on Geary's theory, intelligence may determine which males utilize innate spatial knowledge to inform their mathematical solutions. This may explain why math gender differences occur mainly with higher abilities. In support, we found that mental rotation ability served as a mediator of gender differences on the math Scholastic Assessment Test for two high-ability samples. Our research suggests, however, that environment and biology interact to influence mental rotation abilities.

This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles. Despite its compact and small size, it includes many solved problems and quite a few end-of-section exercises that will help readers consolidate their understanding of the material. This textbook is essential reading (...) for anyone interested in the logical foundations of Informatics, Computer Science, Data Science, Artificial Intelligence, and other related areas. Written with undergraduate students in these disciplines in mind, this book can very well serve the needs of interested and curious readers who wish to get a grasp of the logical principles upon which these fields are built. This book does not require readers to possess math skills beyond those learned in high school. (shrink)

This book is a selection of papers from a conference which took place at the University of Keele in July 1982. The conference was an extraordinarily enjoyable one, and we would like to take this opportunity of thanking all participants for helping to make it so. The conference was intended to allow scholars working on different aspects of symbolic behaviour to compare findings, to look for common ground, and to identify differences between the various areas. We hope that it was (...) successful in these aims: the assiduous reader may judge for himself. Several themes emerged during the course of the conference. Some of these were: 1. There is a distinction to be made between those symbol systems which attempt, more or less directly, to represent a state of affairs in the world (e. g. language, drawing, map and navigational skill) and those in which the representational function is complemented, if not overshadowed, by properties of the symbol system itself, and the systematic inter-relations that symbols can have to one another (e. g. music, mathematics). The distinction is not absolute, for the nature of all symbolic skills is, in part, a function of the structure of the symbolic system employed. Nonetheless, this distinction helps us to understand some common acquisition difficulties, such as that experienced in mathematics, where mental manipulation of symbols can go awry if a child assumes too close a correspondence between mathematical symbols and the world they represent. 2. (shrink)

Topics covered in Discrete Mathematics have become essential tools in many areas of studies in recent years. This is primarily due to the revolution in technology, communications, and cyber security. The book treats major themes in a typical introductory modern Discrete Mathematics course: Propositional and predicate logic, proof techniques, set theory (including Boolean algebra, functions and relations), introduction to number theory, combinatorics and graph theory. An accessible, precise, and comprehensive approach is adopted in the treatment of each topic. The ability (...) of abstract thinking and the art of writing valid arguments are emphasized through detailed proof of (almost) every result. Developing the ability to think abstractly and roguishly is key in any areas of science, information technology and engineering. Every result presented in the book is followed by examples and applications to consolidate its comprehension. The hope is that the reader ends up developing both the abstract reasoning as well as acquiring practical skills. All efforts are made to write the book at a level accessible to first-year students and to present each topic in a way that facilitates self-directed learning. Each chapter starts with basic concepts of the subject at hand and progresses gradually to cover more ground on the subject. Chapters are divided into sections and subsections to facilitate readings. Each section ends with its own carefully chosen set of practice exercises to reenforce comprehension and to challenge and stimulate readers. As an introduction to Discrete Mathematics, the book is written with the smallest set of prerequisites possible. Familiarity with basic mathematical concepts (usually acquired in high school) is sufficient for most chapters. However, some mathematical maturity comes in handy to grasp some harder concepts presented in the book. (shrink)

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)

This book uncovers the lost history of Christianity's encounters with Pythagorean ideas before the Renaissance. David Albertson skillfully examines ancient and medieval theologians, particularly Thierry of Chartres and Nicholas of Cusa, who successfully reconceived the Trinity and the Incarnation within the framework of Greek number theory. David Albertson challenges modern assumptions about the complex relationship between religion and science.

In historical claims for nativism, mathematics is a paradigmatic example of innate knowledge. Claims by contemporary developmental psychologists of elementary mathematical skills in human infants are a legacy of this. However, the connection between these skills and more formal mathematical concepts and methods remains unclear. This paper assesses the current debates surrounding nativism and mathematical knowledge by teasing them apart into two distinct claims. First, in what way does the experimental evidence from infants, nonhuman animals (...) and neuropsychology support the nativist hypothesis? Second, granting that infants have some elementary mathematical skills, does this mean that such skills play an important role in the development of mathematical knowledge? (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. (...) Several attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and model theory. The section on algebra is presented with an emphasis on lattices as well as Boolean and Heyting algebras. Background for recent research in natural language (...) semantics includes sections on lambda-abstraction and generalized quantifiers. Chapters on automata theory and formal languages contain a discussion of languages between context-free and context-sensitive and form the background for much current work in syntactic theory and computational linguistics. The many exercises not only reinforce basic skills but offer an entry to linguistic applications of mathematical concepts. For upper-level undergraduate students and graduate students in theoretical linguistics, computer-science students with interests in computational linguistics, logic programming and artificial intelligence, mathematicians and logicians with interests in linguistics and the semantics of natural language. (shrink)

Many mathematicians have a rich internal world of mental imagery. Using elementary mathematical skills, this study probes the mathematical imagination's sensorimotor foundations. Mental imagery is perturbed using body position: having the head and vestibular system in different positions with respect to gravity. No two mathematicians described the same imagery. Eight out of 11 habitually visualize, one uses sensorimotor imagery, and two do not habitually used mental imagery. Imagery was both intentional and partly autonomous. For example, coordinate planes (...) rotated, drifted, wobbled, or slid down from vertical to horizontal. Parabolae slid into place or, on one side, a parabola arm reached upward in gravity. The sensorimotor foundation of imagery was evidenced in several ways. The imagery was placed with respect to the body. Further, the imagery had a variety of relationships to the body, such as the body being the coordinate system or the coordinate system being placed in front of the eyes for easy viewing by the mind's eye. The mind's eye, mind's arm, and awareness almost always obeyed the geometry of the real eye and arm. The imagery and body behaved as a dyad, so that the imagery moved or placed itself for the convenience of the mind's eye or arm, which in turn moved to follow the imagery. With eyes closed, participants created a peripersonal imagery space, along with the peripersonal space of the unseen environment. Although mathematics is fundamentally abstract, imagery was sometimes concrete or used a concrete substrate or was placed to avoid being inside concrete objects, such as furniture. Mathematicians varied in the numbers of components of mental imagery and the ways they interacted. The autonomy of the imagery was sometimes of mathematical interest, suggesting that the interaction of imagery habits and autonomy can be a source of mathematical creativity. (shrink)

The uses and interpretation of reductio ad absurdum argumentation in mathematical proof and discovery are examined, illustrated with elementary and progressively sophisticated examples, and explained. Against Arthur Schopenhauer’s objections, reductio reasoning is defended as a method of uncovering new mathematical truths, and not merely of confirming independently grasped mathematical intuitions. The application of reductio argument is contrasted with purely mechanical brute algorithmic inferences as an art requiring skill and intelligent intervention in the choice of hypotheses and attribution (...) of contradictions deduced to a particular assumption in a contradiction’s derivation base within a reductio proof structure. (shrink)

In historical claims for nativism, mathematics is a paradigmatic example of innate knowledge. Claims by contemporary developmental psychologists of elementary mathematical skills in human infants are a legacy of this. However, the connection between these skills and more formal mathematical concepts and methods remains unclear. This paper assesses the current debates surrounding nativism and mathematical knowledge by teasing them apart into two distinct claims. First, in what way does the experimental evidence from infants, nonhuman animals (...) and neuropsychology support the nativist hypothesis? Second, granting that infants have some elementary mathematical skills, does this mean that such skills play an important role in the development of mathematical knowledge? (shrink)

The heart of mathematics is its elegance; the way it all fits together. Unfortunately, its beauty often eludes the vast majority of people who are intimidated by fear of the difficulty of numbers. Mathematical Elegance remedies this. Using hundreds of examples, the author presents a view of the mathematical landscape that is both accessible and fascinating. At a time of concern that American youth are bored by math, there is renewed interest in improving math skills. Mathematical (...) Elegance stimulates students, along with those already experienced in the discipline, to explore some of the unexpected pleasures of quantitative thinking. Invoking mathematical proofs famous for their simplicity and brainteasers that are fun and illuminating, the author leaves readers feeling exuberant--as well as convinced that their IQs have been raised by ten points. A host of anecdotes about well-known mathematicians humanize and provide new insights into their lofty subjects. Recalling such classic works as Lewis Carroll's Introduction to Logic and A Mathematician Reads the Newspaper by John Allen Paulos, Mathematical Elegance will energize and delight a wide audience, ranging from intellectually curious students to the enthusiastic general reader. (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)

Online educational technologies offer opportunities for providing individualized feedback and detailed profiles of students' skills. Yet many technologies for mathematics education assess students based only on the correctness of either their final answers or responses to individual steps. In contrast, examining the choices students make for how to solve the equation and the ways in which they might answer incorrectly offers the opportunity to obtain a more nuanced perspective of their algebra skills. To automatically make sense of step‐by‐step (...) solutions, we propose a Bayesian inverse planning model for equation solving that computes an assessment of a learner's skills based on her pattern of errors in individual steps and her choices about what sequence of problem‐solving steps to take. Bayesian inverse planning builds on existing machine learning tools to create a generative model relating (mis)‐understandings to equation solving choices. Two behavioral experiments demonstrate that the model can interpret people's equation solving and that its assessments are consistent with those of experienced teachers. A third experiment uses this model to tailor guidance for learners based on individual differences in misunderstandings, closing the loop between assessing understanding, and using that assessment within an educational technology. Finally, because the bottleneck in applying inverse planning to a new domain is in creating the model of possible student misunderstandings, we show how to combine inverse planning with an existing production rule model to make inferences about student misunderstandings of fraction arithmetic. (shrink)

Mathematical learning difficulties (MLD) refer to a variety of deficits in math skills, typically pertaining to the domains of arithmetic and problem solving. The present study examined the time course of attentional orienting in MLD children with a spatial cueing task, by parametrically manipulating the cue-target onset asynchrony (CTOA). The results of Experiment 1 revealed that, in contrast to typical developing children, the inhibitory aftereffect of attentional orienting—frequently referred to as inhibition of return (IOR)—was not observed in the (...) MLD children, even at the longest CTOA tested (800 ms). However, robust early facilitation effects were observed in the MLD children, suggesting that they have difficulties in attentional disengagement rather than attentional engagement. In a second experiment, a secondary cue was introduced to the cueing task to encourage attentional disengagement and IOR effects were observed in the MLD children. Taken together, the present experiments indicate that MLD children are sluggish in disengaging spatial attention. (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)

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

The first learning game to be developed to help students to develop and hone skills in constructing proofs in both the propositional and first-order predicate calculi. It comprises an autotelic (self-motivating) learning approach to assist students in developing skills and strategies of proof in the propositional and predicate calculus. The text of VALIDITY consists of a general introduction that describes earlier studies made of autotelic learning games, paying particular attention to work done at the Law School of Yale (...) University, called the ALL Project (Accelerated Learning of Logic). Following the introduction, the game of VALIDITY is described, first with reference to the propositional calculus, and then in connection with the first-order predicate calculus with identity. Sections in the text are devoted to discussions of the various rules of derivation employed in both calculi. Three appendices follow the main text; these provide a catalogue of sequents and theorems that have been proved for the propositional calculus and for the predicate calculus, and include suggestions for the classroom use of VALIDITY in university-level courses in mathematical logic. (shrink)

In this article, we review approaches to modeling a connection between spatial and mathematical thinking across development. We critically evaluate the strengths and weaknesses of factor analyses, meta-analyses, and experimental literatures. We examine those studies that set out to describe the nature and number of spatial and mathematical skills and specific connections between these abilities, especially those that included children as participants. We also find evidence of strong spatial-mathematical connections and transfer from spatial interventions to (...) class='Hi'>mathematical understanding. Finally, we map out the kinds of studies that could enhance our understanding of the mechanisms by which spatial and mathematical processing are connected and the principles by which mathematical outcomes could be enhanced through spatial training in educational settings. (shrink)

This paper will argue for the teaching of component skills in philosophy. We can distinguish between complex and component skills. Component skills bear a kind of constitutive relation to complex skills. We observe this distinction at use in standard pedagogies related to activities like sports, music performance, and mathematics. The central thesis is that devoting pedagogical resources to the development of component skills, especially at introductory levels, promotes better learning outcomes with respect to complex philosophical (...) skills. Aside from defending this thesis, I will also provide a number of examples of activities that can be used to develop component skills. (shrink)