David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it says there (...) aren't any genuine facts about individuals over and above their qualitative roles. (shrink)

Suppose that all non-qualitative facts are grounded in qualitative facts. I argue that this view naturally comes with a picture in which trans-world identity is indeterminate. But this in turn leads to either pervasive indeterminacy in the non-qualitative, or else contingency in what facts about modality and possible worlds are determinate.

Some philosophers respond to Leibniz’s “shift” argument against absolute space by appealing to antihaecceitism about possible worlds, using David Lewis’s counterpart theory. But separated from Lewis’s distinctive system, it is difficult to understand what this doctrine amounts to or how it bears on the Leibnizian argument. In fact, the best way of making sense of the relevant kind of antihaecceitism concedes the main point of the Leibnizian argument, pressing us to consider alternative spatiotemporal metaphysics.

I describe a problem about the relations among symmetries, laws and measurable quantities. I explain why several ways of trying to solve it will not work, and I sketch a solution that might work. I discuss this problem in the context of Newtonian theories, but it also arises for many other physical theories. The problem is that there are two ways of defining the space-time symmetries of a physical theory: as its dynamical symmetries or as its empirical symmetries. The two (...) definitions are not equivalent, yet they pick out the same extension. This coincidence cries out for explanation, and it is not clear what the explanation could be. The Puzzle: Symmetries, Measurability and Invariance 1.1 The symmetries and the measurable quantities of Newtonian mechanics 1.2 The puzzle Two Easy Answers Another Unsuccessful Solution: Appeal to Geometrical Symmetries Locating the Puzzle The Relation between Laws and Measurability A Possible Solution CiteULike Connotea Del.icio.us What's this? (shrink)

In this paper I claim that Earman and Norton 's hole argument against substantivalist interpretations of General Relativity assumes that the substantivalist must adopt a conception of determinism which I argue is unsatisfactory. Butterfield and others have responded to the hole argument by finding a conception of determinism open to the substantivalist that is not prone to the hole argument. But, unfortunately for the substantivalist, I argue this conception also turns out to be unsatisfactory. Accordingly, I search for a conception (...) of determinism that is both independently plausible and capable of blocking the hole argument. (shrink)

This paper sketches a taxonomy of forms of substantivalism and relationism concerning space and time, and of the traditional arguments for these positions. Several natural sorts of relationism are able to account for Newton's bucket experiment. Conversely, appropriately constructed substantivalism can survive Leibniz's critique, a fact which has been obscured by the conflation of two of Leibniz's arguments. The form of relationism appropriate to the Special Theory of Relativity is also able to evade the problems raised by Field. I survey (...) the effect of the General Theory of Relativity and of plenism on these considerations. (shrink)

This paper looks at the relationship between spacetime functionalism and Harvey Brown’s dynamical relativity. One popular way of reading and extending Brown’s programme in the literature rests on viewing his position as a version of relationism. But a kind of spacetime functionalism extends the project in a different way, by focussing on the account Brown gives of the role of spacetime in relativistic theories. It is then possible to see this as giving a functional account of the concept of spacetime (...) which may be applied to theories that go beyond relativity. This paper explores the way in which both the relationist project and the functionalist project relate to Brown’s work, despite being incompatible. Ultimately, these should not be seen as two conflicting readings of Brown, but two different directions in which to take his project. (shrink)

Antihaecceitists believe that all facts about specific individuals—such as the fact that Fred exists, or that Katie is tall—globally supervene on purely qualitative facts. Haecceitists deny that. The issue is not only of interest in itself, but receives additional importance from its intimate connection to the question of whether all fundamental facts are qualitative or whether they include facts about which specific individuals there are and how qualitative properties and relations are distributed over them. Those who think that all fundamental (...) facts are qualitative are arguably committed to antihaecceitism. The goal of this paper is to point out some problems for antihaecceitism (and therefore for the thesis that all fundamental facts are qualitative). The article focuses on two common assumptions about possible worlds: (i) Sets of possible worlds are the bearers of objective physical chance. (ii) Counterfactual conditionals can be defined by appeal to a relation of closeness between possible worlds. The essay tries to show that absurd consequences ensue if either of these assumptions is combined with antihaecceitism. Then it considers a natural response by the antihaecceitist, which is to deny that worlds play the role described in (i) and (ii). Instead, the reply continues, we can introduce a new set of entities that are defined in terms of worlds and that behave the way worlds do on the haecceitist position. That allows the antihaecceitist to formulate antihaecceitist friendly versions of (i) and (ii) by replacing the appeal to possible worlds with reference to the newly introduced entities. This maneuver invites an obvious reply, however. If the new entities are the things that play the role we typically associate with worlds, as partially described by (i) and (ii), then it is natural to conclude that they really are the entities we talk about when we speak of worlds, so that haecceitism is true after all. (shrink)

This essay revisits some classic problems in the philosophy of space and time concerning the counting of possibilities. I argue that we should think that two Newtonian worlds can differ only as to when or where things happen and that general relativistic worlds can differ in something like the same way—the first of these theses being quaintly heterodox, the second baldly heretical, according to the mores of contemporary philosophy of physics.

A new puzzle of modal recombination is presented which relies purely on resources of first-order modal logic. It shows that naive recombinatorial reasoning, which has previously been shown to be inconsistent with various assumptions concerning propositions, sets and classes, leads to inconsistency by itself. The context sensitivity of modal expressions is suggested as the source of the puzzle, and it is argued that it gives us reason to reconsider the assumption that the notion of metaphysical necessity is in good standing.

In this paper I provide an ontology for the co‐variant vectors, contra‐variant vectors and tensors that are familiar from General Relativity. This ontology is developed in response to a problem that Timothy Maudlin uses to argue against universals in the interpretation of physics. The problem is that if vector quantities are universals then there should be a way of identifying the same vector quantity at two different places, but there is no absolute identification of vector quantities, merely a path‐relative one.My (...) solution to the problem is to use the mathematical characterization of vectors as differential operators on scalar fields. On the proposed hypothesis a scalar field is a conjunctive state of affairs, and vector and tensor fields are relations instantiated by scalar fields. (shrink)

Spacetime substantivalism leads to a radical form of indeterminism within a very broad class of spacetime theories which include our best spacetime theory, general relativity. Extending an argument from Einstein, we show that spacetime substantivalists are committed to very many more distinct physical states than these theories' equations can determine, even with the most extensive boundary conditions.

One of the central questions of material-object metaphysics is which highly visible objects there are right before our eyes. Daniel Z. Korman defends a conservative view, according to which our ordinary, natural judgments about which objects there are are more or less correct. He begins with an overview of the arguments that have led people away from the conservative view, into revisionary views according to which there are far more objects than we ordinarily take there to be or far fewer. (...) Korman criticizes a variety of compatibilist strategies, according to which these revisionary views are actually compatible with our ordinary beliefs. He goes on to respond to debunking arguments; objections that the conservative's verdicts about which objects that are and aren't are objectionably arbitrary; the argument from vagueness; the overdetermination argument; the argument from material constitution; and the problem of the many. (shrink)

Determinism is a perennial topic of philosophical discussion. Very little acquaintance with the philosophical literature is needed to reveal the Tower of ...

On the now dominant Quinean view, metaphysics is about what there is. Metaphysics so conceived is concerned with such questions as whether properties exist, whether meanings exist, and whether numbers exist. I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. Metaphysics so revived does not bother asking whether properties, meanings, and numbers exist (of course they do!) The question is whether or not they are fundamental.

This paper distinguishes two kinds of realist issue -- the issue of whether the propositions of a given domain are factual and the issue of whether they are fundamental. It criticizes previous accounts of what these issues come to and suggests that they are to be understood in terms of a basic metaphysical concept of reality. This leaves open the question of how such issues are to be resolved; and it is argued that this may be done through consideration of (...) what grounds the facts of a given domain, when fundamentality is in question, and what grounds our engagement with the putative facts, when factuality is in question. (shrink)

In his paper ``What is Structural Realism?'' James Ladyman drew a distinction between epistemological structural realism and metaphysical (or ontic) structural realism. He also drew a suggestive analogy between the perennial debate between substantivalist and relationalist interpretations of spacetime on the one hand, and the debate about whether quantum mechanics treats identical particles as individuals or as `non-individuals' on the other. In both cases, Ladyman's suggestion is that an ontic structural realist interpretation of the physics might be just what is (...) needed to overcome the stalemate. The main thesis of this paper is that, whatever the interpretative difficulties of generally covariant spacetime physics are, they do not support or suggest structural realism. In particular, I hope to show that there is in fact no analogy that supports a similar interpretation of the metaphysics of spacetime points and of quantum particles. (shrink)

Physicists who work on canonical quantum gravity will sometimes remark that the general covariance of general relativity is responsible for many of the thorniest technical and conceptual problems in their field.1 In particular, it is sometimes alleged that one can trace to this single source a variety of deep puzzles about the nature of time in quantum gravity, deep disagreements surrounding the notion of ‘observable’ in classical and quantum gravity, and deep questions about the nature of the existence of spacetime (...) in general relativity. Philosophers who think about these things are sometimes skeptical about such claims. We have all learned that Kretschmann was quite correct to urge against Einstein that the “General Theory of Relativity” was no such thing, since any theory could be cast in a generally covariant form, and hence the general covariance of general relativity could not have any physical content, let alone bear the kind of weight that Einstein expected it to.2 Friedman’s assessment is widely accepted: “As Kretschmann first pointed out in 1917, the principle of general covariance has no physical content whatever: it specifies no particular physical theory; rather, it merely expresses our commitment to a certain style of formulating physical theories” (1984, p. 44). Such considerations suggest that general covariance, as a technically crucial but physically contentless feature of general relativity, simply cannot be the source of any significant conceptual or physical problems.3 Physicists are, of course, conscious of the weight of Kretschmann’s points against Einstein. Yet they are considerably more ambivalent than their philosophical colleagues. Consider Kuchaˇr’s conclusion at the end of a discussion of this topic. (shrink)

We should see the debate over the existence of spacetime as a debate about the fundamentality of spatiotemporal structure to the physical world. This is a non-traditional conception of the debate, which captures the spirit of the traditional one. At the same time, it clarifies the point of contention between opposing views and offsets worries that the dispute is stagnant or non-substantive. It also unearths a novel argument for substantivalism, given current physics. Even so, that conclusion can be overridden by (...) future physics. I conclude that this debate is a substantive one, which the substantivalist is currently winning. (shrink)

Particularists in material-object metaphysics hold that our intuitive judgments about which kinds of things there are and are not are largely correct. One common argument against particularism is the argument from arbitrariness, which turns on the claim that there is no ontologically significant difference between certain of the familiar kinds that we intuitively judge to exist (snowballs, islands, statues, solar systems) and certain of the strange kinds that we intuitively judge not to exist (snowdiscalls, incars, gollyswoggles, the fusion of the (...) my nose and the Eiffel Tower). Particularists frequently respond by conceding that there is no ontologically significant difference and embracing some sort of deflationary metaontology (relativism, constructivism, quantifier variance). I show -- by identifying ontologically significant differences -- that the argument can be resisted without retreating to any sort of deflationary metaontology. (shrink)

This paper is concerned with the debate between substantival and relational theories of space-time, and discusses two difficulties that beset the relationalist: a difficulty posed by field theories, and another difficulty called the problem of quantities. A main purpose of the paper is to argue that possibility can not always be used as a surrogate of ontology, and that in particular that there is no hope of using possibility to solve the problem of quantities.

An introduction to temporal parts theory. Most of us believe in spatial parts: hands are spatial parts of people, an electron is a spatial part of a hydrogen atom, the earth is a spatial part of the solar system. Why are these parts "spatial" parts? Because they are spatially smaller: the hand is spatially smaller than the person, the electron is spatially smaller than the atom, the earth is spatially smaller than the solar system. Temporal parts, then, are parts that (...) are temporally smaller. My current temporal part, "me-today", we might call it, is temporally smaller than me, since it exists today and only today. Temporal parts theory says that objects are made up of temporal as well as spatial parts. (shrink)

John Earman and John Norton have argued that substantivalism leads to a radical form of indeterminism within local spacetime theories. I compare their argument to more traditional arguments typical in the Relationist/Substantivalist dispute and show that they all fail for the same reason. All these arguments ascribe to the substantivalist a particular way of talking about possibility. I argue that the substantivalist is not committed to the modal claims required for the arguments to have any force, and show that this (...) naturally leads to an alteration in the way determinism is characterized for local spacetime theories. (shrink)

I give an informal outline of the hole argument which shows that spacetime substantivalism leads to an undesirable indeterminism in a broad class of spacetime theories. This form of the argument depends on the selection of differentiable manifolds within a spacetime theory as representing spacetime. I consider the conditions under which the argument can be extended to address versions of spacetime substantivalism which select these differentiable manifolds plus some further structure to represent spacetime. Finally, I respond to the criticisms of (...) Tim Maudlin and Jeremy Butterfield. (shrink)