According to the received view, genuine mathematical justification derives from proofs. In this article, I challenge this view. First, I sketch a notion of proof that cannot be reduced to deduction from the axioms but rather is tailored to human agents. Secondly, I identify a tension between the received view and mathematical practice. In some cases, cognitively diligent, well-functioning mathematicians go wrong. In these cases, it is plausible to think that proof sets the bar for justification too high. I then (...) propose a fallibilist account of mathematical justification. I show that the main function of mathematical justification is to guarantee that the mathematical community can correct the errors that inevitably arise from our fallible practices. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

If any nature of science perspective is to be incorporated in science-related curricula, it is hard to imagine a satisfactory didactic toolkit that neglects the social studies of science, the academic field of study of the institutional structures and networks of science. Knowledge production takes place in a world populated by actors, instruments, and ideas, and various epistemic cultures are responsible for providing the concepts, abstractions, and techniques that slowly trickle down the information pathways to become stabilized in university curricula (...) or ossified in high-school science, losing much of the tacit knowledge along the way that enabled the production of knowledge in the first place. The discussion of the sociology of science and the sociology of scientific knowledge is followed by a short overview of recent approaches in science studies and the studies of expertise. (shrink)

This inaugural handbook documents the distinctive research field that utilizes history and philosophy in investigation of theoretical, curricular and pedagogical issues in the teaching of science and mathematics. It is contributed to by 130 researchers from 30 countries; it provides a logically structured, fully referenced guide to the ways in which science and mathematics education is, informed by the history and philosophy of these disciplines, as well as by the philosophy of education more generally. The first handbook to cover the (...) field, it lays down a much-needed marker of progress to date and provides a platform for informed and coherent future analysis and research of the subject. -/- The publication comes at a time of heightened worldwide concern over the standard of science and mathematics education, attended by fierce debate over how best to reform curricula and enliven student engagement in the subjects There is a growing recognition among educators and policy makers that the learning of science must dovetail with learning about science; this handbook is uniquely positioned as a locus for the discussion. -/- The handbook features sections on pedagogical, theoretical, national, and biographical research, setting the literature of each tradition in its historical context. Each chapter engages in an assessment of the strengths and weakness of the research addressed, and suggests potentially fruitful avenues of future research. A key element of the handbook’s broader analytical framework is its identification and examination of unnoticed philosophical assumptions in science and mathematics research. It reminds readers at a crucial juncture that there has been a long and rich tradition of historical and philosophical engagements with science and mathematics teaching, and that lessons can be learnt from these engagements for the resolution of current theoretical, curricular and pedagogical questions that face teachers and administrators. (shrink)

One of the important challenges in the philosophy of mathematics is to account for the semantics of sentences that express mathematical propositions while simultaneously explaining our access to their contents. This is Benacerraf’s Dilemma. In this dissertation, I argue that cognitive science furnishes new tools by means of which we can make progress on this problem. The foundation of the solution, I argue, must be an ontologically realist, albeit non-platonist, conception of mathematical reality. The semantic portion of the problem can (...) be addressed by accepting a Chomskyan conception of natural languages and a matching internalist, mentalist and nativist view of semantics. A helpful perspective on the epistemic aspect of the puzzle can be gained by translating Kurt G ̈odel’s neo-Kantian conception of the nature of mathematics and its objects into modern, cognitive terms. (shrink)

The collection Virtual Mathematics: the logic of difference brings together a range of new philosophical engagements with mathematics, using the work of French philosopher Gilles Deleuze as its focus. Deleuze’s engagements with mathematics rely upon the construction of alternative lineages in the history of mathematics in order to reconfigure particular philosophical problems and to develop new concepts. These alternative conceptual histories also challenge some of the self-imposed limits of the discipline of mathematics, and suggest the possibility of forging new connections (...) between philosophy and more recent developments in mathematics. This component of Deleuze’s work has, to date, been rather neglected by commentators working in the field of Deleuze studies. One of the aims of this collection is to address this critical deficit by providing a philosophical presentation of Deleuze’s relation to mathematics; one that is adequate to his project of constructing a philosophy of difference and to the exploration of some of its applications. This project developed as a result of encounters with an increasing number of researchers who have been working on the mathematical aspects of Deleuze’s work and the key role that these play in his philosophy. By bringing this work together for the first time, this collection makes an important contribution to the emerging body of work that endeavours to explore the broad range of Deleuze’s philosophy. (shrink)

Employing Searle’s views, I begin by arguing that students of Mathematics behave similarly to machines that manage symbols using a set of rules. I then consider two types of Mathematics, which I call Cognitive Mathematics and Technical Mathematics respectively. The former type relates to concepts and meanings, logic and sense, whilst the latter relates to algorithms, heuristics, rules and application of various techniques. I claim that an upgrade in the school teaching of Cognitive Mathematics is necessary. The aim is to (...) change the current mentality of the stakeholders so as to compensate for the undue value presently attached to Technical Mathematics, due to advances in technology and its applications, and thus render the two sides of Mathematics equal. Furthermore, I suggest a reorganization/systematization of School Mathematics into a cognitive network to facilitate students’ understanding of the subject. The final goal is the transition from mechanical execution of rules to better understanding and in-depth knowledge of Mathematics. (shrink)

This paper describes an attempt to develop a program for teaching history and philosophy of mathematics to inservice mathematics teachers. I argue briefly for the view that philosophical positions and epistemological accounts related to mathematics have a significant influence and a powerful impact on the way mathematics is taught. But since philosophy of mathematics without history of mathematics does not exist, both philosophy and history of mathematics are necessary components of programs for the training of preservice as well as inservice (...) mathematics teachers. (shrink)

The consensus among legal philosophers is probably that rule-based legal expert systems leave much to be desired as aids in legal decision-making. Why? What can we do about it? A bureaucrat administering some set of complex rules will ascertain the facts and apply the rules to them in order to discover their consequences for the case in hand. This process of deductive reasoning is characteristically bureaucratic.

General equilibrium analysis is a theoretical structure which focuses research in economics. On this point economists and philosophers agree. Yet studies in general equilibrium analyses are not well understood in the sense that, though their importance is recognized, their role in the growth of economic knowledge is a subject of some controversy. Several questions organize an appraisal of general equilibrium analysis. These questions have been variously posed by philosophers of science, economic methodologists, and historians of economic thought. Is general equilibrium (...) analysis a theory, a paradigm, a scientific research program, or a set of interrelated theories? Is it not any of these but rather a branch of applied mathematics? Is GE analysis associated with the growth of knowledge, or does it waste intellectual resources? How is it related to other work in economics? Is it connected to, or is it apart from, the concerns of applied economists? (shrink)

This target article presents a new computational theory of explanatory coherence that applies to the acceptance and rejection of scientific hypotheses as well as to reasoning in everyday life, The theory consists of seven principles that establish relations of local coherence between a hypothesis and other propositions. A hypothesis coheres with propositions that it explains, or that explain it, or that participate with it in explaining other propositions, or that offer analogous explanations. Propositions are incoherent with each other if they (...) are contradictory, Propositions that describe the results of observation have a degree of acceptability on their own. An explanatory hypothesis is acccpted if it coheres better overall than its competitors. The power of the seven principles is shown by their implementation in a connectionist program called ECHO, which treats hypothesis evaluation as a constraint satisfaction problem. Inputs about the explanatory relations are used to create a network of units representing propositions, while coherende and incoherence relations are encoded by excitatory and inbihitory links. ECHO provides an algorithm for smoothly integrating theory evaluation based on considerations of explanatory breadth, simplicity, and analogy. It has been applied to such important scientific cases as Lovoisier's argument for oxygen against the phlogiston theory and Darwin's argument for evolution against creationism, and also to cases of legal reasoning. The theory of explanatory coherence has implications for artificial intelligence, psychology, and philosophy. (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.

According to quasi-empiricism, mathematics is very like a branch of natural science. But if mathematics is like a branch of science, and science studies real objects, then mathematics should study real objects. Thus a quasi-empirical account of mathematics must answer the old epistemological question: How is knowledge of abstract objects possible? This paper attempts to show how it is possible.The second section examines the problem as it was posed by Benacerraf in Mathematical Truth and the next section presents a way (...) of looking at abstract objects that purports to demythologize them. In particular, it shows how we can have empirical knowledge of various abstract objects and even how we might causally interact with them. (shrink)

It is explained that, in the sense of the sociologist Erving Goffman, mathematics has a front and a back. Four pervasive myths about mathematics are stated. Acceptance of these myths is related to whether one is located in the front or the back.

In a recent article, Azzouni has argued in favor of a version of formalism according to which ordinary mathematical proofs indicate mechanically checkable derivations. This is taken to account for the quasi-universal agreement among mathematicians on the validity of their proofs. Here, the author subjects these claims to a critical examination, recalls the technical details about formalization and mechanical checking of proofs, and illustrates the main argument with aanalysis of examples. In the author's view, much of mathematical reasoning presents genuine (...) meaning-dependent mathematical characteristics that cannot be captured by formal calculi. ‘…there is a conflict between mathematical practice and the formalist doctrine.’ [Kreisel, 1969, p. 39]. (shrink)

Biologically motivated computing seeks to transfer ideas from the biosciences to computer science. In seeking to make transfers it is helpful to be able to appreciate the metaphors which people use. This is because metaphors provide the context through which analogies and similes are made and by which many scientific models are constructed. As such, it is important for any rapidly evolving domain of knowledge to have developments accounted for in these terms. This paper seeks to provide one overview of (...) the process of modelling and shows how it can be used to account for a variety of biologically motivated computational models. Certain key ideas are identified in the subsequent analysis of biological sources, notably, systemic metaphors. Three important aspects of biological thinking are then considered in the light of computer science applications: biological organization, the cell, and models of evolution. The analysis throughout the paper is descriptive rather than formalized so that a large variety of potential applications may be considered. (shrink)

(2003). The World as Representation: Schopenhauer's Arguments for Transcendental Idealism. British Journal for the History of Philosophy: Vol. 11, No. 1, pp. 57-87.

We propose a novel, ontological approach to studying mathematical propositions and proofs. By “ontological approach” we refer to the study of the categories of beings or concepts that, in their practice, mathematicians isolate as fruitful for the advancement of their scientific activity (like discovering and proving theorems, formulating conjectures, and providing explanations). We do so by developing what we call a “formal ontology” of proofs using semantic modeling tools (like RDF and OWL) developed by the computer science community. In this (...) article, (i) we describe this new approach and, (ii) to provide an example, we apply it to the problem of the identity of proofs. We also describe open issues and further applications of this approach (for example, the study of purity of methods). We lay some foundations to investigate rigorously and at large scale intellectual moves and attitudes that underpin the advancement of mathematics through cognitive means (carving out investigationally valuable concepts and techniques) and social means (like communication, collaboration, revision, and criticism of specific categories, inferential patterns, and levels of analysis). Our approach complements other types of analysis of proofs such as reconstruction in a deductive system and examination through a proof-assistant. (shrink)

Annalisa Coliva (Int J Study Skept 10(3–4):346–366, 2020) asks, “Are there mathematical hinges?” I argue here, against Coliva’s own conclusion, that there are. I further claim that this affirmative answer allows a case to be made for taking the concept of a hinge to be a useful and general-purpose tool for studying mathematical practice in its real complexity. Seeing how Wittgenstein can, and why he would, countenance mathematical hinges additionally gives us a deeper understanding of some of his latest thoughts (...) on mathematics. For example, a view of how mathematical hinges relate to Wittgenstein’s well-known river-bed analogy enables us to see how his way of thinking about mathematics can account nicely for a “dynamics of change” within mathematical research—something his philosophy of mathematics has been accused of missing (e.g., by Robert Ackermann (Wittgenstein’s city, The University of Massachusetts Press, Amherst, 1988) and Mark Wilson (Wandering significance: an essay on conceptual behavior, Oxford University Press, Oxford, 2006). Finally, the perspective on mathematical hinges ultimately arrived at will be seen to provide us with illuminating examples of how our conceptual choices and theories can be ungrounded but nevertheless the right ones (in a sense to be explained). (shrink)

The professional mathematician is a Platonist with regard to the existence of mathematical entities, but, if pressed to tell what kind of existence they have, he hides behind a formalist approach. In order to take both attitudes into account in a possibly serious way, the concept of suprasubjective existence is proposed. It involves intersubjective existence, plus a stress on objectivity devoid of actual objects. The idea is illustrated, following William Byers, by the phenomenon of the rainbow: it is not an (...) object but can be said to possess a subjective objectivity. (shrink)

While Garfinkel’s early work, captured in Studies in Ethnomethodology, has received a lot of attention and discussion, this has not been the case for his later work since the 1970s. In this paper, we critically examine the aims of Garfinkel’s later ethnomethodological studies of work programme and evaluate key ideas such as the ‘missing what’ in the sociology of work, ‘the unique adequacy requirements of methods’, and the notion of ‘hybrid studies’. We do so through a detailed engagement with a (...) study that has frequently been singled out as exemplary by Garfinkel for his studies of work programme, namely Livingston’s The Ethnomethodological Foundations of Mathematics. We show how Livingston uses the proof of Gödel’s Incompleteness Theorem as a way to exhibit the work involved in understanding mathematical proofs. We then discuss how Livingston uses this example to introduce a distinction between the written ‘proof account’ and the associated ‘lived work’ of working through that proof, which we argue allows Livingston to provide a powerful critique of a formalist understanding of the objectivity of mathematics. We then discuss three aspects that we find problematic in Livingston’s and Garfinkel’s claims about Livingston’s study. Firstly, we question whether written proofs are best conceived of as descriptions or accounts. Secondly, we interrogate whether an ethnomethodological study could teach mathematicians how to make discoveries. Thirdly, we throw doubt on Garfinkel’s claim that Livingston’s results are results in mathematics. We conclude this paper with a discussion of how Livingston’s study Gödel’s proof highlights key tensions in Garfinkel’s later work. Firstly, we argue that there exists an ambiguity in Garfinkel’s treatment of texts as ‘incompetent’. Secondly, we show that Garfinkel’s attempt to extend his idea of classical studies from sociology to other professions and disciplines is problematic. Finally, we question Garfinkel’s proposals to reorient ethnomethodological studies away from sociological audiences and ask whether ethnomethodological studies promise the delivery of a ‘large prize’ or, rather, provide something like ‘helpful therapy’. (shrink)

In the complex teaching paradigm constructed and celebrated in classical Greek philosophy, geometry was the gateway to knowledge. Historically, mathematics provided the generational basis of education in Western civilization. Its impact as a disciplining subject was philosophically served by Plato’s most influential metaphysical involvement with the dialectical interplay of form and content, ideas and images, and the formal, hierarchic divisions of reality. Mathematics became a key--perhaps the key--for the establishment of natural, social and intellectual hierarchies in Plato’s work, and mathematical (...) capacities became synonymous with power--the power of abstraction needed to effect and control change. It was the provenience of the academic demands, levels, and achievements celebrated as culturally Western. From ancient Athens to medieval Europe, it became the principle of interactional/hierarchic selection: Similia similibus cognoscuntur--that is, only those things alike can interact cognitively; this launched the notion that mathematical ability is the best test for objectively determining who does and who does not qualify for a social, political, and intellectual meritocracy. (shrink)

This essay will be divided into three parts. In the first part, we discuss the case of infintesimals seen as a bridge between the discrete and the continuous. This leads in the second part to a discussion of the nature of numbers. In the last part, we follow up with some observations on the obvious applicability of mathematics.

In this chapter, an attempt is made to illustrate why the study of primary original sources is, as often stated, rewarding and worth the effort, despite being extremely demanding for both teachers and students. This is done by discussing various reasons for as well as different approaches to using primary original sources in the teaching and learning of mathematics. A selection of these reasons and approaches will be illustrated through a number of examples from the literature on using original sources (...) in mathematics education. In particular, focus is on empirical research findings when choosing illustrative examples. The chapter also includes a section on the background and academic forums of research on using primary original sources in mathematics education. The discussion on using original sources is briefly related to that of using history in mathematics education, and some theoretical constructs are drawn upon to assist this discussion. In the final section of the chapter, the past, present, and future of using primary original sources is discussed, in order to possibly identify new paths which research might follow. In particular, the section addresses the role of primary original sources in relation to the educational problems of recruitment, transition, retention, and interdisciplinarity. (shrink)

On the basis of a wide range of historical examples various features of axioms are discussed in relation to their use in mathematical practice. A very general framework for this discussion is provided, and it is argued that axioms can play many roles in mathematics and that viewing them as self-evident truths does not do justice to the ways in which mathematicians employ axioms. Possible origins of axioms and criteria for choosing axioms are also examined. The distinctions introduced aim at (...) clarifying discussions in philosophy of mathematics and contributing towards a more refined view of mathematical practice. (shrink)

The emperor's new mind (hereafter Emperor) is an attempt to put forward a scientific alternative to the viewpoint of according to which mental activity is merely the acting out of some algorithmic procedure. John Searle and other thinkers have likewise argued that mere calculation does not, of itself, evoke conscious mental attributes, such as understanding or intentionality, but they are still prepared to accept the action the brain, like that of any other physical object, could in principle be simulated by (...) a computer. In Emperor I go further than this and suggest that the outward manifestations ofconscious mental activity cannot even be properly simulated by calculation. To support this view, I use various arguments to show that the results of mathematical insight, in particular, do not seem to be obtained algorithmically. The main thrust ofthis work, however, is to present an overview ofthe present state of physical understanding and to show that an important gap exists at the point where, quantum and classical physics meet, as well as to speculate on how the conscious brain might be taking advantage ofwhatever new physics is needed to fill this gap to achieve its nonalgorithmic effects. (shrink)

The use of a reporter gene in transgenic mice indicates that there are many local mutations and large genomic rearrangements per somatic cell that accumulate with age at different rates per organ and without visible effects. Dissociation of the cells for monolayer culture brings out great heterogeneity of size and loss of function among cells that presumably reflect genetic and epigenetic differences among the cells, but are masked in organized tissue. The regulatory power of a mass of contiguous normal cells (...) is expressed in its capacity to normalize the appearance and growth behavior of solitary homophilic neoplastic cells, and to redirect differentiation of solitary heterophilic stem‐like cells. Intimate contact between the interacting cells is required to induce these changes. The normalization of the neoplastic phenotype does not require gap junctional communication between cells, though transdifferentiation might. These varied relationships are manifestations of the unifying biological principle of “order in the large over heterogeneity in the small”. BioEssays 28: 515–524, 2006. © 2006 Wiley Periodicals, Inc. (shrink)

This article is a brief formulation of a radical thesis. We start with the formalist doctrine that mathematical objects have no meanings; we have marks and rules governing how these marks can be combined. That's all. Then I go further by arguing that the signs of a formal system of mathematics should be considered as physical objects, and the formal operations as physical processes. The rules of the formal operations are or can be expressed in terms of the laws of (...) physics governing these processes. In accordance with the physicalist understanding of mind, this is true even if the operations in question are executed in the head. A truth obtained through (mathematical) reasoning is, therefore, an observed outcome of a neuro-physiological (or other physical) experiment. Consequently, deduction is nothing but a particular case of induction. (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)

Christopher Ormell; Is the Uncertainty of Mathematics the Real Source of Its Intellectual Charm?, Journal of Philosophy of Education, Volume 27, Issue 1, 30 May.

Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as Fermat's Last Theorem and the Riemann Hypothesis, have had to be considered in terms of the evidence for and against them. It is argued here that it is not adequate to describe the relation of evidence to hypothesis as `subjective', `heuristic' or (...) `pragmatic', but that there must be an element of what it is rational to believe on the evidence, that is, of non-deductive logic. (shrink)