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)

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 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)

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)

Mark Colyvan uses applications of mathematics to argue that mathematical entities exist. I claim that his argument is invalid based on the assumption that a certain way of thinking about applications, called `the mapping account,' is correct. My main contention is that successful applications depend only on there being appropriate structural relations between physical situations and the mathematical domain. As a variety of non-realist interpretations of mathematics deliver these structural relations, indispensability arguments are invalid.

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)

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)

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)

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)

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)

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)

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.

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)

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.

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)

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)

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)

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)

Should the scientific realist admit that their realism involves what Chakravartty has called an epistemic stance? I argue that the realist should accept the need for a realist stance that licenses the use of inference to the best explanation. However, unlike Chakravartty, I maintain that the realist should insist that their realist stance is rationally obligatory. This requires an anti-voluntarism about stances that involves theoretical reasons for adopting one stance rather than another. I present one account of what these reasons (...) might be that is tied to principles that identify some strong connections between evidence, knowledge and genuine explanation. (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.

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)

Christopher Pincock analyses the evolution of the Russellian theory of induction and compares it to Reichenbach's.

Christopher Pincock discusses the nature of the explanation of the universality of certain natural phenomena, such as critical phenomena. Under what conditions can they be called emergent?

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)

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)

Forthcoming in U. Feest (ed.), Historical Perspectives on Erkl.

The epistemic problem of assessing the support that some evidence confers on a hypothesis is considered using an extended example from the history of meteorology. In this case, and presumably in others, the problem is to develop techniques of data analysis that will link the sort of evidence that can be collected to hypotheses of interest. This problem is solved by applying mathematical tools to structure the data and connect them to the competing hypotheses. I conclude that mathematical innovations provide (...) crucial epistemic links between evidence and theories precisely because the evidence and theories are mathematically described.Keywords: J. N. Lockyer; Gilbert T. Walker; ENSO; Models; Bayesianism. (shrink)

This paper begins by distinguishing intrinsic and extrinsic contributions of mathematics to scientific representation. This leads to two investigations into how these different sorts of contributions relate to confirmation. I present a way of accommodating both contributions that complicates the traditional assumptions of confirmation theory. In particular, I argue that subjective Bayesianism does best accounting for extrinsic contributions, while objective Bayesianism is more promising for intrinsic contributions.

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)

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.

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)

After reviewing some different indispensability arguments, I distinguish several different ways in which mathematics can make an important contribution to a scientific explanation. Once these contributions are highlighted it will be possible to see that indispensability arguments have little chance of convincing us of the existence of abstract objects, even though they may give us good reason to accept the truth of some mathematical claims. However, in the concluding part of this paper, I argue that even though there is a (...) valid indispensability argument for realism about some mathematical claims, this argument is problematic as it begs the question at issue. This challenge to indispensability arguments is then used to suggest that if mathematics is making these sorts of contributions to science, then it may be the case that mathematical claims receive some non-empirical support prior to their application in scientific explanation. (shrink)

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)

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

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)

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

In lieu of an abstract, here is a brief excerpt of the content:_Russell_ journal (home office): E:CPBRRUSSJOURTYPE2601\PINCREPL.261 : 2006-06-05 11:54
iscussion REJOINDER TO SOAMES C P Philosophy / Purdue U. West Lafayette,  ,  @. y goal in reviewing Soames’ book was to help readers of this journal evalMuate his contribution to the history of analytic philosophy, with a special focus on his discussion of Russell. Soames charges both that I misrepresent the contents of his book and that I (...) make mistakes in the interpretation of various aspects of Russell’s philosophy. If I had committed any errors of the former sort, I would certainly apologize and thank Soames for bringing such mistakes to my attention. After explaining why I do not believe I have misrepresented the contents of his book, I will turn to the one substantive issue that he raises in his reply, namely the need for unperceived sense-data in Russell’s external world program. While disagreement here is more understandable, nothing Soames says in his book or in his reply has led me to revise my original remarks. My review began with a one-page summary of Soames’ -page book. I said that “Moore, and nearly every other figure that Soames discusses, is [said to be] guilty of confusing necessity, analyticity and apriority” and in the next paragraph mentioned “Moore’s views on ethics” and “Russell’s conception of analysis ” (“Reply”, p. ). Soames replies: “Not so. Although I do show that such conflation had negative consequences for the views of several philosophers, Moore and Russell are not among them” (p. ). I could have added more page references to my discussion. On Moore, after a long list of twelve “fundamental methodological notions” which include analysis, analyticity and necessity, Soames claims that “unclarity about these fundamental methodological notions eviscerated his most important meta-ethical conclusions” (: ). For  Scott Soames, Philosophical Analysis in the Twentieth Century,  vols. (Princeton: Princeton U. P., ). Christopher Pincock, “History of Philosophical Analysis”, Russell, n.s.  (winter – ): –. Scott Soames, “Reply to Pincock”, Russell, n.s.  (winter –): –. References preceded by “:” or “:” refer to the volumes of Soames’ book. Other unlabelled references in the text will be either to my review or to Soames’ reply. russell: the Journal of Bertrand Russell Studies n.s.  (summer ): – The Bertrand Russell Research Centre, McMaster U.  - _Russell_ journal (home office): E:CPBRRUSSJOURTYPE2601\PINCREPL.261 : 2006-06-05 11:54  Discussion Russell, Soames notes that Russell’s “view that ordinary proper names mean the same as descriptions associated with them by speakers … was ultimately shown to be deeply problematic by Saul Kripke in Naming and Necessity” (: ). A reference is then made to Soames’ discussion of Kripke in Volume  where Soames explains how Kripke’s “modal argument” undermined Russell’s approach (: ). Soames also complains that I object to his “characterization of Russellian propositions as complexes of properties and objects whose structure mirrors the logical forms of sentences that express them” (p. ). What I said was that it was “extremely misleading” to say that (quoting Soames again) “propositions constitute the information encoded by sentences … [and of] the information encoded by a sentence (in a logically perfect language) as a complex entity the structure of which mirrors the structure of sentences” (p.  and : –). So, Soames did not say that propositions are “complexes of properties and objects” and if he had said this I would not have objected. Soames goes on to use a settheoretic construction to explain exactly what propositions are. But there is a big difference between a set-theoretic construction and a complex of the sort Russell had in mind, and a reader of Soames would have no awareness of the gap. That is, she is likely to be misled. Finally, Soames says that “Pincock foolishly speculates” (p. ) in ascribing confusion to him about the relevance of Gödel’s incompleteness theorems to Principia Mathematica. Now, when a philosopher gives an argument described as the “final nail in the coffin” (: ), and this argument depends on a tacit assumption, I submit that it is far from foolish to think that the philosopher believes that this assumption is correct. This is, after all, just the methodology that Soames employs when he reconstructs the commitments of the philosophers that he talks about. And, in this case... (shrink)