It is widely thought that grounding is a hyperintensional phenomenon. Unfortunately, the term ‘hyperintensionality’ has been doing double-duty, picking out two distinct phenomena. This paper clears up this conceptual confusion. We call the two resulting notions hyperintensionalityGRND and hyperintensionalityTRAD. While it is clear that grounding is hyperintensionalGRND, the interesting question is whether it is hyperintensionalTRAD. We argue that given well-accepted constraints on the logical form of grounding, to wit, that grounding is irreflexive and asymmetric, grounding is hyperintensionalTRAD only if one (...) endorses a sentential operator view of grounding. We argue that proponents of the sentential operator view will need to distinguish two importantly different kinds of hyperintensionalityTRAD—weak and strong—and we offer them a way to do so. (shrink)

The notion of an extended simple region (henceforth ESR) has recently been marshalled in the service of arguments for a variety of conclusions. Exactly how to understand the idea of extendedness as it applies to simple regions, however, has been largely ignored, or, perhaps better, assumed. In this paper we first (§1) outline what we take to be the standard way that philosophers are thinking about extendedness, namely as an intrinsic property of regions. We then introduce an alternative picture (§2), (...) according to which extendedness is extrinsic. In §3 we argue that it matters which way of thinking about extendedness is the right one, since how ESRs behave is sensitive to what extendedness consists in, and various arguments that appeal to ESRs turn out to be unsound if extendedness is extrinsic rather than intrinsic. (shrink)

This paper defends Flatland—the view that there exist neither determination nor dependence relations, and that everything is therefore fundamental—from the objection from explanatory inefficacy. According to that objection, Flatland is unattractive because it is unable to explain either the appearance as of there being determination relations, or the appearance as of there being dependence relations. We show how the Flatlander can meet the first challenge by offering four strategies—reducing, eliminating, untangling and omnizing—which, jointly, explain the appearance as of there being (...) determination relations where no such relations obtain. Since, plausibly, dependence relations just are asymmetric determination relations, we argue that once we come mistakenly to believe that there exist determination relations, the existence of other asymmetries (conceptual and temporal) explains why it appears that there are dependence relations. (shrink)

What are the properties of composite objects, and how do the properties of composite objects and the properties of their proper parts relate to one another? The answers to these questions depend upon which view of composition one adopts. One view, which I call the orthodox view, is that composite objects are numerically distinct from their proper parts, individually and collectively. Another view, known as composition as identity, is that composite objects are numerically identical to their proper parts, taken together. (...) I argue that the orthodox view entails that the intuitive picture of composite objects and their properties that most accept is false. Not so for composition as identity. I also show that all of the available alternatives face serious difficulties. This puts composition as identity at an advantage over the orthodox view, at least when it comes to accounting for the properties of composite objects. (shrink)

In a recent paper Shieva Kleinschmidt has argued that if certain scenarios involving extended simple regions are possible (so-called ‘Place Cases’), then no logic of location with only one primitive locative notion (i.e., no ‘parsimonious logic of location’) will suffice to describe all of the locative possibilities. Since almost all existing logics of location are parsimonious (and apparently for good reason) the argument is a considerable obstacle to the development of a satisfactory logic of location. Kleinschmidt suggests that the best (...) way out of the difficulty is to deny the possibility of Place Cases by denying that extended simple regions are possible. I argue that much the same problem arises even in cases not involving extended simple regions or indeed exotic regions of any kind. Thus, simply denying the possibility of extended simple regions will not save parsimonious logics of location. (shrink)

Perhaps the most commonly discussed argument against the possibility of extended simples is the argument from heterogeneity. The argument states that, if extended simples are possible, then extended simples which exhibit intrinsic qualitative variation across space (or spacetime) are also possible [Premise 1]. But, the argument goes, it is impossible for an extended simple to exhibit intrinsic qualitative variation across space (or spacetime) [Premise 2]. Thus, extended simples are impossible. I argue that there is a serious problem with the argument (...) from heterogeneity: the best arguments in support of the first premise undermine support for the second. Thus, there appears to be no good reason to accept both premises. (shrink)

We argue that there is an interesting modal analogue of temporal persistence, namely modal persistence, and an interesting modal analogue of time travel, namely modal travel. We explicate each of these notions and then argue that there are plausible conditions under which some ordinary objects modally persist. We go on to consider whether it is plausible that any modally persistent objects also modally travel.

We argue that, insofar as one accepts either supersubstantivalism or strong composition as identity for the usual reasons, one has (defeasible) reasons to accept the other as well. Thus, all else being equal, one ought to find the package that combines both views—the Identity Package—more attractive than any rival package that includes one, but not the other, of either supersubstantivalism or composition as identity.

It has recently become popular to suggest that questions of ontology ought be settled by determining, first, which fundamental things exist, and second, which derivative things depend on, or are grounded by, those fundamental things. This methodology typically leads to a hierarchical view of ontology according to which there are chains of entities, each dependent on the next, all the way down to a fundamental base. In this paper we defend an alternative ontological picture according to which there is no (...) ontological hierarchy. Such a picture appears counterintuitive (at least to many), in part because in the absence of a hierarchical structure to our world, there would be no structure apt to back metaphysical explanations. There are two reasons to suppose this is so. First, there would be no structure apt to back metaphysical explanations because there would be a fatal mismatch between the formal features of metaphysical explanation, on the one hand, and the structure of the world, on the other hand. Second, in the absence of an ontological hierarchy there would be no structure apt to back metaphysical explanations because the only connections that would obtain between relevant facts are mere correlational connections. But mere correlations are not the right kinds of relations to back metaphysical explanations: explanation requires something more. This paper aims to show that neither of these is a good reason to prefer a hierarchical view of ontology. (shrink)

Almost all philosophers interested in parthood and composition think that a composite object is a further thing, numerically distinct from the objects that compose it. Call this the orthodox view. I argue that the orthodox view is false, and that a composite object is identical to the objects that compose it (collectively). This view is known as composition as identity. -/- I argue that, despite its unpopularity, there are many reasons to favour com- position as identity over the orthodox view. (...) First, defenders of the orthodox view have not offered complete theories of composition. For instance, they have not given adequate accounts of heterogeneous properties like being black and white in composite objects. Nor have they given satisfactory explanations for the necessary connections that hold between composite objects and their proper parts. -/- Second, there appears to be no good way for defenders of the orthodox view to remedy this. Any account of the heterogeneous properties of composite objects which is compatible with the orthodox view faces serious problems, as does any account of the necessary connections between an object and its proper parts. Composition as identity, on the other hand, is compatible with intuitive responses to both of these challenges. -/- Third, there are a number of strong arguments in favour of composition as identity. For example, composition as identity fits our evidence about the way the world is better than the orthodox view does. It also allows us to easily maintain that composition sometimes occurs and sometimes does not—i.e., it allows us to easily maintain that composition is restricted. The orthodox view does not. The theories of composition put forward by most philosophers are at best incomplete or in need of improvement. At worst, they are false and composition as identity is true. (shrink)