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 article is devoted to the comparison of two types of proofs in mathematical practice, the methodological differences of which go back to the difference in the understanding of the nature of mathematics by Descartes and Leibniz. In modern philosophy of mathematics, we talk about conceptual and formal proofs in connection with the so-called Hilbert Thesis, according to which every proof can be transformed into a logical conclusion in a suitable formal system. The analysis of the arguments of the (...) proponents and opponents of the Thesis, “conceptualists” and “formalists”, is presented respectively by the two main antagonists – Y. Rav and J. Azzouni. The focus is on the possibility of reproducing the proof of “interesting” mathematical theorems in the form of a strict logical conclusion, in principle feasible by a mechanical procedure. The argument of conceptualists is based on pointing out the importance of other aspects of the proof besides the logical conclusion, namely, in introducing new concepts, methods, and establishing connections between different sections of meaningful mathematics, which is often illustrated by the case of proving Fermat’s Last Theorem (Y. Rav). Formalists say that a conceptual proof “points” to the formal logical structure of the proof (J. Azzouni). The article shows that the disagreement is based on the assumption of asymmetry of mutual translation of syntactic and semantic structures of the language, as a result of which the formal proof loses important semantic factors of proof. In favor of a formal proof, the program of univalent foundations of mathematics In. Vojevodski, according to which the future of mathematical proofs is associated with the availability of computer verification programs. In favor of conceptual proofs, it is stated (A. Pelc) that the number of steps in the supposed formal logical conclusion when proving an “interesting” theorem exceeds the cognitive abilities of a person. The latter circumstance leads the controversy beyond the actual topic of mathematical proof into the epistemological sphere of discussions of “mentalists” and “mechanists” on the question of the supposed superiority of human intelligence over the machine, initiated by R. Penrose in his interpretation of the Second Theorem of Goedel, among whose supporters, as it turned out, was Goedel himself. (shrink)

This paper proposes an account of mathematical reasoning as parallel in structure: the arguments which mathematicians use to persuade each other of their results comprise the argumentational structure; the inferential structure is composed of derivations which offer a formal counterpart to these arguments. Some conflicts about the foundations of mathematics correspond to disagreements over which steps should be admissible in the inferential structure. Similarly, disagreements over the admissibility of steps in the argumentational structure correspond to different views about (...) mathematical practice. The latter steps may be analysed in terms of argumentation schemes. Three broad types of scheme are distinguished, a distinction which is then used to characterize and evaluate four contrasting approaches to mathematical practice. (shrink)

Presents the latest research on how reasoning with analogies, metaphors, metonymies, and images can facilitate mathematical understanding. For math education, educational psychology, and cognitive science scholars.

Mathematics used to be portrayed as a deductive science. Stemming from Polya, however, is a philosophical movement which broadens the concept of mathematical reasoning to include inductive or quasi-empirical methods. Interest in inductive methods is a welcome turn from foundationalism toward a philosophy grounded in mathematical practice. Regrettably, though, the conception of mathematical reasoning embraced by quasi-empiricists is still too narrow to include the sort of thought-experiment which Mueller describes as traditional mathematical proof and (...) which Lakatos examines in Proofs and refutations. This paper extends the concept of mathematical reasoning along two further dimensions to accommodate thought-experiment.Keywords: Thought-experiment; Informal proof; Mathematical reasoning. (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)

In this contribution we propose an agent architecture for theorem proving which we intend to investigate in depth in the future. The work reported in this paper is in an early state, and by no means finished. We present and discuss our proposal in order to get feedback from the Calculemus community.

This volume is a collection of papers on philosophy of mathematics which deal with a series of questions quite different from those which occupied the minds of the proponents of the three classic schools: logicism, formalism, and intuitionism. The questions of the volume are not to do with justification in the traditional sense, but with a variety of other topics. Some are concerned with discovery and the growth of mathematics. How does the semantics of mathematics change as the subject develops? (...) What heuristics are involved in mathematical discovery, and do such heuristics constitute a logic of mathematical discovery? What new problems have been introduced by the development of mathematics since the 1930s? Other questions are concerned with the applications of mathematics both to physics and to the new field of computer science. Then there is the new question of whether the axiomatic method is really so essential to mathematics as is often supposed, and the question, which goes back to Wittgenstein, of the sense in which mathematical proofs are compelling. Taking these questions together they give part of an emerging agenda which is likely to carry philosophy of mathematics forward into the twenty first century. (shrink)

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

: C.S. Peirce defines mathematics in two ways: first as "the science which draws necessary conclusions," and second as "the study of what is true of hypothetical states of things" (CP 4.227–244). Given the dual definition, Peirce notes, a question arises: Should we exclude the work of poietic hypothesis-making from the domain of pure mathematical reasoning? (CP 4.238). This paper examines Peirce's answer to the question. Some commentators hold that for Peirce the framing of mathematical hypotheses requires (...) poietic genius but is not scientific work. I propose, to the contrary, that although Peirce occasionally seems to exclude the poietic creation of hypotheses altogether from pure mathematical reasoning, Peirce's position is rather that the creation of mathematical hypotheses is poietic, but it is not merely poietic, and accordingly, that hypothesis-framing is part of mathematical reasoning that involves an element of poiesis but is not merely poietic either. Scientific considerations also inhere in the process of hypothesis-making, without excluding the poietic element. In the end, I propose that hypothesis-making in mathematics stands between artistic and scientific poietic creativity with respect to imaginative freedom from logical and actual constraints upon reasoning. (shrink)

What is mathematics; Symbolic logic; A reviw of number and notation; Further review topics; Introduction to proofs; Direct proof I; Direct Proog II; Indirect proof; Analogy abnd geometric proof.

What is perception doing in mathematical reasoning? To address this question, I discuss the role of perception in geometric reasoning. Perception of the shape properties of concrete diagrams provides, I argue, a surrogate consciousness of the shape properties of the abstract geometric objects depicted in the diagrams. Some of what perception is not doing in mathematical reasoning is also discussed. I take issue with both Parsons and Maddy. Parsons claims that we perceive a certain type (...) of abstract object. Maddy claims (at least at one time claimed) that perception provides the basis for intuition of mathematical sets. 1 Mathematical reasoning with diagrams 2 Do we perceive abstract objects? 3 Do we perceive mathematical sets? (shrink)

Theories of grounded and embodied cognition offer a range of accounts of how reasoning and body‐based processes are related to each other. To advance theories of grounded and embodied cognition, we explore the cognitive relevance of particular body states to associated math concepts. We test competing models of action‐cognition transduction to investigate the cognitive relevance of directed actions to students’ mathematical reasoning in the area of geometry. The hypotheses we test include (1) that cognitively relevant directed actions (...) have a direct effect on performance (direct cognitive relevance hypothesis), (2) that cognitively relevant directed actions lead to more frequent production of gestures during explanations, which leads to improved performance (mediated cognitive relevance hypothesis), and (3) that performance effects of directed actions are influenced by the presence or absence of gesture production during mathematical explanations (moderated cognitive relevance hypothesis). We explore these hypotheses in an experiment where high school students (N = 85) evaluated the truth of geometry conjectures after performing cognitively relevant or cognitively irrelevant directed actions while playing a movement‐based video game. Contrary to the direct and mediated cognitive relevance hypotheses, we found no overall differences in performance or gesture production between relevant and irrelevant conditions. Consistent with the moderated cognitive relevance hypothesis, cognitive relevance influenced mathematical performance, as measured by the accuracy of students’ intuitions, insights, and the validity of their proofs, provided that students produced certain kinds of gestures during mathematical explanations (i.e., with explanatory gestures as the moderator). Implications for theories of grounded and embodied cognition and the design of embodied forms of educational interventions are discussed. (shrink)

This paper argues that, for Bernard Nieuwentijt, mathematical reasoning on the basis of ideas is not the same as logical reasoning on the basis of propositions. Noting that the two types of reasoning differ helps make sense of a peculiar-sounding claim Nieuwentijt makes, namely that it is possible to mathematically deduce false propositions from true abstracted ideas. I propose to interpret Nieuwentijt’s abstracted ideas as incomplete mental copies of existing objects. I argue that, according to Nieuwentijt, (...) a proposition is mathematically deducible from an abstracted idea if it can be demonstrated that that proposition makes a true claim about the object that idea forms. This allows me to explain why Nieuwentijt deems it possible to deduce false propositions from true ideas. It also implies that logic and mathematics are not as closely related for Nieuwentijt as has been suggested in the existing secondary literature. (shrink)

The ancient puzzle of the Liar was shown by Tarski to be a genuine paradox or antinomy. I show, analogously, that certain puzzles of contemporary game theory are genuinely paradoxical, i.e., certain very plausible principles of rationality, which are in fact presupposed by game theorists, are inconsistent as naively formulated. ;I use Godel theory to construct three versions of this new paradox, in which the role of 'true' in the Liar paradox is played, respectively, by 'provable', 'self-evident', and 'justifiable'. I (...) also construct in modal operator logic a paradox involving reflexive empirical reasoning. Unlike the paradox of the Liar, the paradox of reflexive reasoning does not depend on self-reference. ;I consider various solutions to the Liar paradox and evaluate how well these solutions cope with the paradox of reflexive reasoning. I then formalize the solution to the paradoxes which I favor: the indexical-hierarchical approach, first sketched out by Charles Parsons and Tyler Burge. In this solution, occurrences of the predicate 'true' in sentence-tokens are contextually relativized to levels of a hierarchy. Drawing also on some brief remarks of Bertrand Russell and Charles Parsons, I develop an account of the kind of schematic generality needed for this theory to be statable. ;Finally, I demonstrate that the principles shown to be paradoxical are in fact presupposed by contemporary game theorists in their reliance on the notion of common knowledge or, more precisely, mutual belief. I create novel analyses of and corresponding solutions to several recalcitrant puzzles within game theory, including the "chain-store paradox". (shrink)

This thesis is a critique of Jaakko Hintikka’s reconstruction of Kantian intuition in logical and mathematical reasoning. I argue that Hintikka’s reconstruction of Kantian intuition in particular and his reconstruction of Kant's philosophy of mathematics in general fails to be successful in two ways: First, the logical formula which contains an instantiated term (henceforth, instantial term) that is introduced by the rule of existential instantiation in the ecthesis part of a proof of an argument is not even a (...) proper singular proposition whose relation to its object is supposed to be immediate. It is not a proper singular proposition because its truth conditions are general, i.e., it makes a general statement about a class of individuals of the sort instantiated- a statement whose analysis is based on quantifiers. Second, I show that certain proofs in mathematics- those in the form of reductio ad absurdum- are not captured by Hintikka’s reconstruction of Kant’s philosophy of mathematics either. (shrink)

The vicissitudes of mathematical reason in the 20th century Content Type Journal Article Pages 1-6 DOI 10.1007/s11016-011-9556-y Authors Thomas Mormann, Department of Logic and Philosophy of Science, University of the Basque Country UPV/EPU, Donostia-San Sebastian, Spain, Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

The purpose of this book is to introduce the basic ideas of mathematical proof to students embarking on university mathematics. The emphasis is on helping the reader in understanding and constructing proofs and writing clear mathematics. This is achieved by exploring set theory, combinatorics and number theory, topics which include many fundamental ideas which are part of the tool kit of any mathematician. This material illustrates how familiar ideas can be formulated rigorously, provides examples demonstrating a wide range of (...) basic methods of proof, and includes some of the classic proofs. The book presents mathematics as a continually developing subject. Material meeting the needs of readers from a wide range of backgrounds is included. Over 250 problems include questions to interest and challenge the most able student as well as plenty of routine exercises to help familiarize the reader with the basic ideas. (shrink)

Diagrams are hybrid entities, which incorporate both linguistic and pictorial elements, and are crucial to any account of scientific and mathematical reasoning. Hence, they offer a rich source of examples to examine the relation between model-theoretic considerations and linguistic features. Diagrams also play different roles in different fields. In scientific practice, their role tends not to be evidential in nature, and includes: highlighting relevant relations in a micrograph ; sketching the plan for an experiment; and expressing expected visually (...) salient information about the outcome of an experiment. None of these traits are evidential; rather they are all pragmatic. In contrast, in mathematical practice, diagrams are used as heuristic tools in proof construction ; notational devices; and full-blown proof procedures. Some of these traits are evidential. After assessing these different roles, I explain why diagrams are used in the way they are in these two fields. The result leads to an account of different styles of scientific reasoning within a broadly model-based conception. (shrink)

1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16. REPRINTED 1976. Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15263. -/- This is the second of a series of three articles dealing with application of linguistics and logic to the study of mathematical reasoning, especially in the setting of a (...) concern for improvement of mathematical education. The present article presupposes the previous one. Herein we develop our ideas of the purposes of a theory of proof and the criterion of success to be applied to such theories. In addition we speculate at length concerning the specific kinds of uses to which a successful theory of proof may be put vis-a-vis improvement of various aspects of mathematical education. The final article will deal with the construction of such a theory. The 1st is the 1971. Discourse Grammars and the Structure of Mathematical Reasoning I: Mathematical Reasoning and Stratification of Language, Journal of Structural Learning 3, #1, 55–74. https://www.academia.edu/s/fb081b1886?source=link . (shrink)

"One of Michael Blay's many fine achievements in Reasoning with the Infinite is to make us realize how velocity, and later instantaneous velocity, came to play a vital part in the development of a rigorous mathematical science of motion. ...

Hume describes the sciences as "noble entertainments" that are "proper food and nourishment" for reasonable beings (EHU 1.5-6; SBN 8).1 But mathematics, in particular, is more than noble entertainment; for millennia, agriculture, building, commerce, and other sciences have depended upon applying mathematics.2 In simpler cases, applied mathematics consists in inferring one matter of fact from another, say, the area of a floor from its length and width. In more sophisticated cases, applied mathematics consists in giving scientific theory a mathematical (...) form and then explaining and predicting matters of fact by means of mathematics and the theory. Since Hume holds that, "All inferences from experience are . . . .. (shrink)

Sexual selection provides an adequate partial explanation for the difference in means between the distributions, but fails to explain the difference in variance, that is, the overrepresentation of both boys with outstanding mathematical reasoning ability and boys with mental retardation. Other genetic factors are probably at work. While spatial ability is correlated with OMRA, so are other cognitive abilities. OMRA is not reducible to spatial ability; hence selection for navigational skill is unlikely to be the only mechanism by (...) which males have gained an advantage in OMRA. (shrink)