In this paper I assess the obstacles to a transfer of Lakatos's methodology of scientific research programmes to mathematics. I argue that, if we are to use something akin to this methodology to discuss modern mathematics with its interweaving theoretical development, we shall require a more intricate construction and we shall have to move still further away from seeing mathematical knowledge as a collection of statements. I also examine the notion of rivalry within mathematics and claim that this appears to (...) be significant only at a high level. In addition, ideas of ‘progress’ in mathematics are outlined. (shrink)

In this paper, we discuss Hintikka’s theory of interrogative approach to inquiry with a focus on bracketing. First, we dispute the use of bracketing in the interrogative model of inquiry arguing that bracketing provides an indispensable component of an inquiry. Then, we suggest a formal system based on strategy logic and logic of paradox to describe the epistemic aspects of an inquiry, and obtain a naturally paraconsistent system. We then apply our framework to some cases to illustrate its use.

Bernard Lavor and John Kadvany argue that Lakatos’s Hegelian approach to the philosophy of mathematics and science enabled him to overcome all competing philosophies. His use of the approach Hegel developed in his Phenomenology enabled him to show how mathematics and science develop, how they are open-ended, and that they are not subject to rules, even though their rationality may be understood after the fact. Hegel showed Lakatos how to falsify the past to make progress in the present. A critique (...) based on normal standards of fairness and honesty finds this argument an attack on rationality. The similarity of the methods Lakatos used as a Stalinist politician and those he used as a philosopher are pointed out. The Hegelian interpretation of his philosophy is an excuse for his misdeeds. Key Words: Lakatos • Popper • Agassi • research program • historiography. (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)

Imre Lakatos' views on the philosophy of mathematics are important and they have often been underappreciated. The most obvious lacuna in this respect is the lack of detailed discussion and analysis of his 1976a paper and its implications for the methodology of mathematics, particularly its implications with respect to argumentation and the matter of how truths are established in mathematics. The most important themes that run through his work on the philosophy of mathematics and which culminate in the 1976a paper (...) are (1) the (quasi-)empirical character of mathematics and (2) the rejection of axiomatic deductivism as the basis of mathematical knowledge. In this paper Lakatos' later views on the quasi-empirical nature of mathematical theories and methodology are examined and specific attention is paid to what this view implies about the nature of mathematical argumentation and its relation to the empirical sciences. (shrink)

During the first phase of Greek mathematics a proof consisted in showing or making visible the truth of a statement. This was the epagogic method. This first phase was followed by an apagogic or deductive phase. During this phase visual evidence was rejected and Greek mathematics became a deductive system. Now epagoge and apagoge, apart from being distinguished, roughly according to the modern distinction between inductive and deductive procedures, were also identified on account of the conception of generality as continuity. (...) Epistemology of mathematics today only remembers the distinction, forgetting where they agreed, in this manner not only destroying the unity of the perceptual and conceptual but also forgetting what could be gained from Aristotelian demonstrative science. (shrink)

The present paper aims at showing that there are times when set theoretical knowledge increases in a non-cumulative way. In other words, what we call ‘set theory’ is not one theory which grows by simple addition of a theorem after the other, but a finite sequence of theories T1, ..., Tn in which Ti+1, for 1 ≤ i < n, supersedes Ti. This thesis has a great philosophical significance because it implies that there is a sense in which mathematical theories, (...) like the theories belonging to the empirical sciences, are fallible and that, consequently, mathematical knowledge has a quasi-empirical nature. The way I have chosen to provide evidence in favour of the correctness of the main thesis of this article consists in arguing that Cantor–Zermelo set theory is a Lakatosian Mathematical Research Programme (MRP). (shrink)

This paper attempts to show that mathematical knowledge does not grow by a simple process of accumulation and that it is possible to provide a quasi-empirical (in Lakatos's sense) account of mathematical theories. Arguments supporting the first thesis are based on the study of the changes occurred within Eudidean geometry from the time of Euclid to that of Hilbert; whereas those in favour of the second arise from reflections on the criteria for refutation of mathematical theories.

This article canvasses five senses in which one might introduce an historical element into the philosophy of mathematics: 1. The temporal dimension of logic; 2. Explanatory Appeal to Context rather than to General Principles; 3. Heraclitean Flux; 4. All history is the History of Thought; and 5. History is Non-Judgmental. It concludes by adapting Bernard Williams’ distinction between ‘history of philosophy’ and ‘history of ideas’ to argue that the philosophy of mathematics is unavoidably historical, but need not and must not (...) merge with historiography. (shrink)

The limits of ‘criterial rationality’ (that is, rationality as rule‐following) have been extensively explored in the philosophy of science by Kuhn and others. In this paper I attempt to extend this line of enquiry into mathematics by means of a pair of case studies in early algebra. The first case is the Ars Magna (Nuremburg 1545) by Jerome Cardan (1501–1576), in which a then recently‐discovered formula for finding the roots of some cubic equations is extended to cover all cubics and (...) proved. The second is the formulation by Albert Girard (1595–1632) of an early version of the fundamental theorem of algebra in his L'invention nouvelle en l'algèbre (Amsterdam, 1629). I conclude that in these cases at least, the questions raised in the philosophy of science debate can also be asked of the history of mathematics, and that a modest methodological anarchism is the appropriate stance. (shrink)

. Heuristic is a central concept of Lakatos' philosophy both in his early works and in his later work, the methodology of scientific research programs. The term itself, however, went through significant change of meaning. In this paper I study this change and the ‘metaphysical’ commitments behind it. In order to do so, I turn to his mathematical heuristic elaborated in Proofs and Refutations. I aim to show the dialogical character of mathematical knowledge in his account, which can open a (...) door to hermeneutic studies of mathematical practice. (shrink)

We analyze the developments in mathematical rigor from the viewpoint of a Burgessian critique of nominalistic reconstructions. We apply such a critique to the reconstruction of infinitesimal analysis accomplished through the efforts of Cantor, Dedekind, and Weierstrass; to the reconstruction of Cauchy’s foundational work associated with the work of Boyer and Grabiner; and to Bishop’s constructivist reconstruction of classical analysis. We examine the effects of a nominalist disposition on historiography, teaching, and research.

. The circumstance, that the text of Imre Lakatos' doctoral thesis from the University of Debrecen did not survive, makes the evaluation of his career in Hungary and the research of aspects of continuity of his lifework difficult. My paper tries to reconstruct these newer aspects of continuity, introducing the influence of László Kalmár the mathematician and his fellow student, and Sándor Karácsony the philosopher and his mentor on Lakatos' work. The connection between the understanding of the empirical basis of (...) exact ideas—which is a common feature in the papers of the members of the Karácsonycircle—and Lakatos' way of thinking regarding mathematics is more direct and can be documented through his connection to Kalmár. The central element of Lakatos' philosophy of mathematics is criticism of formalism and his tendency is to use the empirical view. Discussions at the 1965 International Colloquium in the Philosophy of Science in London were very helpful in clarifying the quasi-empirical conception. Kalmár's lecture in London, based on one of his papers published by Karácsony in 1942, emphasized the empirical character of mathematics. After this colloquium some elements of the heritage of the Karácsony-circle were integrated again in the development of Lakatos' way of thinking. First I will analyze the Kalmár lecture of 1965 at the Colloquium of Philosophy of Science and Lakatos's reflections on the problem of the foundation of mathematics. Then I will present their common Hungarian background, their education and the beginning of their career, which have many important common features; third I draw attention to the network of contacts of Karácsony-disciples. (shrink)

The main purpose of the present paper is to demonstrate that as early as 1904 pre-eminent American mathematician Maxime Bôcher was an adherent to the presently relevant argument of reasonableness, or even necessity of parallel development of two philosophical methods of reflection on mathematics, so that its essence could be more fully comprehended. The goal of the research gives rise to the question: what two types of philosophical deliberation on mathematics were proposed by Bôcher?