Bundle Theories

Platonists affirm the existence of abstract mathematical objects, and Nominalists deny the existence of abstract mathematical objects. While there are standard arguments in favor of Nominalism, these arguments fail to account for the necessity of Nominalism. Furthermore, these arguments do nothing to explain why Nominalism is true. They only point to certain theoretical vices that might befall the Platonist. The goal of this paper is to formulate and defend a simple, valid argument for the necessity of Nominalism that seeks to (...) precisify the widespread intuition that mathematical objects are somehow ‘spooky’ or ‘mysterious’. (shrink)

« Pourquoi les choses tiennent-elles ensemble ? » (Traité d'ontologie, 2009, p. 237). Cette citation me sert de départ à une réflexion sur la nature des relations liantes souvent appelées relations de comprésence à la suite de Russell, ces bundling relations qui nouent les propriétés ensembles pour constituer les objets ordinaires (tables, chaises, individus biologiques) selon la théorie du faisceau. De même que Frédéric Nef, je suis séduit par les nombreuses vertus philosophiques de ces relations liantes. Ma contribution ne portera (...) pas sur une critique ou une défense de ces relations mais sur l'étude de leur nature, et en particulier, de leur possible nature méréologique. Je vais esquisser rapidement certains aspects de la théorie classique du faisceau que je qualifierai de réaliste pour opposer ensuite les variantes réalistes à deux autres versions méréologiques de la théorie, que je qualifierai d'éliminativistes. (shrink)

Universal-Bundle Theory is the view that every concrete particular 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 qualitatively identical spheres two meters from each other in otherwise empty space. One universal-bundle theoretic solution to this criticism holds that the fact that the spheres are weakly discernible in that they stand in the irreflexive and symmetric relation *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 attempt to support this solution by arguing that the fact that two concrete particulars have a certain distance between them does explain why they are non-identical. (shrink)

Bundle theory takes objects to be bundles of properties. Some bundle theorists take objects to be bundles of instantiated universals, and some take objects to be bundles of tropes. Tropes are instances of properties: some take instantiated universals to be tropes, while others deny the existence of universals and take tropes to be ontologically fundamental. Historically, the bundling relation has been taken to be a primitive relation, not analyzable in terms of or ontologically reducible to some other relation, and has (...) been variously characterized as, e.g., “compresence,” “concurrence,” or “consubstantiation.” Bertrand Russell (1940) defends compresence of universals, and Hector-Neri Castañeda (1974) defends consubstantiation of universals. John Bacon (1995) defends concurrent tropes and Keith Campbell (1990) defends compresent tropes. Jonathan Schaffer (2001) bucks this trend, endorsing compresence understood as co-location in spacetime, but this brings with it undesireable consequences such as the impossibility of distinguishing between objects (such as electrons or other microentities) with the same location. Mereological bundle theory improves upon traditional bundle theory by taking the primitive relation of bundling to be the more familiar relation of fusing or composing, such that objects are fusions of properties or fusions of property instances. Hence, mereological bundle theorists endorse a property mereology: a mereology where properties or property instances can be parts of objects. An advantage of the approach derives from the fact that standard mereologies take composition to be primitive or define it using a different primitive mereological notion (such as primitive parthood). Thus, taking the basic primitive of bundle theory to be composition can reduce the need for.. (shrink)

Contrary to widely shared opinion in analytic metaphysics, E.J. Lowe argues against the existence of relations in his posthumously published paper There are probably no relations (2016). In this article, I assess Lowe’s eliminativist strategy, which aims to show that all contingent “relational facts” have a monadic foundation in modes characterizing objects. Second, I present two difficult ontological problems supporting eliminativism about relations. Against eliminativism, metaphysicians of science have argued that relations might well be needed in the best a posteriori (...) motivated account of the structure of reality. Finally, I argue that, by analyzing relational inherence, trope theory offers us a completely new approach to relational entities and avoids the hard problems motivating eliminativism. (shrink)

What is the relationship between objects and properties? According to a standard view, there are primitive individuals that ‘instantiate’ or ‘have’ various properties. According to a rival view, objects are mere ‘bundles’ of properties. While there are a number of reasons to be skeptical of primitive individuals, there are also a number of challenges that the bundle theorist faces. The goal of this paper is to formulate a view about the relationship between objects and properties that avoids many of the (...) problems inherent in both of these views. The view I will end up defending implies a particularly radical version of Monism, and it collapses the object-property distinction altogether. (shrink)

In a series of publications, L. A. Paul has defended a version of the bundle theory according to which material objects are nothing but mereological sums of ‘their’ properties. This ‘mereological’ bundle theory improves in important ways on earlier bundle theories, but here I present a new argument against it. The argument is roughly this: Material objects occupy space; even if properties have spatial characteristics, they do not quite occupy space; on no plausible construal of mereological composition does a mereological (...) sum of non-space-occupying entities occupy space; therefore, material objects are not mereological sums of properties. (shrink)

It has been a common assumption that words are substances that instantiate or have properties. In this paper, I question the assumption that our ontology of words requires posting substances by outlining a bundle theory of words, wherein words are bundles of various sorts of properties (such as semantic, phonetic, orthographic, and grammatical properties). I argue that this view can better account for certain phenomena than substance theories, is ontologically more parsimonious, and coheres with claims in linguistics.

This paper provides a rational reconstruction of a Platonic trope bundle theory that is a live alternative to contemporary bundle theories. According to the theory, Platonic particulars are composed of what Plato calls images of Forms; contemporary metaphysicians call these tropes. Tropes are dependent on Forms and the Receptacle, while trope bundles are structured by natural kinds using the Phaedo's principles of inclusion and exclusion and the Timaeus’ geometrised elements, as well as by co-location in the Receptacle. Key elements of (...) discussion include persistence and abundance of Plato's tropes. The resulting theory is compared with contemporary trope bundle theories. (shrink)

Trope theory is a leading metaphysical theory in analytic ontology. One of its classic statements is found in the work of Donald C. Williams who argued that tropes qua abstract particulars are the very alphabet of being. The concept of an abstract particular has been repeatedly attacked in the literature. Opponents and proponents of trope theory alike have levelled their criticisms at the abstractness of tropes and the associated act of abstraction. In this paper I defend the concept of a (...) trope qua abstract particular by rejecting arguments that purport to show that tropes should not be understood as abstract and by arguing that the abstractness of tropes plays an indispensable role in one of our more promising trope-theoretic analyses of universals and of concrete objects. (shrink)

According to strong pluralism, objects distinct by virtue of their modal properties can coincide. The most common objection towards such view invokes the so-called Grounding Problem according to which the strong pluralist needs to explain what the grounds are for supposed modal differences between the coincidents. As recognized in the literature, the failure to provide an answer to the Grounding Problem critically undermines the plausibility of strong pluralism. Moreover, there are strong reasons to believe that strong pluralists cannot provide an (...) explanation of the Grounding Problem. In this paper, we argue that strong pluralism can be motivated independently of the successful answer to the Grounding Problem. In order to achieve that aim, we provide a haecceitistic interpretation of strong pluralism according to which strong pluralism should be read as a position committed to the existence of primitive individuals, i.e., the individuals that have their criteria of individuation independently of their qualitative profiles. That said, we do not aim at defending haecceitism. Instead, our aim is rather modest: we want to provide a new way for the strong pluralist to supplement his view to make it more watertight. (shrink)

Philosophers of perception frequently assume that we see actual states of affairs, or facts. Call this claim factualism. In his book, William Fish suggests that factualism is supported by phenomenological observation as well as by experimental studies on multiple object tracking and dynamic feature-object integration. In this paper, I examine the alleged evidence for factualism, focusing mainly on object detection and tracking. I argue that there is no scientific evidence for factualism. This conclusion has implications for studies on the phenomenology (...) and epistemology of visual perception. (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)

This paper pulls together three debates fundamental in metaphysics and proposes a novel unified approach to them. The three debates are (i) between bundle theory and substrate theory about the nature of objects, (ii) dispositionalism and categoricalism about the nature of properties, and (iii) regularity theory and production theory about the nature of causation. The first part of the paper (§§2-4) suggests that although these debates are metaphysical, the considerations motivating the competing approaches in each debate tend to be epistemological. (...) The second part (§§5-6) argues that the two underlying epistemological pictures supporting competing views lead to highly unsatisfying conceptions of the world. The final part (§§7-10) proposes an alternative epistemological picture, which I call ‘introverted empiricism,’ and presents the way it provides for a more satisfying grasp of the ultimate nature of objects, properties, and causation. It is a consequence of this alternative picture that there is a kind of intimate self-understanding that underlies our understanding of the deep nature of reality. (shrink)

A and B continue their conversation concerning the Identity of Indiscernibles. Both are aware of recent critiques of the principle that haven’t received replies; B summarizes those critiques, and A offers the replies that are due. B then raises a new worry.

In this paper we present a new metaphysical theory of material objects. On our theory, objects are bundles of property instances, where those properties give the nature or essence of that object. We call the theory essential bundle theory. Property possession is not analysed as bundle-membership, as in traditional bundle theories, since accidental properties are not included in the object’s bundle. We have a different story to tell about accidental property possession. This move reaps many benefits. Essential bundle theory delivers (...) a simple theory of the essential properties of material objects; an explanation of how object coincidence can arise; an actual-world ground for modal differences between coincident objects; a simple story about intrinsic properties; and a plausible account of certain ubiquitous cases of causal overdetermination. (shrink)

ABSTRACTI present a new objection to Bundle Theory. The objection rests on the repeatability of universals, and targets every version of Bundle Theory that assumes that concrete particulars constituted by the same universals are numerically identical. The only way that bundle theorists can elude this objection is to admit the possibility of distinct bundles constituted by the same universals. If even this view is untenable, then Bundle Theory as such is hopeless. Finally, I show how the present inquiry reshapes the (...) dialectical relationship between Bundle Theory and the principle of Identity of Indiscernibles. (shrink)

In this paper, I elaborate on the Strong Nuclear Theory (SNT) of tropes and substances, which I have defended elsewhere, using my metatheory about formal ontology and especially fundamental ontological form. According to my metatheory, for an entity to have an ontological form is for it to be a relatum of a formal ontological relation or relations jointly in an order. The full fundamental ontological form is generically identical to a simple formal ontological relation or relations jointly in an order. (...) Regarding generic identity, I follow Fabrice Correia and Alexander Skiles, who consider it a form of generalized identity as distinguished from numerical identity. The SNT states that for any trope to have the full fundamental ontological form is for it to be a strongly rigidly or generically (existentially) dependent individual simple part. Therefore, the common dichotomous set-up of asking whether tropes are fundamentally properties rather than objects or vice versa is a non-starter to me in formal ontological terms. The elaboration of the SNT also supplies me with the resources to respond to the arguments against tropes by Douglas Ehring, Robert K. Garcia and Herbert Hochberg. Finally, I argue that non-fundamentally but necessarily, every trope is a proper part of a substance and is concrete in the SNT. (shrink)

Bundle theories identify material objects with bundles of properties. On the traditional approach, these are the properties possessed by that material object. That view faces a deep problem: it seems to say that all of an object’s properties are essential to it. Essential bundle theory attempts to overcome this objection, by taking the bundle as a specification of the object’s essential properties only. In this paper, I show that essential bundle theory faces a variant of the objection. To avoid the (...) problem, the theory must accept the contingency of identity. I show how this can be achieved in a coherent and well-motivated way, a way that isn’t available to traditional bundle theories. (shrink)

The trope bundle theories of objects are capable of analyzing monadic inherence (objects having tropes), which is one of their main advantage. However, the best current trope theoretical account of relational tropes, namely, the relata specific view leaves relational inherence (a relational trope relating two or more entities) primitive. This article presents the first trope theoretical analysis of relational inherence by generalizing the trope theoretical analysis of inherence to relational tropes. The analysis reduces the holding of relational inherence to the (...) obtaining of certain other facts about entities of the trope theoretical category system. Moreover, I show that the analysis can deal with asymmetric and non-symmetric relations by assuming that all relation-like tropes are quantities. Finally, I provide an account of the spatial location of tropes in the difficult case in which tropes contribute to determining of the location of other entities. (shrink)

Given the difficulty of characterizing the quandary introduced in Hume’s Appendix to the Treatise, coupled with the alleged “underdetermination” of the text, it is striking how few commentators have considered whether Hume addresses and/or redresses the problem after 1740—in the first Enquiry, for example. This is not only unfortunate, but ironic; for, in the Appendix, Hume mentions that more mature reasonings may reconcile whatever contradiction(s) he has in mind. I argue that Hume’s 1746 letter to Lord Kames foreshadows a subtle, (...) but significant, shift in Hume’s reasonings regarding the relevance of “real connexions”; that the Enquiry of 1748 provides evidence for this shift; and that this shift obviates Hume’s second thoughts by reconciling the contradiction that he had in mind. In short, Hume’s letter to Kames and Enquiry supply the retrodictive keys to a systematically satisfactory account. (shrink)

It is widely accepted within contemporary philosophy of perception that the content of visual states cannot be characterized simply as a list of represented features. This is because such characterization leads to the so-called, “Many Properties problem”, i.e. it does not allow us to explain how the visual system is able to distinguish between scenes containing different arrangements of the same features. The usual solution to the Many Properties problem is to characterize some elements of content as subjects, to which (...) features are attributed by a predication-like relation. In this paper, I reconsider this solution and claim that the Many Properties problem can be solved without invoking the notion of “subject”. What is more, I argue that an alternative approach has stronger justification given the empirical data concerning human vision. (shrink)

[EN] Several conceptions of trope bundles have postulated mutual relations of ontological dependence to explain the unity of the bundle. The idea is that a bundle is a plurality of tropes such that each one of them is dependent on any other. A variant of this idea is that there is a ‘nucleus’ of tropes all of them mutually dependent, and there is also a ‘periphery’ or ‘halo’ of tropes that are dependent on the tropes of the nucleus, but the (...) tropes of the nucleus are not dependent on them. There are several theoretical advantages that trope bundles conceived in this way have. A weakness of the position nevertheless is that it requires an equivalence relation of dependence. But it has been normally supposed that dependence is a strict order, i.e. it is relation irreflexive, asymmetric and transitive. Several recent works have put into question this traditional assumption. Those recent criticisms are discussed and it is argued that they are not convincing. Further arguments are presented for the irreflexivity and transitivity of dependence, from which asymmetry follows. Dependence, then, appears to be in fact a strict order. This implies that most forms of nuclear trope bundles are unintelligible. But not all of them, because nuclear tropes with a unique nuclear trope are coherent. [ES] Varias concepciones de cúmulos de tropos han postulado relaciones de dependencia ontológica mutuas para explicar la unidad del cúmulo. La idea es que un cúmulo es una pluralidad de tropos tal que cada uno de ellos es dependiente de cualquier otro. Una variante de esta idea es que hay un ‘núcleo’ de tropos todos ellos mutuamente dependientes y hay también una ‘periferia’ o ‘halo’ de tropos que son dependientes de los tropos del núcleo, pero los tropos del núcleo no son dependientes de ellos. Hay varias ventajas teóricas que tienen los cúmulos de tropos concebidos de este modo. Una debilidad de esta posición, sin embargo, es que requiere una relación de dependencia que sea una relación de equivalencia. Pero se ha supuesto normalmente que la dependencia es un orden estricto, esto es, una relación irreflexiva, asimétrica y transitiva. Varios trabajos recientes han puesto en cuestión este supuesto tradicional. Estas criticas recientes son aquí discutidas y se argumenta que no son convincentes. Se presentan argumentos adicionales para la irreflexividad y la transitividad de la dependencia, de lo que se sigue la asimetría. Entonces, la dependencia resulta ser un orden estricto. Esto implica que la mayoría de las formas de cúmulos nucleares de tropos son ininteligibles. Pero no todos, porque los cúmulos nucleares con un único tropo nuclear son coherentes. (shrink)

The paper offers an interpretation of a disputed portion of Plato’s Theaetetus that is often called the Secret Doctrine. It is presented as a process ontology that takes two types of processes, swift and slow motions, as fundamental building blocks for ordinary material objects. Slow motions are powers which, when realized, generate swift motions, which, in turn, are subjectively bundled to compose sensible objects and perceivers. Although the reading of the Secret Doctrine offered here—a new version of the “Causal Theory (...) interpretation”—is not without problems, these problems are acknowledged in Plato’s text, confirming that this interpretation is correct. (shrink)

This is a brief sequel to Max Black 's classic dialogue on the Identity of Indiscernibles. Interlocutor A defends the bundle theory by endorsing the view according to which Black 's world does not contain two indiscernible spheres but rather a single, bi-located sphere. His opponent, B, objects that A cannot distinguish such a world from a world with a single, uniquely located sphere, hence that the view in question adds nothing to A's original response to Black 's challenge. A (...) is simply denying that there can be worlds with two or more indiscernible entities. (shrink)

According to the traditional bundle theory, particulars are bundles of compresent universals. I think we should reject the bundle theory for a variety of reasons. But I will argue for the thesis at the core of the bundle theory: that all the facts about particulars are grounded in facts about universals. I begin by showing how to meet the main objection to this thesis (which is also the main objection to the bundle theory): that it is inconsistent with the possibility (...) of distinct qualitative indiscernibles. Here, the key idea appeals to a non-standard theory of haecceities as non-well-founded properties of a certain sort. I will then defend this theory from a number of objections, and finally argue that we should accept it on the basis of considerations of parsimony about the fundamental. (shrink)

Lady Mary Shepherd’s critique of Hume’s account of causation, his worries about knowledge of matters of fact, and the contention that it is possible for the course of nature to spontaneously change relies primarily on three premises, two of which – that objects are merely bundles of qualities and that the qualities of an object are individuated by the causal powers contributed by those qualities – anticipate contemporary metaphysical views in ways that she should be getting credit for. The remaining (...) premise – that it is impossible for an object to begin to exist uncaused – seems more old fashioned. I argue that Shepherd can do without her old-fashioned premise and that she provides the materials for arguing that her remaining premises demonstrate a stronger anti-Humeanism than is maintained even by the contemporary representatives of those views, even though she may have to concede more to Humeanism than she would like. (shrink)

There is a largely unrecognized ambiguity concerning the nature of a trope. Disambiguation throws into relief two fundamentally different conceptions of a trope and provides two ways to understand and develop each metaphysical theory that put tropes to use. In this paper I consider the relative merits that result from differences concerning a trope’s ability to ground the character of ordinary objects. I argue that on each conception of a trope, there are unique implications and challenges concerning character-grounding.

Pluralists about coincident entities say that distinct entities may be spatially coincident throughout their entire existence. The most pressing issue they face is the grounding problem. They say that coincident entities may differ in their persistence conditions and in the sortals they fall under. But how can they differ in these ways, given that they share all their microphysical properties? What grounds those differences, if not their microphysical properties? Do those differences depend only on the way we conceptualise those objects? (...) Are they primitive facts about reality? Neither option is pleasant for the pluralist, but what else can she say? To respond to the grounding problem, the pluralist should first tell a story about what material objects are. If that story explains how the modal and sortal properties of objects are grounded, in a way that allows for differences between coincident objects, then she has a response to the problem. That is precisely my aim in this paper. (shrink)

Les propriétés matérielles sont généralement appréhendées comme les propriétés d’une substance matérielle : cette chemise possède la propriété d’être bleue, cette chaussure la propriété d’être en bon état. Pourtant, on peut trouver plusieurs raisons de douter que les propriétés soient nécessairement les propriétés d’une substance matérielle, à la fois en métaphysique avec la théorie du faisceau, et en physique contemporaine à travers les notions d’énergie du vide et de champ. Or, si les propriétés ne sont pas les propriétés de substances (...) matérielles, on peut s’interroger sur la théorie de l’instanciation qu’implique une telle thèse. Dans cet essai, je m’emploierai à examiner la cohérence et la plausibilité de la thèse selon laquelle certaines, voir toutes les propriétés matérielles ne sont pas instanciées par une substance et la théorie de l’instanciation qui en découle. | : Material properties are generally construed as properties of material substances : this shirt has the property of being blue, these shoes are in good condition. However, one could think of several reasons to doubt that properties necessarily are properties of material substances both in metaphysics, with the bundle theory, and in contemporary physics, through the two notions of field and energy of the vacuum. But, if properties are not properties of material substances, what is the resulting theory of instantiation? Within the scope of this article, I will examine the consistence and plausibility of the view that several, if not all of, material properties are not instantiated by a substance and the theory of instantiation which follows from it. (shrink)

Review of Meta-Metaphysics: On Metaphysical Equivalence, Primitiveness, and Theory Choice (Springer, Synthese Library, 2016). By Jiri Benovsky.

In this paper I explore Michael Loux’s important distinction between “tropes” and “tropers”. First, I argue that the distinction throws into relief an ambiguity and discrepancy in the literature, revealing two fundamentally different versions of trope theory. Second, I argue that the distinction brings into focus unique challenges facing each of the resulting trope theories, thus calling into question an alleged advantage of trope theory—that by uniquely occupying the middle ground between its rivals, trope theory is able to recover and (...) preserve the insights of these views. Ultimately, the distinction suggests that trope theory is a divided house. (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)

Are concrete objects in some sense made up of the properties they exemplify? A distinguished tradition holds they are. I begin by defending the distinction: there is a real and not just semantic distinction between asserting and denying that concrete objects have their properties as parts. I then argue in favor of the view that concrete objects are not made up of their parts. First, this view has less ontological baggage than its opponent. Next, the supposed advantages of the alternative (...) view—its superiority in understanding persistence, exemplification, or the possibility of diverse duplicates—dissipate under analysis. (shrink)

When I say that I am a lot of things, I mean it literally and metaphysically speaking. The Self, or so I shall argue, is a plurality (notwithstanding the fact that ordinary language takes "the Self" to be a singular term – but, after all, language is only language). It is not a substance or a substratum, and it is not a collection or a bundle. The view I wish to advocate for is a kind of reductionism, in line with (...) some – but not all – broadly Humean ideas. In short, I will defend the view there are the experiences and mental states we have, and that's it: no additional substances, and no bundles. This does not mean, however, that there is no Self – the Self simply is the experiences. I will try to articulate and defend this view by showing that it can accommodate what I take to be the three main desiderata for any theory of the Self to satisfy: first, that the Self is the subject of experience (a subject of mental states, in general); second, that there is a unity to the Self in the sense that our (conscious, phenomenal) experience is at least partly continuous or 'stream-like'; and third, that we do not die when we go to sleep or when we otherwise don't have any (conscious, phenomenal) experiences. (shrink)

When I say that I am a lot of things, I mean it literally and metaphysically speaking. The Self, or so I shall argue, is a plurality (notwithstanding the fact that ordinary language takes "the Self" to be a singular term – but, after all, language is only language). It is not a substance or a substratum, and it is not a collection or a bundle. The view I wish to advocate for is a kind of reductionism, in line with (...) some – but not all – broadly Humean ideas. In short, I will defend the view there are the experiences and mental states we have, and that's it: no additional substances, and no bundles. This does not mean, however, that there is no Self – the Self simply is the experiences. I will try to articulate and defend this view by showing that it can accommodate what I take to be the three main desiderata for any theory of the Self to satisfy: first, that the Self is the subject of experience (a subject of mental states, in general); second, that there is a unity to the Self in the sense that our (conscious, phenomenal) experience is at least partly continuous or 'stream-like'; and third, that we do not die when we go to sleep or when we otherwise don't have any (conscious, phenomenal) experiences. (shrink)

In 1952, two well-known characters called ‘A’ and ‘B’ met for the first time to argue about the Identity of Indiscernibles (Black, 1952). A argued that the principle is true, and B that it is false. By all accounts A took a bit of a beating and came out worst-off. Forty-three years later John O’Leary-Hawthorne offered a response on behalf of A that looked as if it would work so long as A was willing to accept the universal-bundle theory of (...) substance (Hawthorne, 1995). In 1997, A and B met again (Zimmerman, 1997). A took Hawthorne’s advice and revealed himself as a universal-bundle theorist. But B was well-prepared, and once more A took a beating. Since then Gonzalo Rodriguez-Pereyra (2004) has put the boot in, offering further criticism of A’s position. In recent years A has been rather quiet, leaving B to reign as the undisputed champion. However, it turns out that A is down, but not out. And now it’s time for A’s revenge. (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)

This paper is the first trope-theoretical reply to E. J. Lowe’s serious dilemma against trope nominalism in print. The first horn of this dilemma is that if tropes are identity dependent on substances, a vicious circularity threatens trope theories because they must admit that substances are identity dependent on their constituent tropes. According to the second horn, if the trope theorist claims that tropes are identity independent, she faces two insurmountable difficulties. (1) It is hard to understand the ontological dependence (...) of tropes on substances. (2) The identity-conditions of tropes cannot be determinate, which threatens the determination of the identity-conditions of substances. Our reply to the first horn of Lowe’s dilemma is to deny the identity dependence of tropes. Yet we can avoid the second horn because our theory can explain the ontological dependence of tropes on substances and the fully-determined identity-conditions of both tropes and substances. (shrink)

Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of the theory and (...) to design an interpretation to solve it, leaving aside the remaining difficulties. On the contrary, our aim in the present work is to formulate a “global” solution, according to which different problems can be adequately tackled in terms of a single ontology populated of properties, in which systems are bundles of properties. In particular, we will conceive indistinguishability between bundles as a relation derived from indistinguishability between properties, and we will show that states, when operating on combinations of indistinguishable bundles, act as if they were symmetric with no need of a symmetrization postulate. (shrink)

Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of the theory and (...) to design an interpretation to solve it, leaving aside the remaining difficulties. On the contrary, our aim in the present work is to formulate a “global” solution, according to which different problems can be adequately tackled in terms of a single ontology populated of properties, in which systems are bundles of properties. In particular, we will conceive indistinguishability between bundles as a relation derived from indistinguishability between properties, and we will show that states, when operating on combinations of indistinguishable bundles, act as if they were symmetric with no need of a symmetrization postulate. (shrink)

Most answers to the mind-body problem are claims about the nature of mental properties and substances. But advocates of non-reductive physicalism have generally neglected the topic of the nature of substance, quickly nodding to the view that all substances are physical, while focusing their intellectual energy on understanding how mental properties relate to physical ones. Let us call the view that all substances are physical or are exhaustively composed of physical substances substance physicalism (SP). Herein, I argue that non-reductive physicalism (...) (NRP) cannot uphold substance physicalism and is thereby false. For NRP faces a mind problem: its commitment to property irreducibility prevents that which bears the mental properties—the mind, or on some views, the self or person—from being a physical thing. (shrink)

There are predicates and subjects. It is thus tempting to think that there are properties on the one hand, and things that have them on the other. I have no quarrel with this thought; it is a fine place to begin a theory of properties and property-having. But in this paper, I argue that one such theory—bare particularism—is false. I pose a dilemma. Either bare particulars instantiate the properties of their host substances or they do not. If they do not, (...) then bare particularism is both unmotivated and false. If they do, then the view faces a problematic—and, I shall argue, false—crowding consequence. (shrink)

A modus tollens against zero-dimensional material objects is presented from the premises (i) that if there are zero-dimensional material objects then there are bare particulars, and (ii) that there are no bare particulars. The argument for the first premise proceeds by elimination. First, bare particular theory and bundle theory are motivated as the most appealing theories of property exemplification. It is then argued that the bundle theorist’s Ockhamism ought to lead her to reject spatiotemporally located zero-dimensional property instances. Finally, it (...) is argued that since she must accept such instances if she accepts zero-dimensional material object bundles, she ought to avoid the latter. This leaves bare particular theory as the default view of zero-dimensional material objects. The argument for the second premise invokes the thesis that the exemplification of at least one sparse property is a prerequisite for the existence of any particular. It is argued from Humean considerations that bare particulars fail this prerequisite. (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)

Properties and objects are everywhere, but remain a philosophical mystery. Douglas Ehring argues that the idea of tropes--properties and relations understood as particulars--provides the best foundation for a metaphysical account of properties and objects. He develops and defends a new theory of trope nominalism.

This article presents a trope bundle theory of simple substances, the Strong Nuclear Theory[SNT] building on the schematic basis offered by Simons's (1994) Nuclear Theory[NT]. The SNT adopts Ellis's (2001) dispositional essentialist conception of simple substances as powerful particulars: all of their monadic properties are dispositional. Moreover, simple substances necessarily belong to some natural kind with a real essence formed by monadic properties. The SNT develops further the construction of substances the NT proposes to obtain an adequate trope bundle theory (...) of powerful particulars. The SNT allows for co-located powerful particulars. However, every powerful particular is necessarily co-located with its constituent tropes, which determine its causal powers. Every constituent trope of substance i is part of a trope aggregate (the n-bundle or c-bundle) that forms an individual figuring in the basic spatio-temporal relations. The location of these individuals determines the location of individual tropes. Since they are necessarily co-located with substance i when they exist, every trope t of i is necessarily co-located with i when it exits. Every simple substance has nuclear tropes necessary to it. It belongs to certain primary natural kind K because its nuclear tropes belong to certain distinct determinate kinds. (shrink)

In a recent paper, Sun Demirli (2010) proposes an allegedly new way of conceiving of individuation in the context of the bundle theory of object constitution. He suggests that allowing for distance relations to individuate objects solves the problems with worlds containing indiscernible objects that would otherwise affect the theory. The aim of the present paper is i) To show that Demirli’s proposal falls short of achieving this goal and ii) To carry out a more general critical assessment of the (...) issue by appraising the costs and benefits of Demirli’s view as well as of existing alternatives. (shrink)

Several metaphysical debates have typically been modeled as oppositions between a relationist approach and a substantivalist approach. Such debates include the Bundle Theory and the Substratum Theory about ordinary material objects, the Bundle (Humean) Theory and the Substance (Cartesian) Theory of the Self, and Relationism and Substantivalism about time. In all three debates, the substantivalist side typically insists that in order to provide a good treatment of the subject-matter of the theory (time, Self, material objects), it is necessary to postulate (...) the existence of a certain kind of substance, while the other side, the relationist one, characteristically feels that this is an unnecessary expense and that one can get the job done in an ontologically cheaper way just with inter-related properties or events. In this paper I shall defend the view that there is much less of a disagreement between relational ontologies and substantival ontologies than it is usually thought. I believe that, when carefully examined, the two sides of the debate are not that different from each other, in all three cases of pairs of views mentioned above. As we will see, both the relational side and the substantival side work in the same way, suffer from and answer the same objections, and are structurally extremely similar. It will be an important question – one that I shall discuss in detail, and that is indeed the main point of interest for me in this paper – whether this means that the two sides of the debate are somehow 'equivalent' or not, and what 'equivalent' could mean. (shrink)