Indispensability and Holism

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.     

Dispensability in the Indispensability Argument

One of the most influential arguments for realism about mathematical objects is the indispensability argument. Simply put, this is the argument that insofar as we are committed to the existence of the physical objects existentially quantified over in our best scientific theories, we are also committed to the mathematical objects existentially quantified over in these theories. Following the Quine–Putnam formulation of the indispensability argument, some proponents of the indispensability argument have made the mistake of taking confirmational holism to be an essential premise of the argument. In this paper, I consider the reasons philosophers have taken confirmational holism to be essential to the argument and argue that, contrary to the traditional view, confirmational holism is dispensable.     

A NEW REVISABILITY PARADOX

Abstract:  In a recent article, Mark Colyvan has criticized Jerrold Katz's attempt to show that Quinean holism is self-refuting. Katz argued that a Quinean epistemology incorporating a principle of the universal revisability of beliefs would have to hold that that and other principles of the system were both revisable and unrevisable. Colyvan rejects Katz's argument for failing to take into account the logic of belief revision. But granting the terms of debate laid down by Colyvan, the universal revisability principle still commits Quineans to holding that one belief is both revisable and unrevisable: the belief that some beliefs are revisable.     

Why inference to the best explanation doesn’t secure empirical grounds for mathematical platonism

Proponents of the explanatory indispensability argument for mathematical platonism maintain that claims about mathematical entities play an essential explanatory role in some of our best scientific explanations. They infer that the existence of mathematical entities is supported by way of inference to the best explanation from empirical phenomena and therefore that there are the same sort of empirical grounds for believing in mathematical entities as there are for believing in concrete unobservables such as quarks. I object that this inference depends on a false view of how abductive considerations mediate the transfer of empirical support. More specifically, I argue that even if inference to the best explanation is cogent, and claims about mathematical entities play an essential explanatory role in some of our best scientific explanations, it doesn’t follow that the empirical phenomena that license those explanations also provide empirical support for the claim that mathematical entities exist.

     

Van Inwagen and the Quine-Putnam indispensability argument

In this paper I do two things: (1) I support the claim that there is still some confusion about just what the Quine-Putnam indispensability argument is and the way it employs Quinean meta-ontology and (2) I try to dispel some of this confusion by presenting the argument in a way which reveals its important meta-ontological features, and include these features explicitly as premises. As a means to these ends, I compare Peter van Inwagen’s argument for the existence of properties with Putnam’s presentation of the indispensability argument. Van Inwagen’s argument is a classic exercise in Quinean meta-ontology and yet he claims – despite his argument’s conspicuous similarities to the Quine-Putnam argument – that his own has a substantially different form. I argue, however, that there is no such difference between these two arguments even at a very high level of specificity; I show that there is a detailed generic indispensability argument that captures the single form of both. The arguments are identical in every way except for the kind of objects they argue for – an irrelevant difference for my purposes. Furthermore, Putnam’s and van Inwagen’s presentations make an assumption that is often mistakenly taken to be an important feature of the Quine-Putnam argument. Yet this assumption is only the implicit backdrop against which the argument is typically presented. This last point is brought into sharper relief by the fact that van Inwagen’s list of the four nominalistic responses to his argument is too short. His list is missing an important – and historically popular – fifth option.

Discussions Quinton’s Neglected Argument for Scientific Realism

Summary  This paper discusses an argument for scientific realism put forward by Anthony Quinton in The Nature of Things. The argument – here called the controlled continuity argument – seems to have received no attention in the literature, apparently because it may easily be mistaken for a better-known argument, Grover Maxwell’s “argument from the continuum”. It is argued here that, in point of fact, the two are quite distinct and that Quinton’s argument has several advantages over Maxwell’s. The controlled continuity argument is also compared to Ian Hacking’s “argument from coincidence”. It is pointed out that both arguments are to a large extent independent from considerations about high-level scientific theories, and that both are abductive arguments at the core. But these similarities do not dilute an important difference related to the fact that Quinton’s argument cleverly seeks to anchor belief in unobservable entities in realism about ordinary objects, which is a position shared by most contemporary scientific anti-realists.     

On Reichenbach’s argument for scientific realism

The aim of this paper is to articulate, discuss in detail and criticise Reichenbach’s sophisticated and complex argument for scientific realism. Reichenbach’s argument has two parts. The first part aims to show how there can be reasonable belief in unobservable entities, though the truth of claims about them is not given directly in experience. The second part aims to extent the argument of the first part to the case of realism about the external world, conceived of as a world of independently existing entities distinct from sensations. It is argued that the success of the first part depends on a change of perspective, where unobservable entities are viewed as projective complexes vis-à-vis their observable symptoms, or effects. It is also argued that there is an essential difference between the two parts of the argument, which Reichenbach comes (somewhat reluctantly) to accept.     

Atheism and Dialetheism; or, ‘Why I Am Not a (Paraconsistent) Christian’

In ‘Theism and Dialetheism’, Cotnoir explores the idea that dialetheism (true contradictions) can help with some puzzles about omnipotence in theology. In this note, I delineate another aspect of this project. Dialetheism cannot help with one big puzzle about another classic ‘omni’ property, omnibenevolence—the famous problem of evil. For someone (including a dialetheist) who thinks that the existence of evil is a knock-down argument against traditional theism, it is a knock-down argument against dialetheic theism, too.     

Choosing the realist framework

There has been an empiricist tradition in the core of Logical Positivism/Empiricism, starting with Moritz Schlick and ending in Herbert Feigl (via Hans Reichenbach), according to which the world of empiricism need not be a barren place devoid of all the explanatory entities posited by scientific theories. The aim of this paper is to articulate this tradition and to explore ways in which its key elements can find a place in the contemporary debate over scientific realism. It presents a way empiricism can go for scientific realism without metaphysical anxiety, by developing an indispensability argument for the adoption of the realist framework. This argument, unlike current realist arguments, has a pragmatic ring to it: there is no ultimate argument for the adoption of the realist framework.     

The ontological commitments of inconsistent theories

In this paper I present an argument for belief in inconsistent objects. The argument relies on a particular, plausible version of scientific realism, and the fact that often our best scientific theories are inconsistent. It is not clear what to make of this argument. Is it a reductio of the version of scientific realism under consideration? If it is, what are the alternatives? Should we just accept the conclusion? I will argue (rather tentatively and suitably qualified) for a positive answer to the last question: there are times when it is legitimate to believe in inconsistent objects.     

"不可或缺性论证"与反实在论数学哲学

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. __________ Translated from Zhexue Yanjiu 哲学研究 (Philosophical Researches), 2006, (8): 74–83     

What's Wrong With Indispensability?

For many philosophers not automatically inclined to Platonism, the indispensability argument for the existence of mathematical objectshas provided the best (and perhaps only) evidence for mathematicalrealism. Recently, however, this argument has been subject to attack, most notably by Penelope Maddy (1992, 1997),on the grounds that its conclusions do not sit well with mathematical practice. I offer a diagnosis of what has gone wrong with the indispensability argument (I claim that mathematics is indispensable in the wrong way), and, taking my cue from Mark Colyvan's (1998) attempt to provide a Quinean account of unapplied mathematics as `recreational', suggest that, if one approaches the problem from a Quinean naturalist starting point, one must conclude that all mathematics is recreational in this way.     

The Indispensability Argument for Mathematical Realism and Scientific Realism

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.     

Against classical dialetheism

Dialetheism is the view that there are true contradictions. Classical dialetheism holds further the view that the law of excluded middle is indeed a logical law. Most famous dialetheists, such as G. Priest and J. Beall, are classical dialetheists; they take classical dialetheism to be the only plausible solution to the semantic paradoxes. The main contention of the paper is, however, that their views should be rejected. Based on inspecting Priest’s and Beall’s dialetheist theories from a special perspective, this paper contends that classical dialetheism has no natural and plausible way to assign truth values to various truth-ineliminable sentences, i.e., sentences whose truth-conditions essentially involve the property of being true. Several examples of such truth-ineliminable sentences are given in the paper, and two classical dialetheist strategies for assigning them truth values are inspected. This paper argues that none of these strategies is successful.     

Confirmation Theory and Indispensability

In this paper I examine Quine's indispensability argument, with particular emphasis on what is meant by 'indispensable'. I show that confirmation theory plays a crucial role in answering this question and that once indispensability is understood in this light, Quine's argument is seen to be a serious stumbling block for any scientific realist wishing to maintain an anti-realist position with regard to mathematical entities.     

Contrastive Empiricism and Indispensability

The Quine-Putnam indispensability argument urges us to place mathematical entities on the same ontological footing as (other) theoretical entities of empirical science. Recently this argument has attracted much criticism, and in this paper I address one criticism due to Elliott Sober. Sober argues that mathematical theories cannot share the empirical support accrued by our best scientific theories, since mathematical propositions are not being tested in the same way as the clearly empirical propositions of science. In this paper I defend the Quine-Putnam argument against Sober's objections. This revised version was published online in July 2006 with corrections to the Cover Date.     

An old problem for the new rationalism

A well known skeptical paradox rests on the claim that we lack warrant to believe that we are not brains in a vat (BIVs). The argument for that claim is the apparent impossibility of any evidence or argument that we are not BIVs. Many contemporary philosophers resist this argument by insisting that we have a sort of warrant for believing that we are not BIVs that does not require having any evidence or argument. I call this view ‘New Rationalism’. I argue that New Rationalists are committed to there being some evidence or argument for believing that we are not BIVs anyway. Therefore, New Rationalism, since its appeal is that it purportedly avoids the problematic commitment to such evidence or argument, undermines its own appeal. We cannot avoid the difficult work of coming up with evidence or argument by positing some permissive sort of warrant.     

Living in Harmony: Nominalism and the Explanationist Argument for Realism

According to the indispensability argument, scientific realists ought to believe in the existence of mathematical entities, due to their indispensable role in theorising. Arguably the crucial sense of indispensability can be understood in terms of the contribution that mathematics sometimes makes to the super‐empirical virtues of a theory. Moreover, the way in which the scientific realist values such virtues, in general, and draws on explanatory virtues, in particular, ought to make the realist ontologically committed to abstracta. This paper shows that this version of the indispensability argument glosses over crucial detail about how the scientific realist attempts to generate justificatory commitment to unobservables. The kind of role that the Platonist attributes to mathematics in scientific reasoning is compatible with nominalism, as far as scientific realist arguments are concerned.