Robust metanormative realists think that there are irreducibly normative, metaphysically heavy normative facts. One might wonder how we could be epistemically justified in believing that such facts exist. In this paper, I offer an answer to this question: one’s belief in the existence of robustly real normative facts is epistemically justified because so believing is indispensable to being a successful inquirer for creatures like us. The argument builds on Enoch's (2007, 2011) deliberative indispensability argument for Robust Realism but avoids (...) relying on an overly pragmatic account of the sources of basic epistemic justification. Instead, I suggest that the sources of basic epistemic justification are those belief-forming methods which are indispensable for zetetically indispensable projects, that is, projects which are constitutive of being a successful inquirer for embodied, agential creatures like ourselves. (shrink)

Many of us care about the existence of ethical facts because they appear crucial to making sense of our practical lives. On one tempting line of thought, this idea can also play a central role in justifying our belief in those facts. David Enoch has developed this thought into a formidable new proposal in moral epistemology: that the deliberative indispensability of ethical facts gives us epistemic justification for believing in such facts. This chapter argues that Enoch’s proposal fails because (...) it conflicts with a central fact about epistemic justification: that the norms of epistemic justification have the content that they do in part because of some positive connection between those norms and the truth of the beliefs that these norms govern. Alternatives to Enoch’s attempt to defend the idea that deliberative indispensability confers epistemic justification fail for parallel reasons. The chapter concludes that deliberative indispensability does not provide epistemic justification. (shrink)

Our best scientific theories explain a wide range of empirical phenomena, make accurate predictions, and are widely believed. Since many of these theories make ample use of mathematics, it is natural to see them as confirming its truth. Perhaps the use of mathematics in science even gives us reason to believe in the existence of abstract mathematical objects such as numbers and sets. These issues lie at the heart of the Indispensability Argument, to which this Element is devoted. The (...) Element's first half traces the evolution of the Indispensability Argument from its origins in Quine and Putnam's works, taking in naturalism, confirmational holism, Field's program, and the use of idealisations in science along the way. Its second half examines the explanatory version of the Indispensability Argument, and focuses on several more recent versions of easy-road and hard-road fictionalism respectively. (shrink)

Many of us care about the existence of ethical facts because such facts appear crucial to making sense of our practical lives. On one tempting line of thought, this idea does more than raise the metaethical stakes: it can also play a central role in justifying our belief in those facts. In recent work, David Enoch has developed this tempting thought into a formidable new proposal in moral epistemology, that aims to explain how the deliberative indispensability of ethical facts (...) gives us epistemic justification for believing in such facts. In this paper, we argue that Enoch’s proposal fails because it conflicts with a central fact about epistemic justification: that the norms of epistemic justification have the content that they do in part because of some positive connection between those norms and the truth of the beliefs that these norms govern. We then argue that the most salient alternatives to Enoch’s attempt to defend the idea that deliberative indispensability confers epistemic justification fail for parallel reasons. We conclude that the tempting line of thought should be rejected: deliberative indispensability does not provide epistemic justification. (shrink)

This book not only outlines the indispensability argument in considerable detail but also defends it against various challenges.

In this note, I discuss David Enoch's influential deliberative indispensability argument for metanormative realism, and contend that the argument fails. In doing so, I uncover an important disanalogy between explanatory indispensability arguments and deliberative indispensability arguments, one that explains how we could accept the former without accepting the latter.

In this paper, I argue that sufficientarian principles are indispensable in the set of principles that have bearing on issues in distributive ethics. I provide two arguments in favor of this claim. First, I argue that sufficientarianism is the only framework that allows us to appropriately analyze what sort of obligations we have toward individuals who are badly off due to their own faults and choices. Second, I argue that sufficientarianism is the only theory that provides an adequate framework for (...) thinking about the desperately badly off. (shrink)

In this paper, I propose a solution to a challenge formulated by Judith Jarvis Thomson: We have to explain why the moral asymmetry between doing and allowing harm is a deep feature of our moral thinking. In a nutshell, my solution is this: It could not be otherwise. Accepting the asymmetry is indispensable for the construction and maintenance of stable moral communities. -/- My argument centrally involves mental resource management. Moral communities depend on their members’ commitment to moral norms. And, (...) I argue, community members can only be committed to these norms in the required ways without overextending their mental resources if morality contains the doing/allowing asymmetry. -/- This has two noteworthy implications. Firstly, we can and should stop discussing the asymmetry in normative ethics and, instead, regard it as “moral axiom” we cannot but accept. Secondly, even consequentialists have to accept the asymmetry but, by doing so, their view loses part of its intuitive appeal. Lastly, I turn to an objection. One might think that my indispensability argument confuses issues in moral psychology with issues in normative ethics. I reject the objection on broadly pragmatist grounds. (shrink)

Gilbert Harman has argued that it does not make sense to ascribe character traits to people. The notion of morally virtuous character becomes particularly suspect. How plausible this is depends on how broad character traits would have to be. Views of character as entirely invariant behavioural tendencies offer a soft target. This paper explores a view that is a less easy target: character traits as specific to kinds of situation, and as involving probabilities or real possibilities. Such ascriptions are not (...) undermined by Harman's arguments, and it remains plausible that the agent's character often is indispensable in explanation of behaviour. Character is indispensable also as processes of control that impose reliability where it really matters. (shrink)

One of the most intriguing features of mathematics is its applicability to empirical science. Every branch of science draws upon large and often diverse portions of mathematics, from the use of Hilbert spaces in quantum mechanics to the use of differential geometry in general relativity. It's not just the physical sciences that avail themselves of the services of mathematics either. Biology, for instance, makes extensive use of difference equations and statistics. The roles mathematics plays in these theories is also varied. (...) Not only does mathematics help with empirical predictions, it allows elegant and economical statement of many theories. Indeed, so important is the language of mathematics to science, that it is hard to imagine how theories such as quantum mechanics and general relativity could even be stated without employing a substantial amount of mathematics. (shrink)

According to Quine’s indispensability argument, we ought to believe in just those mathematical entities that we quantify over in our best scientific theories. Quine’s criterion of ontological commitment is part of the standard indispensability argument. However, we suggest that a new indispensability argument can be run using Armstrong’s criterion of ontological commitment rather than Quine’s. According to Armstrong’s criterion, ‘to be is to be a truthmaker (or part of one)’. We supplement this criterion with our own brand (...) of metaphysics, 'Aristotelian (...) realism', in order to identify the truthmakers of mathematics. We consider in particular as a case study the indispensability to physics of real analysis (the theory of the real numbers). We conclude that it is possible to run an indispensability argument without Quinean baggage. (shrink)

The literature on the indispensability argument for mathematical realism often refers to the ‘indispensable explanatory role’ of mathematics. I argue that we should examine the notion of explanatory indispensability from the point of view of specific conceptions of scientific explanation. The reason is that explanatory indispensability in and of itself turns out to be insufficient for justifying the ontological conclusions at stake. To show this I introduce a distinction between different kinds of explanatory roles—some ‘thick’ and ontologically (...) committing, others ‘thin’ and ontologically peripheral—and examine this distinction in relation to some notable ‘ontic’ accounts of explanation. I also discuss the issue in the broader context of other ‘explanationist’ realist arguments. (shrink)

There is a way of talking that would appear to involve ascriptions of purpose, goal directed activity, and intentional states to groups. Cases are familiar enough: classmates intend to vacation in Switzerland, the department is searching for a metaphysician, the Democrats want to minimize losses in the upcoming elections, and the US intends to improve relations with such and such country. But is this talk to be understood just in terms of the attitudes and actions of the individuals involved? Is (...) the talk, to take an overly simple proposal as an example, a mere summary of familiar individual attitudes of the group members? Or is the ascription of attitudes and actions to groups to be taken more literally, as suggesting that the group for example believes that P, or intends to A, over and above what the members individually think and do? In short, are there groups with minds of their own? Philip Pettit has deployed the “discursive dilemma” to defend the thesis that there are such group minds. In what follows, I explore the relationship between the group allegedly with a mind of its own and the individuals it comprises, and I consider just how this relationship must be understood in order to give Pettit’s argument for group minds its best chance for success. As I understand it, the discursive dilemma has to be used in conjunction with what might be called an indispensability argument for group minds. It is useful to distinguish two forms of this argument. The explanatory version of the indispensability argument is, very schematically, as follows: there is a compelling explanatory theory T concerning the social, certain indispensable elements of T entail the group mind thesis, so the group mind thesis is true. Several questions immediately arise: What sort of theory is T? In what sense is it indispensable? Are there other forms of indispensability? I don’t have definitive answers to these questions. But how we settle them will have implications for the interaction and support the discursive dilemma provides the indispensability argument. In particular, using the discursive dilemma to defend what I characterize below as a practical version of the indispensability argument commits us to the rationality of individual participants in a way that the explanatory version of the indispensability argument does not. My point in the first part of the paper is that if Pettit wants to avoid the weaknesses of the explanatory indispensability argument and pursue the practical version, then he owes us a story about the rationality of individual participation in groups. Pettit also owes us a story about the agency an individual exercises as part of a group. If it takes the actions of individuals to execute the intentions of the group, how are we to understand those actions in order for the group to count as having a mind of its own? How must group intentions figure in the practical or deliberative perspective of individuals who execute those intentions? I will argue that the proponent of the group mind thesis must proceed with some care here, because some natural ways of answering these questions will undermine the thesis. But in the end, I think that these questions are interesting independently of whether Pettit is right to think that groups do have minds of their own. That’s because investigating Pettit’s arguments might lead to new ideas about how the rationality and agency of individuals can be exercised, and suggests new ways of understanding how individuals can act together, irrespective of whether the groups they compose ever have minds of their own. (shrink)

I will contrast two conceptions of the nature of mathematical objects: the conception of mathematical objects as preconceived objects, and heavy duty platonism. I will argue that friends of the indispensability argument are committed to some metaphysical theses and that one promising way to motivate such theses is to adopt heavy duty platonism. On the other hand, combining the indispensability argument with the conception of mathematical objects as preconceived objects yields an unstable position. The conclusion is that the (...) metaphysical commitments of the indispensability argument should be carefully scrutinized. (shrink)

Alan Baker’s enhanced indispensability argument supports mathematical platonism through the explanatory role of mathematics in science. Busch and Morrison defend nominalism by denying that scientific realists use inference to the best explanation to directly establish ontological claims. In response to Busch and Morrison, I argue that nominalists can rebut the EIA while still accepting Baker’s form of IBE. Nominalists can plausibly require that defenders of the EIA establish the indispensability of a particular mathematical entity. Next, I argue that (...) IBE cannot establish that any particular mathematical entity is indispensable. Mathematical entities do not compete with each other in the way physical unobservables do. This lack of competition enables alternative formulations of scientific explanations that use different, but compatible, mathematical entities. The compatibility of these explanations prevents IBE from establishing platonism. (shrink)

In the philosophy of mathematics, indispensability arguments aim to show that we are justified in believing that abstract mathematical objects exist. I wish to defend a particular objection to such arguments that has become increasingly popular recently. It is called instrumental nominalism. I consider the recent versions of this view and conclude that it has yet to be given an adequate formulation. I provide such a formulation and show that it can be used to answer the indispensability arguments. (...) -/- There are two main indispensability arguments in the literature, though one has received nearly all of the attention. They correspond to two ways in which we use mathematics in science and in everyday life. We use mathematical language to help us describe non-mathematical reality; and we use mathematical reasoning to help us perform inferences concerning non-mathematical reality using only a feasible amount of cognitive power. The former use is the starting point of the Quine-Putnam indispensability argument ([Quine, 1980a], [Quine, 1980b], [Quine, 1981a], [Quine, 1981b], [Putnam, 1979a], [Putnam, 1979b]); the latter provides the basis for Ketland’s more recent argument ([Ketland, 2005]). I begin by considering the Quine-Putnam argument and introduce instrumental nominalism to defuse it. Then I show that Ketland’s argument can be defused in a similar way. (shrink)

Confirmational holism is central to a traditional formulation of the indispensability argument for mathematical realism (IA). I argue that recent strategies for defending scientific realism are incompatible with confirmational holism. Thus a traditional formulation of IA is incompatible with recent strategies for defending scientific realism. As a consequence a traditional formulation of IA will only have limited appeal.

The indispensability argument for abstract mathematical entities has been an important issue in the philosophy of mathematics. The argument relies on several assumptions. Some objections have been made against these assumptions, but there are several serious defects in these objections. Ameliorating these defects leads to a new anti-realistic philosophy of mathematics, mainly: first, in mathematical applications, what really exist and can be used as tools are not abstract mathematical entities, but our inner representations that we create in imagining abstract (...) mathematical entities; second, the thoughts that we create in imagining infinite mathematical entities are bounded by external conditions. (shrink)

The indispensability argument for abstract mathematical entities has been an important issue in the philosophy of mathematics. The argument relies on several assumptions. Some objections have been made against these assumptions, but there are several serious defects in these objections. Ameliorating these defects leads to a new anti-realistic philosophy of mathematics, mainly: first, in mathematical applications, what really exist and can be used as tools are not abstract mathematical entities, but our inner representations that we create in imagining abstract (...) mathematical entities; second, the thoughts that we create in imagining infinite mathematical entities are bounded by external conditions. (shrink)

The question as to whether there are mathematical explanations of physical phenomena has recently received a great deal of attention in the literature. The answer is potentially relevant for the ontology of mathematics; if affirmative, it would support a new version of the indispensability argument for mathematical realism. In this article, I first review critically a few examples of such explanations and advance a general analysis of the desiderata to be satisfied by them. Second, in an attempt to strengthen (...) the realist position, I propose a new type of example, drawing on probabilistic considerations. 1 Introduction2 Mathematical Explanations2.1 ‘Simplicity’3 An Average Story: The Banana Game3.1 Some clarifications3.2 Hopes and troubles for the nominalist3.3 New hopes?3.4 New troubles4 Conclusion. (shrink)

In Grundgesetze, Vol. II, §91, Frege argues that ‘it is applicability alone which elevates arithmetic from a game to the rank of a science’. Many view this as an in nuce statement of the indispensability argument later championed by Quine. Garavaso has questioned this attribution. I argue that even though Frege's applicability argument is not a version of ia, it facilitates acceptance of suitable formulations of ia. The prospects for making the empiricist ia compatible with a rationalist Fregean framework (...) appear thus much less dim than expected. Nonetheless, those arguing for such compatibility eventually face an hardly surmountable dilemma. (shrink)

Recent debates about mathematical ontology are guided by the view that Platonism's prospects depend on mathematics' explanatory role in science. If mathematics plays an explanatory role, and in the right kind of way, this carries ontological commitment to mathematical objects. Conversely, the assumption goes, if mathematics merely plays a representational role then our world-oriented uses of mathematics fail to commit us to mathematical objects. I argue that it is a mistake to think that mathematical representation is necessarily ontologically innocent and (...) that there is an argument from mathematics' representational capacity to Platonism. Given that it is common ground between the Platonist and nominalist that mathematics plays a representational role in science, this representationalist argument is to be preferred over the explanatory, or enhanced, indispensability argument. (shrink)

Instances of explanatory reduction are often advocated on metaphysical grounds; given that the only real things in the world are subatomic particles and their interaction, we have to try to explain everything in terms of the laws of physics. In this paper, we show that explanatory reduction cannot be defended on metaphysical grounds. Nevertheless, indispensability arguments for reductive explanations can be developed, taking into account actual scientific practice and the role of epistemic interests. Reductive explanations might be indispensable to (...) address some epistemic interest answering a specific explanation-seeking question in the most accurate, adequate and efficient way. Just like explanatory pluralists often advocate the indispensability of higher levels of explanation pointing at the pragmatic value of the explanatory information obtained on these higher levels, we argue that explanatory reduction—traditionally understood as the contender of pluralism—can be defended in a similar way. The pragmatic value reductionist, lower level explanations might have in the biomedical sciences and the social sciences is illustrated by some case studies. (shrink)

The indispensability argument comes in many different versions that all reduce to a general valid schema. Providing a sound IA amounts to providing a full interpretation of the schema according to which all its premises are true. Hence, arguing whether IA is sound results in wondering whether the schema admits such an interpretation. We discuss in full details all the parameters on which the specification of the general schema may depend. In doing this, we consider how different versions of (...) IA can be obtained, also through different specifications of the notion of indispensability. We then distinguish between schematic and genuine IA, and argue that no genuine sound IA is available or easily forthcoming. We then submit that this holds also in the particularly relevant case in which indispensability is conceived as explanatory indispensability. (shrink)

Instances of explanatory reduction are often advocated on metaphysical grounds; given that the only real things in the world are subatomic particles and their interaction, we have to try to explain everything in terms of the laws of physics. In this paper, we show that explanatory reduction cannot be defended on metaphysical grounds. Nevertheless, indispensability arguments for reductive explanations can be developed, taking into account actual scientific practice and the role of epistemic interests. Reductive explanations might be indispensable to (...) address some epistemic interest answering a specific explanation-seeking question in the most accurate, adequate and efficient way. Just like explanatory pluralists often advocate the indispensability of higher levels of explanation pointing at the pragmatic value of the explanatory information obtained on these higher levels, we argue that explanatory reduction—traditionally understood as the contender of pluralism—can be defended in a similar way. The pragmatic value reductionist, lower level explanations might have in the biomedical sciences and the social sciences is illustrated by some case studies. (shrink)

The access problem for mathematics arises from the supposition that the referents of mathematical terms inhabit a realm separate from us. Quine’s approach in the philosophy of mathematics dissolves the access problem, though his solution sometimes goes unrecognized, even by those who rely on his framework. This paper highlights both Quine’s position and its neglect. I argue that Michael Resnik’s structuralist, for example, has no access problem for the so-called mathematical objects he posits, despite recent criticism, since he relies on (...) an indispensability argument. Still, Resnik’s structuralist does not provide an account of our access to traditional mathematical objects, and this may be seen as a problem. (shrink)

In ‘The varieties of indispensability arguments’ Marco Panza and Andrea Sereni argue that, for any clear notion of indispensability, either there is no conclusive argument for the thesis that mathematics is indispensable to science, or the notion of indispensability at hand does not support mathematical realism. In this paper, I shall not object to this main thesis directly. I shall instead try to assess in a naturalistic spirit a family of objections the authors make along the way (...) to the use of indispensability premises in indispensability arguments. (shrink)

One recent trend in the philosophy of mathematics has been to approach the central epistemological and metaphysical issues concerning mathematics from the perspective of the applications of mathematics to describing the world, especially within the context of empirical science. A second area of activity is where philosophy of mathematics intersects with foundational issues in mathematics, including debates over the choice of set-theoretic axioms, and over whether category theory, for example, may provide an alternative foundation for mathematics. My central claim is (...) that these latter issues are of direct relevance to philosophical arguments connected to the applicability of mathematics. In particular, the possibility of there being distinct alternative foundations for mathematics blocks the standard argument from the indispensable role of mathematics in science to the existence of specific mathematical objects. (shrink)

It is claimed that the indispensability argument for the existence of mathematical entities (IA) works in a way that allows a proponent of mathematical realism to remain agnostic with regard to how we establish that mathematical entities exist. This is supposed to be possible by virtue of the appeal to confirmational holism that enters into the formulation of IA. Holism about confirmation is supposed to be motivated in analogy with holism about falsification. I present an account of how holism (...) about falsification is supposed to be motivated. I argue that the argument for holism about falsification is in tension with how we think about confirmation and with two principles suggested by Quine for construing a plausible variety of holism. Finally, I show that one of Quine's principles does not allow a proponent of mathematical realism to remain agnostic with regard to how we establish that mathematical entities exist. (shrink)

When considering mathematical realism, some scientific realists reject it, and express sympathy for the opposite view, mathematical nominalism; moreover, many justify this option by invoking the causal inertness of mathematical objects. The main aim of this note is to show that the scientific realists’ endorsement of this causal mathematical nominalism is in tension with another position some of them also accept, the doctrine of methodological naturalism. By highlighting this conflict, I intend to tip the balance in favor of a rival (...) of mathematical nominalism, the mathematical realist position supported by the ‘Indispensability Argument’ – but I do this indirectly, by showing that the road toward it is not blocked by considerations from causation. (shrink)

Pluralist mathematical realism, the view that there exists more than one mathematical universe, has become an influential position in the philosophy of mathematics. I argue that, if mathematical pluralism is true (and we have good reason to believe that it is), then mathematical realism cannot (easily) be justified by arguments from the indispensability of mathematics to science. This is because any justificatory chain of inferences from mathematical applications in science to the total body of mathematical theorems can cover at (...) most one mathematical universe. Indispensability arguments may thus lose their central role in the debate about mathematical ontology. (shrink)

This book includes detailed critical analysis of a wide variety of versions of the indispensability argument, as well as a novel approach to traditional views about mathematics.

In this article I consider what it would take to combine a certain kind of mathematical Platonism with serious presentism. I argue that a Platonist moved to accept the existence of mathematical objects on the basis of an indispensability argument faces a significant challenge if she wishes to accept presentism. This is because, on the one hand, the indispensability argument can be reformulated as a new argument for the existence of past entities and, on the other hand, if (...) one accepts the indispensability argument for mathematical objects then it is hard to resist the analogous argument for the existence of the past. (shrink)

Indispensability arguments for mathematical realism are commonly traced back to Quine. We identify two different Quinean strands in the interpretation of IA, what we label the ‘logical point of view’ and the ‘theory-contribution’ point of view. Focusing on each of the latter, we offer two minimal versions of IA. These both dispense with a number of theoretical assumptions commonly thought to be relevant to IA. We then show that the attribution of both minimal arguments to Quine is controversial, and (...) stress the extent to which this is so in both cases, in order to attain a better appreciation of the Quinean heritage of IA. (shrink)

The Enhanced Indispensability Argument (Baker [ 2009 ]) exemplifies the new wave of the indispensability argument for mathematical Platonism. The new wave capitalizes on mathematics' role in scientific explanations. I will criticize some analyses of mathematics' explanatory function. In turn, I will emphasize the representational role of mathematics, and argue that the debate would significantly benefit from acknowledging this alternative viewpoint to mathematics' contribution to scientific explanations and knowledge.

Regarding the determination of vulnerability, the bioethics community has univocally jettisoned “labelled groups”, groups whose membership confers a context-invariant “vulnerable” status to their members. While the usual reasons against the sole use of labelled groups to determine the vulnerability of individuals are sound, labelled groups as exemplars of vulnerability can play indispensable roles in bioethical reasoning. In this article, I argue against the wholesale jettisoning of labelled groups by showing how they can be useful.

What is successful Christian leadership? How should leadership be developed within a Christian context? This article encourages Christian leaders to seek to identify with Jesus’ mission and paradigm in developing leaders by examining the Scriptural passage in Mark 3:13-19. Jesus’ example in leadership development was based on succession of leadership primarily accomplished through personally shaping his disciples in close, mentoring relationships. This article, in particularly examines Jesus’ practice of having his disciples near him in order that they might best accomplish (...) the task he had purposed for them. Currently, this pattern of leadership development has been given diverse definitions from servant-based leadership to transformational leadership, but to Jesus, developing leaders was best accomplished through simple mentoring. Jesus’ desired goals for his disciples were realized through an intentional nearness to the lives of the twelve. For Christian leadership to be healthy, its success depends on close relationships being developed between the mentor and the mentee. The indispensable mark of Christian leadership is the combined effort of action and agenda while purposing to influence others. (shrink)

In this article I consider what it would take to combine a certain kind of mathematical Platonism with serious presentism. I argue that a Platonist moved to accept the existence of mathematical objects on the basis of an indispensability argument faces a significant challenge if she wishes to accept presentism. This is because, on the one hand, the indispensability argument can be reformulated as a new argument for the existence of past entities and, on the other hand, if (...) one accepts the indispensability argument for mathematical objects then it is hard to resist the analogous argument for the existence of the past. (shrink)

In this paper, I argue against Michael Gorman’s objection to Tim Crane’s view of intentional objects. Gorman (“Talking about Intentional Objects,” 2006), following Searle (Intentionality, 1983), argues that intentional content can be cashed out solely in terms of conditions of satisfaction. For Gorman, we have reason to prefer his more minimal satisfaction-condition approach to Crane’s be- cause we cannot understand Crane’s notion of an intentional object when applied to non-existent objects. I argue that Gorman’s criticism rests on a misunderstanding of (...) Crane’s position. I also discuss the importance of keeping track of the distinction between the intentional objects of intentional states and the referents of such states. I do agree with Gorman that conditions of satisfaction are needed to cash out propositional intentional content, but we cannot get these conditions of satisfaction right if we do not capture how the subject takes the world to be. And we cannot properly capture how the subject takes the world to be without commitment to intentional objects. I argue that Crane’s notion of an intentional object is one that avoids questionable ontological commitments. So, in the end we have a view of intentional objects with a respectable metaphysics and ontology that can properly capture the intentional content of subjects’ intentional states. (shrink)

Realists persuaded by indispensability arguments af- firm the existence of numbers, genes, and quarks. Van Fraassen's empiricism remains agnostic with respect to all three. The point of agreement is that the posits of mathematics and the posits of biology and physics stand orfall together. The mathematical Platonist can take heart from this consensus; even if the existence of num- bers is still problematic, it seems no more problematic than the existence of genes or quarks. If the two positions just (...) described were the only ones possible, there could be no objection to this melding of numbers with genes and quarks. However, the position I call contrastive empiricism (Sober 1990a) stands opposed to both realism and to Van Fraassen's em- piricism. As it turns out, contrastive empiricism entails that coalesc- ing mathematics with empirical science is highly problematic. I believe that there is an important kernel of truth in abductive ar- guments for genes and quarks. But no counterpart argument exists for the case of numbers. Of course, the existence of this third way would be uninteresting, if contrastive empiricism were wholly implausible. However, I will argue that contrastive empiricism captures what makes sense in standard versions of realism and empiricism, while avoiding the excesses of each. This third way is a middle way; it cannot be dismissed out of hand. (shrink)

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

Nuno Venturinha holds that the contextualist epistemology adumbrated in Wittgenstein’s On Certainty--the most powerful response to philosophical skepticism yet developed-- falls short of providing a complete answer to Cartesian radical skepticism about knowledge of the external world. I argue that Venturinha underestimates the range and complexity of Wittgenstein’s epistemological. He does so because he reads Wittgenstein along the lines of so-called ‘hinge epistemology’. Hinge epistemology indeed fails as a diagnosis of skepticism. But it also fails as a reading of Wittgenstein. (...) A more adequate understanding of Wittgenstein suggests that Venturinha’s pessimistic conclusion can be avoided. (shrink)

Mathematical concepts are explications, in Carnap's sense, of vague or otherwise non-clear concepts; mathematical theories have an empirical and a deductive component. From this perspective, I argue that the empirical component of a mathematical theory may be tested together with the fruitfulness of its explications. Using these ideas, I furthermore give an argument for mathematical realism, based on the indispensability argument combined with a weakened version of confirmational holism.