Extended simple regions have been the focus of recent developments in philosophical logic, metaphysics, and philosophy of physics. However, only a handful of works provides a rigorous characterization of an extended simple region. In particular, a recent paper in this journal defends a definition based on an extrinsic notion of least distance. Call it the Least Distance proposal. This paper provides the first assessment of it. It argues that Least Distance faces difficulties and drawbacks. The paper then goes on to (...) suggest a different proposal, the Diameter proposal that is able to handle such drawbacks and difficulties. (shrink)

Ned Markosian argues (Australasian Journal of Philosophy 76:213-228, 1998a; Australasian Journal of Philosophy 82:332-340, 2004a, The Monist 87:405-428, 2004b) that simples are ‘maximally continuous’ entities. This leads him to conclude that there could be non-particular ‘stuff’ in addition to things. I first show how an ensuing debate on this issue McDaniel (Australasian Journal of Philosophy 81(2):265-275, 2003); Markosian (Australasian Journal of Philosophy 82:332-340, 2004a) ended in deadlock. I attempt to break the deadlock. Markosian’s view entails stuff-thing coincidence, which I show (...) is just as problematic as the more oft-discussed thing-thing coincidence. Also, the view entails that every particular is only contingently so. If there is a world W like our own, but with ether, then there would be only one object in W. But, since merely adding ether to a world does not destroy the entities in it, then W contains counterparts of all the entities in the actual world—they just are not things. Hence, if simples are maximally continuous, then every actual particular is only contingently so. This in turn entails the following disjunction: (i) identity is contingent or intransitive, or (ii) there are no things at all in the actual world, or (iii) the distinction between stuff and things is one without a difference. I recommend that we reject this stuff-thing dualism. (shrink)

In this paper I defend two propositions. The first is that the concept of location is, initial impressions perhaps to the contrary, a formal concept and that it can be exhibited far beyond the obvious application of spatial location. The second is that there are two kinds of formal ontological analysis of phenomena with extended location, which I call concentration and dispersion. This opposition can be used to throw uniform light on several problems, including different analyses of change.

In this paper I defend two propositions. The first is that the concept of location is, initial impressions perhaps to the contrary, a formal concept and that it can be exhibited far beyond the obvious application of spatial location. The second is that there are two kinds of formal ontological analysis of phenomena with extended location, which I call concentration and dispersion. This opposition can be used to throw uniform light on several problems, including different analyses of change.

Mereological nihilism is the view that no objects have proper parts. Despite how counter‐intuitive it is, it is taken quite seriously, largely because it solves a number of puzzles in the metaphysics of material objects – or so its proponents claim. In this article, I show that for every puzzle that mereological nihilism solves, there is a similar puzzle that (a) it doesn’t solve, and (b) every other solution to the original puzzle does solve. Since the solutions to the new (...) puzzles apply just as well to the old puzzles, the old puzzles provide no motivation to be a mereological nihilist. (shrink)

Hylomorphism is the theory that objects are composites of form and matter. Recently it has been argued that form is structure, or the arrangement of an object's parts. This paper shows that the principle of form cannot be ontologically exhausted by structure. That is, I deny form should be understood just as the arrangement of an object's parts. I do so by showing that structure cannot play the role form is supposed to in a certain domain of objects, specifically, in (...) mereological simples. Thus, I show that Hylomorphism does not reduce to Structuralism. I also draw out some important consequences from my argument for Hylomorphism in general. (shrink)

Many philosophers have argued that the past must be finite in duration because otherwise reaching the present moment would have involved something impossible, namely, the sequential occurrence of an actual infinity of events. In reply, some philosophers have objected that there can be nothing amiss in such an occurrence, since actually infinite sequences are ‘traversed’ all the time in nature, for example, whenever an object moves from one location in space to another. This essay focuses on one of the two (...) available replies to this objection, namely, the claim that actual infinities are not traversed in nature because space, time, and other continuous wholes divide into parts only in so far as we divide them in thought, and thus divide into only a finite number of parts. I grant that this reply succeeds in blunting the anti-finitist objection, but I argue that it also subverts the very argument against an eternal past that it was intended to save. (shrink)

Extended simples are fruitfully discussed in metaphysics. They are entities which are located in a complex region of space but do not themselves have parts. In this paper, I will discuss unextended complexes: entities which are not located at a complex region of space but do themselves have parts. In particular, I focus on one type of unextended complex: pointy complexes. Four areas are indicated where pointy complexes might prove philosophically useful. Unextended complexes are therefore philosophically fruitful, in much the (...) same way as extended simples. (shrink)

It is widely assumed that a geometric model of boundaries, which prescribes a tripartite topological characterisation of the boundaries for material objects – fully open, fully closed, or partially open/closed – can be unproblematically extended from regions to material objects. Drawing on a disanalogy between regions and material objects – that only the latter move – I demonstrate the incoherence of open material objects through two arguments relating to the ability for such objects to freely move. The first is a (...) dilemma considering separately open material objects occupying their location directly or indirectly. It is argued that movement in the former case would involve a miraculous topological transformation; whilst in the latter case, would involve miraculous reorganising movements in the object's proper parts. The second argument reignites a problem regarding the moment of change specifically for the movement of such objects. (shrink)

This article motivates and develops a reductive account of the structure of certain physical quantities in terms of their mereology. That is, I argue that quantitative relations like "longer than" or "3.6-times the volume of" can be analyzed in terms of necessary constraints those quantities put on the mereological structure of their instances. The resulting account, I argue, is able to capture the intuition that these quantitative relations are intrinsic to the physical systems they’re called upon to describe and explain.

This paper investigates the use of theories of mechanics to provide answers to questions in the metaphysics of spatial location and persistence. Investigating spatial location, I find that in classical physics bodies pertend the region of space at which they are exactly located, while a quantum system spans a region at which it is exactly located. Following this analysis, I present a ‘no-go’ result which shows that quantum mechanics restricts the available options for locational persistence theories in an interesting way: (...) it demonstrates that the spatiotemporal path of a persisting thing is discrete in time. This leads to unpalatable consequences for both perdurantists and endurantists. In particular, I argue that Butterfield's ‘anti-pointilliste’ perdurantism is ruled out, and show that endurantists relying on immanent causation run into trouble. I conclude by suggesting the revival of Whitehead's alternative mode of persistence called ‘reiteration.’. (shrink)

This paper presents the strongest version of a non-perdurantist four-dimensionalism: a theory according to which persisting objects are four-dimensionally extended in space-time, but not in virtue of having maximal temporal parts. The aims of considering such a view are twofold. First, to evaluate whether such an account could provide a plausible middle ground between the two main competitor accounts of persistence: three-dimensionalism and perdurantist four-dimensionalism. Second, to see what light such a theory sheds on the debate between these two competitor (...) theories. I conclude that despite prima facie reasons to suppose that non-perdurantist four-dimensionalism might be a credible alternative to either other account of persistence, ultimately the view is unsuccessful. The reasons for its failure illuminate the sometimes stagnant debate between three-dimensionalists and perdurantists, providing new reasons to prefer a perdurantist metaphysics. (shrink)

This paper presents the strongest version of a non-perdurantist four-dimensionalism: a theory according to which persisting objects are four-dimensionally extended in space-time, but not in virtue of having maximal temporal parts. The aims of considering such a view are twofold. First, to evaluate whether such an account could provide a plausible middle ground between the two main competitor accounts of persistence: three-dimensionalism and perdurantist four-dimensionalism. Second, to see what light such a theory sheds on the debate between these two competitor (...) theories. I conclude that despite prima facie reasons to suppose that non-perdurantist four-dimensionalism might be a credible alternative to either other account of persistence, ultimately the view is unsuccessful. The reasons for its failure illuminate the sometimes stagnant debate between three-dimensionalists and perdurantists, providing new reasons to prefer a perdurantist metaphysics. (shrink)

In this article, I take on a classic objection to Kant’s arguments in the Antinomy of Pure Reason: that the arguments are question-begging, as they draw illicit inferences from claims about representation to claims about reality. While extant attempts to vindicate Kant try to show that he does not make such inferences, I attempt to vindicate Kant’s arguments in a different way: I show that, given Kant’s philosophical backdrop, the inferences in question are not illicit. This is because the transcendental (...) realists that Kant was arguing against have certain philosophical commitments about the nature of ground which, if true, warrant the inferences that Kant draws. This historical corrective not only allows us to better understand Kant’s own thinking in the Antinomies but it also has important upshots for our understanding of Kant’s transcendental idealism. (shrink)

Is it possible that there are extended simples—material objects extended in space or spacetime that have no proper parts? The most commonly cited argument for this possibility is based on a version of the Humean principle: namely (and with some qualifications), any pattern of instantiation of a fundamental relation is possible. In this paper, we make the Humean argument fully explicit, and criticise it from three aspects—the Disjunction problem, the Pluralist problem, and the Accidentality problem. First, the original argument only (...) shows a disjunctive thesis: either extended simples are possible, or unextended complexes are possible. In order to reach the desired conclusion, some additional premise is needed. Yet, even though we agree that the Disjunction problem can be met, we argue that the Humean argument fails to establish the possibility of extended simples, for two reasons: the first comes from compositional pluralism, and the second is about the definition of accidental properties. We contend that the latter two problems put the proponents of the Humean argument in serious difficulty. Thus, metaphysicians who hold that there are extended simples should find better arguments for this view. (shrink)

In this paper, we argue for a novel three-dimensionalist solution to the problem of persistence, i.e. cross-temporal identity. We restrict the discussion of persistence to simple substances, which do not have other substances as their parts. The account of simple substances employed in the paper is a trope-nominalist strong nuclear theory, which develops Peter Simons' trope nominalism. Regarding the distinction between three dimensionalism and four dimensionalism, we follow Michael Della Rocca's formulation, in which 3D explains persistence in virtue of same (...) entities and 4D in virtue of distinct entities. SNT is a 3D'ist position because it accounts for the persistence of simple substances in virtue of diachronically identical ‘nuclear’ tropes. The nuclear tropes of a simple substance are necessary for it and mutually rigidly dependent but distinct. SNT explains qualitative change by tropes that are contingent to a simple substance. We show that it avoids the standard problems of 3D: temporal relativization of ontic predication, Bradley's regress and coincidence, fission and fusion cases. The temporal relativization is avoided because of the analysis of temporary parts that SNT gives in terms of temporal sub-location, which is atemporal part–whole relation. (shrink)

Are there any non‐composite objects? Are there any objects every part of which is composite? Are items of either kind even possible? What would they be like? Of what significance would they be? How best can we come to have reasonable beliefs about the answers to these inquiries? Such questions – about the actuality and possibility, the analysis and significance, the methodology and epistemology of simples and pieces of gunk – have been center stage in recent contemporary analytic metaphysics. The (...) following article provides a general overview of some of the current debates on their proper answers as well as a pair of slightly more detailed investigations into two issues of special interest in the recent literature devoted to these topics. (shrink)

I introduce the implantation argument, a new argument for the existence of God. Spatiotemporal extensions believed to exist outside of the mind, composing an external physical reality, cannot be composed of either atomlessness, or of Democritean atoms, and therefore the inner experience of an external reality containing spatiotemporal extensions believed to exist outside of the mind does not represent the external reality, the mind is a mere cinematic-like mindscreen, implanted into the mind by a creator-God. It will be shown that (...) only a creator-God can be the implanting creator of the mindscreen simulation, and other simulation theories, such as Bostrom’s famous account, that do not involve a creator-God as the mindscreen simulation creator, involve a reification fallacy. (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)

Ned Markosian has recently defended a new theory of composition, which he calls regionalism : some material objects xx compose something if and only if there is a material object located at the fusion of the locations of xx. Markosian argues that regionalism follows from what he calls the subregion theory of parthood. Korman and Carmichael agree. We provide countermodels to show that regionalism does not follow from, even together with fourteen potentially implicit background principles. We then show that regionalism (...) does follow from five of those background principles together with and two additional principles connecting parthood and location, which we call and. While the additional principles are not uncontroversial, our conjecture is that many will find them attractive. We conclude by mentioning that fills a previously unnoticed gap in the formal theory of location presented in Parsons. (shrink)

Seventeenth century scholastics had a rich debate about the ontological status and nature of lacks, negations, and privations. Realists in this debate posit irreducible negative entities responsible for the non-existence of positive entities. One of the first scholastics to develop a realist position on negative entities was Thomas Compton Carleton. In this paper I explain Carleton's theory of negative entities, including what it is for something to be negative, how negative entities are individuated, whether they are abstract or concrete, and (...) how they affect their subjects. I argue that for Carleton, negative entities are conceived as spatially extended simples that affect their subjects by means of spatial overlap. I also show how Carleton responds to some theological worries about his realism concerning negative entities. (shrink)

The contact argument is widely cited as making a strong case against a gunk-free metaphysics with point-sized simples. It is shown here that the contact argument's reasoning is faulty even if all its background assumptions and desiderata for contact are accepted. Further, the simples theorist can offer both metric and topological accounts of contact that satisfy all the contact argument's desiderata. This indicates that the contact argument's persuasiveness stems from a tacit reliance on the thesis that objects in contact are (...) inseparable: the simples theorist must allow that separated objects might be in contact. The concluding section critically considers this contact-separability thesis and argues that rejecting it is not so terrible. The upshot of all this is that the contact argument is simply unconvincing. (shrink)

Traynor identifies a tension between armchair reasoning telling us about the mereological structure of objects and empirical investigation telling us about the structure of spacetime. Section 1 explains, and bolsters, that tension. Section 2 discusses Traynor's resolution, and suggests some possible problems with it, whilst Section 3 discusses an alternative.

Recently, many philosophers have been interested in using locative relations to clarify and pursue debates in the metaphysics of material objects. Most begin with the relation of exact location. But what if we begin instead with the relation known as weak location – the relation an object x bears to any region not completely bereft of x? I explore some of the consequences of pursuing this route for issues including coincidence, extended simples, and endurance, with an eye to evaluating the (...) prospects for taking weak location as our fundamental locative relation. (shrink)

Extended simples are physical objects that, while spatially extended, possess no actual proper parts. The theory that physical reality bottoms out at extended simples is one of the principal competing views concerning the fundamental composition of matter, the others being atomism and the theory of gunk. Among advocates of extended simples, Markosian’s ‘MaxCon’ version of the theory has justly achieved particular prominence. On the assumption of causal realism, I argue here that the reality of MaxCon simples would entail the reality (...) of irreducible, intrinsic dispositional properties. The existence of dispositional properties in turn has important implications for another central debate in metaphysics, namely that between two major competing views concerning the ontology of laws: dispositionalism versus nomological necessitarianism. (shrink)

There are four main theories concerning the ultimate constitution of matter: atomism version 1, atomism version 2, the theory of gunk, and the theory of extended simples. These four theories are usually seen as diametrically opposed. Here I take a stab at ecumenism, and argue that atomism version 1 and the theory of extended simples can be reconciled and rendered compatible by reference to the reality of dispositions.

I explicate and defend a non-standard theory of persistence, which I calltransdurantism. In short, transdurantism is the view is that objects persist by being temporally extended simples. Transdurantism is sometime misrepresented as a version of endurantism. Other times, transdurantism is misrepresented as a version of perdurantism. But I argue transdurantism must be disambiguated from perdurantism and endurantism—when endurantism, perdurantism, and transdurantism are properly construed, transdurantism stands apart from the other theories of persistence and we can better understand the distinct burdens (...) they each bear. I also argue that the transdurantist is capable of handling several key problems found in the persistence literature at least as well as her rivals, but she does face her own unique challenges. (shrink)

Mereological nihilists are faced with a difficult challenge: explaining ordinary talk about material objects. Popular paraphrase strategies involve plurals, arrangements of particles, or fictions. In this paper, a new paraphrase strategy is put forward that has distinct advantages over its rivals: it is compatible with gunk and emergent properties of macro-objects. The only assumption is a commitment to a liberal view of the nature of simples; the nihilist must be willing to accept the possibility of heterogeneous extended simples. The author (...) suggests reinterpreting the parthood and composition relations as modal. According to this paraphrase, composition is a kind of counterpart relation. The author shows that one can accept that mereological nihilism is metaphysically necessary, while endorsing all the claims of classical mereology. As a result, the nihilists are in exactly the same position as the classical mereologist when it comes to explaining talk about ordinary objects, but without the additional ontology. (shrink)

The possibility of multi-location—of one entity having more than one exact location—is required by several metaphysical theories such as the immanentist theory of universals and three-dimensionalism about persistence. One of the most pressing challenges for multi-location theorists is that of making sense of exact location—in that extant definitions of exact location entail a principle called ‘functionality’, according to which nothing can have more than one exact location. Recently in a number of promising papers, Antony Eagle has proposed and defended a (...) definition of exact location in terms of weak location that does not entail functionality. This paper provides the first thorough assessment of Eagle’s proposal. In particular, we argue that it cannot account for the location of immanent universals, the multi-location of mereologically changing three-dimensional objects, the multi-location of mereologically complex objects, and that it makes extended simples impossible. (shrink)

Both extended simples and unextended complexes have been extensively discussed and widely used in metaphysics and philosophy of physics. However, the characterizations of such notions are not entirely satisfactory inasmuch as they rely on a mereological notion of extension that is too simplistic. According to such a mereological notion, being extended boils down to having a mereologically complex exact location. In this paper, I make a detailed plea to supplement this notion of extension with a different one that is phrased (...) in terms of measure theory. This proposal has significant philosophical payoffs. I provide new characterizations of both extended simples and unextended complexes, that help re-evaluating the question of whether such entities are metaphysically possible. Finally, I advance several suggestions as to how different notions of extension relate, first, to one another and, second, to mereological structure. (shrink)

The idea that there could be spatially extended mereological simples has recently been defended by a number of metaphysicians (Markosian 1998, 2004; Simons 2004; Parsons (2000) also takes the idea seriously). Peter Simons (2004) goes further, arguing not only that spatially extended mereological simples (henceforth just extended simples) are possible, but that it is more plausible that our world is composed of such simples, than that it is composed of either point-sized simples, or of atomless gunk. The difficulty for these (...) views lies in explaining why it is that the various sub-volumes of space occupied by such simples, are not occupied by proper parts of those simples. Intuitively at least, many of us find compelling the idea that spatially extended objects have proper parts at every sub-volume of the region they occupy. It seems that the defender of extended simples must reject a seemingly plausible claim, what Simons calls the geometric correspondence principle (GCP): that any (spatially) extended object has parts that correspond to the parts of the region that it occupies (Simons 2004: 371). We disagree. We think that GCP is a plausible principle. We also think it is plausible that our world is composed of extended simples. We reconcile these two notions by two means. On the one hand we pay closer attention to the physics of our world. On the other hand, we consider what happens when our concept of something—in this case space—contains elements not all of which are realized in anything, but instead key components are realized in different features of the world. (shrink)

We address an argument by Floridi (Synthese 168(1):151–178, 2009; 2011a), to the effect that digital and analogue are not features of reality, only of modes of presentation of reality. One can therefore have an informational ontology, like Floridi’s Informational Structural Realism, without commitment to a supposedly digital or analogue world. After introducing the topic in Sect. 1, in Sect. 2 we explain what the proposition expressed by the title of our paper means. In Sect. 3, we describe Floridi’s argument. In (...) the following three sections, we raise three difficulties for it, (i) an objection from intuitions: Floridi’s view is not supported by the intuitions embedded in the scientific views he exploits (Sect. 4); (ii) an objection from mereology: the view is incompatible with the world’s having parts (Sect. 5); (iii) an objection from counting: the view entails that the question of how many things there are doesn’t make sense (Sect. 6). In Sect. 7, we outline two possible ways out for Floridi’s position. Such ways out involve tampering with the logical properties of identity, and this may be bothersome enough. Thus, Floridi’s modus ponens will be our (and most ontologists’) modus tollens. (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)

This is a work in analytic metaphysics, which addresses a cluster of interrelated issues at the interface of mereology and persistence over time. In particular, it outlines a defence of a version of Endurance Theory according to which every enduring object is either a mereological simple or a mere sum of mereological simples. It includes, among other things, a proposal of a new way of framing the debate between Endurance Theory and Four-Dimensionalism, a defence of Endurance Theory over Four-Dimensionalism, arguments (...) against the existence of compound substances, and a defence of a traditional metaphysical atomism according to which all objects are ultimately made up of microscopic simples. (shrink)

La physique contemporaine pourrait bien nous livrer un enseignement incroyable, à savoir que l'espace et le temps n'existent pas fondamentalement. Je présenterai succinctement les ontologies suggérées par les deux principaux programmes de recherche en gravité quantique : la théorie des cordes et la gravité quantique à boucles. Je soutiendrai ensuite qu'il est fructueux de prendre les différentes conceptions ontologiques de la conscience en philosophie de l'esprit en modèles pour la construction de solutions au problème de l'émergence de l'espace-temps.

A critical survey of the fundamental philosophical issues in the logic and formal ontology of space, with special emphasis on the interplay between mereology (the theory of parthood relations), topology (broadly understood as a theory of qualitative spatial relations such as continuity and contiguity), and the theory of spatial location proper.