I examine the classical idea of ‘algorithm’ as a sequential, step-by-step, deterministic procedure (i.e., the idea of ‘algorithm’ that was already in use by the 1930s), with respect to three themes, its relation to the notion of an ‘effective procedure’, its different roles and uses in logic, computer science, and mathematics (focused on numerical analysis), and its different formal definitions proposed by practitioners in these areas. I argue that ‘algorithm’ has been conceptualized and used in contrasting ways in the above (...) areas, and discuss challenges and prospects for adopting a final foundational theory of (classical) ‘algorithms’. (shrink)

A key question of the ‘maverick’ tradition of the philosophy of mathematical practice is addressed, namely what is mathematical progress. The investigation is based on an article by Penelope Maddy devoted to this topic in which she considers only contributions ‘of some mathematical importance’ as progress. With the help of a case study from contemporary mathematics, more precisely from tropical geometry, a few issues with her proposal are identified. Taking these issues into consideration, an alternative account of ‘mathematical importance’, broadly (...) within the framework of progress Maddy offers, is developed with a special focus on mathematicians’ peer-review practice. (shrink)

This work gives a new argument for ‘Empirical Philosophy of Mathematical Practice’. It analyses different modalities on how empirical information can influence philosophical endeavours. We evoke the classical dichotomy between “armchair” philosophy and empirical/experimental philosophy, and claim that the latter should in turn be subdivided in three distinct styles: Apostate speculator, Informed analyst, and Freeway explorer. This is a shift of focus from the source of the information towards its use by philosophers. We present several examples from philosophy of mind/science (...) and ethics on one side and a case study from philosophy of mathematics on the other. We argue that empirically informed philosophy of mathematics is different from the rest in a way that encourages a Freeway explorer approach, because intuitions about mathematical objects are often unavailable for non-mathematicians. This consideration is supported by a case study in set theory. (shrink)

A number of examples of studies from the field ‘The Philosophy of Mathematical Practice’ (PMP) are given. To characterise this new field, three different strands are identified: an agent-based, a historical, and an epistemological PMP. These differ in how they understand ‘practice’ and which assumptions lie at the core of their investigations. In the last part a general framework, capturing some overall structure of the field, is proposed.

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)

There is a wealth of resources— ideas, insights, discoveries, inventions, traditions, cultures, languages, arts, religions, sciences, narratives, stories, poems, customs and norms, music and songs, games and personal experiences, and advertisements—that we produce, curate, consume, transmit, and inherit as humans. This wealth, which I define as semantic capital, gives meaning to, and makes sense of, our own existence and the world surrounding us. It defines who we are and enables humans to develop an individual and social life. This paper discusses (...) the shift from analog to digital semantic capital, and the extent to which this might affect the semanticisation of our identities, our lives and our realities. -/- . (shrink)

I examine the way a relevant conceptual novelty in mathematics, that is, the notion of group, has been constructed in order to show the kinds of heuristic reasoning that enabled its manufacturing. To this end, I examine salient aspects of the works of Lagrange, Cauchy, Galois and Cayley. In more detail, I examine the seminal idea resulting from Lagrange’s heuristics and how Cauchy, Galois and Cayley develop it. This analysis shows us how new mathematical entities are generated, and also how (...) what counts as a solution to a problem is shaped and changed. Finally, I argue that this case study shows us that we have to study inferential micro-structures, that is, the ways similarities and regularities are sought, in order to understand how theoretical novelty is constructed and heuristic reasoning is put forward. (shrink)

This paper explores applications of concepts from argumentation theory to mathematical proofs. Note is taken of the various contexts in which proofs occur and of the various objectives they may serve. Examples of strategic maneuvering are discussed when surveying, in proofs, the four stages of argumentation distinguished by pragma-dialectics. Derailments of strategies (fallacies) are seen to encompass more than logical fallacies and to occur both in alleged proofs that are completely out of bounds and in alleged proofs that are at (...) least mathematical arguments. These considerations lead to a dialectical and rhetorical view of proofs. (shrink)

Having been neglected or maligned for most of this century, Newton's method of 'deduction from the phenomena' has recently attracted renewed attention and support. John Norton, for example, has argued that this method has been applied with notable success in a variety of cases in the history of physics and that this explains why the massive underdetermination of theory by evidence, seemingly entailed by hypothetico-deductive methods, is invisible to working physicists. This paper, through a detailed analysis of Newton's deduction of (...) one particular 'proposition' in optics 'from the phenomena', gives a clearer account than hitherto of the method - highlighting the fact that it is really one of deduction from the phenomena plus 'background knowledge'. It argues, that, although the method has certain heuristic virtues, examination of its putative accreditational strengths reveals a range of important problems that its defenders have yet adequately to address. (shrink)

The first part of this paper consists of an exposition of the views expressed by Pierre Duhem in his Aim and Structure of Physical Theory concerning the philosophy and historiography of mathematics. The second part provides a critique of these views, pointing to the conclusion that they are in need of reformulation. In the concluding third part, it is suggested that a number of the most important claims made by Duhem concerning physical theory, e.g., those relating to the Newtonian method, (...) the limited falsifiability of theories, and the restricted role of logic, can be meaningfully applied to mathematics. (shrink)

Epistemologists have developed a diverse group of theories, known as hinge epistemology, about our epistemic practices that resort to and expand on Wittgenstein's concept of ‘hinges’ in On Certainty. Within hinge epistemology there is a debate over the epistemic status of hinges. Some hold that hinges are non-epistemic (neither known, justified, nor warranted), while others contend that they are epistemic. Philosophers on both sides of the debate have often connected this discussion to Wittgenstein's later views on mathematics. Others have directly (...) questioned whether there are mathematical hinges, and if so, these would be axioms. Here, we give a hinge epistemology account for mathematical practices based on their contextual dynamics. We argue that 1) there are indeed mathematical hinges (and they are not axioms necessarily), and 2) a given mathematical entity can be used contextually as an epistemic hinge, a non-epistemic hinge, or a non-hinge. We sustain our arguments exegetically and empirically. (shrink)

This paper explores the role of aesthetic judgements in mathematics by focussing on the relationship between the epistemic and aesthetic criteria employed in such judgements, and on the nature of the psychological experiences underpinning them. I claim that aesthetic judgements in mathematics are plausibly understood as expressions of what I will call ‘aesthetic-epistemic feelings’ that serve a genuine cognitive and epistemic function. I will then propose a naturalistic account of these feelings in terms of sub-personal processes of representing and assessing (...) the relation between cognitive processes and certain properties of the stimuli at which they are directed. (shrink)

Lakatos's Proofs and Refutations is usually understood as an attempt to apply Popper's methodology of science to mathematics. This view has been challenged because despite appearances the methodology expounded in it deviates considerably from what would have been a straightforward application of Popperian maxims. I take a closer look at the Popperian roots of Lakatos's philosophy of mathematics, considered not as an application but as an extension of Popper's critical programme, and focus especially on the core ideas of this programme (...) as they appeared where Popper specifically addressed philosophical problems concerning mathematics. (shrink)

Everyone appreciates a clever mathematical picture, but the prevailing attitude is one of scepticism: diagrams, illustrations, and pictures prove nothing; they are psychologically important and heuristically useful, but only a traditional verbal/symbolic proof provides genuine evidence for a purported theorem. Like some other recent writers (Barwise and Etchemendy [1991]; Shin [1994]; and Giaquinto [1994]) I take a different view and argue, from historical considerations and some striking examples, for a positive evidential role for pictures in mathematics.

Open texture is a kind of semantic indeterminacy first systematically studied by Waismann. In this paper, extant definitions of open texture will be compared and contrasted, with a view towards the consequences of open-textured concepts in mathematics. It has been suggested that these would threaten the traditional virtues of proof, primarily the certainty bestowed by proof-possession, and this suggestion will be critically investigated using recent work on informal proof. It will be argued that informal proofs have virtues that mitigate the (...) danger posed by open texture. Moreover, it will be argued that while rigor in the guise of formalisation and axiomatisation might banish open texture from mathematical theories through implicit definition, it can do so only at the cost of restricting the tamed concepts in certain ways. (shrink)

Far from being unwelcome or impossible in a mathematical setting, indeterminacy in various forms can be seen as playing an important role in driving mathematical research forward by providing “sources of newness” in the sense of Hutter and Farías :434–449, 2017). I argue here that mathematical coincidences, phenomena recently under discussion in the philosophy of mathematics, are usefully seen as inducers of indeterminacy and as put to work in guiding mathematical research. I suggest that to call a pair of mathematical (...) facts a coincidence is roughly to suggest that the investigation of connections between these facts isn’t worthwhile. To say of this pair, “That’s no coincidence!” is to suggest just the opposite. I further argue that this perspective on mathematical coincidence, which pays special attention to what mathematical coincidences do, may provide us with a better view of what mathematical coincidences are than extant accounts. I close by reflecting on how understanding mathematical coincidences as generating indeterminacy accords with a conception of mathematical research as ultimately aiming to reduce indeterminacy and complexity to triviality as proposed in Rota Indiscrete thoughts, Birkhäuser, 1997). (shrink)

In recent years, there has been increasing discussion of whether philosophy actually makes progress. This discussion has been prompted, in no small part, by the depth and persistence of disagreement among philosophers on virtually every major theoretical issue in the field. In this paper, I examine the role that the Method of Cases – the widespread philosophical method of testing and revising theories by comparing their verdicts against our intuitions in particular cases – plays in creating and sustaining theoretical disagreements (...) in philosophy. Drawing on work from cognitive psychology, I argue that there is a fundamental incompatibility between the structure of the theories that philosophers seek to construct using the MoC and the structure of the concepts on which our case-specific intuitions are based. This incompatibility renders MoC-based philosophical theorizing unable ever to succeed by the very standards of adequacy that it sets for itself. And this, in turn, helps to explain the depth and persistence of theoretical disagreements – and, in certain ways, the lack of progress – in the many areas of philosophy where the MoC plays an important role. (shrink)

Electronic computers form an integral part of modern mathematical practice. Several high-profile results have been proven with techniques where computer calculations form an essential part of the proof. In the traditional philosophical literature, such proofs have been taken to constitute a posteriori knowledge. However, this traditional stance has recently been challenged by Mark McEvoy, who claims that computer calculations can constitute a priori mathematical proofs, even in cases where the calculations made by the computer are too numerous to be surveyed (...) by human agents. In this article we point out the deficits of the traditional literature that has called for McEvoy’s correction. We also explain why McEvoy’s defence of mathematical apriorism fails and we discuss how the debate over the epistemological status of computer-assisted mathematics contains several unfortunate conceptual reductions. (shrink)

Since the birth of computing as an academic discipline, the disciplinary identity of computing has been debated fiercely. The most heated question has concerned the scientific status of computing. Some consider computing to be a natural science and some consider it to be an experimental science. Others argue that computing is bad science, whereas some say that computing is not a science at all. This survey article presents viewpoints for and against computing as a science. Those viewpoints are analyzed against (...) basic positions in the philosophy of science. The article aims at giving the reader an overview, background, and a historical and theoretical frame of reference for understanding and interpreting some central questions in the debates about the disciplinary identity of computer science. The article argues that much of the discussion about the scientific nature of computing is misguided due to a deep conceptual uncertainty about science in general as well as computing in particular. (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.

Can arguments change minds? Philosophers like to think that they can. However, a wealth of empirical evidence suggests that arguments are not very efficient tools to change minds. What to make of the different assessments of the mind-changing potential of arguments? To address this issue, we must take into account the broader contexts in which arguments occur, in particular the propagation of messages across networks of attention, and the choices that epistemic agents must make between alternative potential sources of content (...) and information, which are very much influenced by perceptions of reliability and trustworthiness. Arguments can change minds, but only under conducive, favourable socio-epistemic conditions. (shrink)

This work explores the later Wittgenstein’s philosophy of mathematics in relation to Lakatos’ philosophy of mathematics and the philosophy of mathematical practice. I argue that, while the philosophy of mathematical practice typically identifies Lakatos as its earliest of predecessors, the later Wittgenstein already developed key ideas for this community a few decades before. However, for a variety of reasons, most of this work on philosophy of mathematics has gone relatively unnoticed. Some of these ideas and their significance as precursors for (...) the philosophy of mathematical practice will be presented here, including a brief reconstruction of Lakatos’ considerations on Euler’s conjecture for polyhedra from the lens of late Wittgensteinian philosophy. Overall, this article aims to challenge the received view of the history of the philosophy of mathematical practice and inspire further work in this community drawing from Wittgenstein’s late philosophy. (shrink)

In this paper I propose a position in the ontology of mathematics which is inspired mainly by a case study in the mathematical discipline if-theory. The main theses of this position are that mathematical objects are introduced by mathematicians and that after mathematical objects have been introduced, they exist as objectively accessible abstract objects.

In this paper, I argue that Imre Lakatos’s account on the relation between the history and the philosophy of science, if properly understood and also if properly modified, can be valuable for the philosophical comprehension of the relation between the history and the philosophy of science. The paper is divided into three main parts. In the first part, I provide a charitable exegesis of the Lakatosian conception of the history of science in order to show that Lakatos’s history cannot be (...) a caricature. In the second part, I describe what I believe are the real problems of Lakatos’s account on a metaphysical and on a methodological level. In order to address these problems, I take advantage of the recent critique of the so-called “confrontation model”. Finally, in the third part, I suggest that a proper modification of Lakatos’s perspective can resolve the aforementioned problems without distorting Lakatos’s central aspiration, which is that the philosophical theories of scientific rationality can be assessed with the help of the history of science without losing their normative content. (shrink)

I argue that the construction of representation theorems is a powerful tool for creating novel objects and theories in mathematics, as the construction of a new representation introduces new pieces of information in a very specific way that enables a solution for a problem and a proof of a new theorem. In more detail I show how the work behind the proof of a representation theorem transforms a mathematical problem in a way that makes it tractable and introduces information into (...) it that it did not contain at the beginning of the process. (shrink)

We present a case study of how mathematicians write for mathematicians. We have conducted interviews with two research mathematicians, the talented PhD student Adam and his experienced supervisor Thomas, about a research paper they wrote together. Over the course of 2 years, Adam and Thomas revised Adam’s very detailed first draft. At the beginning of this collaboration, Adam was very knowledgeable about the subject of the paper and had good presentational skills but, as a new PhD student, did not yet (...) have experience writing research papers for mathematicians. Thus, one main purpose of revising the paper was to make it take into account the intended audience. For this reason, the changes made to the initial draft and the authors’ purpose in making them provide a window for viewing how mathematicians write for mathematicians. We examined how their paper attracts the interest of the reader and prepares their proofs for validation by the reader. Among other findings, we found that their paper prepares the proofs for two types of validation that the reader can easily switch between. (shrink)

During the first half of the nineteenth century, mathematical analysis underwent a transition from a predominantly formula-centred practice to a more concept-centred one. Central to this development was the reorientation of analysis originating in Augustin-Louis Cauchy's (1789–1857) treatment of infinite series in his Cours d’analyse. In this work, Cauchy set out to rigorize analysis, thereby critically examining and reproving central analytical results. One of Cauchy's first and most ardent followers was the Norwegian Niels Henrik Abel (1802–1829) who vowed to shed (...) some light on the vast darkness in analysis.This paper investigates some important aspects of Abel's contribution to the reorientation in analysis. In particular, it stresses the role for critical revision in the process of rigorization. By critically examining past practice, the new practice sought to explain the relative success of the previous—now outdated—approach. This is illustrated by discussing a number of issues related to Abel's new proof of the binomial theorem (1826) including his reactions to the exception that he encountered to one of the central theorems of Cauchy's theory.Following this discussion, the formation of new concepts as the result of critical revisions is illustrated by analysing the early history of the concept of absolute convergence. Thereby, it is shown how a new concept was distilled, investigated, put to use and eventually superseded. (shrink)

…all men begin… by wondering that things are as they are…as they do about…the incommensurability of the diagonal of the square with the side; for it seems wonderful to all who have not yet seen the reason, that there is a thing which cannot be measured even by the smallest unit. But we must end in the contrary and, according to the proverb, the better state, as is the case in these instances too when men learn the cause; for there (...) is nothing which would surprise a geometer so much as if the diagonal turned out to be commensurable. (shrink)

The study is focused on the relation between theology and mathematics in the situation of increasing secularization. My main concern in the second part of this paper is the early-twentieth-century foundational crisis of mathematics. The hypothesis that pure mathematics partially fulfilled the functions of theology at that time is tested on the views of the leading figures of the three main foundationalist programs: Russell, Hilbert and Brouwer.

An overview is provided of how the concept of the thought experiment has developed and changed for the natural sciences in the course of the 20th century. First, we discuss the existing definitions of the term 'thought experiment' and the origin of the thought experimentation method, identifying it in Greek Presocratics epoch. Second, only in the end of the 19th century showed up the first systematic enquiry on thought experiments by Ernst Mach's work. After the Mach's work, a negative attitude (...) towards thought experiments came in the beginning of the 20th century, which went on until the Thomas Kuhn's and Karl Popper's work on thought experiments. Only from the mid-1980s did thought experiments begin to be considered relevant to scientific enterprise. Finally, we show the existing empirical and 'functional' theories which have developed about the nature and purpose of thought experiments. (shrink)

Ethical discourse and fallacy theory come together in a natural way over concepts such as bias, prejudice, preconceived opinion, prototypical and stereotypical thinking, dogmatism and loyalty. By and large, these are concepts that have not been sufficiently worked up to bear the theoretical weight either of ethics or of logic. The present paper seeks to ameliorate this situation. It proposes that situations describable by any such concepts partition into (a) the rationally and morally regrettable and (b) the rationally and morally (...) impeccable, and in any event, unavoidable. Finding (b) will come as a surprise to some theorists. (shrink)

Despite continued attention, finding adequate criteria for distinguishing “good” from “bad” scholarly journals remains an elusive goal. In this essay, I propose a solution informed by the work of Imre Lakatos and his methodology of scientific research programmes (MSRP). I begin by reviewing several notable attempts at appraising journal quality – focusing primarily on the impact factor and development of journal blacklists and whitelists. In doing so, I note their limitations and link their overarching goals to those found within the (...) philosophy of science. I argue that Lakatos’s MSRP and specifically his classifications of “progressive” and “degenerative” research programmes can be analogized and repurposed for the evaluation of scholarly journals. I argue that this alternative framework resolves some of the limitations discussed above and offers a more considered evaluation of journal quality – one that helps account for the historical evolution of journal-level publication practices and attendant contributions to the growth (or stunting) of scholarly knowledge. By doing so, the seeming problem of journal demarcation is diminished. In the process I utilize two novel tools (the mistake index and scite index) to further illustrate and operationalize aspects of the MSRP. (shrink)

200 years ago, on August 5, 1802, Niels Henrik Abel was born on Finnøy near Stavanger on the Norwegian west coast. During a short life span, Abel contributed to a deep transition in mathematics in which concepts replaced formulae as the basic objects of mathematics. The transformation of mathematics in the 1820s and its manifestation in Abel’s works are the themes of the author’s PhD thesis. After sketching the formative instances in Abel’s well-known biography, this article illustrates two aspects of (...) the transformation which concern the introduction of concept based mathematics and the related shift in standards of mathematical rigor. Furthermore, the article outlines some of the many bicentennial celebrations in Norway and gives a short, thematic introduction to the literature on Abel and his work. (shrink)

The goal of this paper is to answer the following question: Does it make sense to speak of thought experiments not only in physics, but also in mathematics, to refer to an authentic type of activity? One may hesitate because mathematics as such is the exercise of reasoning par excellence, an activity where experience does not seem to play an important role. After reviewing some results of the research on thought experiments in the natural sciences, we turn our attention to (...) experiments and thought experiments in mathematics, especially in fundamental mathematics, and investigate what thought experiments can teach us there. If we accept the principle that mathematical practice can sometimes be best described by a pragmatist approach where the concept of experience in mathematics is considered from a new perspective, thought experiments can in some cases be a useful instrument different from both ‘mathematical experiments’ and ‘formal’ proofs: they are mathematical experiments using deviant methods. (shrink)

Ralph Johnson argues that mathematical proofs lack a dialectical tier, and thereby do not qualify as arguments. This paper argues that, despite this disavowal, Johnson’s account provides a compelling model of mathematical proof. The illative core of mathematical arguments is held to strict standards of rigour. However, compliance with these standards is itself a matter of argument, and susceptible to challenge. Hence much actual mathematical practice takes place in the dialectical tier.

This is a review of those key thought experiments in physics from the late 19th century onward that seem to have played a particular role in the process of the discovery or advancement of theory. Among others the paper discusses Maxwell's demon, several of Einstein's thought experiments in relativity, Heisenberg's microscope, the Einstein-Schrödinger cat, and the EPR thought experiment.

In this paper I present two cases, taken from the history of science, in which mathematics and physics successfully interplay. These cases provide, respectively, an example of the successful application of mathematics in astronomy and an example of the successful application of mechanics in mathematics. I claim that an illustration of these cases has a twofold value in the context of the applicability debate. First, it enriches the debate with an historical perspective which is largely omitted in the contemporary discussion. (...) Second, it reveals a component of the applicability problem that has received little attention. This component concerns the successful application of physical principles in mathematical practice. With the help of the two examples, in the final part of the paper I address the following question: are successful applications of mathematics to physics and successful applications of physics to mathematics two sides of the same problem? (shrink)

This title offers philosophical analyses of important characteristics of contemporary mathematics and of many aspects of mathematical activity which escape purely formal logical treatment.

http://dx.doi.org/10.5007/1808-1711.2008v12n1p35 This paper aims to show that Bas van Fraassen’s constructive empiricism, such as it is expounded in The Scientific Image , ends up in considerable difficulties in the philosophy of science. The main problem would be the exclusion of mathematics from the conception of science, given its clear absence of empirical adequacy, which is the most important requirement of his formulation. In this sense, it is suggested a more inclusive formulation of scientific theory, aroused from the notion of Da (...) Costa’s (1999) simple structure , considering the notion of scientific discovery in a strict sense, and the validity limit of a theory and the formalism used in a temporal context. (shrink)

In this paper it is argued that the fundamental difference of the formal and the informal position in the philosophy of mathematics results from the collision of an object and a process centric perspective towards mathematics. This collision can be overcome by means of dialectical analysis, which shows that both perspectives essentially depend on each other. This is illustrated by the example of mathematical proof and its formal and informal nature. A short overview of the employed materialist dialectical approach is (...) given that rationalises mathematical development as a process of model production. It aims at placing more emphasis on the application aspects of mathematical results. Moreover, it is shown how such production realises subjective capacities as well as objective conditions, where the latter are mediated by mathematical formalism. The approach is further sustained by Polanyi’s theory of problem solving and Stegmaier’s philosophy of orientation. In particular, the tool and application perspective illuminates which role computer-based proofs can play in mathematics. (shrink)