Mathematics plays a central role in much of contemporary science, but philosophers have struggled to understand what this role is or how significant it might be for mathematics and science. In this book Christopher Pincock tackles this perennial question in a new way by asking how mathematics contributes to the success of our best scientific representations. In the first part of the book this question is posed and sharpened using a proposal for how we can determine the (...) content of a scientific representation. Several different sorts of contributions from mathematics are then articulated. Pincock argues that each contribution can be understood as broadly epistemic, so that what mathematics ultimately contributes to science is best connected with our scientific knowledge. In the second part of the book, Pincock critically evaluates alternative approaches to the role of mathematics in science. These include the potential benefits for scientific discovery and scientific explanation. A major focus of this part of the book is the indispensability argument for mathematical platonism. Using the results of part one, Pincock argues that this argument can at best support a weak form of realism about the truth-value of the statements of mathematics. The book concludes with a chapter on pure mathematics and the remaining options for making sense of its interpretation and epistemology. Thoroughly grounded in case studies drawn from scientific practice, this book aims to bring together current debates in both the philosophy of mathematics and the philosophy of science and to demonstrate the philosophical importance of applications of mathematics. (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.

Originally published in 1949. This meticulously researched book presents a comprehensive outline and discussion of Aristotle’s mathematics with the author's translations of the greek. To Aristotle, mathematics was one of the three theoretical sciences, the others being theology and the philosophy of nature. Arranged thematically, this book considers his thinking in relation to the other sciences and looks into such specifics as squaring of the circle, syllogism, parallels, incommensurability of the diagonal, angles, universal proof, gnomons, infinity, agelessness of (...) the universe, surface of water, meteorology, metaphysics and mechanics such as levers, rudders, wedges, wheels and inertia. The last few short chapters address ‘problems’ that Aristotle posed but couldn’t answer, related ethics issues and a summary of some short treatises that only briefly touch on mathematics. (shrink)

Develops a structuralist understanding of mathematics, as an alternative to set- or type-theoretic foundations, that respects classical mathematical truth while ...

In these days, there is an increasing technological development in intelligent tutoring systems. This field has become interesting to many researchers. In this paper, we present an intelligent tutoring system for teaching mathematics that help students understand the basics of math and that helps a lot of students of all ages to understand the topic because it's important for students of adding and subtracting. Through which the student will be able to study the course and solve related problems. An (...) evaluation of the intelligent tutoring systems was carried out and the results were encouraging. (shrink)

Naturalism in Mathematics investigates how the most fundamental assumptions of mathematics can be justified. One prevalent philosophical approach to the problem--realism--is examined and rejected in favor of another approach--naturalism. Penelope Maddy defines this naturalism, explains the motivation for it, and shows how it can be successfully applied in set theory. Her clear, original treatment of this fundamental issue is informed by current work in both philosophy and mathematics, and will be accessible and enlightening to readers from both (...) disciplines. (shrink)

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)

Mathematics is one of the most successful human endeavors—a paradigm of precision and objectivity. It is also one of our most puzzling endeavors, as it seems to deliver non-experiential knowledge of a non-physical reality consisting of numbers, sets, and functions. How can the success and objectivity of mathematics be reconciled with its puzzling features, which seem to set it apart from all the usual empirical sciences? This book offers a short but systematic introduction to the philosophy of (...) class='Hi'>mathematics. Readers are introduced to all of the classical approaches to the field, including logicism, formalism, intuitionism, empiricism, and structuralism. The book also contains accessible introductions to some more specialized issues, such as mathematical intuition, potential infinity, the iterative conception of sets, and the search for new mathematical axioms. The exposition is always closely informed by ongoing research in the field and sometimes draws on the author’s own contributions to this research. This means that Gottlob Frege—a German mathematician and philosopher widely recognized as one of the founders of analytic philosophy—figures prominently in the book, both through his own views and his criticism of other thinkers. (shrink)

First published in 1903, _Principles of Mathematics_ was Bertrand Russell’s first major work in print. It was this title which saw him begin his ascent towards eminence. In this groundbreaking and important work, Bertrand Russell argues that mathematics and logic are, in fact, identical and what is commonly called mathematics is simply later deductions from logical premises. Highly influential and engaging, this important work led to Russell’s dominance of analytical logic on western philosophy in the twentieth century.

Plato used mathematics extensively in his account of the cosmos in the Timaeus, but as he did not use equations, but did use geometry, harmony and according to some, numerology, it has not been clear how or to what effect he used mathematics. This paper argues that the relationship between mathematics and cosmology is not atemporally evident and that Plato’s use of mathematics was an open and rational possibility in his context, though that sort of use (...) of mathematics has subsequently been superseded as science has progressed. I argue that there is a philosophically and historically meaningful space between ‘primitive’ or unreflective uses of mathematics and the modern conception of how mathematics relates to cosmology. Plato’s use of mathematics in the Timaeus enabled the cosmos to be as good as it could be, allowed the demiurge a rational choice and allowed Timaeus to give an account of the cosmos. I also argue that within this space it is both meaningful and important to differentiate between Pythagorean and Platonic uses of number and that we need to reject the idea of ‘Pythagorean/platonic number mysticism’. Plato’s use of number in the Timaeus was not mystical even though it does not match modern usage. (shrink)

Part of the ambiguity lies in the various points of view from which this question might be considered. The crudest di erence lies between the point of view of the working mathematician and that of the logician concerned with the foundations of mathematics. Now some of my fellow mathematical logicians might protest this distinction, since they consider themselves to be just more of those \working mathematicians". Certainly, modern logic has established itself as a very respectable branch of mathematics, (...) and there are quite a few highly technical journals in logic, such as The Journal of Sym-. (shrink)

A draft of a possible comparison between the use made of mathematics in classical field theories and in quantum mechanics is presented. Hilbert’s space formalism, although not only elegant and powerful but intuitive as well, does not give us a spatio-temporal representation of physical events. The picture of the electromagnetic field as an entity which is real in itself– i.e., as a wave without support – fostered by the emergence of special relativity can be seen as the first step, (...) favored by many physicists and philosophers, of a gradual “escape” from intuition into a purely mathematical representation of the external world. After the introduction, in recent theoretical physics, of fiber bundle formalism the classical notion of field acquires a new spatio-temporal intuitiveness. This intuitiveness is clearly foreshadowed in the Kantian and Meinongian analysis of the notion of magnitude. At the end of the paper we show that, contrary to what happens in quantum mechanics, mathematics plays a truly explicative role in general relativity, without any loss of spatio-temporal intuitiveness. (shrink)

Among the aims of this book are: - The discussion of some important philosophical issues using the precision of mathematics. - The development of formal systems that contain both classical and constructive components. This allows the study of constructivity in otherwise classical contexts and represents the formalization of important intensional aspects of mathematical practice. - The direct formalization of intensional concepts (such as computability) in a mixed constructive/classical context.

Husserl and Mathematics explains the development of Husserl's phenomenological method in the context of his engagement in modern mathematics and its foundations. Drawing on his correspondence and other written sources, Mirja Hartimo details Husserl's knowledge of a wide range of perspectives on the foundations of mathematics, including those of Hilbert, Brouwer and Weyl, as well as his awareness of the new developments in the subject during the 1930s. Hartimo examines how Husserl's philosophical views responded to these changes, (...) and offers a pluralistic and open-ended picture of Husserl's phenomenology of mathematics. Her study shows Husserl's phenomenology to be a method capable of both shedding light on and internally criticizing scientific practices and concepts. (shrink)

Debunking arguments against both moral and mathematical realism have been pressed, based on the claim that our moral and mathematical beliefs are insensitive to the moral/mathematical facts. In the mathematical case, I argue that the role of Hume’s Principle as a conceptual truth speaks against the debunkers’ claim that it is intelligible to imagine the facts about numbers being otherwise while our evolved responses remain the same. Analogously, I argue, the conceptual supervenience of the moral on the natural speaks presents (...) a difficulty for the debunker’s claim that, had the moral facts been otherwise, our evolved moral beliefs would have remained the same. (shrink)

How does mathematics apply to something non-mathematical? We distinguish between a general application problem and a special application problem. A critical examination of the answer that structural mapping accounts offer to the former problem leads us to identify a lacuna in these accounts: they have to presuppose that target systems are structured and yet leave this presupposition unexplained. We propose to fill this gap with an account that attributes structures to targets through structure generating descriptions. These descriptions are physical (...) descriptions and so there is no such thing as a solely mathematical account of a target system. (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)

It is commonly suggested that evolutionary considerations generate an epistemological challenge for moral realism. At first approximation, the challenge for the moral realist is to explain our having many true moral beliefs, given that those beliefs are the products of evolutionary forces that would be indifferent to the moral truth. An important question surrounding this challenge is the extent to which it generalizes. In particular, it is of interest whether the Evolutionary Challenge for moral realism is equally a challenge for (...) mathematical realism. It is widely thought not to be. In this paper, I argue that the Evolutionary Challenge for moral realism is equally a challenge for mathematical realism. Along the way, I substantially clarify the Evolutionary Challenge, discuss its relation to more familiar epistemological challenges, and broach the problem of moral disagreement. The paper should be of interest to ethicists because it places pressure on anyone who rejects moral realism on the basis of the Evolutionary Challenge to reject mathematical realism as well. And the paper should be of interest to philosophers of mathematics because it presents a new epistemological challenge for mathematical realism that bears, I argue, no simple relation to Paul Benacerraf's familiar challenge. (shrink)

Context: Constructivist teachers who find themselves working within an educational system that adopts a realist epistemology, may find themselves at odds with their own beliefs when they catch themselves paying closer attention to the knowledge authorities intend them to teach rather than the knowledge being constructed by their learners. Method: In the preliminary analysis of the mathematical learning of six low-performing Year 7 boys in a Maltese secondary school, whom one of us taught during the scholastic year 2014-15, we constructed (...) a conceptual framework which would help us analyze the extent to which he managed to be sensitive to constructivism in a typical classroom setting. We describe the development of the framework M-N-L as a viable analytical tool to search for significant moments in the lessons in which the teacher appeared to engage in what we define as “constructivist teaching” during mathematics lessons. The development of M-N-L is part of a research program investigating the way low-performing students make mathematical sense of new notation with the help of the software Grid Algebra. Results: M-N-L was found to be an effective instrument which helped to determine the extent to which the teacher was sensitive to his own constructivist beliefs while trying to negotiate a balance between the mathematical concepts he was expected to teach and the conceptual constructions of his students. Implications: One major implication is that it is indeed possible for mathematics teachers to be sensitive to the individual constructions of their learners without losing sight of the concepts that society, represented by curriculum planners, deems necessary for students to learn. The other is that researchers in the field of education may find M-N-L a helpful tool to analyze CT during typical didactical situations established in classroom settings. (shrink)

In this paper I examine arguments by Benacerraf and by Chihara against Gödel’s platonistic philosophy of mathematics.

In lieu of an abstract, here is a brief excerpt of the content:Abraham, Planter of Mathematics":Histories of Mathematics and Astrology in Early Modern EuropeNicholas PopperFrancis Bacon's 1605 Advancement of Learning proposed to dedicatee James I a massive reorganization of the institutions, goals, and methods of generating and transmitting knowledge. The numerous defects crippling the contemporary educational regime, Bacon claimed, should be addressed by strengthening emphasis on philosophy and natural knowledge. To that end, university positions were to be created (...) devoted to "Artes and Sciences at large," rather than to the professions. High salaries would render lecturers "able and sufficient," undistracted from their task. Most famously, he argued that teaching of the "operatiue studie of many Scyences" should involve sophisticated technical education. The study of natural philosophy demanded not only books, but globes, astrolabes, and other "instrumentals." Most significantly, yielding reliable and meaningful knowledge from experiential gleanings required a rigorous system of deductive reasoning.The legacy of this colossal proposal has earned Bacon honored status as devisor of the scientific method.1 But Bacon's educational reform extended [End Page 87] beyond the methods of producing and transmitting knowledge. To facilitate more efficient "vse and administration" of the knowledge produced by his system, he also demanded a searching examination of the history of learning. This history would provide a mirror enabling his contemporaries to deploy the fruits of his method, by considering how learning in the past had been used successfully or ill-advisedly. Producing this history was the ambition of the Advancement, for he explained: "no man hath propounded to himselfe the generall state of learning to bee described and represented from age to age, as many have done the works of Nature, & the State civile and Ecclesiastical." He continued:And yet I am not ignorant that in divers particular sciences, as of the Iurisconsults, the Mathematicians, the Rhetoricians, the Philosophers, there are set down some smal memorials of the Schooles, Authors, and Bookes: and so likewise some barren relations touching the Invention of Arts, or usages. But a iust story of learning, containing the Antiquities and Originalls of Knowledges, & their Sects; their Inventions, their Traditions; their diverse Administrations and Managings; their Flourishings, their Oppositions, Decayes, Depressions, Oblivions, Removes, with the causes, and occasions of them, and all other events concerning learning, throughout the ages of the world; I may truly affirme to be wanting.2Bacon thus positioned himself not only as a Father of Modern Science, but also a Father of the History of Science.Following Bacon's suggestion, I will examine the "small memorials" of the history of mathematics—and particularly the mathematical art of astrology—in the sixteenth and seventeenth centuries. My conclusion, however, will not bear out Bacon's claims. Despite his frustration, Bacon was only one of many early modern scholars appraising the role of mathematics within history. And he devoted less energy than others to mapping its origins and tracing its transmissions between communities. In fact, Bacon's 1605 proposal for a history of mathematics was already out-of-date. Discussions [End Page 88] of the history of mathematics had been rife on the continent and in England throughout the previous century.3The evidence that Renaissance scholars inherited was sprawling and inconclusive. Several genealogies for mathematics could be found within classical Greek, Latin, and patristic references. One lineage claimed mathematics began in ancient Assyria, where the priestly caste, the Chaldeans, practiced a form of mathematics that seemed a corrupt admixture of philosophy, medicine, and religion, and relied heavily on observation of the heavens. Other scholars traced the origins to Egypt, claiming that the field developed to survey lands frequently flooded by the Nile. The real problem for ancient, late antique, and medieval scholars had not been the origins of mathematics, but what exactly mathematics were. For some, the term strictly referred to the quadrivium: geometry, arithmetic, astronomy, and music. But for others, mathematics' origins amongst the Egyptians or Chaldeans inextricably linked it to forms of astrological divination, augury, and necromancy that were unsavory to both Latin and Christian traditions. Mathematici were included alongside ghastly lists of Magi, Brahmins, Aruspices, Genethliaci, and other diabolic practitioners of idolatrous magic. These might or might not be distinguished from mathematici such as Pythagoras... (shrink)

Standard approaches to counterfactuals in the philosophy of explanation are geared toward causal explanation. We show how to extend the counterfactual theory of explanation to non-causal cases, involving extra-mathematical explanation: the explanation of physical facts by mathematical facts. Using a structural equation framework, we model impossible perturbations to mathematics and the resulting differences made to physical explananda in two important cases of extra-mathematical explanation. We address some objections to our approach.

The philosophical analysis of mathematical explanations concerns itself with two different, although connected, areas of investigation. The first area addresses the problem of whether mathematics can play an explanatory role in the natural and social sciences. The second deals with the problem of whether mathematical explanations occur within mathematics itself. Accordingly, this entry surveys the contributions to both areas, it shows their relevance to the history of philosophy and science, it articulates their connection, and points to the philosophical (...) pay-offs to be expected by deepening our understanding of the topic. (shrink)

We demonstrate how real progress can be made in the debate surrounding the enhanced indispensability argument. Drawing on a counterfactual theory of explanation, well-motivated independently of the debate, we provide a novel analysis of ‘explanatory generality’ and how mathematics is involved in its procurement. On our analysis, mathematics’ sole explanatory contribution to the procurement of explanatory generality is to make counterfactual information about physical dependencies easier to grasp and reason with for creatures like us. This gives precise content (...) to key intuitions traded in the debate, regarding mathematics’ procurement of explanatory generality, and adjudicates unambiguously in favour of the nominalist, at least as far as explanatory generality is concerned. (shrink)

In this paper, I develop a "safety result" for applied mathematics. I show that whenever a theory in natural science entails some non-mathematical conclusion via an application of mathematics, there is a counterpart theory that carries no commitment to mathematical objects, entails the same conclusion, and the claims of which are true if the claims of the original theory are "correct": roughly, true given the assumption that mathematical objects exist. The framework used for proving the safety result has (...) some advantages over existing nominalistic accounts of applied mathematics. It also provides a nominalistic account of pure mathematics. (shrink)

The role of mathematics in scientific practice is too readily relegated to that of formulating equations that model or describe what is being investigated, and then finding solutions to those equations. I survey the role of mathematics in: 1. Exact solutions of differential equations, especially conformal mapping; and 2. Simulations of solutions to differential equations via numerical methods and via agent-based models; and 3. The use of experimental models to solve equations (a) via physical analogies based on similarity (...) of the form of the equations, such as Prandtl’s soap-film method, and (b) the method of physically similar systems. Two major themes emerge: First, the role of mathematics in science is not well described by deduction from axioms, although it generally involves deductive reasoning. Creative leaps, the integration of experimental or observational evidence, synthesis of ideas from different areas of mathematics, and insight regarding analogous forms are required to find solutions to equations. Second, methods that involve mappings or transformations are in use in disparate contexts, from the purely mathematical context of conformal mapping where it is mathematical objects that are mapped, to the use of concrete physical experimental models, where one concrete thing is shown to correspond to another. (shrink)

Logical paradoxes – like the Liar, Russell's, and the Sorites – are notorious. But in Paradoxes and Inconsistent Mathematics, it is argued that they are only the noisiest of many. Contradictions arise in the everyday, from the smallest points to the widest boundaries. In this book, Zach Weber uses “dialetheic paraconsistency” – a formal framework where some contradictions can be true without absurdity – as the basis for developing this idea rigorously, from mathematical foundations up. In doing so, Weber (...) directly addresses a longstanding open question: how much standard mathematics can paraconsistency capture? The guiding focus is on a more basic question, of why there are paradoxes. Details underscore a simple philosophical claim: that paradoxes are found in the ordinary, and that is what makes them so extraordinary. (shrink)

We have reached the peculiar situation where the advance of mainstream science has required us to dismiss as unreal our own existence as free, creative agents, the very condition of there being science at all. Efforts to free science from this dead-end and to give a place to creative becoming in the world have been hampered by unexamined assumptions about what science should be, assumptions which presuppose that if creative becoming is explained, it will be explained away as an illusion. (...) In this paper it is shown that this problem has permeated the whole of European civilization from the Ancient Greeks onwards, leading to a radical disjunction between cosmology which aims at a grasp of the universe through mathematics and history which aims to comprehend human action through stories. By going back to the Ancient Greeks and tracing the evolution of the denial of creative becoming, I trace the layers of assumptions that must in some way be transcended if we are to develop a truly post-Egyptian science consistent with the forms of understanding and explanation that have evolved within history. (shrink)

There is a long tradition, in the history and philosophy of science, of studying Kant’s philosophy of mathematics, but recently philosophers have begun to examine the way in which Kant’s reflections on mathematics play a role in his philosophy more generally, and in its development. For example, in the Critique of Pure Reason , Kant outlines the method of philosophy in general by contrasting it with the method of mathematics; in the Critique of Practical Reason , Kant (...) compares the Formula of Universal Law, central to his theory of moral judgement, to a mathematical postulate; in the Critique of Judgement , where he considers aesthetic judgment, Kant distinguishes the mathematical sublime from the dynamical sublime. This last point rests on the distinction that shapes the Transcendental Analytic of Concepts at the heart of Kant’s Critical philosophy, that between the mathematical and the dynamical categories. These examples make it clear that Kant's transcendental philosophy is strongly influenced by the importance and special status of mathematics. The contributions to this book explore this theme of the centrality of mathematics to Kant’s philosophy as a whole. This book was originally published as a special issue of the Canadian Journal of Philosophy. (shrink)

This paper pursues two goals. Its first goal is to clear up the “identity problem” faced by the structuralist interpretation of mathematics. Its second goal, through the consideration of examples coming in particular from the theory of permutations, is to examine cases of misunderstandings in mathematics fit to cast some light on mathematical understanding in general. The common thread shared by these two goals is the notion of setting. The study of a mathematical object almost always goes together (...) with the choice of a particular setting, and the understanding of the workings of mathematical settings is an essential component of mathematical knowledge. It is claimed that the recognition of mathematical settings, as features distinct from both mathematical structures and the systems which instantiate those structures, allows one to classify most of understandable misunderstandings in mathematics, and also to solve the identity problem. (shrink)

Batterman raises a number of concerns for the inferential conception of the applicability of mathematics advocated by Bueno and Colyvan. Here, we distinguish the various concerns, and indicate how they can be assuaged by paying attention to the nature of the mappings involved and emphasizing the significance of interpretation in this context. We also indicate how this conception can accommodate the examples that Batterman draws upon in his critique. Our conclusion is that ‘asymptotic reasoning’ can be straightforwardly accommodated within (...) the inferential conception. 1 Introduction2 Immersion, Inference and Partial Structures3 Idealization and Surplus Structure4 Renormalization and the Stability of Mathematical Representations5 Explanation and Eliminability6 Requirements for Explanation7 Interpretation and Idealization8 Explanation, Empirical Regularities and the Inferential Conception9 Conclusion. (shrink)

Modal logic is the study of modalities - expressions that qualify assertions about the truth of statements - like the ordinary language phrases necessarily, possibly, it is known/believed/ought to be, etc., and computationally or mathematically motivated expressions like provably, at the next state, or after the computation terminates. The study of modalities dates from antiquity, but has been most actively pursued in the last three decades, since the introduction of the methods of Kripke semantics, and now impacts on a wide (...) range of disciplines, including the philosophy of language and linguistics ('possible words' semantics for natural language), constructive mathematics (intuitionistic logic), theoretical computer science (dynamic logic, temporal and other logics for concurrency), and category theory (sheaf semantics). This volume collects together a number of the author's papers on modal logic, beginning with his work on the duality between algebraic and set-theoretic modals, and including two new articles, one on infinitary rules of inference, and the other about recent results on the relationship between modal logic and first-order logic. Another paper on the 'Henkin method' in completeness proofs has been substantially extended to give new applications. Additional articles are concerned with quantum logic, provability logic, the temporal logic of relativistic spacetime, modalities in topos theory, and the logic of programs. (shrink)