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)

The quality of doctoral-level chemistry (N=145), computer science (N=58), geoscience (N=91), mathematics (N=115), physics (N=123), and statistics/biostatistics (N=64) programs at United States universities was assessed, using 16 measures. These measures focused on variables related to: program size; characteristics of graduates; reputational factors (scholarly quality of faculty, effectiveness of programs in educating research scholars/scientists, improvement in program quality during the last 5 years); university library size; research support; and publication records. Chapter I discusses prior attempts to assess quality in graduate (...) education, development of the study plans, and the selection of disciplines and programs to be evaluated. Chapter II discusses the methodology used, focusing on each of the assessment measures. Chapters III to VIII present, respectively, findings from the analyses of the chemistry, computer science, geoscience, mathematics, physics, and statistics/biostatistics programs. Chapter IX includes a summary of results, correlations among measures, several additional analyses, and suggestions for future studies. Among the findings reported are those indicating that mathematics programs had, on the average, the largest number of faculty (N=33) in December 1980 followed closely by physics (N=28) and chemistry (N=23), and that 80 percent of computer science students had job commitments by graduation. (Survey instruments and supporting documentation are included in appendices.) (JN). (shrink)

With his book The Nature of Mathematical Knowledge (1983), Ph. Kitcher, that had been doing extensive research in the history of the subject and in the contemporary debates on epistemology, saw clearly the need for a change in philosophy of mathematics. His goal was to replace the dominant, apriorist philosophy of mathematics with an empiricist philosophy. The current philosophies of mathematics all appeared, according to his analysis, not to fit well with how mathematicians actually do mathematics. (...) A shift in orientation should invoke the more general reflection that causal, genetic factors are as significant for epistemology as logical structure. As I am to a large extent sympathetic with Kitcher's proposal, my aims here will be simple: first I start presenting Kitcher's argument, and then I try to raise some doubts about his contribution. These doubts come probably from my unskilfulness to follow the torrential flow of Kitcher's ideas. (shrink)

On December 10th, 1947, John von Neumann wrote to the Spanish translator of his Mathematical Foundations of Quantum Mechanics: 1Your questions on the nature of mathematical physics and theoretical physics are interesting but a little difficult to answer with precision in my own mind. I have always drawn a somewhat vague line of demarcation between the two subjects, but it was really more a difference in distribution of emphases. I think that in theoretical physics the main emphasis is on the (...) connection with experimental physics and those methodological processes which lead to new theories and new formulations, whereas mathematical physics deals with the actual solution and mathematical execution of a theory which is assumed to be correct per se, or assumed to be correct for the sake of the discussion. In other words, I would say that theoretical physics deals rather with the formation and mathematical physics rather with the exploitation of physical theories. However, when a new theory has to be evaluated and compared with experience, both aspects mix. (shrink)

The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science. The final program counted 51 invited lectures and around 700 contributed papers, distributed in 15 sections. Following the tradition of previous LMPS-meetings, some authors, whose papers aroused particular interest, were invited to submit their works for publication in a collection (...) of selected contributed papers. Due to the large number of interesting contributions, it was decided to split the collection into two distinct volumes: one covering the areas of Logic, Foundations of Mathematics and Computer Science, the other focusing on the general Philosophy of Science and the Foundations of Physics. As a leading choice criterion for the present volume, we tried to combine papers containing relevant technical results in pure and applied logic with papers devoted to conceptual analyses, deeply rooted in advanced present-day research. After all, we believe this is part of the genuine spirit underlying the whole enterprise of LMPS studies. (shrink)

Kurt Gdel was the most outstanding logician of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of Gdel's writings. The first three volumes, already published, consist of the papers and essays of Gdel. The final two volumes of the set deal with Gdel's correspondence with his contemporary mathematicians, this fourth volume consists of material from correspondents from A-G.

The constantly accelerating progress of contemporary natural science is indissolubly associated with the development and use of mathematics and with the processes of mathematical modeling of the phenomena of nature. The essence of this diverse and highly fertile interaction of mathematics and natural science and the dialectics of this interaction can only be disclosed through analysis of the nature of theoretical notions in general. Today, above all in the ranks of materialistically minded researchers, it is generally accepted that (...) theory possesses a value of its own. Contrary to positivist concepts of the nature of our knowledge, the meaning and significance of theory do not consist merely of the recording of experimental data, their classification and notation in abbreviated form. The meaning of theory is considerably more significant and is revealed, above all, in its explanatory and predictive functions. Contemporary theoretical knowledge is quite advanced and comprises a highly complex system, relatively self-contained and capable of internal development. Mathematics is the most interesting and distinctive phenomenon in the system of theoretical knowledge, in the system of science in general. It is in its dialectical development that the internal force and dynamics of the development of theory, in the very broadest sense of that word, find expression. Paul Lafargue tells us that Karl Marx held that "science only attains perfection when it succeeds in making use of mathematics" . In many fields of research the formulation of new ideas and concepts rests upon mathematics, its concepts and notions, and "is suggested" by the latter. "Mathematics," writes F. Dyson, "is the main source of the notions and principles out of which new theories are created" . The basic significance of mathematics to theory has been noted by outstanding thinkers over the course of the entire history of development of science. Today the expressive phrase, "the mathematization of knowledge," has come into general currency as a description of the principal direction of growth of theoretical notions in natural science. However, with respect to the growth of modern theoretical physics in general, the statement that it develops primarily by the method of the mathematical hypothesis has general validity. For example, the principal findings and discoveries of quantum theory and particle physics, starting from the corpuscularwave dualism and terminating with the omega minus hyperon and hypothetical quarks, were obtained or made "at the tip of a mathematician's pen.". (shrink)

Perspectival realists often appeal to the methodology of science to secure a realist account of the retention and continued success of scientific claims through the progress of science. However, in the context of modern physics, the retention and continued success of scientific claims are typically only definable within a mathematical framework. In this article, I argue that this concern leaves the perspectivist open to Cassirer’s neo-Kantian critique of the applicability of mathematics in the natural sciences. To support this (...) criticism, I present a case study on the conservation of energy in modern physics. (shrink)

Imre Lakatos' philosophical and scientific papers are published here in two volumes. Volume I brings together his very influential but scattered papers on the philosophy of the physical sciences, and includes one important unpublished essay on the effect of Newton's scientific achievement. Volume II presents his work on the philosophy of mathematics (much of it unpublished), together with some critical essays on contemporary philosophers of science and some famous polemical writings on political and educational issues. Imre Lakatos had an (...) influence out of all proportion to the length of his philosophical career. This collection exhibits and confirms the originality, range and the essential unity of his work. It demonstrates too the force and spirit he brought to every issue with which he engaged, from his most abstract mathematical work to his passionate 'Letter to the director of the LSE'. Lakatos' ideas are now the focus of widespread and increasing interest, and these volumes should make possible for the first time their study as a whole and their proper assessment. (shrink)

The philosophy of mathematics plays an important role in analytic philosophy, both as a subject of inquiry in its own right, and as an important landmark in the broader philosophical landscape. Mathematical knowledge has long been regarded as a paradigm of human knowledge with truths that are both necessary and certain, so giving an account of mathematical knowledge is an important part of epistemology. Mathematical objects like numbers and sets are archetypical examples of abstracta, since we treat such objects (...) in our discourse as though they are independent of time and space; finding a place for such objects in a broader framework of thought is a central task of ontology, or metaphysics. The rigor and precision of mathematical language depends on the fact that it is based on a limited vocabulary and very structured grammar, and semantic accounts of mathematical discourse often serve as a starting point for the philosophy of language. Although mathematical thought has exhibited a strong degree of stability through history, the practice has also evolved over time, and some developments have evoked controversy and debate; clarifying the basic goals of the practice and the methods that are appropriate to it is therefore an important foundational and methodological task, locating the philosophy of mathematics within the broader philosophy of science. (shrink)

Proof requires a dialogue between agents to clarify obscure inference steps, fill gaps, or reveal implicit assumptions in a purported proof. Hence, argumentation is an integral component of the discovery process for mathematical proofs. This work presents how argumentation theories can be applied to describe specific informal features in the development of proof-events. The concept of proof-event was coined by Goguen who described mathematical proof as a public social event that takes place in space and time. This new meta-methodological concept (...) is designed to cover not only “traditional” formal proofs but all kinds of proofs and inference steps, including incomplete or purported proofs. Our approach attempts to make proof-events more comprehensive to express the complete trajectory of a mathematical proof-event until the ultimate validation of the proving outcome. Thus, we advance an extended version of proof-event calculus which is built on argumentation theories designed to capture the internal and external structure of collaborative mathematical practice and highlight the relationship between proof, human reasoning, and cognitive processes. In addition, another area in which argumentation can make a significant contribution is dealing with the defeasible knowledge of the Web which is a product of its open and ubiquitous nature. This approach seems to be sufficient for the presentation of Web-based proving processes as manifested in the case of the Mini-Polymath 4 project. (shrink)

Abraham Robinson’s framework for modern infinitesimals was developed half a century ago. It enables a re-evaluation of the procedures of the pioneers of mathematical analysis. Their procedures have been often viewed through the lens of the success of the Weierstrassian foundations. We propose a view without passing through the lens, by means of proxies for such procedures in the modern theory of infinitesimals. The real accomplishments of calculus and analysis had been based primarily on the elaboration of novel techniques for (...) solving problems rather than a quest for ultimate foundations. It may be hopeless to interpret historical foundations in terms of a punctiform continuum, but arguably it is possible to interpret historical techniques and procedures in terms of modern ones. Our proposed formalisations do not mean that Fermat, Gregory, Leibniz, Euler, and Cauchy were pre-Robinsonians, but rather indicate that Robinson’s framework is more helpful in understanding their procedures than a Weierstrassian framework. (shrink)

As idealized descriptions of mathematical language, there is a sense in which formal systems specify too little, and there is a sense in which they specify too much. On the one hand, formal languages fail to account for a number of features of informal mathematical language that are essential to the communicative and inferential goals of the subject. On the other hand, many of these features are independent of the choice of a formal foundation, so grounding their analysis on a (...) particular choice of a formal system introduces unnecessary specificity. This chapter begins to map out the design features of mathematical language without descending to the level of formal implementation, drawing on examples from the mathematical literature and insights from the design of computational proof assistants and their libraries. (shrink)

Economic methodology has been dominated by developments in the philosophy of science. This book's central thesis is that a great deal can be gained by refocusing attention on developments in the philosophy of mathematics, in particular those that took place over the course of the twentieth century. In this book the authors argue that a close examination of the major developments in the philosophy of mathematics both deepens and enriches our understanding of the formalisation of economics, while (...) also offering novel methods of critically evaluating the strengths and limitations of formalism in economics. This book represents an innovative attempt to more fully understand the complexity of the interaction between developments in the philosophy of mathematics and the process of formalisation in economics. (shrink)

Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book explains the basic concepts and principles which make up the elements of logic. The author demonstrates that these ideas are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The second part of the book shows the applications of logic in mathematical theory building with concrete examples that (...) draw upon the concepts and principles presented in the first section. Numerous exercises and an introduction to the theory of real numbers are also presented. Students, teachers and general readers interested in logic and mathematics will find this book to be an invaluable introduction to the subject. (shrink)

This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.

Contemporary philosophy’s three main naturalisms are methodological, ontological and epistemological. Methodological naturalism states that the only authoritative standards are those of science. Ontological and epistemological naturalism respectively state that all entities and all valid methods of inquiry are in some sense natural. In philosophy of mathematics of the past few decades methodological naturalism has received the lion’s share of the attention, so we concentrate on this. Ontological and epistemological naturalism in the philosophy of mathematics are discussed more briefly (...) in section 6. (shrink)

The prelims comprise: Introduction Computer Science and Mathematics The Formal Verification Debate Abstraction in Computer Science Conclusion.

This dissertation makes two primary contributions. The first three chapters develop an interpretation of Carnap's Meta-Philosophical Program which places stress upon his methodological analysis of the sciences over and above the Principle of Tolerance. Most importantly, I suggest, is that Carnap sees philosophy as contiguous with science—as a part of the scientific enterprise—so utilizing the very same methods and subject to the same limitations. I argue that the methodological reforms he suggests for philosophy amount to philosophy as the explication of (...) the concepts of science through the construction and use of suitably robust meta-logical languages. My primary interpretive claim is that Carnap's understanding of logic and mathematics as a set of formal auxiliaries is premised upon this prior analysis of the character of logico-mathematical knowledge, his understanding of its role in the language of science, and the methods used by practicing mathematicians. Thus the Principle of Tolerance, and so Carnap's logical pluralism, is licensed and justified by these methodological insights. This interpretation of Carnap's program contrasts with the popular Deflationary reading as proposed in Goldfarb & Ricketts. The leading idea they attribute to Carnap is a Logocentrism: That philosophical assertions are always made relative to some particular language, and that our choice of syntactical rules for a language are constitutive of its inferential structure and methods of possible justification. Consequently Tolerance is considered the foundation of Carnap's entire program. My third chapter argues that this reading makes Carnap's program philosophically inert, and I present significant evidence that such a reading is misguided. The final chapter attempts to extend the methodological ideals of Carnap's program to the analysis of the ongoing debate between category- and set-theoretic foundations for mathematics. Recent criticism of category theory as a foundation charges that it is neither autonomous from set theory, nor offers a suitable ontological grounding for mathematics. I argue that an analysis of concepts can be foundationally informative without requiring the construction of those concepts from first principles, and that ontological worries can be seen as methodologically unfruitful. (shrink)

Steiner defines naturalism in opposition to anthropocentrism, the doctrine that the human mind holds a privileged place in the universe. He assumes the anthropocentric nature of mathematics and argues that physicists' employment of mathematically guided strategies in the discovery of quantum mechanics challenges scientists' naturalism. In this paper I show that Steiner's assumption about the anthropocentric character of mathematics is questionable. I draw attention to mathematicians' rejection of what Maddy calls ‘definabilism’, a methodological maxim governing the development of (...) mathematics. I contend that because definabilism is anthropocentric, its rejection casts doubts on Steiner's assumption. (shrink)

Methodology might be understood to mean a description of various individual procedures which have led to the successful solution of specific problems. In studying the subject of physics from this point of view, i.e. with special emphasis on method, one would naturally turn his attention to the traditional divisions of experimental and theoretical physics, the former with its measuring devices and the latter with its mathematical technique. In no other sense than this does the term methodology make any (...) direct appeal to the working physicist, and if you would ask him to define his methods he would probably answer with a description of experimental technique or the methods of setting up and solving differential equations. His answer would tell you how he solves his problems, but hardly how he finds them and why he solves them. (shrink)

This edited volume explores the previously underacknowledged 'pre-history' of mathematical structuralism, showing that structuralism has deep roots in the history of modern mathematics. The contributors explore this history along two distinct but interconnected dimensions. First, they reconsider the methodological contributions of major figures in the history of mathematics. Second, they re-examine a range of philosophical reflections from mathematically-inclinded philosophers like Russell, Carnap, and Quine, whose work led to profound conclusions about logical, epistemological, and metaphysic.

Moritz Pasch (1843ber neuere Geometrie (1882), in which he also clearly formulated the view that deductions must be independent from the meanings of the nonlogical terms involved. Pasch also presented in these lectures the main tenets of his philosophy of mathematics, which he continued to elaborate on throughout the rest of his life. This philosophy is quite unique in combining a deductivist methodology with a radically empiricist epistemology for mathematics. By taking into consideration publications from the entire (...) span of Paschs highly original, but virtually unknown, philosophy of mathematics is presented. (shrink)

I discuss here the pragmatic problem in the philosophy of mathematics, that is, the applicability of mathematics, particularly in empirical science, in its many variants. My point of depart is that all sciences are formal, descriptions of formal-structural properties instantiated in their domain of interest regardless of their material specificity. It is, then, possible and methodologically justified as far as science is concerned to substitute scientific domains proper by whatever domains —mathematical domains in particular— whose formal structures bear (...) relevant formal similarities with them. I also discuss the consequences to the ontology of mathematics and empirical science of this structuralist approach. (shrink)

I discuss here the pragmatic problem in the philosophy of mathematics, that is, the applicability of mathematics, particularly in empirical science, in its many variants. My point of depart is that all sciences are formal, descriptions of formal-structural properties instantiated in their domain of interest regardless of their material specificity. It is, then, possible and methodologically justified as far as science is concerned to substitute scientific domains proper by whatever domains —mathematical domains in particular— whose formal structures bear (...) relevant formal similarities with them. I also discuss the consequences to the ontology of mathematics and empirical science of this structuralist approach. (shrink)

The paper is concentrated on Aristotle's "Posterior Analytics" and attempts to show that his account of the sciences is less uniform than it is usually taken to be but shows some awareness of important differences between the mathematical and the physical sciences.

The attempts of theoretically solving the famous puzzle-dictum of physicist Eugene Wigner regarding the “unreasonable” effectiveness of mathematics as a problem of analytical philosophy, started at the end of the 19th century, are yet far from coming out with an acceptable theoretical solution. The theories developed for explaining the empirical “miracle” of applied mathematics vary in nature, foundation and solution, from denying the existence of a genuine problem to structural theories with an advanced level of mathematical formalism. Despite (...) this variation, methodologically fundamental questions like “Which is the adequate theoretical framework for solving Wigner’s conjecture?” and “Can the logico-mathematical formalism solve it and is it entitled to do it?” did not receive answers yet. The problem of the applicability of mathematics in the physical reality has been treated unitarily in some sense, with respect to the semantic-conceptual use of the constitutive terms, within both the structural and non-structural theories. This unity (of consistency) applied to both the referred objects and concepts per se and the aims of the investigations. For being able to make an objective study of the possible alternatives of the existent theories, a foundational approach of them is needed, including through semantic-conceptual distinctions which to weaken the unity of consistency. (shrink)

Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized eigenvalues problem of sparse matrices, with automatic parallelization of calculations on modern parallel computers with graphics processors. Peculiarities of realization of parallel algorithms for different structures of sparse matrices are presented. The times of solving the problem of stability of composite materialsusing a three-dimensional model of "finite size fibers" on computers of different architectures are given. In mathematical modeling of physical and technical (...) processes in many cases there is a need to solve problems of algebraic problem of eigenvalues with sparse matrices of large volumes. In particular, such problems arise in the analysis of the strength of structures in civil and industrial construction, aircraft construction, electric welding, etc. The solving to these problems is to determine the eigenvalues and eigenvectors of sparse matrices of different structure. The efficiency of solving these problems largely depends on the effectiveness of mathematical modeling of the problem as a whole. Continuous growth of task parameters, calculation of more complete models of objects and processes on computers require an increase in computer productivity. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. Today, this problem is solved by using powerful supercomputers of hybrid architecture, such as computers with multicore processors and graphics processors, which combine MIMD and SIMD architectures. But the potential of high-performance computers can be used to the fullest only with algorithmic software that takes into account both the properties of the task and the features of the hybrid architecture. Complicating the architecture of modern high-performance supercomputers of hybrid architecture, which are actively used for mathematical modeling means a significant complication of efficient use of these resources in creating parallel algorithms and programs. here are problems with the creation of algorithmic software with automatic execution of stages of work, which are associated with the efficient use of computing resources, ways to store and process sparse matrices, analysis of the reliability of computer results. This makes it possible to significantly increase the efficiency of mathematical modeling of practical problems on modern high-performance computers, as well as free users from the problems of parallelization of complex problems. he developed algorithmic software automatically implements all stages of parallel computing and processing of sparse matrices on a hybrid computer. It was used at the Institute of Mechanics named after S.P. Tymoshenko NAS of Ukraine in modeling the strength problems of composite material. A significant improvement in the time characteristics of mathematical modeling was obtained. Problems of mathematical modeling of the properties of composite materials has an important role in designing the processes of deformation and destruction of products in various subject areas. Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized problem of eigen values of sparse matrices of different structure of large orders, with automatic parallelization of calculations on modern parallel computers with graphics processors. The main methodological principles and features of implementation of parallel algorithms for different structures of sparse matrices are presented, which ensure effective implementation of multilevel parallelism of a hybrid system and reduce data exchange time during the computational process. As an example of these approaches, a hybrid algorithm of the iteration method in subspace for tape and block-diagonal matrices with a frame for computers of hybrid architecture is given. Peculiarities of data decomposition for matrices of profile structure at realization of parallel algorithms are considered. The proposed approach provides automatic determination of the required topology of the hybrid computer and the optimal amount of resources for the organization of an efficient computational process. The results of testing the developed algorithmic software for problems from the collection of the University of Florida, as well as the times of solving the problem of stability of composite materials using a three-dimensional model of "finite size fibers" on computers of different architectures. The results show a significant improvement in the time characteristics of solving problems. (shrink)

The authors present the main ideas of the computer-assisted proof of Mischaikow and Mrozek that chaos is really present in the Lorenz equations. Methodological consequences of this proof are examined. It is shown that numerical calculations can constitute an essential part of mathematical proof not only in the discrete mathematics but also in the mathematics of continua.

In this book, which is both a philosophical and historiographical study, the author investigates the fallibility and the rationality of mathematics by means of rational reconstructions of developments in mathematics. The initial chapters are devoted to a critical discussion of Lakatos' philosophy of mathematics. In the remaining chapters several episodes in the history of mathematics are discussed, such as the appearance of deduction in Greek mathematics and the transition from Eighteenth-Century to Nineteenth-Century analysis. The author (...) aims at developing a notion of mathematical rationality that agrees with the historical facts. A modified version of Lakatos' methodology is proposed. The resulting constructions show that mathematical knowledge is fallible, but that its fallibility is remarkably weak. (shrink)

In this paper, I assume, perhaps controversially, that translation into a language of formal logic is not the method by which mathematicians assess mathematical reasoning. Instead, I argue that the actual practice of analyzing, evaluating and critiquing mathematical reasoning resembles, and perhaps equates with, the practice of informal logic or argumentation theory. It doesn’t matter whether the reasoning is a full-fledged mathematical proof or merely some non-deductive mathematical justification: in either case, the methodology of assessment overlaps to a large (...) extent with argument assessment in non-mathematical contexts. I demonstrate this claim by considering the assessment of axiomatic or deductive proofs, probabilistic evidence, computer-aided proofs, and the acceptance of axioms. I also consider Jody Azzouni’s ‘derivation indicator’ view of proofs because it places derivations—which may be thought to invoke formal logic—at the center of mathematical justificatory practice. However, when the notion of ‘derivation’ at work in Azzouni’s view is clarified, it is seen to accord with, rather than to count against, the informal logical view I support. Finally, I pose several open questions for the development of a theory of mathematical argument. (shrink)

Arrow’s axiomatic foundation of social choice theory can be understood as an application of Tarski’s methodology of the deductive sciences—which is closely related to the latter’s foundational contribution to model theory. In this note we show in a model-theoretic framework how Arrow’s use of von Neumann and Morgenstern’s concept of winning coalitions allows to exploit the algebraic structures involved in preference aggregation; this approach entails an alternative indirect ultrafilter proof for Arrow’s dictatorship result. This link also connects Arrow’s seminal (...) result to key developments and concepts in the history of model theory, notably ultraproducts and preservation results. (shrink)

Whether aristotle wrote a work on mathematics as he did on physics is not known, and sources differ. this book attempts to present the main features of aristotle's philosophy of mathematics. methodologically, the presentation is based on aristotle's "posterior analytics", which discusses the nature of scientific knowledge and procedure. concerning aristotle's views on mathematics in particular, they are presented with the support of numerous references to his extant works. his criticism of his predecessors is added at the (...) end. (shrink)

Imre Lakatos' philosophical and scientific papers are published here in two volumes. Volume I brings together his very influential but scattered papers on the philosophy of the physical sciences, and includes one important unpublished essay on the effect of Newton's scientific achievement. Volume II presents his work on the philosophy of mathematics, together with some critical essays on contemporary philosophers of science and some famous polemical writings on political and educational issues. Imre Lakatos had an influence out of all (...) proportion to the length of his philosophical career. This collection exhibits and confirms the originality, range and the essential unity of his work. It demonstrates too the force and spirit he brought to every issue with which he engaged, from his most abstract mathematical work to his passionate 'Letter to the director of the LSE'. Lakatos' ideas are now the focus of widespread and increasing interest, and these volumes should make possible for the first time their study as a whole and their proper assessment. (shrink)

According to Steiner (1998), in contemporary physics new important discoveries are often obtained by means of strategies which rely on purely formal mathematical considerations. In such discoveries, mathematics seems to have a peculiar and controversial role, which apparently cannot be accounted for by means of standard methodological criteria. M. Gell-Mann and Y. Ne׳eman׳s prediction of the Ω− particle is usually considered a typical example of application of this kind of strategy. According to Bangu (2008), this prediction is apparently based (...) on the employment of a highly controversial principle—what he calls the “reification principle”. Bangu himself takes this principle to be methodologically unjustifiable, but still indispensable to make the prediction logically sound. In the present paper I will offer a new reconstruction of the reasoning that led to this prediction. By means of this reconstruction, I will show that we do not need to postulate any “reificatory” role of mathematics in contemporary physics and I will contextually clarify the representative and heuristic role of mathematics in science. (shrink)