Some proponents of the indispensability argument for mathematical realism maintain that the empirical evidence that confirms our best scientific theories and explanations also confirms their pure mathematical components. I show that the falsity of this view follows from three highly plausible theses, two of which concern the nature of mathematical application and the other the nature of empirical confirmation. The first is that the background mathematical theories suitable for use in science are conservative in the (...) sense outlined by Hartry Field. The second is that the empirical relevance of mathematical statements suitable for use in science is mediated by their non-mathematical consequences. The third is that statements receive additional empirical confirmation only by way of generating additional empirical expectations. Since each of these is a thesis we have good reason to endorse, my argument poses a challenge to anyone who argues that science affords empirical grounds for mathematical realism. (shrink)

Of recent years there have appeared in the literature several attempts to apply to the subject matter of chemistry mathematical theories which had not thitherto found any use in that field. With the spirit and purpose of such attempts, the author of this paper is thoroughly in sympathy. But some of the investigators who have undertaken this kind of pioneer work in applied mathematics have apparently entered upon their tasks without appreciating the difficulties involved, and have hence produced results (...) more likely to obscure than to clarify their subjects. (shrink)

I examine Reichenbach’s theory of relative a priori and Michael Friedman’s interpretation of it. I argue that Reichenbach’s view remains at bottom conventionalist and that one issue which separates Reichenbach’s account from Kant’s apriorism is the problem of mathematical applicability. I then discuss Hermann Weyl’s theory of blank forms which in many ways runs parallel to the theory of relative a priori. I argue that it is capable of dealing with the problem of applicability, but with a cost.

This book intends to show that radical naturalism, nominalism and strict finitism account for the applications of classical mathematics in current scientific theories. The applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry. The fact that so much applied mathematics can be developed within such a weak, strictly finitistic system, is surprising in itself. It also shows that the applications of those classical theories to (...) the finite physical world can be translated into the applications of strict finitism, which demonstrates the applicability of those classical theories without assuming the literal truth of those theories or the reality of infinity. Both professional researchers and students of philosophy of mathematics will benefit greatly from reading this book. (shrink)

Suppose we are asked to draw up a list of things we take to exist. Certain items seem unproblematic choices, while others (such as God) are likely to spark controversy. The book sets the grand theological theme aside and asks a less dramatic question: should mathematical objects (numbers, sets, functions, etc.) be on this list? In philosophical jargon this is the ‘ontological’ question for mathematics; it asks whether we ought to include mathematicalia in our ontology. The goal of this (...) work is to answer this question in the affirmative, by drawing on considerations on the the applicability of mathematics to natural science. (shrink)

This book intends to show that, in philosophy of mathematics, radical naturalism (or physicalism), nominalism and strict finitism (which does not assume the reality of infinity in any format, not even potential infinity) can account for the applications of classical mathematics in current scientific theories about the finite physical world above the Planck scale. For that purpose, the book develops some significant applied mathematics in strict finitism, which is essentially quantifier-free elementary recursive arithmetic (with real numbers encoded as elementary recursive (...) Cauchy sequences of rational numbers). Applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry (sufficient for the basic applications in classical quantum mechanics and general relativity). The fact that so much applied mathematics can be developed within such a weak, strictly finitisitc system is perhaps surprising in itself. It also shows that the applications of those classical theories to the finite physical world can be translated into the applications of strict finitism, which demonstrates the applicability of those classical theories without assuming the literal truth of those theories or the reality of infinity. The first chapter of the book contains an informal introduction to its philosophical motivation and technical strategy. The book is intended for students and researchers in philosophy of mathematics. -/- Contents -/- Preface 1 Introduction 2 Strict Finitism 3 Calculus 4 Metric Space 5 Complex Analysis 6 Integration 7 Hilbert Space 8 Semi-Riemann Geometry References Index. (shrink)

This is a review of Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, Boston, 2002, €90, pp. 480, ISBN 0-8176-4249-8, hardcover.

This paper argues that scientific realism commits us to a metaphysical determination relation between the mathematical entities that are indispensible to scientific explanation and the modal structure of the empirical phenomena those entities explain. The argument presupposes that scientific realism commits us to the indispensability argument. The viewpresented here is that the indispensability of mathematics commits us not only to the existence of mathematical structures and entities but to a metaphysical determination relation between those entities and the modal (...) structure of the physical world. The no-miracles argument is the primary motivation for scientific realism. It is a presupposition of this argument that unobservable entities are explanatory only when they determine the empirical phenomena they explain. I argue that mathematical entities should also be seen as explanatory only when they determine the empirical facts they explain, namely, the modal structure of the physical world. Thus, scientific realism commits us to a metaphysical determination relation between mathematics and physical modality that has not been previously recognized. The requirement to account for the metaphysical dependence of modal physical structure on mathematics limits the class of acceptable solutions to the applicability problem that are available to the scientific realist. (shrink)

This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is (...) kept to a minimum, no background in formal set-theory is required, and the book contains proofs of all the required set theoretical results. The reader is taken on a journey starting with König's Lemma, and progressing via order relations, Zorn's Lemma, Boolean algebras, and propositional logic, to completeness and compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and nonstandard analysis. (shrink)

This book analyzes the different ways mathematics is applicable in the physical sciences, and presents a startling thesis--the success of mathematical physics ...

This monograph offers a fresh perspective on the applicability of mathematics in science. It explores what mathematics must be so that its applications to the empirical world do not constitute a mystery. In the process, readers are presented with a new version of mathematical structuralism. The author details a philosophy of mathematics in which the problem of its applicability, particularly in physics, in all its forms can be explained and justified. Chapters cover: mathematics as a formal science, mathematical (...) ontology: what does it mean to exist, mathematical structures: what are they and how do we know them, how different layers of mathematical structuring relate to each other and to perceptual structures, and how to use mathematics to find out how the world is. The book simultaneously develops along two lines, both inspired and enlightened by Edmund Husserl’s phenomenological philosophy. One line leads to the establishment of a particular version of mathematical structuralism, free of “naturalist” and empiricist bias. The other leads to a logical-epistemological explanation and justification of the applicability of mathematics carried out within a unique structuralist perspective. This second line points to the “unreasonable” effectiveness of mathematics in physics as a means of representation, a tool, and a source of not always logically justified but useful and effective heuristic strategies. (shrink)

Book review r A. (2004). "Book review: Yves nievergelt, foundations of ...

Discussions of the applicability of mathematics in the natural sciences have been flawed by failure to realize that there are multiple senses in which mathematics can be ‘applied’ and, correspondingly, multiple problems that stem from the applicability of mathematics. I discuss semantic, metaphysical, descriptive, and and epistemological problems of mathematical applicability, dwelling on Frege's contribution to the solution of the first two types. As for the remaining problems, I discuss the contributions of Hartry Field and Eugene Wigner. Finally, I (...) argue that there are epistemological problems concerning the applicability of mathematics that nobody in the philosophical community has yet confronted, though the problems are well known to physicists. (shrink)

We have undertaken to discuss the nature of mathematical systems, the way in which they are discovered, and the uses to which they are put in the empirical sciences. The empirical sciences employ mathematical systems in framing final formulations, but adopt mathematical techniques long before reaching that stage. It is a prerequisite that the mathematics they employ has been developed separately and within its own domain. We shall return to the relation between mathematics and the empirical sciences (...) before we are done, but in the meanwhile we shall be constrained to begin by discussing the situation in mathematics in isolation from any empirical considerations. (shrink)

Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to analysis by means of complete Boolean algebras of projections. In Part Two, he develops classical analysis including complex analysis in Peano's arithmetic, (...) showing that any arithmetical theorem proved in analytic number theory is a theorem in Peano's arithmetic. In doing so, the author applies Gentzen's cut elimination theorem. Although the results of Part One may be regarded as straightforward consequences of the spectral theorem in function analysis, the use of Boolean- valued models makes explicit and precise analogies used by analysts to lift results from ordinary analysis to operators on a Hilbert space. Essentially expository in nature, Part Two yields a general method for showing that analytic proofs of theorems in number theory can be replaced by elementary proofs. Originally published in 1978. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these important books while presenting them in durable paperback editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

In this article, I argue that mapping-based accounts of applications cannot be comprehensive and must be supplemented by analyses of other, qualitatively different, forms of application. I support these claims by providing a detailed discussion of the application of mathematics to a problem of election design that is prominent in social choice theory.

The first part of the essay describes how mathematics, in particular mathematical concepts, are applicable to nature. mathematical constructs have turned out to correspond to physical reality. this correlation between the world and mathematical concepts, it is argued, is a true phenomenon. the second part of this essay argues that the applicability of mathematics to nature is mysterious, in that not only is there no known explanation for the correlation between mathematics and physical reality, but there is (...) a good reason to except no such correlation. it is argued that there is a subjective element in the decision as to what constitutes a mathematical concept. a number of purported solutions to the mystery of the applicability of mathematics to nature are discarded, until we are left with eugene wigner's thesis that we are here confronted with a "miracle that we neither understand nor deserve.". (shrink)

This paper explores how to explain the applicability of classical mathematics to the physical world in a radically naturalistic and nominalistic philosophy of mathematics. The applicability claim is first formulated as an ordinary scientific assertion about natural regularity in a class of natural phenomena and then turned into a logical problem by some scientific simplification and abstraction. I argue that there are some genuine logical puzzles regarding applicability and no current philosophy of mathematics has resolved these puzzles. Then I introduce (...) a plan for resolving the logical puzzles of applicability. (shrink)

A traditional problem of ethics in mathematics is the denial of social responsibility. Pure mathematics is viewed as neutral and value free, and therefore free of ethical responsibility. Applications of mathematics are seen as employing a neutral set of tools which, of themselves, are free from social responsibility. However, mathematicians are convinced they know what constitutes good mathematics. Furthermore many pure mathematicians are committed to purism, the ideology that values purity above applications in mathematics, and some historical reasons for this (...) are discussed. MacIntyre’s virtue ethics accommodates both the good mathematician and the ethics of the social practice of mathematics. It demonstrates that purism is compatible with acknowledging the social responsibility of mathematics. Four aspects of this responsibility are mentioned, two concerning the impact of mathematics via education, and two concerning explicit and implicit applications of mathematics. The last of these opens up the performativity of mathematical and measurement applications in society, which change the very processes they are supposed to measure. Although these applications are not explored in detail, they illustrate the importance of considering the ethics and social responsibility of mathematics in society. MacIntyre’s virtue theory opens a broad approach to the controversial topic of the ethics of mathematics encompassing purism, and absolutist and social constructivist philosophies of mathematics, but still enabling ethical critiques of the impact of mathematics on society. (shrink)

In 1966 Richard Levins argued that applications of mathematics to population biology faced various constraints which forced mathematical modelers to trade-off at least one of realism, precision, or generality in their approach. Much traditional mathematical modeling in biology has prioritized generality and precision in the place of realism through strategies of idealization and simplification. This has at times created tensions with experimental biologists. The past 20 years however has seen an explosion in mathematical modeling of biological systems (...) with the rise of modern computational systems biology and many new collaborations between modelers and experimenters. In this paper I argue that many of these collaborations revolve around detail-driven modeling practices which in Levins’ terms trade-off generality for realism and precision. These practices apply mathematics by working from detailed accounts of biological systems, rather than from initially idealized or simplified representations. This is possible by virtue of modern computation. The form these practices take today suggest however Levins’ constraints on mathematical application no longer apply, transforming our understanding of what is possible with mathematics in biology. Further the engagement with realism and the ability to push realistic models in new directions aligns well with the epistemological and methodological views of experimenters, which helps explain their increased enthusiasm for biological modeling. (shrink)

This paper deals with the problem of reconstruction of the intergenic interaction graph from the raw data of genetic co-expression coming with new technologies of bio-arrays (DMA-arrays, protein-arrays, etc.). These new imaging devices in general only give information about the asymptotical part (fixed configurations of co-expression or limit cycles of such configurations) of the dynamical evolution of the regulatory networks (genetic and/or proteic) underlying the functioning of living systems. Extracting the casual structure and interaction coefficients of a gene interaction network (...) from the observed configurations is a complex problem. But if all the fixed configurations are supposedly observed and if they are factorizable into two or more subsets of values, then the interaction graph possesses as many connected components as the number of factors and the solution is obtained in polynomial time. This new result allows us for example to partly solve the topology of the genetic regulatory network ruling the flowering in Arabidopsis thaliana. (shrink)

Just as mathematics helps us to represent and reason about the natural world, in its internal applications one branch of mathematics helps us to represent and reason about the subject matter of another. Recognition of the close analogy between internal and external applications of mathematics can help resolve two persistent philosophical puzzles concerning its applicability: a platonist puzzle arising from the abstractness of mathematical objects; and an empiricist puzzle arising from mathematical propositions’ lack of empirical factual content. In (...) order to see how this is the case, we will examine what it is to apply mathematics internally and describe examples. (shrink)

Depending on how it is clarified, the applicability of mathematics can lie anywhere on a spectrum from the completely trivial to the utterly mysterious. At the one extreme, it is obvious that mathematics is used outside of mathematics in cases which range from everyday calculations like the attempt to balance one s checkbook through the most demanding abstract modeling of subatomic particles. The techniques underlying these applications are perfectly clear to those who have mastered them and there seems to be (...) little for the philosopher to say about such cases. At the same time, moving to the other extreme, scientists and philosophers have often remarked on the remarkable power that mathematics provides to the scientist, especially in the formulation of new scientific theories. Most famously, Wigner claimed that The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve (Wigner 1960, p. 14). But Wigner is far from an isolated case. According to Kant, in any special doctrine of nature there can be only as much proper science as there is mathematics therein (Kant 1786, p 6), and others seem to agree that there is some significant tie between mathematics and modern science. (shrink)

Preface -- 1. Propositional logic : proofs from axioms and inference rules -- 2. First order logic : proofs with quantifiers -- 3. Set theory : proofs by detachment, contraposition, and contradiction -- 4. Mathematical induction : definitions and proofs by induction -- 5. Well-formed sets : proofs by transfinite induction with already well-ordered sets -- 6. The axiom of choice : proofs by transfinite induction -- 7. applications : Nobel-Prize winning applications of sets, functions, and relations -- 8. (...) Solutions to some odd-numbered exercises. (shrink)

In his influential 1960 paper ‘The Unreasonable Effectiveness of Mathematics in the Natural Sciences’, Eugene P. Wigner raises the question of why something that was developed without concern for empirical facts—mathematics—should turn out to be so powerful in explaining facts about the natural world. Recent philosophy of science has developed ‘Wigner’s puzzle’ in two different directions: First, in relation to the supposed indispensability of mathematical facts to particular scientific explanations and, secondly, in connection with the idea that aesthetic criteria (...) track theoretical desiderata such as empirical success. An important aspect of Wigner’s article has, however, been overlooked in these debates: his worries about the underdetermination of physical theories by mathematical frameworks. The present paper argues that, by restoring this aspect of Wigner’s argument to its proper place, Wigner’s puzzle may become an instructive case study for the teaching of core issues in the philosophy of science and its history. (shrink)

This paper discerns two types of mathematization, a foundational and an explorative one. The foundational perspective is well-established, but we argue that the explorative type is essential when approaching the problem of applicability and how it influences our conception of mathematics. The first part of the paper argues that a philosophical transformation made explorative mathematization possible. This transformation took place in early modernity when sense acquired partial independence from reference. The second part of the paper discusses a series of examples (...) from the history of mathematics that highlight the complementary nature of the foundational and exploratory types of mathematization. (shrink)

Mathematical concepts play at least three roles in the application of mathematics: an inferential role, a representational role, and an expressive role. In this paper, I argue that, despite what has often been alleged, platonists do not fully accommodate these features of the application of mathematics. At best, platonism provides partial ways of handling the issues. I then sketch an alternative, anti-realist account of the application of mathematics, and argue that this account manages to accommodate these (...) features of the application process. In this way, a better account of mathematical applications is, in principle, available. (shrink)

In the 17th and 18th centuries, mathematics was understood to be the science that systematized our knowledge of magnitude, or quantity. But the mathematical notion of magnitude and the methods used to investigate it underwent a period of radical transformation during the modern period, which forced philosophers of mathematics to confront a changing mathematical landscape. In this context, the modern philosopher of mathematics had to provide an account of the apriority and applicability of mathematical reasoning, as such (...) reasoning was then understood. Early modern mathematical reasoning and the accounts of such reasoning offered by Newton, Descartes, Leibniz, and Kant are explained and discussed. (shrink)

With the widespread application of information technology and the continuous deepening of my country’s education informatization construction, the educational field has increasingly higher requirements for teachers’ informatization quality. The advancement of the process of education informatization depends to a large extent on the level of teachers’ own level of informatization and has gradually become an important indicator to measure the informatization of education. The main body of education and the decisive factor are teachers. The scientific and reasonable evaluation of (...) informatization education is an important content of today’s education informatization. This paper uses regression analysis to evaluate the teacher education information system and uses mathematical statistics to establish a linear regression model for the city and analyze and calculate it. Through the quantitative analysis of the evaluation index system of the education informatization level, the multiple linear regression analysis method was used to establish the linear regression mathematical model of the school education informatization level on each secondary index, and the influence of various indicators on the school education informatization level was analyzed to establish a scientific evaluation system to evaluate the literacy of teachers’ informatization education and to give suggestions for improving the level of school education informatization. The design of the evaluation system is more scientific and reasonable, the regression error is small, the results obtained are more accurate, and the impact of nonlinear errors is basically eliminated. (shrink)

The entrepreneurial element is one of the aspects emphasized in the primary school mathematics education curriculum in Malaysia. However, previous studies have found that application of entrepreneurial elements in mathematics teaching is still lacking. This study was therefore conducted to identify the real challenges that mathematics teachers face in applying the entrepreneurial element in mathematics teaching. This study is qualitative case study which involved six primary school mathematics teachers. Semi-structured interviews, observation, document analysis and field notes were used for (...) the data collection process in this study. The data obtained was analyzed using the constant comparative analysis method to determine themes and sub-themes. The findings were that a teacher’s knowledge, teaching style, limited time of teaching, and attitudes, and in-service courses and training are among the identified challenges in applying entrepreneurial elements in mathematics teaching. This study expands knowledge and the literature on the challenges faced by school mathematics teachers in applying entrepreneurial elements in mathematics teaching. Various initiatives need to be taken to ensure that all the challenges can be overcome, and ultimately enable the entrepreneurial elements to be applied to students more widely. (shrink)

This book provides a survey of the major issues in the philosophy of mathematics, such as ontological questions regarding the nature of mathematical objects, epistemic questions about the acquisition of mathematical knowledge, and the intriguing riddle of the applicability of mathematics to the physical world. Some of these issues go back to the nascent years of mathematics itself, others are just beginning to draw the attention of scholars. In addressing these questions, some of the papers in this volume (...) wrestle with them directly, while others use the writings of philosophers such as Hume and Wittgenstein to approach their problems by way of interpretation and critique. The contributors include prominent philosophers of science and mathematics as well as promising younger scholars. The volume seeks to share the concerns of philosophers of mathematics with a wider audience and will be of interest to historians, mathematicians and philosophers alike. (shrink)

The word ‘logic’ has many senses. Here we will understand it as meaning an account of what follows from what and why. With contemporary methodology, logic in this sense – though it may not always have been thought of in this way – is a branch of applied mathematics. This has various implications for how one understands a number of issues concerning validity. In this paper I will explain this perspective of logic, and explore some of its consequences with respect (...) to the notion of logical form. (shrink)

We have developed a simple mathematical model with three physiologically significant states to describe the changes in intrauterine pressure associated with a contraction during human parturition. The myometrium is modelled as a set of smooth muscle cells, each of which is in one of three states (quiescent, contracted, refractory) at a given time. These states are occupied according to a cycle governed by three temporal parameters. The solutions of the equations describing the model show an oscillatory behavior for particular (...) values of these parameters, which is very similar to the time dependant development of intrauterine pressure during labor. Due to its non-linear terms, our model could lead to chaotic oscillations (in the mathematical sense), whose clinical counterpart may occur in cases of dystocia. Despite its simplicity, this model appears to be a useful guide to further investigations of the oscillatory behavior of the myometrium, or other smooth muscles, in normal and pathological situations. (shrink)

Attempts at solving what has been labeled as Eugene Wigner’s puzzle of applicability of mathematics are still far from arriving at an acceptable solution. The accounts developed to explain the “miracle” of applied mathematics vary in nature, foundation, and solution, from denying the existence of a genuine problem to designing structural theories based on mathematical formalism. Despite this variation, all investigations treated the problem in a unitary way with respect to the target, pointing to one or two ‘why’ or (...) ‘how’ questions to be answered. In this paper, I argue that two analyses, a semantic analysis ab initio and a metatheoretical analysis starting from the types of unreasonableness involved in this problem, will establish the interdisciplinary character of the problem and reveal many more targets, which may be addressed with different methodologies. In order to address objectively the philosophical problem of applicability of mathematics, a foundational revision of the problem is needed. (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)

Over the past century, private tutoring in many countries has increased dramatically. Moreover, the main disadvantage of PT is that has a byproduct and a characteristic on the educational system in developing countries in terms of contributing to conditions such as large class sizes, low public expenditures, and an inadequate number of universities. In Saudi Arabia, the spread of PT at school and university levels has yet to be addressed by researchers. One goal of this examination was to research the (...) spread of PT in relation to mathematics being taught at school and university levels. This investigation used quantitative data of the questionnaire to determine the reasons for the spread. A total of 1000 students responded from University of Ha’il. The edge plans given results that are associated and like the assessment that is performed with the whole data. The current study found that a good family financial situation and lack of parental supervision of the children were significant factors underlying the spread of private tutoring at school and university levels. (shrink)