In this paper I investigate two notions of concepts that have played a dominant role in 20th century philosophy of mathematics. According to the first, concepts are definite and fixed; in contrast, according to the second notion concepts are open and subject to modifications. The motivations behind these two incompatible notions and how they can be used to account for conceptual change are presented and discussed. On the basis of historical developments in mathematics I argue that both notions of concepts (...) capture important aspects of mathematical and scientific reasoning, and, consequently, that a pluralistic approach that allows for representing both of these aspects is most useful for an adequate account of investigative practices. (shrink)

Imre Lakatos; II—Criticism and the Methodology of Scientific Research Programmes, Proceedings of the Aristotelian Society, Volume 69, Issue 1, 1 June 1969, Page.

Mathematics offers us a puzzling contrast. On the one hand it is supposed to be the paradigm of certain and final knowledge: not fixed to be sure, but a steadily accumulating coherent body of truths obtained by successive deduction from the most evident truths. By the intricate combination and recombination of elementary steps one is led incontrovertibly from what is trivial and unremarkable to what can be non-trivial and surprising.On the other hand, the actual development of mathematics reveals a history (...) full of controversy, confusion and even error, marked by periodic reassessments and occasional upheavals. The mathematician at work relies on surprisingly vague intuitions and proceeds by fumbling fits and starts with all too frequent reversals. In this picture the actual historical and individual processes of mathematical discovery appear haphazard and illogical.The first view is of course the currently conventional one which descends from the classic work of Euclid. (shrink)

In this ambitious study, David Corfield attacks the widely held view that it is the nature of mathematical knowledge which has shaped the way in which mathematics is treated philosophically, and claims that contingent factors have brought us to the present thematically limited discipline. Illustrating his discussion with a wealth of examples, he sets out a variety of new ways to think philosophically about mathematics, ranging from an exploration of whether computers producing mathematical proofs or conjectures are doing real mathematics, (...) to the use of analogy, the prospects for a Bayesian confirmation theory, the notion of a mathematical research programme, and the ways in which new concepts are justified. His highly original book challenges both philosophers and mathematicians to develop the broadest and richest philosophical resources for work in their disciplines, and points clearly to the ways in which this can be done. (shrink)

Both biologists and philosophers often make use of simple verbal formulations of necessary and sufficient conditions for evolution by natural selection (ENS). Such summaries go back to Darwin's Origin of Species (especially the "Recapitulation"), but recent ones are more compact.1 Perhaps the most commonly cited formulation is due to Lewontin.2 These summaries tend to have three or four conditions, where the core requirement is a combination of variation, heredity, and fitness differences. The summaries are employed in several ways. First, they (...) are often used in pedagogical contexts, and in showing the coherence of evolutionary theory in response to attacks from outside biology. Second, they are important in discussions of extensions of evolutionary principles to new domains, such as cultural change. The summaries also have intrinsic scientific and philosophical interest as attempts to capture some core principles of evolutionary theory in a highly concise way. Despite their prominence, both the proper formulation and status of these summaries are unclear. Standard formulations are subject to counterexamples, and their relations to formal models of evolutionary change are not straightforward. Here I look closely at these verbal summaries, and at how they relate to formal models. Are the summaries merely rough approximations that have no theoretical role of their own? Perhaps they could operate as theoretical statements in Darwin's time, but have now been superseded by more exact treatments. (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)

This paper addresses the actual practice of justifying definitions in mathematics. First, I introduce the main account of this issue, namely Lakatos's proof-generated definitions. Based on a case study of definitions of randomness in ergodic theory, I identify three other common ways of justifying definitions: natural-world justification, condition justification, and redundancy justification. Also, I clarify the interrelationships between the different kinds of justification. Finally, I point out how Lakatos's ideas are limited: they fail to show how various kinds of justification (...) can be found and can be reasonable, and they fail to acknowledge the interplay among the different kinds of justification. (shrink)

Imre Lakatos’ Proofs and Refutations is a book well known to those who work in the philosophy of mathematics, though it is perhaps not widely referred to. Its general thrust is out of tenor with the foundationalist perspective that has dominated work in the philosophy of mathematics since the early years of the 20th century. It seems to us, though, that the book contains striking insights into the nature of proof, and the purpose of this paper is to explore and (...) apply some of these. (shrink)

I once wrote to Imré Lakatos that if he had not already established himself as an accomplished philosopher and provocateur, he could have made a successful career as a Hollywood script writer. I had in mind, at that time, a beautifully written paper he had constructed by pasting together the cuttings from other papers. I had forgotten that his reputation as a dramatist was already established, with the production of his Proofs and Refutations [9]. For that work, it seems to (...) me, is simply a play within a play. The main character, whose part is written in the footnotes, delivers a monologue which is a commentary on the drama, between teacher and students, that occupies center stage. This main character is not named in the play, so for ease of reference I shall call him “Imré”. What Imré points out is that the drama on center stage imitates life, in showing us the essential features of the methodology by virtue of which mathematical science grows. (shrink)