The trick, of course, is to pick your targets carefully: they should be central to the mainstream of contemporary philosophy, not marginal. Watkins has certainly done that. The target he has chosen is the problem of causation. His three-part aim is, first, to embed Kant’s theory of causation in its 18th century pre-Critical and especially Leibnizian setting; second, to argue that Kant’s Critical theory of causation is not in fact a reply to Hume, and that Kant’s metaphysics of causation depends (...) as much on the Third Analogy of Experience and the Third Antinomy of Pure Reason as it does on the Second Analogy; and third, that reconsidering Kant’s Critical metaphysics of causation from a pre-Critical and rationalist point of view can contribute to a serious reconsideration of the theory of agent causation in the contemporary debate about free will. (shrink)

I argue for the possibility of hypergunk: that is, it is possible that there exists an x such that every part of x has a proper part and, for any set S of parts of x, there is a set S′ of parts of...

Philosophers disagree whether composition as identity entails mereological universalism. Bricker :264–294, 2016) has recently considered an argument which concludes that composition as identity supports universalism. The key step in this argument is the thesis that any objects are identical to some object, which Bricker justifies with the principle of the universality of identity. I will spell out this principle in more detail and argue that it has an unexpected consequence. If the universality of identity holds, then composition as identity not (...) only leads us to universalism, but also leads to the view that there are no mereological atoms. (shrink)

Say that space is ‘gunky’ if every part of space has a proper part. Traditional theories of gunk, dating back to the work of Whitehead in the early part of last century, modeled space in the Boolean algebra of regular closed subsets of Euclidean space. More recently a complaint was brought against that tradition in Arntzenius and Russell : Lebesgue measure is not even finitely additive over the algebra, and there is no countably additive measure on the algebra. Arntzenius advocated (...) modeling gunk in measure algebras instead—in particular, in the algebra of Borel subsets of Euclidean space, modulo sets of Lebesgue measure zero. But while this algebra carries a natural, countably additive measure, it has some unattractive topological features. In this paper, we show how to construct a model of gunk that has both nice rudimentary measure-theoretic and topological properties. We then show that in modeling gunk in this way we can distinguish between finite dimensions, and that nothing in lost in terms of our ability to identify points as locations in space. (shrink)

The notion of fundamentality, as it is used in metaphysics, aims to capture the idea that there is something basic or primitive in the world. This metaphysical notion is related to the vernacular use of “fundamental”, but philosophers have also put forward various technical definitions of the notion. Among the most influential of these is the definition of absolute fundamentality in terms of ontological independence or ungroundedness. Accordingly, the notion of fundamentality is often associated with these two other technical notions.

RESUMEN Se examina una de las maneras más naturales e intuitivas de entender las nociones de entidad fundamental y dependencia ontológica. Se argumenta que quienes adoptan estas nociones enfrentan serios problemas y se recomienda abandonarlas, lo que no quiere decir que no haya otra forma plausible de entender estos conceptos. ABSTRACT The paper examines one of the most natural and intuitive ways of understanding the notions of fundamental entity and ontological dependence, It argues that those who adopt these notions face (...) serious problems and should abandon them; however, this does not mean that there is no other plausible way of understanding these concepts. (shrink)

Se examina una de las maneras más naturales e intuitivas de entender las nociones de entidad fundamental y dependencia ontológica. Se argumenta que quienes adoptan estas nociones enfrentan serios problemas y se recomienda abandonarlas, lo que no quiere decir que no haya otra forma plausible de entender estos conceptos.

ABSTRACTA structure is temporally gunky just in case all of its temporal parts have proper temporal parts. Joshua Stuchlik [2003] objects to the stage theory of persistence from temporal gunk by ar...

Mereological universalists and nihilists disagree on the conditions for composition. In this paper, we show how this debate is a function of one’s chosen semantics for plural quantifiers. Debating mereologists have failed to appreciate this point because of the complexity of the debate and extraneous theoretical commitments. We eliminate this by framing the debate between universalists and nihilists in a formal model where these two theses about composition are contradictory. The examination of the two theories in the model brings clarity (...) to a debate in which opponents frequently talk past one another. With the two views stated precisely, our investigation reveals the dependence of the mereologists’ ontological commitments on the semantics of plural quantifiers. Though we discuss the debate with respect to a simplified and idealized model, the insights provided will make more complex debates on composition more productive and deflationist criticisms of the debate less substantial. (shrink)

I argue for patternism, a new answer to the question of when some objects compose a whole. None of the standard principles of composition comfortably capture our natural judgments, such as that my cat exists and my table exists, but there is nothing wholly composed of them. Patternism holds, very roughly, that some things compose a whole whenever together they form a “real pattern”. Plausibly we are inclined to acknowledge the existence of my cat and my table but not of (...) their fusion, because the first two have a kind of internal organizational coherence that their putative fusion lacks. Kolmogorov complexity theory supplies the needed rigorous sense of “internal organizational coherence”. (shrink)

Faced with the conflict between our intuition that no two things ever share a place at a time and these counterexamples to it, philosophers usually try to find a happy medium between sticking with the original intuition and rejecting all of its counterexamples or giving up the whole intuition and accepting all the counterexamples. Some counterexamples might be rejected on conceptual grounds : one may deny for instance that absolute space is in the same place that the entities located therein (...) on the ground that absolute space is not itself located. One may also reject the distinct existence of some of the entities put forward in the examples : determinable properties might be nothing else than boolean combinations of determinate ones, spots on a screen may be just four dimensional worms whose passing through each other is a matter of part sharing rather than compenetration, etc. But as long as the conceivability of at least one counterexample is granted, the impenetrability intuition has to be weake- ned. To this end, one can weaken either the modal force of the impenetrability intuition or its scope. One may claim for instance that things are impenetrable in our world, but grant that the remaining counterexample refers to genuine metaphysical possibilities (although not natural ones). On the other hand, on may claim that the impenetrability intuition does not bear on every entity in the outside world, but only on some of them. Locke, famously, did not want to give up the metaphysical necessity of impenetrability, but agreed to restrict it to entities of the same kind.4 One other way to restrict the scope of the intuition of impenetrability is to claim that only independent entities (substances, or things proper) are impenetrable , or that only material entities are. (shrink)

This is a survey of the concept of continuity. Efforts to explicate continuity have produced a plurality of philosophical conceptions of continuity that have provably distinct expressions within contemporary mathematics. I claim that there is a divide between the conceptions that treat the whole continuum as prior to its parts, and those conceptions that treat the parts of the continuum as prior to the whole. Along this divide, a tension emerges between those conceptions that favor philosophical idealizations of continuity and (...) those that are more readily available for mathematico-scientific use. (shrink)

An object is a simple if and only if it has no proper parts. An object is gunk if and only if every proper part of that object itself has a proper part. In my dissertation, I address the following questions. The concepts of simples and gunk presuppose the concept of parthood. What is the status of this concept? his question itself divides into the following: does the concept of parthood have universal applicability, so that, just as every object is (...) self-identical, every object has parts? Finally, is the concept of parthood univocal, or are there different notions of parthood, each of which is defined on distinct ontological categories? I argue that the concept of parthood has univocal. I also argue that there is some evidence that the concept of parthood has universal applicability. I address the Simple Question, which is “under what circumstances is it true of some object that it has no proper parts?” I argue against several popular answers to the Simple Question, such as the view that simples are all and only point-sized objects, and the view that simples are maximally continuous material objects. I defend the Brutal View, which holds that there is no true, finitely expressible, and informative answer to the Simple Question. In short, there is no criterion for being a simple. Along the way, I address the question of whether extended simples, i.e., simples that are extended in space, are possible. I argue that one popular argument against the possibility of extended simples is unsound. I address the question of whether both simples and gunk are possible. I argue that it is metaphysically possible that material objects be composed of gunk. (shrink)

I examine the reasons Aristotle presents in Physics VIII 8 for denying a crucial assumption of Zeno’s dichotomy paradox: that every motion is composed of sub-motions. Aristotle claims that a unified motion is divisible into motions only in potentiality (δυνάμει). If it were actually divided at some point, the mobile would need to have arrived at and then have departed from this point, and that would require some interval of rest. Commentators have generally found Aristotle’s reasoning unconvincing. Against David Bostock (...) and Richard Sorabji, inter alia, I argue that Aristotle offers a plausible and internally consistent response to Zeno. I defend Aristotle’s reasoning by using his discussion of what to say about the mobile at boundary instants, transitions between change and rest. There Aristotle articulates what I call the Changes are Open, Rests are Closed Rule: what is true of something at a boundary instant is what is true of it over the time of its rest. By contrast, predications true of something over its period of change are not true of the thing at either of the boundary instants of that change. I argue that this rule issues from Aristotle’s general understanding of change, as laid out in Phys. III. It also fits well with Phys. VI, where Aristotle maintains that there is a first boundary instant included in the time of rest, but not a “first in which the mobile began to change.” I then show how this rule underlies Aristotle’s argument that a continuous motion cannot be composed of actual sub-motions. Aristotle distinguishes potential middles, points passed through en route to a terminus, from actual middles. The Changes are Open, Rests are Closed Rule only applies to actual middles, because only they are boundaries of change that the mobile must arrive at and then depart from. On my reading, Aristotle argues that the instant of arrival, the first instant at which the mobile has come to be at the actual middle, cannot belong to the time of the subsequent motion. If it did, the mobile would already be moving towards the next terminus and thus, per Phys. VI 6, would have already left. But it cannot have moved away from the midpoint at the very same moment it has arrived there. This means that the instant of arrival must be separated from the time of departure by an interval of rest. I show how Aristotle’s reasoning applies generally to rule out any continuous reflexive motion or continuous complex rectilinear motion. On my interpretation, however, the argument does not apply to every change of direction. When, as in the case of projectile motion, multiple movers and their relative powers explain why the mobile changes directions, distinct sub-motions are not involved. Aristotle holds that such motions cannot be continuous, not because they involve intervals of rest, but because they involve multiple causes of motion. My interpretation of the Changes are Open, Rests are Closed Rule allows us to make better sense of Aristotle’s argument than any previous interpretation. (shrink)

Mereological nihilism is the philosophical position that there are no items that have parts. If there are no items with parts then the only items that exist are partless fundamental particles, such as the true atoms (also called philosophical atoms) theorized to exist by some ancient philosophers, some contemporary physicists, and some contemporary philosophers. With several novel arguments I show that mereological nihilism is the correct theory of reality. I will also discuss strong similarities that mereological nihilism has with empirical (...) results in quantum physics. And I will discuss how mereological nihilism vindicates a few other theories, such as a very specific theory of philosophical atomism, which I will call quantum abstract atomism. I will show that mereological nihilism also is an interpretation of quantum mechanics that avoids the problems of other interpretations, such as the widely known, metaphysically generated, quantum paradoxes of quantum physics, which ironically are typically accepted as facts about reality. I will also show why it is very surprising that mereological nihilism is not a widely held theory, and not the premier theory in philosophy. (shrink)

This paper introduces a framework for thinking about ontological questions—in particular, the Special Composition Question—and shows how the framework might help support something like an account of restricted composition. The framework takes the form of an account of natural objects, in analogy with David Lewis’s account of natural properties. Objects, like properties, come in various metaphysical grades, from the fundamental, fully objective, perfectly natural objects to the nomologically otiose, maximally gerrymandered, perfectly non-natural objects. The perfectly natural objects, I argue, are (...) the mereological simples, and (roughly) a collection composes an object of degree-n naturalness if and only if its members are arranged F-wise, for some property F that appears in the degree-n natural laws. Arbitrary composites turn out to be perfectly non-natural objects and are metaphysical bystanders. Ordinary composite objects fall in between. Some—e.g., atoms—are very (though not perfectly) natural; others—e.g., tables—are highly non-natural. (shrink)

I present a puzzle for absolutely unrestricted quantification. One important advantage of absolutely unrestricted quantification is that it allows us to entertain perfectly general theories. Whereas most of our theories restrict attention to one or another parcel of reality, other theories are genuinely comprehensive taking absolutely all objects into their domain. The puzzle arises when we notice that absolutely unrestricted theories sometimes impose incompatible constraints on the size of the universe.

Many philosophers have claimed that there is a tension between the impenetrability of matter and the possibility of contact between continuous bodies. This tension has led some to claim that impenetrable continuous bodies could not ever be in contact, and it has led others to posit certain structural features to continuous bodies that they believe would resolve the tension. Unfortunately, such philosophical discussions rarely borrow much from the investigation of actual matter. This is probably largely because actual matter is not (...) continuous, and so it might seem as if discussion of the structure of continuous bodies is merely within the realm of philosophical thought experiments rather than actual scientific investigation. However, classical continuum mechanics models actual matter as if it were continuous, and it has implications about the structure of continuous bodies and about what contact and impenetrability are. This paper describes the relevant notions from classical continuum mechanics so as to resolve the alleged tension between contact and impenetrability. (shrink)

Hybrid languages are introduced in order to evaluate the strength of “minimal” mereologies with relatively strong frame definability properties. Appealing to a robust form of nominalism, I claim that one investigated language \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document} is maximally acceptable for nominalistic mereology. In an extension \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document} of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document}, a modal analog (...) for the classical systems of Leonard and Goodman and Leśniewski is introduced and shown to be complete with respect to 0-deleted Boolean algebras. We characterize the formulas of first-order logic invariant for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document}-bisimulations. (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)

Some hold that the lesson of Russell’s paradox and its relatives is that mathematical reality does not form a ‘definite totality’ but rather is ‘indefinitely extensible’. There can always be more sets than there ever are. I argue that certain contact puzzles are analogous to Russell’s paradox this way: they similarly motivate a vision of physical reality as iteratively generated. In this picture, the divisions of the continuum into smaller parts are ‘potential’ rather than ‘actual’. Besides the intrinsic interest of (...) this metaphysical picture, it has important consequences for the debate over absolute generality. It is often thought that ‘indefinite extensibility’ arguments at best make trouble for mathematical platonists; but the contact arguments show that nominalists face the same kind of difficulty, if they recognize even the metaphysical possibility of the picture I sketch. (shrink)

Could space consist entirely of extended regions, without any regions shaped like points, lines, or surfaces? Peter Forrest and Frank Arntzenius have independently raised a paradox of size for space like this, drawing on a construction of Cantor’s. I present a new version of this argument and explore possible lines of response.

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.

Discusses Armstrong's and Roman Ingarden's ontology, criticises substance ontology, and defends tropes and a field ontology.

In “A Tale of Two Simples,” I presented an argument against the possibility of extended heterogeneous simples that relied on the possibility of extended atomic regions of space. Andrew Jaeger has presented a parody of one part of my argument for a clearly absurd conclusion. In this short paper, I defend my argument by showing that there is a significant disanalogy between my support for a key premise in my argument and Jaeger’s support for the corresponding premise in his parody (...) argument. Also, in opposition to my previous position, I present a case against the possibility of extended atomic regions of space. (shrink)

Fundamental concrete particulars are needed to explain facts about non-fundamental concrete particulars. However, the former can only play this explanatory role if they are properly discernible from the latter. Extant theories of how to discern fundamental concreta primarily concern mereological structure. Those according to which fundamental concreta can bear, but not be, proper parts are motivated by the possibilities that all concreta bear proper parts and that some properties of wholes are not fixed by the properties of their proper parts. (...) In response, theorists who hold that the fundamental concrete particulars can be proper parts may appeal to the possibility that every concrete particular is a proper part—that there is no mereologically maximal whole world, as well as to the intuition that fundamental concreta are qualitatively homogeneous “blocks” from which non-fundamental concreta are built. After motivating the plausibility of gunk and junk, the present essay proposes a constraint on fundamental concrete particulars based on topology instead of mereology: the fundamental concrete particulars must be appropriately connected. This constraint has the unique advantage of consistency with each of gunk, emergence, junk, and the building block intuition. (shrink)

Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical mereotopology, there is a problem: if boundaries exist, then either distinct entities cannot be in contact, or else space is not topologically connected . In this paper we urge that this problem can be met with a paraconsistent mereotopology, and sketch the details of one such approach. The resulting theory focuses attention on the role of (...) empty parts, in delivering a balanced and bounded metaphysics of naive space. (shrink)

This paper is about metaphysical ‘infinitism’, the view that there are, or could be, infinite chains of ontological dependence. Its main aim is to show that, contrary to widespread opinion, metaphysical infinitism is a coherent position. On the basis of this, it is then additionally argued that metaphysical infinitism need not fare worse than the more canonical ‘foundationalist’ alternatives when it comes to formulating metaphysical explanations. In the course of the discussion, a rather unexplored parallel with the debate concerning infinitism (...) about justification is suggested. (shrink)

This article offers a limited defense of metaphysical “infinitism,” the view that there are, or might be, infinite chains of ontological dependence. According to a widespread presupposition, there must be an ultimate ground of being—most likely, a plurality of fundamental atoms. Contrary to this view, this article shows that metaphysical infinitism is internally coherent. In particular, a parallel with the debate concerning infinitism about epistemic justification is suggested, and an “emergence model” of being is put forward. According to the emergence (...) model, the being of any given entity gradually arises out of an infinite series of progressively less dependent entities—it is not wholly transmitted, as it were, from a basic, ungrounded level to all the dependent ones in a step-by-step fashion. Some objections are considered and rebutted. (shrink)

In formal ontology, infinite regresses are generally considered a bad sign. One debate where such regresses come into play is the debate about fundamentality. Arguments in favour of some type of fundamentalism are many, but they generally share the idea that infinite chains of ontological dependence must be ruled out. Some motivations for this view are assessed in this article, with the conclusion that such infinite chains may not always be vicious. Indeed, there may even be room for a type (...) of fundamentalism combined with infinite descent as long as this descent is “boring,” that is, the same structure repeats ad infinitum. A start is made in the article towards a systematic account of this type of infinite descent. The philosophical prospects and scientific tenability of the account are briefly evaluated using an example from physics. (shrink)

The purpose of this thesis is to demonstrate that metaphysics is a necessary discipline -- necessary in the sense that all areas of philosophy, all areas of science, and in fact any type of rational activity at all would be impossible without a metaphysical background or metaphysical presuppositions. Because of the extremely strong nature of this claim, it is not possible to put forward a very simple argument, although I will attempt to construct one. A crucial issue here is what (...) metaphysics in fact is -- the nature of metaphysics. The conception of metaphysics which I support could be called Aristotelian, as opposed to Kantian: metaphysics is the first philosophy and the basis of all other philosophical and scientific inquiry. I will argue that this is indeed the most plausible conception of metaphysics. (shrink)

Mereological realism holds that the world has a mereological structure – i.e. a distribution of mereological properties and relations. In this article, I defend Eleaticism about properties, according to which there are no causally inert non-logical properties. I then present an Eleatic argument for mereological anti-realism, which denies the existence of both mereological composites and mereological simples. After defending Eleaticism and mereological anti-realism, I argue that mereological anti-realism is preferable to mereological nihilism. I then conclude by examining the thesis that (...) composition is identity and noting its consequences for the question of mereological structure. (shrink)

An object is T-gunky just in case all its parts (i) have proper parts and (ii) are of non-zero measure in every spatial dimension. I show that a recent argument due to Hud Hudson—though not intended as a threat to gunk—bears on the possibility of T-gunky material objects in non-gunky space. I then show that the friend of T-gunk can circumvent Hudson’s argument without abandoning pointy space or standard mereology. What is needed is a novel conception of the relation of (...) exact occupation of pointy regions by T-gunky objects. With the new conception in hand, the friend of material T-gunk need not look to theories of gunky spacetime in order to reconcile the possibility of material gunk with mathematical physics. (shrink)

This paper is a systematic exploration of non-wellfounded mereology. Motivations and applications suggested in the literature are considered. Some are exotic like Borges’ Aleph, and the Trinity; other examples are less so, like time traveling bricks, and even Geach’s Tibbles the Cat. The authors point out that the transitivity of non-wellfounded parthood is inconsistent with extensionality. A non-wellfounded mereology is developed with careful consideration paid to rival notions of supplementation and fusion. Two equivalent axiomatizations are given, and are compared to (...) classical mereology. We provide a class of models with respect to which the non-wellfounded mereology is sound and complete. (shrink)

Physical boundaries and the earliest topologists. Topology has a relatively short history; but its 19th century roots are embedded in philosophical problems about the nature of extended substances and their boundaries which go back to Zeno and Aristotle. Although it seems that there have always been philosophers interested in these matters, questions about the boundaries of three-dimensional objects were closest to center stage during the later medieval and modern periods. Are the boundaries of an object actually existing, less-than-three-dimensional parts of (...) the object—that is, are solids bounded by two-dimensional surfaces, surfaces by one-dimensional “edges” or “physical lines”, edges by dimensionless “simples”? If not, how does a perfectly spherical object manage to touch a perfectly flat object—what part of the sphere is in immediate contact with the plane, if the sphere has no unextended parts? But if such parts be admitted, are we not then saddled with “actual infinities” of simples, lines, and surfaces spread throughout each continuous object—the boundaries of all the object’s internal parts? Does it help to say that these internal boundaries exist only “potentially”? (shrink)

We show that someone who believes in both gunk and the possibility of supertasks has to give up either a plausible principle about where gunk can be located, or plausible conservation principles.

Consider a circle and a pair of its semicircles. Which is prior, the whole or its parts? Are the semicircles dependent abstractions from their whole, or is the circle a derivative construction from its parts? Now in place of the circle consider the entire cosmos (the ultimate concrete whole), and in place of the pair of semicircles consider the myriad particles (the ultimate concrete parts). Which if either is ultimately prior, the one ultimate whole or its many ultimate parts?

I argue that relations between non-identical times, such as the relations, earlier than, later than, or 10 seconds apart, involve contradiction, and only co-temporal relations are non-contradictory, which would leave presentism the only non-contradictory theory of time. The arguments I present are arguments that I have not seen in the literature.

Taking ontological realism about social groups as the thesis that groups are composite material objects constituted by their members, this paper considers a challenge to the very possibility that groups be regarded as material entities. Ordinarily we believe that two groups can have synchronic co-extensive memberships—for example, the choir and the rugby team—while preserving their distinctive identity conditions. We also doubt that two objects of the same kind can be in the same place at the same time, which would appear (...) to be the case when groups have identical memberships. I explain that the principle denying the synchronic co-location of objects of the same kind need not apply universally to material objects and that it is a mistake to take resistance to penetrability as a necessary feature of materiality. Therefore, initial appearances notwithstanding, groups can be in the same place at the same time. Key Words: identity • materiality • location • social group. (shrink)

A material simple is a material object that has no proper parts. Some philosophers have argued for the possibility of extended simples. Some have even argued for the possibility of heterogeneous simples or simples that have intrinsic variations across their surfaces. There is a puzzle, though, that is meant to show that extended, heterogeneous simples are impossible. Although several plausible responses have been given to this puzzle, I wish to reopen the case against extended, heterogeneous simples. In this paper, I (...) briefly canvass responses to this puzzle which may be made in defense of extended, heterogeneous simples. I then present a new version of this puzzle which targets simples that occupy atomic yet extended regions of space. It seems that none of the traditional responses can be used to successfully save this particular kind of extended simple from the new puzzle. I also consider some non-traditional defenses of heterogeneous extended simples and argue that they too are unsuccessful. Finally, I will argue that a substantial case can be made against the possibility of extended heterogeneous simples of any kind. (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)

I first explore the notion of the world's being such that everything in it is a proper part. I then explore the notion of the world's being such that everything in it both is and has a proper part. Given two well recognized assumptions, I argue that both notions represent genuine metaphysical possibilities. Finally I consider, but dismiss, some possible objections.

‘‘Thus I believe that there is no part of matter which is not—I do not say divisible—but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.’’ (Leibniz, letter to Foucher).