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)

This article focuses on a case that expert practitioners count as an explanation: a mathematical account of Plateau’s laws for soap films. I argue that this example falls into a class of explanations that I call abstract explanations.explanations involve an appeal to a more abstract entity than the state of affairs being explained. I show that the abstract entity need not be causally relevant to the explanandum for its features to be explanatorily relevant. However, it remains unclear how to unify (...) abstract and causal explanations as instances of a single sort of thing. I conclude by examining the implications of the claim that explanations require objective dependence relations. If this claim is accepted, then there are several kinds of objective dependence relations. 1 Introduction2 A Case3 Abstract and Causal Explanations4 Recent Work on Mathematical Explanation5 Explanation and Dependence6 Conclusion. (shrink)

Conflicting accounts of the role of mathematics in our physical theories can be traced to two principles. Mathematics appears to be both (1) theoretically indispensable, as we have no acceptable non-mathematical versions of our theories, and (2) metaphysically dispensable, as mathematical entities, if they existed, would lack a relevant causal role in the physical world. I offer a new account of a role for mathematics in the physical sciences that emphasizes the epistemic benefits of having mathematics around when we do (...) science. This account successfully reconciles theoretical indispensability and metaphysical dispensability and has important consequences for both advocates and critics of indispensability arguments for platonism about mathematics. (shrink)

How can a reflective scientist put forward an explanation using a model when they are aware that many of the assumptions used to specify that model are false? This paper addresses this challenge by making two substantial assumptions about explanatory practice. First, many of the propositions deployed in the course of explaining have a non-representational function. In particular, a proposition that a scientist uses and also believes to be false, i.e. an “idealization”, typically has some non-representational function in the practice, (...) such as the interpretation of some model or the specification of the target of the explanation. Second, when an agent puts forward an explanation using a model, they usually aim to remain agnostic about various features of the phenomenon being explained. In this sense, explanations are intended to be autonomous from many of the more fundamental features of such systems. I support these two assumptions by showing how they allow one to address a number of recent concerns raised by Bokulich, Potochnik and Rice. In addition, these assumptions lead to a defense of the view that explanations are wholly true that improves on the accounts developed by Craver, Mäki and Strevens. (shrink)

This paper identifies one way that a mathematical proof can be more explanatory than another proof. This is by invoking a more abstract kind of entity than the topic of the theorem. These abstract mathematical explanations are identified via an investigation of a canonical instance of modern mathematics: the Galois theory proof that there is no general solution in radicals for fifth-degree polynomial equations. I claim that abstract explanations are best seen as describing a special sort of dependence relation between (...) distinct mathematical domains. This case study highlights the importance of the conceptual, as opposed to computational, turn of much of modern mathematics, as recently emphasized by Tappenden and Avigad. The approach adopted here is contrasted with alternative proposals by Steiner and Kitcher. (shrink)

This paper sets out a new framework for discussing a long-standing problem in the philosophy of mathematics, namely the connection between the physical world and a mathematical domain when the mathematics is applied in science. I argue that considering counterfactual situations raises some interesting challenges for some approaches to applications, and consider an approach that avoids these challenges.

This paper defends three claims about concrete or physical models: these models remain important in science and engineering, they are often essentially idealized, in a sense to be made precise, and despite these essential idealizations, some of these models may be reliably used for the purpose of causal explanation. This discussion of concrete models is pursued using a detailed case study of some recent models of landslide generated impulse waves. Practitioners show a clear awareness of the idealized character of these (...) models, and yet address these concerns through a number of methods. This paper focuses on experimental arguments that show how certain failures to accurately represent feature X are consistent with accurately representing some causes of feature Y, even when X is causally relevant to Y. To analyse these arguments, the claims generated by a model must be carefully examined and grouped into types. Only some of these types can be endorsed by practitioners, but I argue that these endorsed claims are sufficient for limited forms of causal explanation. (shrink)

Idealized scientific representations result from employing claims that we take to be false. It is not surprising, then, that idealizations are a prime example of allegedly inconsistent scientific representations. I argue that the claim that an idealization requires inconsistent beliefs is often incorrect and that it turns out that a more mathematical perspective allows us to understand how the idealization can be interpreted consistently. The main example discussed is the claim that models of ocean waves typically involve the false assumption (...) that the ocean is infinitely deep. While it is true that the variable associated with depth is often taken to infinity in the representation of ocean waves, I explain how this mathematical transformation of the original equations does not require the belief that the ocean being modeled is infinitely deep. More generally, as a mathematical representation is manipulated, some of its components are decoupled from their original physical interpretation. (shrink)

My aim in this paper is to articulate an account of scientific modeling that reconciles pluralism about modeling with a modest form of scientific realism. The central claim of this approach is that the models of a given physical phenomenon can present different aspects of the phenomenon. This allows us, in certain special circumstances, to be confident that we are capturing genuine features of the world, even when our modeling occurs independently of a wholly theoretical motivation. This framework is illustrated (...) using a recent debate from meteorology. (shrink)

The partial structures program of da Costa, French and others offers a unified framework within which to handle a wide range of issues central to contemporary philosophy of science. I argue that the program is inadequately equipped to account for simple cases where idealizations are used to construct abstract, mathematical models of physical systems. These problems show that da Costa and French have not overcome the objections raised by Cartwright and Suárez to using model‐theoretic techniques in the philosophy of science. (...) However, my concerns arise independently of the more controversial assumptions that Cartwright and Suárez have employed. (shrink)

Explanations of three different aspects of the rainbow are considered. The highly mathematical character of these explanations poses some interpretative questions concerning what the success of these explanations tells us about rainbows. I develop a proposal according to which mathematical explanations can highlight what is relevant about a given phenomenon while also indicating what is irrelevant to that phenomenon. This proposal is related to the extensive work by Batterman on asymptotic explanation with special reference to Batterman’s own discussion of the (...) rainbow. (shrink)

Mathematical models of biological patterns are central to contemporary biology. This paper aims to consider what these models contribute to biology through the detailed consideration of an important case: Hamilton’s selfish herd. While highly abstract and idealized, Hamilton’s models have generated an extensive amount of research and have arguably led to an accurate understanding of an important factor in the evolution of gregarious behaviors like herding and flocking. I propose an account of what these models are able to achieve and (...) how they can support a successful scientific research program. I argue that the way these models are interpreted is central to the success of such programs. (shrink)

The partial structures program of da Costa, French and others offers a unified framework within which to handle a wide range of issues central to contemporary philosophy of science. I argue that the program is inadequately equipped to account for simple cases where idealizations are used to construct abstract, mathematical models of physical systems. These problems show that da Costa and French have not overcome the objections raised by Cartwright and Suárez to using model-theoretic techniques in the philosophy of science. (...) However, my concerns arise independently of the more controversial assumptions that Cartwright and Suárez have employed. (shrink)

Mathematical idealizations are scientific representations that result from assumptions that are believed to be false, and where mathematics plays a crucial role. I propose a two stage account of how to rank mathematical idealizations that is largely inspired by the semantic view of scientific theories. The paper concludes by considering how this approach to idealization allows for a limited form of scientific realism. ‡I would like to thank Robert Batterman, Gabriele Contessa, Eric Hiddleston, Nicholaos Jones, and Susan Vineberg for helpful (...) discussions and encouragement. †To contact the author, please write to: Department of Philosophy, Beering Hall, Purdue University, 100 N. University Street, West Lafayette, IN 47907-2098; e-mail: [email protected]. (shrink)

This discussion note of (Batterman [2010]) clarifies the modest aims of my 'mapping account' of applications of mathematics in science. Once these aims are clarified it becomes clear that Batterman's 'completely new approach' (Batterman [2010], p. 24) is not needed to make sense of his cases of idealized mathematical explanations. Instead, a positive proposal for the explanatory power of such cases can be reconciled with the mapping account.

Russell's version of the multiple-relation theory from the "Theory of Knowledge" manuscript is presented and defended against some objections. A new problem, related to defining truth via correspondence, is reconstructed from Russell's remarks and what we know of Wittgenstein's objection to Russell's theory. In the end, understanding this objection in terms of correspondence helps to link Russell's multiple-relation theory to his later views on propositions.

For many philosophers of science, mathematics lies closer to logic than it does to the ordinary sciences like physics, biology and economics. While this view may account for the relative neglect of the philosophy of mathematics by philosophers of science, it ignores at least two pressing questions about mathematics that philosophers of science need to be able to answer. First, do the similarities between mathematics and science support the view that mathematics is, after all, another science? Second, does the central (...) role of mathematics in science shed any light on traditional philosophical debates about science like scientific realism, the nature of explanation or reduction? When faced with these kinds of questions many philosophers of science have little to say. Unfortunately, most philosophers of mathematics also fail to engage with questions about the relationship between mathematics and science and so a peculiar isolation has emerged between philosophy of science and philosophy of mathematics. In this introductory survey I aim to equip the interested philosopher of science with a roadmap that can guide her through the often intimidating terrain of contemporary philosophy of mathematics. I hope that such a survey will make clear how fruitful a more sustained interaction between philosophy of science and philosophy of mathematics could be. (shrink)

This paper illustrates how an experimental discovery can prompt the search for a theoretical explanation and also how obtaining such an explanation can provide heuristic benefits for further experimental discoveries. The case considered begins with the discovery of Poiseuille’s law for steady fluid flow through pipes. The law was originally supported by careful experiments, and was only later explained through a derivation from the more basic Navier–Stokes equations. However, this derivation employed a controversial boundary condition and also relied on a (...) contentious approach to viscosity. By comparing two editions of Lamb’s famous Hydrodynamics textbook, I argue that explanatory considerations were central to Lamb’s claims about this sort of fluid flow. In addition, I argue that this treatment of Poiseuille’s law played a heuristic role in Reynolds’ treatment of turbulent flows, where Poiseuille’s law fails to apply. (shrink)

This article aims to give an overview of Carnap's 1928 book Logical Structure of the World or Aufbau and the most influential interpretations of its significance. After giving an outline of the book in Section 2 , I turn to the first sustained interpretations of the book offered by Goodman and Quine in Section 3 . Section 4 explains how this empirical reductionist interpretation was largely displaced by its main competitor. This is the line of interpretation offered by Friedman and (...) Richardson which focuses on issues of objectivity. In Section 5 , I turn to two more recent interpretations that can be thought of as emphasizing Carnap's concern with rational reconstruction. Finally, the article concludes by noting some current work by Leitgeb that aims to develop and update some aspects of the Aufbau project for contemporary epistemology. (shrink)

This paper concerns the debate on the nature of Rudolf Carnap'sproject in his 1928 book The Logical Structure of the Worldor Aufbau. Michael Friedman and Alan Richardson haveinitiated much of this debate. They claim that the Aufbauis best understood as a work that is firmly grounded inneo-Kantian philosophy. They have made these claims in oppositionto Quine and Goodman's ``received view'' of the Aufbau. Thereceived view sees the Aufbau as an attempt to carry out indetail Russell's external world program. I argue (...) that both sidesof this debate have made errors in their interpretation ofRussell. These errors have led these interpreters to misunderstandthe connection between Russell's project and Carnap's project.Russell in fact exerted a crucial influence on Carnap in the1920s. This influence is complicated, however, due to the factthat Russell and Carnap disagreed on many philosophical issues. Iconclude that interpretations of the Aufbau that ignoreRussell's influence are incomplete. (shrink)

The two most popular approaches to Carnap's 1928 Aufbau are the empiricist reading of Quine and the neo-Kantian readings of Michael Friedman and Alan Richardson. This paper presents a third "reserved" interpretation that emphasizes Carnap's opposition to traditional philosophy and consequent naturalism. The main consideration presented in favor of the reserved reading is Carnap's work on a physical construction system. I argue that Carnap's construction theory was an empirical scientific discipline and that the basic relations of its construction systems need (...) not be eliminated. (shrink)

Most contemporary philosophy of mathematics focuses on a small segment of mathematics, mainly the natural numbers and foundational disciplines like set theory. While there are good reasons for this approach, in this paper I will examine the philosophical problems associated with the area of mathematics known as applied mathematics. Here mathematicians pursue mathematical theories that are closely connected to the use of mathematics in the sciences and engineering. This area of mathematics seems to proceed using different methods and standards when (...) compared to much of mathematics. I argue that applied mathematics can contribute to the philosophy of mathematics and our understanding of mathematics as a whole. (shrink)

Epistemic structural realists have argued that we are in a better epistemic position with respect to the structural claims made by our theories than the non-structural claims. Critics have objected that we cannot make the structure/non-structure distinction precise. I respond that a focus on mathematical structure leads to a clearer understanding of this debate. Unfortunately for the structural realist, however, the contribution that mathematics makes to scientific representation undermines any general confidence we might have in the structural claims made by (...) our theories. Thinking about the role of mathematics in science may also complicate other versions of realism. (shrink)

This is a critical notice of Mark Wilson's Wandering Significance.

This article aims to give an overview of Carnap’s 1928 book Logical Structure of the World or Aufbau and the most influential interpretations of its significance. After giving an outline of the book in Section 2, I turn to the first sustained interpretations of the book offered by Goodman and Quine in Section 3. Section 4 explains how this empirical reductionist interpretation was largely displaced by its main competitor. This is the line of interpretation offered by Friedman and Richardson which (...) focuses on issues of objectivity. In Section 5, I turn to two more recent interpretations that can be thought of as emphasizing Carnap’s concern with rational reconstruction. Finally, the article concludes by noting some current work by Leitgeb that aims to develop and update some aspects of the Aufbau project for contemporary epistemology. (shrink)

Russell’s study of the biologist and psychologist Richard Semon is traced to contact with the experimental psychologist Adolf Wohlgemuth and dated to the summer of 1919. This allows a new interpretation of when Russell embraced neutral monism and presents a case-study in Russell’s use of scientific results for philosophical purposes. Semon’s distinctive notion of mnemic causation was used by Russell to clarify both how images referred to things and how the existence of images could be reconciled with a neutral monist (...) metaphysics. (shrink)

This paper explores the conditions under which scientists are warranted in adding the one-dimensional heat equation to their theories and then using the equation to describe particular physical situations. Summarizing these derivation and application conditions motivates an account of idealized scientific representation that relates the use of mathematics in science to interpretative questions about scientific theories.

Critical notice of C. Pincock's Mathematics and Scientific Representation (2012).

A pluralist about explanation posits many explanatory relevance relations, while an invariantist denies any substantial role for context in fixing genuine explanation. This article summarizes one approach to combining pluralism and invariantism that emphasizes the contrastive nature of explanation. If explanations always take contrasts as their objects and contrasts come in types, then the role for the context in which an explanation is given can be minimized. This approach is illustrated using a classic debate between natural theology and natural selection (...) about the structure of bees’ honeycombs. (shrink)

Most contemporary philosophy of mathematics focuses on a small segment of mathematics, mainly the natural numbers and foundational disciplines like set theory. While there are good reasons for this approach, in this paper I will examine the philosophical problems associated with the area of mathematics known as applied mathematics.

Philosophers unacquainted with the workings of actual scientific practice are prone to imagine that our best scientific theories deliver univocal representations of the physical world that we can use to calibrate our metaphysics and epistemology. Those few philosophers who are also scientists, like Heinrich Hertz, tend to contest this assumption. As Jesper Lützen relates in his scholarly and engaging book, Hertz's Principles of Mechanics contributed to a lively debate about the content of classical mechanics and what, if anything, this highly (...) successful scientific theory told us about the physical world. Lützen provides an in-depth reconstruction of how Hertz reacted to the foundational problems within the physics of his day and then used these problems to motivate his influential philosophical reflections on the nature of science and scientific theorizing. While giving a thorough portrait of how Hertz brought together science and philosophy, Lützen himself offers an excellent example of the benefits of combining philosophy, the history of science, and the history of mathematics. Lützen convincingly argues that Hertz's most influential innovation was in bringing geometrical concepts to bear on mechanics in a novel and productive fashion. In his preface he motivates his book by noting that most of the work on Hertz's philosophy of science fails to engage with what Hertz does after the Introduction of his Principles. The bulk of Lützen's book, then, concerns the physical and mathematical content of Hertz's image of mechanics. This places certain demands on the reader who is otherwise unacquainted with analytic mechanics, but is sure to repay those who are willing to work carefully through the more technical details of Lützen's reconstruction.1Hertz is well known for his conception of scientific theories as images [Bilder] and for the fact that his preferred image of mechanics takes only space, …. (shrink)

Review by: Christopher Pincock The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 106-108, March 2013.

The last twenty years have seen an explosion in books and papers on Russell’s philosophy and its contemporary significance. There is good reason to think that this will continue as the contents of the Collected Papers are digested by Russell scholars and as more specialists contribute to the history of analytic philosophy more generally. Given all this good news, it is disconcerting to find a 100 page discussion of Russell, in a well-reviewed book by a first-rate philosopher, repeating many of (...) the errors and misconceptions about Russell that scholars have worked so hard against. Soames’ discussion of Russell in the volumes under review is in fact so distressing that it alone compromises the book as a suitable introduction to the history of analytic philosophy. After briefly reviewing the outline of the two volumes, I discuss the errors concerning Russell, and conclude by drawing some lessons for Russell scholarship. (shrink)

International Studies in the Philosophy of Science, Volume 25, Issue 2, Page 196-199, June 2011.

This book offers new perspectives on the history of analytical philosophy, surveying recent scholarship on the philosophical study of mind, language, logic and reality over the course of the last 200 years. Each chapter contributes to a broader engagement with a wider range of figures, topics and disciplines outside of philosophy than has been traditionally associated with the history of analytical philosophy. The book acquaints readers with new aspects of analytical philosophy’s revolutionary past while engaging in a much needed methodological (...) reflection. It questions the meaning associated with talk of 'analytic' philosophy and offers new perspective on its development. It offers original studies on a range of topics – including in the philosophy of language and mind, logic, metaphysics and the philosophy of mathematics – and figures whose relevance, when they is not already established as in the case of Russell, Moore and Wittgenstein, are just now beginning to become the topic of mainstream literature: Franz Brentano, William James, Susan Langer as well as the German and British logicians of the nineteenth century. (shrink)

This paper considers how to best relate the competing accounts of scientific knowledge that Russell and Reichenbach proposed in the 1930s and 1940s. At the heart of their disagreements are two different accounts of how to best combine a theory of knowledge with scientific realism. Reichenbach argued that a broadly empiricist epistemology should be based on decisions. These decisions or “posits” informed Reichenbach’s defense of induction and a corresponding conception of what knowledge required. Russell maintained that a scientific realist must (...) abandon empiricism in favor of knowledge of some non-demonstrative principles with a non-empirical basis. After identifying the best versions of realism offered by Reichenbach and Russell, the paper concludes with a brief discussion of the limitations of these two approaches. (shrink)

Scott Soames has given us a clear, engaging but ultimately unsatisfying introduction to the history of analytic philosophy. Based on Soames’ impressive work in the philosophy of language, when these two volumes appeared I had high hopes that he would be successful. There is certainly a need for an introductory survey of the history of analytic philosophy. Currently, there is no resource for the beginning student or the amateur historian that will summarize our current understanding of the origins and development (...) of analytic philosophy. In what respects, then, do I find Soames’ attempt to fill this gap to be unsuccessful? The fundamental problem is that he has not succeeded in presenting what we now know about analytic philosophy and its history. Instead of drawing on the work of specialists in the field, it seems that he simply read the most famous works of the most famous philosophers and tried to figure out for himself what these philosophers were up to. Readers of Soames’ papers and other books will not be surprised to hear that this always ends in a carefully presented argument for a clearly articulated conclusion. Still, at least for the major figures considered in volume one, the interpretations offered fly in face of contemporary scholarship. I will try to justify these charges shortly by considering a few specific cases, but before I get to that, it is worth emphasizing why such an approach to the history of analytic philosophy is flawed, and why it is especially inappropriate in an introductory work. (shrink)