Indispensability arguments are used as a way of working out what there is: our best science tells us what things there are. Some philosophers think that indispensability arguments can be used to show that we should be committed to the existence of mathematical objects (numbers, functions, sets). Do indispensability arguments also deliver conclusions about the modal properties of these mathematical entities? Colyvan (in Leng, Paseau, Potter (eds) Mathematical knowledge, OUP, Oxford, 109-122, 2007) and Hartry Field (Realism, mathematics and modality, Blackwell, (...) Oxford, 1989) each suggest that a consequence of the empirical methodology of indispensability arguments is that the resulting mathematical objects can only be said to exist (or not exist) contingently. Kristie Miller has argued that this line of thought doesn’t work (Miller in Erkenntnis, 77 (3), 335-359, 2012). Miller argues that indispensability arguments are in direct tension with contingentism about mathematical objects, and that they cannot tell us about the modal status of mathematical objects. I argue that Miller’s argument is crucially imprecise, and that the best way of making it clearer no longer shows that the indispensability strategy collapses or is unstable if it delivers contingentist conclusions about what there is. (shrink)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...) 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

Platonists and nominalists disagree about whether mathematical objects exist. But they almost uniformly agree about one thing: whatever the status of the existence of mathematical objects, that status is modally necessary. Two notable dissenters from this orthodoxy are Hartry Field, who defends contingent nominalism, and Mark Colyvan, who defends contingent Platonism. The source of their dissent is their view that the indispensability argument provides our justification for believing in the existence, or not, of mathematical objects. This paper considers whether commitment (...) to the indispensability argument gives one grounds to be a contingentist about mathematical objects. (shrink)

In this paper we provide a psychological explanation for ‘grounding observations’—observations that are thought to provide evidence that there exists a relation of ground. Our explanation does not appeal to the presence of any such relation. Instead, it appeals to certain evolved cognitive mechanisms, along with the traditional modal relations of supervenience, necessitation and entailment. We then consider what, if any, metaphysical conclusions we can draw from the obtaining of such an explanation, and, in particular, if it tells us anything (...) about whether we ought to posit a relation of ground. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

Nominalists are confronted with a grave difficulty: if abstract objects do not exist, what explains the success of theories that invoke them? In this paper, I make headway on this problem. I develop a formal language in which certain platonistic claims about properties and certain nominalistic claims can be expressed, develop a formal language in which only certain nominalistic claims can be expressed, describe a function mapping sentences of the first language to sentences of the second language, and prove some (...) facts about that function and facts about some sound logics for those languages. In doing so, I prove that, given some plausible metaphysical assumptions, a large class of sentences about properties of concrete objects are “safe” on nominalistic grounds. Whenever some true sentences about concrete objects and some sentences belonging to this class that are true according to platonists collectively entail a conclusion about concrete objects, some nominalistically acceptable sentences are true and entail the same conclusion. Because the proof can itself be formulated without abstract objects, it provides a nominalistic explanation of the success of theories that invoke properties of concrete objects. (shrink)

The A-theory and the B-theory advance competing claims about how time is grounded. The A-theory says that A-facts are more fundamental in grounding time than are B-facts, and the B-theory says the reverse. We argue that whichever theory is true of the actual world is also true of all possible worlds containing time. We do this by arguing that time is uniquely groundable: however time is actually grounded, it is necessarily grounded in that way. It follows that if either the (...) A-theory or the B-theory is actually false, then it is necessarily false. (shrink)

The A-theory and the B-theory advance competing claims about how time is grounded. The A-theory says that A-facts are more fundamental in grounding time than are B-facts, and the B-theory says the reverse. We argue that whichever theory is true of the actual world is also true of all possible worlds containing time. We do this by arguing that time is uniquely groundable: however time is actually grounded, it is necessarily grounded in that way. It follows that if either the (...) A-theory or the B-theory is actually false, then it is necessarily false. (shrink)

Monism is our name for a range of views according to which the connection between dispositions and their categorical bases is intimate and necessary, or on which there are no categorical bases at all. In contrast, Dualist views hold that the connection between dispositions and their categorical bases is distant and contingent. This paper is a defence of Monism against an influential conceivability argument in favour of Dualism. The argument suggests that the apparent possibility of causal behaviour coming apart from (...) categorical bases is best explained by Dualism. We argue that Monism can explain the apparent possibility as well, if we take metaphysically alien laws — namely, laws whose metaphysical nature is alien to the actual world — into account. (shrink)

Although it is very often taken for granted that there is something fundamental, the literature appears to have developed with little to no careful consideration of what exactly it is that the fundamentalia are supposed to do. If we are to have a good reason to believe that there is something fundamental, we need not only to know what exactly it is that the fundamentalia are invoked for, but why it is that nothing else is available for the task to (...) hand. A good argument in defense of fundamentality, then, will contain an assumption that stipulates an explanatory target; along with a second, crucial, assumption that tells us that no dependent entity is available to do the work that needs to be done. In this paper, I explore both of these assumptions. (shrink)

Recently, nominalists have made a case against the Quine–Putnam indispensability argument for mathematical Platonism by taking issue with Quine’s criterion of ontological commitment. In this paper I propose and defend an indispensability argument founded on an alternative criterion of ontological commitment: that advocated by David Armstrong. By defending such an argument I place the burden back onto the nominalist to defend her favourite criterion of ontological commitment and, furthermore, show that criterion cannot be used to formulate a plausible form of (...) the indispensability argument. (shrink)

Primitive, unanalysable grounding relations are considered by many to be indispensable constituents of the metaphysician’s toolkit. Yet, as a primitive ontological posit, grounding must earn its keep by explaining features of the world not explained by other tools already at our disposal. Those who defend grounding contend that grounding is required to play two interconnected roles: accounting for widespread intuitions regarding what is ontologically prior to what, and forming the backbone of a theory of metaphysical explanation, in much the same (...) way that causal relations have been thought to underpin theories of scientific explanation. This thesis undermines the need to posit grounding relations to perform either of these jobs. With regard to the first, it is argued that a pair of human psychological mechanisms—for which there is substantial empirical support—can provide a more theoretically virtuous explanation of why we have the intuitions that we do. With regard to the second, I begin by considering what we want from a theory of explanation, and go on to develop three attractive (yet grounding-free) theories of metaphysical explanation. I offer: i) a psychologistic theory that calls upon the aforementioned psychological mechanisms, as well as the modal relations of necessitation and supervenience, ii) a metaphysical variant of the deductive-nomological theory of scientific explanation, and iii) a metaphysical variant of the unificationist theory of scientific explanation. Furthermore, these theories draw upon mechanisms and relations (both logical and ontological) to which we are already committed. Thus, to posit grounding relations in order to explain our priority intuitions, or in order to develop a theory of metaphysical explanation, is ontologically profligate. I conclude that we should not posit relations of ground. (shrink)

I begin by giving reasons to accept the block-universe view, the strongly supported by physics view that we live in a four-dimensional world. According to it, the past and the future are as real as the present. As a result, it seems that the future is determined in the sense that what will be the case will necessarily be the case. In the dissertation, I examine whether we have to accept this consequence. I show that we do not have to (...) bite the bullet: the future might be both real and contingent. I first start to consider modal realism (possible futures are real) as a possible solution. However, I propose then another account, actualist (positing the reality of only one possible world: the space-time we live in). This solution relies on a conventionalist theory about metaphysical modality (Sidelle, 1989). It states that modal modality is purely conventional. In combination with a realist interpretation of natural modality (causal and/or nomological), this framework allows me to propose that the future is conventionally closed and naturally contingent. In this view, the necessity of the future holds in virtue of linguistic conventions and then is conventionally necessary. But this is a distinct phenomenon from the natural contingency of the future: the future is naturally contingent because there are mind-independent probabilistic relations holding between the present and the future. This solution has strong consequences: most importantly, an anti-realist view about ordinary objects and physical particles. I end up by presenting and arguing in favour of the general image of the world that comes out from these views. (shrink)

A physical theory is a partially interpreted axiomatic formal system, where L is a formal language with some logical, mathematical and physical axioms, and with some derivation rules, and the semantics S is a relationship between the formulas of L and some states of affairs in the physical world. In our ordinary discourse, the formal system L is regarded as an abstract object or structure, the semantics S as something which involves the mental/conceptual realm. This view is of course incompatible (...) with physicalism. How can physical theory be accommodated in a purely physical ontology? The aim of this paper is to outline an account for meaning and truth of physical theory, within the philosophical framework spanned by three doctrines: physicalism, empiricism, and the formalist philosophy of mathematics. (shrink)

An error theorist about a particular discourse combines the cognitivist thesis that the discourse is truth-apt with the thesis that core statements asserted by the discourse are false. For instance, one is an error theorist about witch discourse if one thinks that witch discourse is truth-apt and that some of the entities and properties quantified over by core statements in the discourse, namely witches and magical powers, do not exist and hence that certain core statements of the discourse are false.