Except in very poor mathematical contexts, mathematical arguments do not stand in isolation of other mathematical arguments. Rather, they form trains of formal and informal arguments, adding up to interconnected theorems, theories and eventually entire fields. This paper critically comments on some common views on the relation between formal and informal mathematical arguments, most particularly applications of Toulmin’s argumentation model, and launches a number of alternative ideas of presentation inviting the contextualization of pieces of (...) class='Hi'>mathematical reasoning within encompassing bodies of explicit and implicit, formal and informal background knowledge. (shrink)

Except in very poor mathematical contexts, mathematical arguments do not stand in isolation of other mathematical arguments. Rather, they form trains of formal and informal arguments, adding up to interconnected theorems, theories and eventually entire fields. This paper critically comments on some common views on the relation between formal and informal mathematical arguments, most particularly applications of Toulmin’s argumentation model, and launches a number of alternative ideas of presentation inviting the contextualization of pieces of (...) class='Hi'>mathematical reasoning within encompassing bodies of explicit and implicit, formal and informal background knowledge. (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)

In this paper, I assume, perhaps controversially, that translation into a language of formal logic is not the method by which mathematicians assess mathematical reasoning. Instead, I argue that the actual practice of analyzing, evaluating and critiquing mathematical reasoning resembles, and perhaps equates with, the practice of informal logic or argumentation theory. It doesn’t matter whether the reasoning is a full-fledged mathematical proof or merely some non-deductive mathematical justification: in either case, the methodology of assessment (...) overlaps to a large extent with argument assessment in non-mathematical contexts. I demonstrate this claim by considering the assessment of axiomatic or deductive proofs, probabilistic evidence, computer-aided proofs, and the acceptance of axioms. I also consider Jody Azzouni’s ‘derivation indicator’ view of proofs because it places derivations—which may be thought to invoke formal logic—at the center of mathematical justificatory practice. However, when the notion of ‘derivation’ at work in Azzouni’s view is clarified, it is seen to accord with, rather than to count against, the informal logical view I support. Finally, I pose several open questions for the development of a theory of mathematical argument. (shrink)

To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences drawn about these objects and relationships as the discourse unfolds. We introduce a framework with these properties, which has been used to analyse mathematical dialogues and expository texts. The framework can recover salient elements of discourse at, and within, the sentence level, as well as the way mathematical content connects to (...) form larger argumentative structures. We show how the framework might be used to support computational reasoning, and argue that it provides a more natural way to examine the process of proving theorems than do Lamport’s structured proofs. (shrink)

Wynn examines the confluence of science, mathematics, and rhetoric in the development of theories of evolution and heredity in the 19th century. He shows how mathematical warrants become accepted sources for argument in the biological sciences and explores the importance of rhetorical strategies in persuading biologists to accept mathematical arguments.

In recent years, the philosophy of Ludwig Boltzmann has become a point of interest within the field of history of philosophy of science. Attention has centred around Boltzmann’s philosophical considerations connected to his defense of atomism in physics. In analysing these considerations, several scholars have attributed a pragmatist stance to Boltzmann. In this paper, I want to argue that, whatever pragmatist traits may be found in Boltzmann’s diverse writings, his defense of atomism in physics can not be analysed this way. (...) In other words, I wish to show that he did not defend atomism as “preferable for its practical virtues”, as has been alleged.1 On the contrary, Boltzmann considered the atomist picture to be indispensable — more precisely, an indispensable prerequisite for making the application of continuous differential equations an understandable enterprise. (shrink)

What is argumentation? -- Building a classroom culture of argumentation -- Structuring classroom discussions to focus on argumentation -- Infusing all instruction with argumentation -- Argumentation for all students -- Argumentation and the mathematical practices -- Technology in teaching and learning argumentation -- Assessing argumentation and proof -- Conclusion.

Recent accounts of the role of diagrams in mathematical reasoning take a Platonic line, according to which the proof depends on the similarity between the perceived shape of the diagram and the shape of the abstract object. This approach is unable to explain proofs which share the same diagram in spite of drawing conclusions about different figures. Saccheri’s use of the bi-rectangular isosceles quadrilateral in Euclides Vindicatus provides three such proofs. By forsaking abstract objects it is possible to give (...) a natural explanation of Saccheri’s proofs as well as standard geometric proofs and even number-theoretic proofs. (shrink)

Mathematics educators suggest that students of all ages need to participate in productive forms of mathematical argument (NCTM, 2000). Accordingly, we developed two complementary frameworks for analyzing the emergence of mathematical argumentation in one second‐grade classroom. Children attempted to resolve contesting claims about the “space covered” by three different‐looking rectangles of equal area measure. Our first analysis renders the topology of the semantic structure of the classroom conversation as a directed graph. The graph affords clear “at a (...) glance” visualization of how various senses of mathematics—as imagined, as performed, and as historically rooted—were interrelated. The graph represents the emergence and intercoordination between conceptual and procedural knowledge in the ebb and flow of classroom conversation. The graph has not just descriptive, but also predictive power: Interconnectedness among the nodes of the graph representing the first 40 min of conversation predicted the structure of recall in the final ten minutes by children who had played little overt role in the conversation up to that point. The second, complementary framework draws upon Goffman's expanded repertoire of roles in speech to demonstrate how the teacher orchestrated this classroom conversation to establish coherent argument. In this second analysis, we establish how the teacher mediated between the everyday talk of her students and the discourse of mathematics. Her revoicing of student talk created interstices for identity and participation in the formation of the argument. Together, the two forms of analysis illuminate the emergence of mathematical argument at two levels: as collective structure and concurrently, as individual activity. (shrink)

Mathematical argument in the elementary grades : what and why? -- Elementary students as mathematicians -- The teaching model -- Using the lesson sequences : what the teacher does -- Mathematical argument in the elementary classroom : impact on students and teachers.

Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. Argumentation theory studies reasoning and argument, and especially those aspects not addressed, or not addressed well, by formal deduction. The philosophy of mathematical practice diverges from mainstream philosophy of mathematics in the emphasis it places on what the majority of working mathematicians actually do, rather than on mathematical foundations. -/- The book (...) begins by first challenging the assumption that there is no role for informal logic in mathematics. Next, it details the usefulness of argumentation theory in the understanding of mathematical practice, offering an impressively diverse set of examples, covering the history of mathematics, mathematics education and, perhaps surprisingly, formal proof verification. From there, the book demonstrates that mathematics also offers a valuable testbed for argumentation theory. Coverage concludes by defending attention to mathematical argumentation as the basis for new perspectives on the philosophy of mathematics. ​. (shrink)

Douglas Walton’s multitudinous contributions to the study of argumentation seldom, if ever, directly engage with argumentation in mathematics. Nonetheless, several of the innovations with which he is most closely associated lend themselves to improving our understanding of mathematical arguments. I concentrate on two such innovations: dialogue types (§1) and argumentation schemes (§2). I argue that both devices are much more applicable to mathematical reasoning than may be commonly supposed.

Formal logic has often been seen as uniquely placed to analyze mathematical argumentation. While formal logic is certainly necessary for a complete understanding of mathematical practice, it is not sufficient. Important aspects of mathematical reasoning closely resemble patterns of reasoning in nonmathematical domains. Hence the tools developed to understand informal reasoning, collectively known as argumentation theory, are also applicable to much mathematical argumentation. This chapter investigates some of the details of that application. Consideration (...) is given to the many contrasting meanings of the word “argument”; to some of the specific argumentation-theoretic tools that have been applied to mathematics, notably Toulmin layouts and argumentation schemes; to some of the different ways that argumentation is implicated in mathematical practices; and to the social aspects of mathematical argumentation. (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)

We argue that several apparently distinct responses to the hole argument, all invoking formal or mathematical considerations, should be viewed as a unified “mathematical response.” We then consider and rebut two prominent critiques of the mathematical response before reflecting on what is ultimately at issue in this literature.

Most philosophers still tend to believe that mathematics is basically about producing formal proofs. A consequence of this view is that some aspects of mathematical practice are entirely lost from view. My contention is that it is precisely in those aspects that similarities can be found between practices in the exact sciences and in mathematics. Hence, if we are looking for a (more) unified treatment of science and mathematics it is necessary to incorporate these elements into our view of (...) what mathematics is about. As a helpful tool I introduce the notion of a mathematical argument as a more liberalized version of the notion of mathematical proof. (shrink)

The indispensability argument for abstract mathematical entities has been an important issue in the philosophy of mathematics. The argument relies on several assumptions. Some objections have been made against these assumptions, but there are several serious defects in these objections. Ameliorating these defects leads to a new anti-realistic philosophy of mathematics, mainly: first, in mathematical applications, what really exist and can be used as tools are not abstract mathematical entities, but our inner representations that we create in (...) imagining abstract mathematical entities; second, the thoughts that we create in imagining infinite mathematical entities are bounded by external conditions. (shrink)

We defend Joseph Melia's thesis that the role of mathematics in scientific theory is to 'index' quantities, and that even if mathematics is indispensable to scientific explanations of concrete phenomena, it does not explain any of those phenomena. This thesis is defended against objections by Mark Colyvan and Alan Baker.

One of the most intriguing features of mathematics is its applicability to empirical science. Every branch of science draws upon large and often diverse portions of mathematics, from the use of Hilbert spaces in quantum mechanics to the use of differential geometry in general relativity. It's not just the physical sciences that avail themselves of the services of mathematics either. Biology, for instance, makes extensive use of difference equations and statistics. The roles mathematics plays in these theories is also varied. (...) Not only does mathematics help with empirical predictions, it allows elegant and economical statement of many theories. Indeed, so important is the language of mathematics to science, that it is hard to imagine how theories such as quantum mechanics and general relativity could even be stated without employing a substantial amount of mathematics. (shrink)

As the journal is effectively defunct, I am uploading a full-text copy, but only of my abstract and article, and some journal front matter. -/- Note that the pagination in the PDF version differs from the official pagination because A4 and 8.5" x 11" differ. -/- Note also that this is not a mere repetition of the argument in /Mind/, nor merely an application of it; there are subtle differences. -/- Finally, although Christians are likely to take this as applicable (...) to a God who can enter time, Jewish readers who wish a full understanding of its intent are referred to M.R. II:13:3. Note that /some/ free will, however miniscule, must remain, exactly as argued. Also, Maimonides speaks differently, albeit metaphorically, elsewhere, and nothing here contradicts his statements. (shrink)

Some authors have begun to appeal directly to studies of argumentation in their analyses of mathematical practice. These include researchers from an impressively diverse range of disciplines: not only philosophy of mathematics and argumentation theory, but also psychology, education, and computer science. This introduction provides some background to their work.

The prospects for realistic interpretation of the nature of initial mathematical truths and objects are considered in the article. The arguments of realism, reasons impeding its recognition among philosophers of mathematics as well as the ways to eliminate these reasons are discussed. It is proven that the absence of acceptable ontological interpretation of mathematical realism is the main obstacle to its recognition. This paper explicates the introductory positions of this interpretation and presents a realistic interpretation of the arithmetical (...) component of mathematics. In summary, we should like to note that such constructions, as it is shown to us, ought to bring the direct use not only for the philosophical foundation of mathematics but for mathematics itself. In the justification of the author’s conclusions based on the works of famous mathematicians of the twentieth century, interpreting their findings in a broad historical and philosophical context. To illustrate his point, the author gives examples of arithmetic and geometry - both Euclidean and non-Euclidean. (shrink)

The Enhanced Indispensability Argument (Baker [ 2009 ]) exemplifies the new wave of the indispensability argument for mathematical Platonism. The new wave capitalizes on mathematics' role in scientific explanations. I will criticize some analyses of mathematics' explanatory function. In turn, I will emphasize the representational role of mathematics, and argue that the debate would significantly benefit from acknowledging this alternative viewpoint to mathematics' contribution to scientific explanations and knowledge.

Stephen Toulmin once observed that ”it has never been customary for philosophers to pay much attention to the rhetoric of mathematical debate’ [Toulmin et al., 1979, An Introduction to Reasoning, Macmillan, London, p. 89]. Might the application of Toulmin’s layout of arguments to mathematics remedy this oversight? Toulmin’s critics fault the layout as requiring so much abstraction as to permit incompatible reconstructions. Mathematical proofs may indeed be represented by fundamentally distinct layouts. However, cases of genuine conflict characteristically reflect (...) an underlying disagreement about the nature of the proof in question. (shrink)

This discussion note points to some verbal imprecisions in the formulation of the Enhanced Indispensability Argument. The examination of the plausibility of alternative interpretations reveals that the argument’s minor premise should be understood as a particular, not a universal, statement. Interpretations of the major premise and the conclusion oscillate between de re and de dicto readings. The attempt to find an appropriate interpretation for the EIA leads to undesirable results. If assumed to be valid and sound, the argument warrants the (...) rationality of the belief in an unusual variant of Platonism. On the other hand, if taken as it stands, the argument is either invalid or is unsound or does not support the mathematical Platonism. Thus, the EIA in its present form cannot serve as a useful device for the Platonist. (shrink)

Traditionally, in the philosophy of mathematics realists claim that mathematical objects exist independently of the human mind, whereas idealists regard them as mental constructions dependent upon human thought.It is tempting for realists to support their view by appeal to our widespread agreement on mathematical results. Roughly speaking, our agreement is explained by the fact that these results are about the same mathematical objects. It is alleged that the idealist’s appeal to mental constructions precludes any such explanation. I (...) argue that realism and idealism, as above characterized, are equally effective (or problematic) in accounting for our widespread mathematical agreement.Both accounts are descriptivist for they take mathematical statements to be true if and only if they correctly describe mathematical objects. By contrast, non-descriptivist accounts take mathematical statements to be rule-like and mathematical symbols to be non-referential. I suggest that non-descriptivism provides a simpler and more natural explanation for our widespread agreement on mathematical results than any descriptivist account. (shrink)

The recognition of striking regularities in the physical world plays a major role in the justification of hypotheses and the development of new theories both in the natural sciences and in philosophy. However, while scientists consider only strictly natural hypotheses as explanations for such regularities, philosophers also explore meta-natural hypotheses. One example is mathematical realism, which proposes the existence of abstract mathematical entities as an explanation for the applicability of mathematics in the sciences. Another example is theism, which (...) offers the existence of a supernatural being as an explanation for the design-like appearance of the physical cosmos. Although all meta-natural hypotheses defy empirical testing, there is a strong intuition that some of them are more warranted than others. The goal of this paper is to sharpen this intuition into a clear criterion for the admissibility of meta-natural explanations for empirical facts. Drawing on recent debates about the indispensability of mathematics and teleological arguments for the existence of God, I argue that a meta-natural explanation is admissible just in case the explanation refers to an entity that, though not itself causally efficacious, guarantees the instantiation of a causally efficacious entity that is an actual cause of the regularity. (shrink)

The indispensability argument for abstract mathematical entities has been an important issue in the philosophy of mathematics. The argument relies on several assumptions. Some objections have been made against these assumptions, but there are several serious defects in these objections. Ameliorating these defects leads to a new anti-realistic philosophy of mathematics, mainly: first, in mathematical applications, what really exist and can be used as tools are not abstract mathematical entities, but our inner representations that we create in (...) imagining abstract mathematical entities; second, the thoughts that we create in imagining infinite mathematical entities are bounded by external conditions. (shrink)

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)

I will contrast two conceptions of the nature of mathematical objects: the conception of mathematical objects as preconceived objects, and heavy duty platonism. I will argue that friends of the indispensability argument are committed to some metaphysical theses and that one promising way to motivate such theses is to adopt heavy duty platonism. On the other hand, combining the indispensability argument with the conception of mathematical objects as preconceived objects yields an unstable position. The conclusion is that (...) the metaphysical commitments of the indispensability argument should be carefully scrutinized. (shrink)

I discuss the structure of genealogical debunking arguments. I argue that they undermine our mathematical beliefs if they undermine our moral beliefs. The contrary appearance stems from a confusion of arithmetic truths with (first-order) logical truths, or from a confusion of reliability with justification. I conclude with a discussion of the cogency of debunking arguments, in light of the above. Their cogency depends on whether information can undermine all of our beliefs of a kind, F, without giving us direct (...) reason to doubt that our F-beliefs are modally secure. (shrink)

In 2020, Daniele Molinini published a paper outlining two types of mathematical objectivity. One could say that with this paper Molinini not only separated two mathematical concepts in terms of terminology and content, but also contrasted two mathematical-philosophical contexts, the traditional-idealistic and the modern-practical. Since the first context was the theoretical basis for a large number of analyses that we find in the framework of the philosophy of mathematics, the space was now offered to re-examine such analyses (...) in the second context. More specifically, with respect to the second context, we will analyse the strength of one of the few explicit Platonic arguments that seeks to justify the ontological status of mathematical objects and the central claim of mathematical Platonism about the existence of mathematical objects. (shrink)

Val Plumwood charged classical logic not only with the invalidity of some of its laws, but also with the support of systemic oppression through naturalization of the logical structure of dualisms. In this paper I show that the latter charge - unlike the former - can be carried over to classical mathematics, and I propose a new conception of inconsistent mathematics - queer incomaths - as a liberatory activity meant to undermine said naturalization.

Penelope Maddy and Elliott Sober recently attacked the confirmational indispensability argument for mathematical realism. We cannot count on science to provide evidence for the truth of mathematics, they say, because either scientific testing fails to confirm mathematics (Sober) or too much mathematics occurs in false scientific theories (Maddy). I present a pragmatic indispensability argument immune to these objections, and show that this argument supports mathematical realism independently of scientific realism. Mathematical realism, it turns out, may be even (...) more firmly established than scientific realism. (shrink)

Indispensability arguments occupy a prominent role in discussions of mathematical realism. While different versions of these arguments are discussed in the literature, their general structure remains the same. These arguments contend that insofar as reference to mathematical objects is indispensable to science, we are committed to the existence of these ‘objects’. Unsurprisingly, much of the debate concerning indispensability arguments focuses on the crucial contention that mathematical objects are indispensable to science. For these arguments to provide support for (...) mathematical realism, what we require are some compelling examples of mathematics playing an indispensable role in science. Towards this end, Alan Baker has supplied an example in which mathematics appears to be indispensable to a scientific explanation, what has come to be called the “Cicada MES”. This example has been the subject of much criticism, most notably that it depends on an unsupported empirical supposition. Recently, Baker proposed a number of revisions to the Cicada MES that aim to address some of these criticisms. In this paper, I argue that while Baker’s revisions go some way towards mitigating prominent criticisms of the Cicada MES, the underlying problem with the explanation remains. I argue that his revisions actually go in the wrong direction mathematically and empirically. In contrast, I propose a new Cicada MES. This new version accomplishes Baker’s goals and responds to the central objection to the explanation. It invokes a mathematical principle that plays a unifying role in the explanation, which makes providing adequate nominalist surrogates more difficult. And, more importantly, it accommodates an empirically grounded explanation of the phenomenon to be explained. Consequently, this new Cicada MES provides what proponents of indispensability arguments require, a compelling example of mathematics playing an indispensable role in science. (shrink)

In recent years, the so-calledindispensability argument has been given a lotof attention by philosophers of mathematics.This argument for the existence of mathematicalobjects makes use of the fact, neglected inclassical schools of philosophy of mathematics,that mathematics is part of our best scientifictheories, and therefore should receive similarsupport to these theories. However, thisobservation raises the question about the exactnature of the alleged connection betweenexperience and mathematics (for example: is itpossible to falsify empirically anymathematical theorems?). In my paper I wouldlike to address this (...) question by consideringthe explicit assumptions of different versionsof the indispensability argument. My primaryclaim is that there are at least three distinctversions of the indispensability argument (andit can be even suggested that a fourth,separate version should be formulated). I willmainly concentrate my discussion on thisvariant of the argument, which suggests thepossibility of empirical confirmation ofmathematical theories. A large portion of mypaper will focus on the recent discussion ofthis topic, starting from the paper by E.Sober, who in my opinion put reasonablerequirements on what is to be counted as anempirical confirmation of a mathematicaltheory. I will develop his model into threeseparate scenarios of possible empiricalconfirmation of mathematics. Using an exampleof Hilbert space in quantum mechanicaldescription I will show that the most promisingscenario of empirical verification ofmathematical theories has neverthelessuntenable consequences. It will be hypothesizedthat the source of this untenability lies in aspecific role which mathematical theories playin empirical science, and that what is subjectto empirical verification is not themathematics used, but the representabilityassumptions. Further I will undertake theproblem of how to reconcile the allegedempirical verification of mathematics withscientific practice. I will refer to thepolemics between P. Maddy and M. Resnik,pointing out certain ambiguities of theirarguments whose source is partly the failure todistinguish carefully between different sensesof the indispensability argument. For thatreason typical arguments used in the discussionare not decisive, yet if we take into accountsome metalogical properties of appliedmathematics, then the thesis that mathematicshas strong links with experience seems to behighly improbable. (shrink)