The form of nominalism known as 'mathematical fictionalism' is examined and found wanting, mainly on grounds that go back to an early antinominalist work of Rudolf Carnap that has unfortunately not been paid sufficient attention by more recent writers.
In his carefully argued and extensively researched article “The Implications of Recent Work in the History of Analytic Philosophy” (Preston 2005a) Aaron Preston has raised what should surely be the central methodological issue for Russell studies and the history of analytic philosophy more generally.[1] That is, what are the goals of the history of analytic philosophy and by what means can we best try to meet these goals? Preston’s main conclusion is that historical investigation into the origins of analytic philosophy (...) has made the most common answers to these questions untenable. In particular, we are encouraged to conclude that analytic philosophy is not even a genuine philosophical movement, and is in this sense “illusory”. For Preston, then, the history of analytic philosophy should reconcile itself to this fact and adjust its methods dramatically. Once we see that analytic philosophy, as traditionally conceived, never existed, then we are free to apply tools not usually deployed in the history of philosophy, e.g. memetics (Preston 2005b). (shrink)
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)
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.
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 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)
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: pincock@purdue.edu. (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)
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)
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)
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 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)
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 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 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.
This paper concerns the debate on the nature of Rudolf Carnap's project in his 1928 book "The Logical Structure of the World or Aufbau". Michael Friedman and Alan Richardson have initiated much of this debate. They claim that the "Aufbau" is best understood as a work that is firmly grounded in neo-Kantian philosophy. They have made these claims in opposition to Quine and Goodman's "received view" of the "Aufbau". The received view sees the "Aufbau" as an attempt to carry out (...) in detail Russell's external world program. I argue that both sides of this debate have made errors in their interpretation of Russell. These errors have led these interpreters to misunderstand the connection between Russell's project and Carnap's project. Russell in fact exerted a crucial influence on Carnap in the 1920s. This influence is complicated, however, due to the fact that Russell and Carnap disagreed on many philosophical issues. I conclude that interpretations of the "Aufbau" that ignore Russell's influence are incomplete. (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)
Many philosophers would concede that mathematics contributes to the abstractness of some of our most successful scientific representations. Still, it is hard to know what this abstractness really comes to or how to make a link between abstractness and success. I start by explaining how mathematics can increase the abstractness of our representations by distinguishing two kinds of abstractness. First, there is an abstract representation that eschews causal content. Second, there are families of representations with a common mathematical core that (...) is variously interpreted. The second part of the paper makes a connection between both kinds of abstractness and success by emphasizing confirmation. That is, I will argue that the mathematics contributes to the confirmation of these abstract scientific representations. This can happen in two ways which I label "direct" and "indirect". The contribution is direct when the mathematics facilitates the confirmation of an accurate representation, while the contribution is indirect when it helps the process of disconfirming an inaccurate representation. Establishing this conclusion helps to explain why mathematics is prevalent in some of our successful scientific theories, but I should emphasize that this is just one piece of a fairly daunting puzzle. (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)
Science and mathematics: the scope and limits of mathematical fictionalism Content Type Journal Article Category Book Symposium Pages 1-26 DOI 10.1007/s11016-011-9640-3 Authors Christopher Pincock, University of Missouri, 438 Strickland Hall, Columbia, MO 65211-4160, USA Alan Baker, Department of Philosophy, Swarthmore College, Swarthmore, PA 19081, USA Alexander Paseau, Wadham College, Oxford, OX1 3PN UK Mary Leng, Department of Philosophy, University of York, Heslington, York, YO10 5DD UK Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.
This paper presents two different kinds a priori entitlements and argues that both are necessary to account for scientific knowledge. On the one hand, there are formal a priori entitlements whose existence is grounded in conditions on concept possession. On the other hand, there are material a priori entitlements that an agent accrues in virtue of practical reasoning. The discussion aims to reconcile the strengths of Christopher Peacocke’s and Michael Friedman’s recent work on the a priori, while overcoming the weaknesses (...) of their respective proposals. (shrink)
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)
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?
Christopher Pincock April 24, 2006 My goal in reviewing Soames’ book was to help readers of this journal evaluate his contribution to the history of analytic philosophy, with a special focus on his discussion of Russell.[1] 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 a mistake 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. (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)