The bundle theory is a theory about the internal constitution of individuals. It asserts that individuals are entirely composed of universals. Typically, bundle theorists augment their theory with a constitutional approach to individuation entailing the thesis ‘identity of constituents is a sufficient ground for numerical identity’ (CIT). But then the bundle theory runs afoul of Black’s duplication case—a world containing two indiscernible spheres. Here I propose and defend a new version of the bundle theory that denies ‘CIT’, and which instead (...) conjoins it with a structural diversity thesis , according to which being separated by distance is a sufficient ground for numerical diversity. This version accommodates Black’s world as well as the three-spheres world —a world containing three indiscernible spheres, arranged as the vertices of an equilateral triangle. In this paper, I also criticize Rodriguez-Pereyra’s alternative attempt to defend the bundle theory against Black’s case and the case of the three-spheres world. (shrink)

In this paper, I examine Peter Schulte’s “Grounding Nominalism” (Schulte, 2018), understood as the claim that first-order properties and relations are grounded in the concrete particulars which instantiate them. While Schulte offered reasons to think that this view is consistent, along with answers to a number of objections, a more straightforward argument for GN is still needed. I take on this task here, by discussing and defending what I call the “argument from abstraction”. The latter, I suggest, offers more grounds (...) to Grounding Nominalism. (shrink)

Substantivalism is the view that space exists in addition to any material bodies situated within it. Relationalism is the opposing view that there is no such thing as space; there are just material bodies, spatially related to one another. This paper assesses this issue in the context of classical physics. It starts by describing the bucket argument for substantivalism. It then turns to anti-substantivalist arguments, including Leibniz's classic arguments and their contemporary reincarnation under the guise of ‘symmetry’. It argues that (...) these anti-substantivalist arguments are stronger than is often acknowledged. (shrink)

We naturally think of the material world as being populated by a large number of individuals . These are things, such as my laptop and the particles that compose it, that we describe as being propertied and related in various ways when we describe the material world around us. In this paper I argue that, fundamentally speaking at least, there are no such things as material individuals. I then propose and defend an individual-less view of the material world I call (...) “generalism”. (shrink)

Matteo Benocci [AJP, 2018] has presented a new argument, the Repeatability Argument, against any version of the Bundle Theory that includes a commitment to the principle that concrete particulars constituted by exactly the same universals are identical. In this discussion note, I argue that the Repeatability Argument fails because defenders of the Bundle Theory can reject one of its key steps on principled grounds. I thus conclude that Benocci provides Bundle Theorists with no new threat.

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)

In this paper, I develop a theory on which each of a thing’s abundant properties is immanent in that thing. On the version of the theory I will propose, universals are abundant, each instantiated universal is immanent, and each uninstantiated universal is such that it could have been instantiated, in which case it would have been immanent. After setting out the theory, I will defend it from David Lewis’s argument that such a combination of immanence and abundance is absurd. I (...) will then advocate the theory on the grounds that it accomplishes all of Lewis’s “new work” while providing a gain in parsimony and a new account of fine-grained content. I will close with a discussion of how the theory also affords a new reply to two objections to uninstantiated universals: Armstrong’s charge that they are inconsistent with naturalism, and a Benacerraf-Field-style objection about epistemic access. (shrink)

Multilocation – the notion of an object being 18756735_00000147_text.pdfat two places – is a central notion in metaphysics. According to a widespread view, multilocation is problematic but metaphysically possible. In effect, it has been claimed that in a quantum world, multilocation is not simply possible but actual. This article provides a new argument against the latter claim: there is no quantum multilocation.

Multilocation – the notion of an object being at two places – is a central notion in metaphysics. According to a widespread view, multilocation is problematic but metaphysically possible. In effect, it has been claimed that in a quantum world, multilocation is not simply possible but actual. This article provides a new argument against the latter claim: there is no quantum multilocation.

The paper presents a novel version of universalism—the thesis according to which there are only universals, no individuals—which is cashed out in terms of an adverbial analysis of predication. According to the theory, every spatiotemporal occurrence of a universal U can be expressed by a sentence which asserts the existence of U adverbially modified by the spatiotemporal region at which it exists. After some preliminary remarks on the interpretation of natural language, a formal semantics for the theory is first provided, (...) along with an intended interpretation of its key metaphysical imports. Follow some commentaries on the spatiotemporal manifold and determinable properties. (shrink)

Abstract: There are two traditionally rival views about the nature of time: substantivalism that takes time to be a substance that exists independently of events located in it, and relationism that takes time to be constructed out of events. In this paper, first, I want to make some progress with respect to the debate between these two views, and I do this mainly by examining the strategies they use to face the possibilities of ‘empty time’ and ‘time without change’. As (...) we shall see, the two allegedly very different rival views are much less different than has been thought: their structure is extremely similar, their strategies are extremely similar, and they can both face the possibilities of ‘empty time’ and ‘time without change’ in the same way. Thus, I argue in favour of a certain kind of equivalence between the two views; I discuss a Strong and a Weak version of this claim; and I provide reasons for endorsing the former. I also discuss the parallel between this pair of views about the nature of time and another analogous pair of views: the bundle theory and the substratum theory about the nature of material objects, with respect to the problem with Identity of Indiscernibles. (shrink)

This article discusses a familiar version of trope theory as opposed to a familiar version of the theory of universals, examining how these two rivals address the problem of “attribute agreement”—a problem that has been at the root of the very reason for developing these theories in the first place. The article shows that there is not much of a difference between the ways these two theories handle the problem, and in a more general way it argues that there is (...) little reason for preferring one theory over the other. It is not interested in this claim only for the sake of the debate between trope theory and the theory of universals. Indeed, the reasons why it claims that it is so difficult to choose one theory over the other can be applied to other cases as well (where they might lead to claims of metaphysical equivalence). (shrink)

In his "Two concepts of possible worlds", Peter Van Inwagen explores two kinds of views about the nature of possible worlds : abstractionism and concretism. The latter is the view defended by David Lewis who claims that possible worlds are concrete spatio-temporal universes, very much like our own, causally and spatio-temporally disconnected from each other. The former is the view of the majority who claims that possible worlds are some kind of abstract objects – such as propositions, properties, states of (...) affairs, or sets of numbers. In this paper, I will develop this view in an 'extreme abstractionist' way, appealing to a 'modal bundle theory', and I will try to show that it is preferable to the standard abstractionist ones. Finally, I will compare this kind of abstractionism to concretism, only to find that the difference between the two is minimal. (shrink)

In this paper, I explore several versions of the bundle theory and the substratum theory and compare them, with the surprising result that it seems to be true that they are equivalent (in a sense of 'equivalent' to be specified). In order to see whether this is correct or not, I go through several steps : first, I examine different versions of the bundle theory with tropes and compare them to the substratum theory with tropes by going through various standard (...) objections and arguing for a tu quoque in all cases. Emphasizing the theoretical role of the substratum and of the relation of compresence, I defend the claim that these views are equivalent for all theoretical purposes. I then examine two different versions of the bundle theory with universals, and show that one of them is, here again, equivalent to the substratum theory with universals, by examining how both views face the famous objection from Identity of Indiscernibles in a completely parallel way. It is only the second, quite extreme and puzzling, version of the bundle theory with universals that is not be equivalent to any other view; and the diagnosis of why this is so will show just how unpalatable the view is. Similarly, only a not-so-palatable version of the substratum theory is genuinely different from the other views; and here again it's precisely what makes it different that makes it less appealing. (shrink)

One feature of language is that we are able to make mistakes in our use of language. Amongst other sorts of mistakes, we can misspeak, misspell, missign, or misunderstand. Given this, it seems that our metaphysics of words should be flexible enough to accommodate such mistakes. It has been argued that a nominalist account of words cannot accommodate the phenomenon of misspelling. I sketch a nominalist trope-bundle view of words that can.

The strong immanent realism (i.e., the view that there exist universals as entities capable of being wholly present wherever their instances are located) has been traditionally criticized for having certain absurd consequences. Although Gilmore (2003) replied to these criticisms by taking spatial relations involving universals as relativized to their locations, his reply has been rebutted by Keskinen et al. (2015). This paper aims to defend the strong immanent realism by proposing a new version of the relativization strategy, according to which (...) a spatial relation is to be relativized just to the extent that it contains universals or concrete particulars among its terms. This version, it will be argued, can satisfactorily address the objections hitherto posed to the strong immanent realism. (shrink)

A critical survey of the main metaphysical theories concerning the nature of material objects (substratum theories, bundle theories, substance theories, stuff theories) and their identity conditions, both synchronic (monist vs. pluralist theories) and diachronic (three-dimensionalism, four-dimensionalism, sequentialism).

Is the world internally connected by a web of necessary connections or is everything loose and independent? Followers of David Hume accept the latter by upholding Hume’s Dictum, according to which there are no necessary connections between distinct existences. Roughly put, anything can coexist with anything else, and anything can fail to coexist with anything else. Hume put it like this: “There is no object which implies the existence of any other if we consider these objects in themselves.” Since Hume’s (...) day, Hume’s Dictum has played a major role in philosophy, especially in contemporary metaphysics. In ruling out necessary connections, Hume’s Dictum implies that causal relations and the laws of nature are contingent. It makes other demands on our metaphysics of science as well; for example, it places restrictions on our metaphysics of counterfactuals, dispositions, and explanation. The principle has applications in other areas too. Hume’s Dictum places constraints on our theories of abstract objects and moral properties. For example, Hume’s Dictum rules out the view that moral properties are distinct from, but necessarily connected to, non-moral properties. While Hume’s Dictum is a prominent principle in metaphysics, few Humeans have defended the principle at length. It is assumed more often than it is argued for. As a result, Hume’s Dictum no longer enjoys the reputation it once did. It’s common to hear complaints about the lack of arguments in support of Hume’s Dictum. Moreover, philosophers are increasingly willing to defend views that are at odds with Hume’s Dictum. A striking example of this is the recent explosion of interest in views that take causal relations and the laws of nature to be necessary. Humeans can no longer afford to be complacent. An extended defense of Hume’s Dictum is called for, and that’s what this dissertation aims to offer. This dissertation has three parts. In the first part, I lay out some preliminaries and offer a precise formulation of Hume’s Dictum. In the second part, I develop three arguments in favor of Hume’s Dictum. In the final part, I defend Hume’s Dictum against objections. (shrink)

Stanford Encyclopedia article surveying the life and work of D.C. Williams, notably in defending realism in metaphysics in the mid-twentieth century and in justifying induction by the logic of statistical inference.

I first offer a broad taxonomy of models of divine omnipresence in the Christian tradition, both past and present. I then examine the recent model proposed by Hud Hudson (2009, 2014) and Alexander Pruss (2013)—ubiquitous entension—and flag a worry with their account that stems from predominant analyses of the concept of ‘material object’. I then attempt to show that ubiquitous entension has a rich Latin medieval precedent in the work of Augusine and Anselm. I argue that the model of omnipresence (...) explicated by Augustine and Anselm has the resources to avoid the noted worry by offering an alternative account of the divide between the immaterial and the material. I conclude by considering a few alternative analyses of ‘material object’ that make conceptual room for a contemporary Christian theist to follow suite in thinking that at least some immaterial entities are literally spatially located when relating to the denizens of spacetime. (shrink)

In The Principles of Mathematics, Russell writes: Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term. This, then, is the widest word in the philosophical vocabulary. I shall use as synonymous with it the words unit, individual and entity. The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, i.e. (...) is in some sense. A man, a moment, a number, a class, a relation, a chimera, or anything else that can be mentioned, is sure to be a term'. Now in this remark, a certain extremely general, topic-neutral use of ‘object’ is singled out, a use in which the expression is treated as equivalent to (equally neutral) uses of ‘term’, ‘entity’, ‘unit’, ‘individual’, and ‘thing’. In addition, a claim is made to the effect that the content of the expression, with its emphasis on one, is such as to be adequate to comprehend the sum-total of existence, to include whatever there may be. The paper addresses the question of what this claim means, and whether it might be true. (shrink)

Nel nostro universo, qualunque cosa, dalla più piccola particella alla più smisurata galassia, esiste in un qualche tempo e in un qualche luogo. Ma cosa significa esistere in un qualche tempo? Il fenomeno dell’esistenza temporale gioca un ruolo fondamentale nella comprensione dell’universo e di noi stessi quali creature temporali. Eppure è un fenomeno profondamente misterioso. L’esistenza temporale è da intendersi come una relazione? Che legami ha con l’esistenza dell’ontologia? L’esistenza temporale e la localizzazione spaziale sono due fenomeni essenzialmente differenti o (...) due istanze di un’unica relazione? Tutto ciò che esiste nel tempo esiste nel tempo nello stesso modo? Tutto ciò che è nel tempo è anche nello spazio? (shrink)

Tropes is a systematic investigation into the metaphysics of properties, aiming to motivate and defend trope theory, and more specifically Natural Class Trope Nominalism (NCTN). Ehring’s book treats an impressive span of relevant positions, considerations, debates and objections with charity and clarity; it’s also a real page-turner, at least if one has (as I do) a taste for analytic twists and turns.

Many contemporary proponents of hylomorphism, the view that at least some material objects are comprised of both matter and form, endorse a version of hylomorphism according to which the form of a material object is a certain complex relation or structure. In this paper, I introduce three sorts of concerns for this “structural” approach. First, I argue that, in countenancing an abundance of overlapping yet numerically distinct material objects, “structural hylomorphists” are committed to a certain sort of systematic causal overdetermination. (...) Second, I argue that, because of its relatively thin conception of form, the view risks collapsing into some already well-entrenched metaphysical account of material objects. Finally, I argue that because the view emphasizes the more static structural features of composite material objects, structural hylomorphists seem unable to explain how it is that those objects might be said to persist over time through changes in such features. (shrink)

One often hears a complaint about “bare particulars”. This complaint has bugged me for years. I know it bugs others too, but no one seems to have vented in print, so that is what I propose to do. (I hope also to say a few constructive things along the way.) The complaint is aimed at the substratum theory, which says that particulars are, in a certain sense, separate from their universals. If universals and particulars are separate, connected to each other (...) only by a relation of instantiation, then, it is said, the nature of these particulars becomes mysterious. In themselves, they do not have any properties at all. They are nothing but a pincushion into which universals may be poked. They are Locke’s “I know not what” (1689, II, xxiii, §2); they are Plato’s receptacles (Timaeus 48c–53c); they are “bare particulars”.1 Against substratum theory there is the bundle theory, according to which particulars are just bundles of universals. The substratum and bundle theories agree on much. They agree that both universals and particulars exist. And they agree that a particular in some sense has universals. (I use phrases like ‘particular P has universal U ’ and ‘particular P ’s universals’ neutrally as between the substratum and bundle theories.) But the bundle theory says that a particular is exhaustively composed of (i.e., is a mereological fusion of) its universals. The substratum theory, on the other hand, denies this. Take a particular, and mereologically subtract away its universals. Is anything left? According to the bundle theory, no. But according to the substratum theory, something is indeed left. Call this remaining something a thin particular. The thin particular does not contain the universals as parts; it instantiates them. (shrink)

Paul (Noûs 36:578–596, 2002; Noûs 40:623–659, 2006, The Handbook of Mereology, forthcoming) has argued for a bundle theory of objects that analyzes the bundling relation between properties and objects in terms of parthood relations. In this paper I argue that any mereological bundle theory with the explanatory power of Paul’s theory will entail the principle of the identity of indiscernibles (PII). This is problematic, since similar bundle theories seem to fall to Max Black’s two sphere counterexample to (PII). I argue, (...) however, that a fully developed mereological bundle theory provides a new way of interpreting Black’s two sphere universe that dispels the counterexample. I argue that this solution to Black’s puzzle is superior to other solutions on offer, and consequently that mereological bundle theory is an attractive ontological strategy for friends of (PII). (shrink)

One of the most serious theoretical obstacles to contemporary spacetime substantivalism is Earman and Norton's hole argument. We argue that applying the bundle theory of substance to spacetime points allows spacetime substantivalists to escape the conclusion of this argument. Some philosophers have claimed that the bundle theory cannot be applied to substantival spacetime in this way due to problems in individuating spacetime points in symmetrical spacetimes. We demonstrate that it is possible to overcome these difficulties if spatiotemporal properties are viewed (...) as tropes rather than universals. (shrink)

Abstract‘Logical Realism’ is taken to mean many different things. I argue that if reality has a privileged structure, then a view I call metaphysical logical realism is true. The view says that, first, there is ‘One True Logic’; second, that the One True Logic is made true by the mind‐and‐language‐independent world; and third, that the mind‐and‐language‐independent world makes it the case that the One True Logic is better than any other logic at capturing the structure of reality. Along the way, (...) I discuss a few alternatives, and clarify two distinct kinds of metaphysical logical realism. (shrink)

Possibilism—the view that there are non-actual, merely possible entities—is a surprisingly resilient doctrine.1 One particularly hardy strand of possibilism—the modal realism championed by David Lewis—continues to attract both foes who seek to demonstrate its falsity (or at least stare its advocates into apostasy) and friends who hope to defend modal realism (or, when necessary, modify modal realism so as to avoid problematic objections).2 Although I am neither a foe nor friend of modal realism (but some of my best friends are!), (...) like many I continue to be fascinated by the doctrine. (shrink)

Provocatively, David Armstrong's properties are supposed to be both universals and spatio-temporal. What does this amount to? I consider four of Armstrong's views, in order of ascending plausibility: (1) the exemplification account, on which universals are exemplified by space-times; (2) the location account, on which universals are located at space-times; (3) the first constituent account, on which spatio-temporal relations are elements of what I call the form of time; and, the true view, (4) the second constituent account, on which universals (...) are spatio-temporal only 'derivatively' by being constituents of states of affairs which are so 'primarily'. The first two accounts are rejected because they entail that space-times must be substantival. In making plausible the second constituent account, I distinguish primitive and derivative spatio-temporality. Something is primitively spatio-temporal when it is at a space-time, or stands in spatio-temporal relations. Something is derivatively spatio-temporal when it is a constituent of something primitively spatio-temporal. (shrink)

Bundle Theory is the view that every concrete particular object is solely constituted by its universals. This theory is often criticized for not accommodating the possibility of symmetrical universes, such as one that contains two indiscernible spheres two meters from each other in otherwise empty space. One bundle theoretic solution to this criticism holds that the fact that the spheres stand in a weakly discerning—i.e., irreflexive and symmetric—relation, such as being two meters from, is sufficient for the numerical diversity of (...) the spheres. For this solution to be effective, however, it should be established that weak discernibility not only necessitates but also explains numerical diversity. In this paper, I argue that the fact that two objects have a certain distance between them does explain why they are non-identical. I also argue that the worry that the weak discernibility approach has some circularity problems is not well-founded. (shrink)

Bundle Theory is the view that every concrete particular object is solely constituted by its universals. This theory is often criticized for not accommodating the possibility of symmetrical universes, such as one that contains two indiscernible spheres two meters from each other in otherwise empty space. One bundle theoretic solution to this criticism holds that the fact that the spheres stand in a weakly discerning—i.e., irreflexive and symmetric—relation, such as being two meters from, is sufficient for the numerical diversity of (...) the spheres. For this solution to be effective, however, it should be established that weak discernibility not only necessitates but also explains numerical diversity. In this paper, I argue that the fact that two objects have a certain distance between them does explain why they are non-identical. I also argue that the worry that the weak discernibility approach has some circularity problems is not well-founded. (shrink)

Is it possible to get by with just one ontological category? We evaluate L.A. Paul's attempt to do so: the mereological bundle theory. The upshot is that Paul's attempt to construct a one category ontology may be challenged with some of her own arguments. In the positive part of the paper we outline a two category ontology with property universals and kind universals. We will also examine Paul's arguments against a version of universal bundle theory that takes spatiotemporal co-location instead (...) of compresence or coinstantiation as the feature by which we can identify genuine bundles. We compare this novel theory, bundle theory with kinds, and Paul's mereological bundle theory and apply them to a case study concerning entangled fermions and co-located bosons. (shrink)

We present an original emergent individuals view of human persons, on which persons are substantial biological unities that exemplify metaphysically emergent mental states. We argue that this view allows for a coherent model of identity-preserving resurrection from the dead consistent with orthodox Christian doctrine, one that improves upon alternatives accounts recently proposed by a number of authors. Our model is a variant of the “falling elevator” model advanced by Dean Zimmerman that, unlike Zimmerman’s, does not require a closest continuer account (...) of personal identity. We end by raising some remaining theological concerns. (shrink)

Peter Geach proposed a substitutional construal of quantification over thirty years ago. It is not standardly substitutional since it is not tied to those substitution instances currently available to us; rather, it is pegged to possible substitution instances. We argue that (i) quantification over the real numbers can be construed substitutionally following Geach's idea; (ii) a price to be paid, if it is that, is intuitionism; (iii) quantification, thus conceived, does not in itself relieve us of ontological commitment to real (...) numbers. (shrink)

In his theory of categories, Aristotle introduces a distinction between two types of universals, i.e., kinds and attributes. While attributes determine how their subjects are, kinds determine what something is: kinds represent unified ways of being which account for the existence and identity of particular objects. Since its introduction into the philosophical discussion, the concept of a kind has attracted criticism. The most important objection argues that no separate category of kinds is needed because all kinds can be reduced to (...) conjunctions of ordinary attributes. The present paper explores one possible response to this reductionist challenge on behalf of the Aristotelian—one which takes issue with the view that conjunctive properties license a reduction of kinds to attributes. The aim of this exploration is not only to defend an Aristotelian doctrine of kinds—i.e., to convey a better understanding of why we actually need an irreducible category of kinds—but also to define the Aristotelian position more precisely; i.e., to shed more light on the concept of kinds and the very the idea of kindhood. (shrink)

In his theory of categories, Aristotle introduces a distinction between two types of universals, i.e., kinds and attributes. While attributes determine how their subjects are, kinds determine what something is: kinds represent unified ways of being which account for the existence and identity of particular objects. Since its introduction into the philosophical discussion, the concept of a kind has attracted criticism. The most important objection argues that no separate category of kinds is needed because all kinds can be reduced to (...) conjunctions of ordinary attributes. The present paper explores one possible response to this reductionist challenge on behalf of the Aristotelian—one which takes issue with the view that conjunctive properties license a reduction of kinds to attributes. The aim of this exploration is not only to defend an Aristotelian doctrine of kinds—i.e., to convey a better understanding of why we actually need an irreducible category of kinds—but also to define the Aristotelian position more precisely; i.e., to shed more light on the concept of kinds and the very the idea of kindhood. (shrink)

I formulate a theory of persistence in the endurantist family and pose a problem for the conjunction of this theory with orthodox versions of special or general relativity. The problem centers around the question: Where are things?

According to the identity version of spacetime supersubstantivalism, material objects are numerically identical to spacetime regions. While the view has been commended for its parsimony and concordance with physics, it has not properly been assessed in light of the metaphysics of properties. The present essay fills this void by discerning several subspecies of identity supersubstantivalism, corresponding to various property ontologies. Finding them all wanting, the essay develops and defends a novel brand of supersubstantivalism based on the trope ontology. On this (...) view, here dubbed ‘supertropestantivalism’, regions are pluralities of geometrically and topologically alike tropes, some of which bundle together as material objects. The resulting picture is not itself an identity version of supersubstantivalism, but it retains the originally attractive features of the identity version while avoiding the shortcomings of competing ontologies. (shrink)

The problem of many-over-one asks how it can be thatmanyproperties are ever instantiated byoneobject. A putative solution might, for example, claim that the properties are appropriately bundled, or somehow tied to a bare particular. In this essay, the author argues that, surprisingly, an extant candidate solution to this problem is at the same time an independently developed candidate solution to the mind-body problem. Specifically, what is argued here to be the best version of the relata-specific bundle theory—the thesis that each (...) instance of compresence has a special intrinsic nature in virtue of which it necessarily bundles its specific bundle-ees—is also a species of Russellian monism, labeled by David Chalmers as ‘constitutive Russellian panprotopsychism’. The upshot of this connection is significant for the metaphysics of the mind-body problem: a credible theory of property instantiation turns out to have a built-in account of how consciousness is grounded in certain (broadly) physical systems. (shrink)

All parts of mereologically ‘gunky’ entities have proper parts. All parts relevant to mereologically ‘junky’ entities *are* proper parts. This essay explores the application of gunk and junk beyond the standard category of material object. One such application yields what is here dubbed ‘deep’ gunk and junk: a material entity x all of whose intrinsic elements from any fundamental ontological category C either have proper parts from C that also are intrinsic elements of x, or are proper parts of entities (...) from C that also are intrinsic elements of x. In addition to being independently interesting, these mereological structures pose a challenge to the bare particular ontology of substance. For bare particulars standardly are assumed to be mereologically simple, yet a deep gunky or junky entity requires any associated bare particulars to be complex. The essay closes by examining the bare particular theorist’s prospects for answering this challenge. (shrink)

We have compelling extra-philosophical reasons for caring about identity, parthood, and location. For example, we desire ceteris paribus that nothing every part of which is very near to our location be very near to the location of something dangerous, evil, or otherwise unpleasant. This essay argues that such considerations are relevant to certain first-order metaphysical debates, namely, the debates over immanent universals and tropes and endurantism and perdurantism, respectively. As a consequence, even the non-specialist has a reason to care about (...) the metaphysics of properties and persistence. (shrink)

Trope theory is an increasingly prominent contender in contemporary debates about the existence and nature of properties. But it suffers from ambiguity concerning the nature of a trope. Disambiguation reveals two fundamentally different concepts of a trope: modifier tropes and module tropes. These types of tropes are unequally suited for metaphysical work. Modifier tropes have advantages concerning powers, relations, and fundamental determinables, whereas module tropes have advantages concerning perception, causation, character-grounding, and the ontology of substance. Thus, the choice between modifier (...) tropes and module tropes is significant and divides the advantages of trope theory simpliciter. In addition, each resulting trope theory is unstable: modifier trope theory threatens to collapse into realism and module trope theory threatens to collapse into austere nominalism. This invites reflection on the stability of trope theory in general. (shrink)

My aim in this article is to contribute to the larger project of assessing the relative merits of different theories of substance. An important preliminary step in this project is assessing the explanatory resources of one main theory of substance, the so-called bundle theory. This article works towards such an assessment. I identify and explain three distinct explanatory challenges an adequate bundle theory must meet. Each points to a putative explanatory gap, so I call them the Gap Challenges. I consider (...) three bundle-theoretic strategies for meeting these challenges. I argue that none of them goes very far. The upshot is that, absent other strategies for meeting the challenges, bundle theory involves a significant amount of stipulation. This black box makes bundle theory relatively weak with respect to its explanatory power—unless, of course, rival theories of substance are unable to do better. (shrink)

1. The Bundle Theory I shall discuss is a theory about the nature of substances or concrete particulars, like apples, chairs, atoms, stars and people. The point of the Bundle Theory is to avoid undesirable entities like substrata that allegedly constitute particulars. The version of the Bundle Theory I shall discuss takes particulars to be entirely constituted by the universals they instantiate.' Thus particulars are said to be just bundles of universals. Together with the claim that it is necessary that (...) particulars have constituents, the fundamental claim of the Bundle Theory is: (BT) Necessarily, for every particular x and every entity y, y constitutes x if and only ify is a universal and x instantiates y. 2 The standard and supposedly devastating objection to the Bundle Theory is that it entails or is committed to a false version of the Principle of Identity of Indiscernibles (Armstrong 1978: 91, Loux 1998: 107), namely: (Pll) Necessarily, for all particulars x and y and every universal z, if z is instantiated by x if and only if z is instantiated byy, then x is numerically identical with y. The most famous counterexample to the Identity of Indiscernibles is that put forward by Max Black, consisting of a world where there are only two iron spheres two miles apart from each other, having the same diameter, temperature, colour, shape, size, etc (Black 1952: 156). Let us from now on think of the properties of the spheres in this world as universals. The possibility of this world, which I shall hereafter refer to as 'Black's world', makes (Pll) false.' And according to common philosophical opinion this means that the Bundle Theory is false.. (shrink)