Chocolate and Chess (Unlocking Lakatos) tells the fascinating story of Imre Lakatos’ life in Hungary before his flight to England following the failed 1956 Hungarian Revolution. The book focuses on Lakatos’ role as a political functionary under Hungarian Stalinism, and compiles what is known of Lakatos’ role in the induced suicide of a young woman, Éva Iszák, at the end of World War II. This historical and biographical study provides essential background for appreciating Lakatos’ cross-cultural role as a philosopher in (...) England and Hungary, through the Anglo-American philosophy and the Hegelian-Marxist traditions in which he was trained and did not leave behind. (shrink)

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)

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)

The form of nominalism known as 'mathematical fictionalism' is examined and found wanting, mainly on grounds that go back to an early antinominalist work of Rudolf Carnap that has unfortunately not been paid sufficient attention by more recent writers.

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)

We examine the influence of word choices on mathematical practice, i.e. in developing definitions, theorems, and proofs. As a case study, we consider Euclid’s and Euler’s word choices in their influential developments of geometry and, in particular, their use of the term ‘polyhedron’. Then, jumping to the twentieth century, we look at word choices surrounding the use of the term ‘polyhedron’ in the work of Coxeter and of Grünbaum. We also consider a recent and explicit conflict of approach between Grünbaum (...) and Shephard on the one hand and that of Hilton and Pedersen on the other, elucidating that the conflict was engendered by disagreement over the proper conceptualization, and so also the appropriate word choices, in the study of polyhedra. (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.

This book develops a naturalistic aesthetic theory that accounts for aesthetic phenomena in mathematics in the same terms as it accounts for more traditional aesthetic phenomena. Building upon a view advanced by James McAllister, the assertion is that beauty in science does not confine itself to anecdotes or personal idiosyncrasies, but rather that it had played a role in shaping the development of science. Mathematicians often evaluate certain pieces of mathematics using words like beautiful, elegant, or even ugly. Such evaluations (...) are prevalent, however, rigorous investigation of them, of mathematical beauty, is much less common. The volume integrates the basic elements of aesthetics, as it has been developed over the last 200 years, with recent findings in neuropsychology as well as a good knowledge of mathematics. The volume begins with a discussion of the reasons to interpret mathematical beauty in a literal or non-literal fashion, which also serves to survey historical and contemporary approaches to mathematical beauty. The author concludes that literal approaches are much more coherent and fruitful, however, much is yet to be done. In this respect two chapters are devoted to the revision and improvement of McAllister’s theory of the role of beauty in science. These antecedents are used as a foundation to formulate a naturalistic aesthetic theory. The central idea of the theory is that aesthetic phenomena should be seen as constituting a complex dynamical system which the author calls the aesthetic as process theory. The theory comprises explications of three central topics: aesthetic experience, aesthetic value and aesthetic judgment. The theory is applied in the final part of the volume and is used to account for the three most salient and often used aesthetic terms often used in mathematics: beautiful, elegant and ugly. This application of the theory serves to illustrate the theory in action, but also to further discuss and develop some details and to showcase the theory’s explanatory capabilities. (shrink)

In recent years, philosophical work directly concerned with the practice of mathematics has intensified, giving rise to a movement known as the philosophy of mathematical practice . In this paper we offer a survey of this movement aimed at mathematics educators. We first describe the core questions philosophers of mathematical practice investigate as well as the philosophical methods they use to tackle them. We then provide a selective overview of work in the philosophy of mathematical practice covering topics including the (...) distinction between formal and informal proofs, visualization and artefacts, mathematical explanation and understanding, value judgments, and mathematical design. We conclude with some remarks on the potential connections between the philosophy of mathematical practice and mathematics education. (shrink)

ABSTRACT Historical structuralist views have been ontological. They either deny that there are any mathematical objects or they maintain that mathematical objects are structures or positions in them. Non-ontological structuralism offers no account of the nature of mathematical objects. My own structuralism has evolved from an early sui generis version to a non-ontological version that embraces Quine’s doctrine of ontological relativity. In this paper I further develop and explain this view.

Much work in MKM depends on the application of formal logic to mathematics. However, much mathematical knowledge is informal. Luckily, formal logic only represents one tradition in logic, specifically the modeling of inference in terms of logical form. Many inferences cannot be captured in this manner. The study of such inferences is still within the domain of logic, and is sometimes called informal logic. This paper explores some of the benefits informal logic may have for the management of informal mathematical (...) knowledge. (shrink)

The provocative paper by John Forrester ‘If p, Then What? Thinking in Cases’ (1996) opened up the question of case thinking as a separate mode of reasoning in the sciences. Case-based reasoning is certainly endemic across a number of sciences, but it has looked different according to where it has been found. This article investigates this mode of science – namely thinking in cases – by questioning the different interpretations of ‘If p?’ and exploring the different interpretative responses of what (...) follows in ‘Then What?’. The aim is to characterize how ‘reasoning in, within, with, and from cases’ forms a mode of scientific investigation for single cases, for runs of cases, and for comparative cases, drawing on materials from a range of different fields in which case-based reasoning appears. (shrink)

The main thrust of the argument of this thesis is to show the possibility of articulating a method of construction or of synthesis--as against the most common method of analysis or division--which has always been (so we shall argue) a necessary component of scientific theorization. This method will be shown to be based on a fundamental synthetic logical relation of thought, that we shall call inversion--to be understood as a species of logical opposition, and as one of the basic monadic (...) logical operators. Thus the major objective of this thesis is to This thesis can be viewed as a response to Larry Laudan's challenge, which is based on the claim that ``the case has yet to be made that the rules governing the techniques whereby theories are invented (if any such rules there be) are the sorts of things that philosophers should claim any interest in or competence at.'' The challenge itself would be to show that the logic of discovery (if at all formulatable) performs the epistemological role of the justification of scientific theories. We propose to meet this challenge head on: a) by suggesting precisely how such a logic would be formulated; b) by demonstrating its epistemological relevance (in the context of justification) and c) by showing that a) and b) can be carried out without sacrificing the fallibilist view of scientific knowledge. OBJECTIVES: We have set three successive objectives: one general, one specific, and one sub-specific, each one related to the other in that very order. (A) The general objective is to indicate the clear possibility of renovating the traditional analytico-synthetic epistemology. By realizing this objective, we attempt to widen the scope of scientific reason or rationality, which for some time now has perniciously been dominated by pure analytic reason alone. In order to achieve this end we need to show specifically that there exists the possibility of articulating a synthetic (constructive) logic/reason, which has been considered by most mainstream thinkers either as not articulatable, or simply non-existent. (B) The second (specific) task is to respond to the challenge of Larry Laudan by demonstrating the possibility of an epistemologically significant generativism. In this context we will argue that this generativism, which is our suggested alternative, and the simplified structuralist and semantic view of scientific theories, mutually reinforce each other to form a single coherent foundation for the renovated analytico-synthetic methodological framework. (C) The third (sub-specific) objective, accordingly, is to show the possibility of articulating a synthetic logic that could guide us in understanding the process of theorization. This is realized by proposing the foundations for developing a logic of inversion, which represents the pattern of synthetic reason in the process of constructing scientific definitions. (shrink)

A phenomenological approach to mathematical practice is sketched out, and some problems with this sort of approach are considered. The approach outlined takes mathematical practices as its data, and seeks to provide an empirically adequate philosophy of mathematics based on observation of these practices. Some observations are presented, based on two case studies of some research into the classification of C*-algebras. It is suggested that an anti-realist account of mathematics could be developed on the basis of these and other studies, (...) locating the substance of mathematics in the various informal argument methods used by mathematicians. (shrink)

The late Imre Lakatos once hoped to found a school of dialectical philosophy of mathematics. The aim of this paper is to ask what that might possibly mean. But Lakatos's philosophy has serious shortcomings. The paper elaborates a conception of dialectical philosophy of mathematics that repairs these defects and considers the work of three philosophers who in some measure fit the description: Yehuda Rav, Mary Leng and David Corfield.

We give an overview of Lakatos’ life, his philosophy of mathematics and science, as well as of this issue. Firstly, we briefly delineate Lakatos’ key contributions to philosophy: his anti-formalist philosophy of mathematics, and his methodology of scientific research programmes in the philosophy of science. Secondly, we outline the themes and structure of the masterclass Lakatos’ Undone Work – The Practical Turn and the Division of Philosophy of Mathematics and Philosophy of Science​, which gave rise to this special issue. Lastly, (...) we provide a summary of the contributions to this issue. (shrink)

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)

I argue in this article that an aspect of Imre Lakatos’s philosophy has been largely ignored in previous literature. The key feature of Lakatos’s philosophy of the historiography of science is its non-representationalism, which enables comparisons of alternative ‘historiographic research programmes’ without implying that the interpretations of history re-present or mirror the past. I discuss some problems of this interpretation and show specifically that Lakatos’s philosophy does not distort the history of science despite its normative ambitions. The last section is (...) devoted to updating Lakatos’s programme to answer the needs of contemporary history and philosophy of science. The standard of rationality used in comparative assessments should be understood as a tool for measuring the coherence of an account of history with regard to the ‘actual history’. This standard takes two forms: framework-dependent and framework-independent rationality. The latter is decisive in comparative assessments. (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)

During the first half of the twentieth century, mainstream answers to the foundational crisis, mainly triggered by Russell and Gödel, remained largely perfectibilist in nature. Along with a general naturalist wave in the philosophy of science, during the second half of that century, this idealist picture was finally challenged and traded in for more realist ones. Next to the necessary preliminaries, the present paper proposes a structured view of various philosophical accounts of mathematics indebted to this general idea, laying the (...) ground for a desirable integration of their strenghts. (shrink)

This paper clarifies and discusses Imre Lakatos’ claim that mathematics is quasi-empirical in one of his less-discussed papers A Renaissance of Empiricism in the Recent Philosophy of Mathematics. I argue that Lakatos’ motivation for classifying mathematics as a quasi-empirical theory is epistemological; what can be called the quasi-empirical epistemology of mathematics is not correct; analysing where the quasi-empirical epistemology of mathematics goes wrong will bring to light reasons to endorse a pluralist view of mathematics.

The ill?named debate between postmodernists and postlibertarians should be transcended; this requires the abandonment of both foundationalism and its converse, without abandoning common sense as well (which is no mean trick). Similarly, the debate over ?minimal statism? versus the planned economy is outdated. Instead of claiming to be in possession of foundations of our scientific?cum?political knowledge in broad terms, and instead of severely limiting our knowledge to given proofs, we offer the putative heuristics of critique in general and the critical (...) evaluations of contexts in particular. (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.

The object of this paper is to study the analogy, drawn both positively and negatively, between mathematics and fiction. The analogy is more subtle and interesting than fictionalism, which was discussed in part I. Because analogy is not common coin among philosophers, this particular analogy has been discussed or mentioned for the most part just in terms of specific similarities that writers have noticed and thought worth mentioning without much attention's being paid to the larger picture. I intend with this (...) analogy (looking at others' comparisons) to shed a little light on what is going on in mathematics, how one can understand it a bit other than experientially. This intention is philosophical and the way that I am attempting to accomplish it is also philosophical. I shall conclude my attempt to explain how it is possible and even natural for mathematics and fiction to have the analogy they have, taking it for granted, as argued in part I, that they are not to be identified. To this end I shall discuss philosophers' comparisons, mainly those of Hodes, Resnik, Tharp, and Wagner, who are the writers that seem to me to have written most thoughtfully and sufficiently extensively about fiction in making the comparison and of Körner, whose comparison is different. Whether either of these comparisons or the more general analogy is of permanent philosophical interest will have to be decided by philosophers now that they have had a fuller examination. I shall mention some other writers' reference to fiction, but not all; indeed, I am sure that I have not even found all the comparisons that there are. (shrink)