Online research in philosophy

The paper spells out five different accounts of the relationship between objects and relations three of which are versions of ontic structural realism (OSR). We argue that the distinction between objects and properties, including relations, is merely a conceptual one by contrast to an ontological one: properties, including relations, are modes, that is the concrete, particular ways in which objects exist. We then set out moderate OSR as the view according to which irreducible relations are central ways in which the fundamental physical objects exist. Physical structures thus consist in objects for whom it is essential that they are related in certain ways. There hence are objects, but they do not possess an intrinsic identity. This view can also admit intrinsic properties as ways in which objects exist provided that these do not amount to identity conditions for the objects. Finally, we indicate how this view can take objective modality into account.

1 A particular may have other particulars as parts, but according to the bundle theory its ultimate constituents are confined to universals. Parts are different from constituents or components. A part is a type of constituent, but there are constituents that are not parts. Parts belong to the same general category as the whole: if a concrete particular has parts, those parts will themselves be concrete particulars. This is not always the case with constituents: the constituents of a fact do not have to be facts and the constituents (or members) of a set do not have to be sets. The relation of “being a part of” is also transitive, whereas the relation of “being a constituent of” is not always transitive. If a particular has parts, such as atoms, then its constituents include its intrinsic properties, its atoms, and the arrangement relation. If an atom has parts, such as subatomic particles, then the constituents of the atom include its properties, the subatomic particles, and the arrangement universal. If it is like this all the way down without any termination (no bedrock), then the bundle theory says that at each stage there are only universals and ordinary particulars with parts, in other words there are no bare particulars. This approach should also work if there were arbitrary undetached parts that are real entities. The alternative to no bedrock is metaphysical atomism. There are two ways that metaphysical atomism could be true in classical mechanics: (1) if the ultimate constituents of matter are point particles — perhaps electrons are point particles, (2) if matter is continuously divisible and arbitrary undetached parts are not real entities or real parts. But it would be rash to say that these were the only two options for all theories. Point particles are a convenient kind of particular to think about when discussing the bundle theory. There could be just three properties bundled together, a certain mass, a certain charge, and the property of being point like..

Pace Benovsky's ‘Presentism and Persistence,’ presentism is compatible with perdurantism, tropes and bundle-of-universals theories of persisting objects. I demonstrate how the resemblance, causation and precedence relations that tie stages together can be accommodated within an ersatzer presentist framework. The presentist account of these relations is then used to delineate a presentist-friendly account of the inter-temporal composition required for making worms out of stages. The defense of presentist trope theory shows how properties with indexes other than t may be said to exist at t. This involves an account of how times other than t exist at t, and how times may be multiply located at any given time. Benovsky's objection to bundles of universals is shown to assume that a bundle of properties must have the properties of its element properties.

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.

kinds of interaction between objects. Secondly, the properties of an object do not always reflect the properties of its parts in quite the way we would intuitively expect. No one thought that objects shared all of the properties of their parts, of course; but we might have supposed that for every object at least one part of its surface must share the properties of at least one of the surfaces of one of its parts. This supposition would be false (for example there could be an object with only non-stick surfaces yet composed entirely from objects with no non-stick surfaces).

In this paper, I try to make a bundle theory of objects consistentwith a temporal parts theory of object persistence. To that end,I propose that such bundles are made up of tropes includingthe co-instantiation relation.

The paper is a contribution to the object ontology. The general approach assumed in the investigation is that of Roman Ingarden's The Controversy Over the Existence of the World where an object is the subject-of-properties. The analysis of the form and the mode of existence of properties leads to the rejection of both negative and general properties. Each property is an individual qualitative moment of a particular object. Its form reveals existential heteronomy: the quality of the property is not immanent but refers to the object. The subject of properties has not its own qualitative content: its form is just the internal causality establishing the unity of an object. An object is not causally isolated from other objects, but external causation differs from internal either by being ramified in case of the composition and destruction of an object or reciprocal in case of interaction between coexisting objects.

I argue that a solution to puzzles concerning the relationship ofobjects and their properties – a version of the `bundle' theory ofparticulars according to which ordinary objects are mereologicalfusions of monadic and relational tropes – is also a solution topuzzles of material constitution involving the allegedco-location of material objects. Additionally, two argumentsthat have played a prominent role in shaping the current debate,Mark Heller's argument for Four Dimensionalism and Peter vanInwagen's argument against Mereological Universalism, are shownto be unsound given this version of the bundle theory.

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..

1 See for example, E. J. Lowe, The Possibility of Metaphysics, pp. 51-3, 210-220, and David Lewis, The Plurality of Worlds on the notion of concrete object. 2 The properties that are constituents of a particular should be intrinsic properties, though it need not be assumed that all its intrinsic properties are constituents. The notion of intrinsic property is easier if a sparse view (as opposed to an abundant view) of properties is assumed. A sparse view requires a criterion for being a property, such as a causal principle (Shoemaker) or the related Eleatic principle (Armstrong). Intrinsic properties should be real properties. Such a criterion should rule out conjunctive properties, disjunctive properties, and negated properties. On the hand, it could be stipulated that these are not intrinsic properties. Those that believe in abundant properties should use the criterion to divide properties into two classes (natural and non-natural); intrinsic properties would then be located in the first class. Extrinsic properties are properties that an object possesses in virtue of other objects, their properties, and relations that involve them. If these other objects were to disappear all intrinsic properties would be unaffected. Intrinsic properties are non-relational in the sense that an object does not possesses them in virtue of other objects, their properties, and relations between them. However, intrinsic properties can be relational when an object possesses a (monadic) property in virtue of relations between its parts. Paradigmatic intrinsic properties are the mass, charge, magnetic moment, and spin of the electron as normally understood.