Objects and Properties, Misc

I argue that there is an ambiguity in the concept of indiscernibility as applied to objects, because there are two different categories of properties, associated with two different ways in which all of the pre-theoretical 'properties' of an object may be identified. In one structural way, identifications of properties are independent of any particular spatial orientation of the object in question, but in another 'field' way, identifications are instead dependent on an object's particular spatial orientation, so that its properties as (...) thus identified in one orientation are distinct from its properties as identified in any other orientation--all of which ‘field’ properties must hence also be distinct from the previous structurally defined properties. -/- To accommodate the two kinds of intrinsic properties, the standard concept of indiscernibility is redefined as structural indiscernibility, while a new concept of field indiscernibility is introduced. I argue among other things that, though two objects may be structurally indiscernible under all orientational (and other) conditions, those objects may nevertheless fail to have field indiscernibility with each other under some orientational conditions. I also briefly discuss the implications of these results for general issues about the nature of properties, and of realist versus nominalist approaches to them. -/- . (shrink)

In this paper, I argue that Mumford's Realist Lawlessness account of powers leads to ontological Holism. Consequently, this calls for a deflated conception of haecceity, intrinsicality and discreteness.

According to one prominent strand of mainstream logic and metaphysics, identity is indistinguishability. Priest has recently argued that this permits counterexamples to the transitivity and substitutivity of identity within dialetheic metaphysics, even in paradigmatically extensional contexts. This paper investigates two alternative regimentations of indistinguishability. Although classically equivalent to the standard regimentation on which Priest focuses, these alternatives are strictly stronger than it in dialetheic settings. Both regimentations are transitive, and one satisfies substitutivity. It is argued that both regimentations provide better (...) candidates to occupy the core theoretical role of numerical identity than does the standard regimentation. (shrink)

The modern debate around scientific structuralism has revealed the need to reassess the standing and role of both structure and objects in the metaphysics of physics. Ontic structural realism recommends that metaphysics be purged of objects. Nonetheless, its proponents have failed to specify what it means for properties to be relational and structural, and, consequently, to show how the elementary objects postulated by our best theories can be re-conceptualized in structural terms or altogether eliminated. In this paper, I draw from (...) modern physics in order to untangle various types of relational properties and propose a definition for structural properties. (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)

Few if any distinctions are more easily recognisable and assented to than that between _objects_, that is, things which are some ways, and that which they are, that is, _ways for objects to be_ (‘ways of being’ for short). In this paper I present an argument designed to show that this distinction is indeterminate in the sense that the truth-conditions of predicational sentences leave open what should count as an object and a way of being. The bulk of the argument (...) is inspired by the celebrated permutation argument advanced by Quine, Wallace, Putnam and others. (shrink)

The consensus among spacetime substantivalists is to respond to Leibniz's classic shift arguments, and their contemporary incarnation in the form of the hole argument, by pruning the allegedly problematic metaphysical possibilities that generate these arguments. Some substantivalists do so by directly appealing to a modal doctrine akin to anti-haecceitism. Other substantivalists do so by appealing to an underlying hyperintensional doctrine that implies some such modal doctrine. My first aim in this paper is to pose a challenge for all extant forms (...) of this consensus position. My second aim is to show what form substantivalism must take in order to uphold the consensus while addressing this challenge. The result is a novel "plenitudinous" substantivalist view, which predicts that certain modal facts about spacetime are vague or indeterminate. I then argue against this view on independent grounds, concluding that substantivalists should reject the consensus position. The paper also discusses the way forward for substantivalists in light of this conclusion. (shrink)

The aim of this paper is to take a fresh look at a discussion about the distinct existences argument that took place between David Armstrong and Frank Jackson more than fifty years ago. I will try to show that Armstrong’s argument can be successfully defended against Jackson’s objections (albeit at the price of certain concessions concerning Armstrong’s view on the meaning of psychological terms as well as his conception of universals). Focusing on two counterexamples that Jackson put forward against Hume’s (...) principle (which is central to Armstrong’s argument), I will argue that they are either compatible with Hume’s principle, or imply a false claim. I will also look at several other considerations that go against Hume’s principle, such as, for example, Kripke’s origin essentialism and counterexamples from aposteriori necessity. (shrink)

The notion of an object file figures prominently in recent work in philosophy and cognitive science. Object files play a role in theories of singular reference, object individuation, perceptual memory, and the development of cognitive capacities. However, the philosophical literature lacks a detailed, empirically informed theory of object files. In this paper, we articulate and defend the multiple-slots view, which specifies both the format and architecture of object files. We argue that object files represent in a non-iconic, propositional format that (...) incorporates discrete symbols for separate features. Moreover, we argue that features of separate categories are stored in separate memory slots within an object file. We supplement this view with a computational framework that characterizes how information about objects is stored and retrieved. (shrink)

We summarize in this introduction the contents of all the contributions included in Synthese special issue on form, structure and hylomorphism. Moreover, we provide an exhaustive bibliography of recent research on these topics.

El artículo analiza la noción de Procesos, como parte de la discusión relativa a la Filosofía del Proceso. Se sostiene la posición de que sólo existen objetos con procesos, con lo que, bajo una descripción naturalista, se omite de la realidad a entidades inmóviles, eternas y sin cambios. Como consecuencia, cabe preguntarse: (a) si hay procesos sin objetos; (b), en qué sentido los objetos universales y abstractos podrían prescindir de la noción de procesos, es decir, si habría objetos abstractos sin (...) procesos, asumiendo que por su parte los objetos particulares siempre están asociados a procesos; (c) el de si los procesos son teleológicos; y (d), y si el concepto de procesos implica el de flujo continuo, como se desprende de, por ejemplo, la filosofía del proceso de Whitehead. (shrink)

Ontic structural realism claims that all there is to the world is structure. But how can this slogan be turned into a worked-out metaphysics? Here I consider one potential answer: a metaphysical framework known as ‘generalism’. According to the generalist, the most fundamental description of the world is not given in terms of individuals bearing properties, but rather, general facts about which states of affairs obtain. However, I contend that despite several apparent similarities between the positions, generalism is unable to (...) capture the two main motivations for OSR. I suggest instead that OSR should be construed as a meta-metaphysical position. 1Introduction 2Motivations 2.1Theory change 2.2Permutation invariance 3Metaphysics 4Generalism 4.1Quantifier generalism 4.2Algebraic generalism 5Why Generalism Is Not Ontic Structural Realism 6Ontic Structural Realism as Meta-metaphysics 7Conclusion. (shrink)

The notion of an extended simple region (henceforth ESR) has recently been marshalled in the service of arguments for a variety of conclusions. Exactly how to understand the idea of extendedness as it applies to simple regions, however, has been largely ignored, or, perhaps better, assumed. In this paper we first (§1) outline what we take to be the standard way that philosophers are thinking about extendedness, namely as an intrinsic property of regions. We then introduce an alternative picture (§2), (...) according to which extendedness is extrinsic. In §3 we argue that it matters which way of thinking about extendedness is the right one, since how ESRs behave is sensitive to what extendedness consists in, and various arguments that appeal to ESRs turn out to be unsound if extendedness is extrinsic rather than intrinsic. (shrink)

Quoi de plus inerte que les objets mathématiques. Rien ne les distingue de la pierre et pourtant, à les considérer dans leur perspective historique, ils semblent bien ne pas être aussi dénués de vie qu’il n’y paraı̂t. Conçus par l’homme, ils laissent entrevoir le souffle qui les anime. Pris dans les rets d’un langage, ils ne peuvent se séparer de la forme que les forces tensives qui les contraignent leur ont donnée. S’ils n’ont pas de vocation biologique spécifique, ils sont (...) pour autant toujours et avant tout des possibilités de vie, des objets de puissance. Bien qu’ils ne connaissent ni la douleur, ni le rire, ils ont par leur mode ou leur style d’existence une forme de vie singulière qui structure le donné ou la matière des autres entités auxquels ils participent. De ce fait, en s’immisçant dans l’armature de ces entités, ils conditionnent leur forme d’espace, les enjoignant de se plier à une charpente qu’elles n’ont pas choisie. (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)

According to constitution views of persons, we are constituted by spatially coinciding human animals. Constitution views face an ‘overpopulation’ puzzle: if the animal has my brain, there is another thinker where I am. An influential solution to this problem distinguishes between derivative and non‐derivative property possession: persons non‐derivatively have their personal properties, while inheriting others from their constituters. I will show that this solution raises a new problem, by constructing a puzzle with the absurd result that we instantiate certain properties (...) incompatibly. In setting up the puzzle, I demonstrate the relevance of the bodily awareness and self‐awareness literatures to overpopulation puzzles. (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)

‘Nominalism’ refers to a family of views about what there is. The objects we are familiar with (e.g. hands, laptops, cookies, and trees) can be characterized as concrete and particular. Nominalists agree that there are such things. But one group of nominalists denies that anything is non-particular and another group denies that anything is non-concrete. These two sorts of nominalism, referred to as ‘nominalism about universals’ and ‘nominalism about abstract objects’, have common motivations in contemporary philosophy.

A lump theorist claims that ordinary objects are spread out across possible worlds, much like many of us think that tables are spread out across space. We are not wholly located in any one particular world, the lump theorist claims, just as we are not wholly spatially located where one’s hand is. We are modally spread out, a trans-world mereological sum of world-bound parts. We are lump sums of modal parts. And so are all other ordinary objects. In this paper, (...) I explore lump theory and investigate five arguments against it. These arguments may be the primary reasons why lump theory has not been widely accepted––or extensively explored––until now. I maintain that these arguments can be answered, and moreover, that accepting lump theory has distinct advantages, making it a competitive view in its own right. (shrink)

ABSTRACT An apparent objection against my theory of instantiation as partial identity is that identity is necessary, yet instantiation is often contingent. To rebut the objection, I show how it can make sense that identity is contingent. I begin by showing how it can make sense that identity is temporary. I rely heavily on Andre Gallois’s formal theory of occasional identity, but argue that there is a gap in his explanation of how his formalisms make sense that needs to be (...) filled by appeal to my theory of Aspects. (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)

I examine three ‘anti-object’ metaphysical views: nihilism, generalism, and anti-quantificationalism. After setting aside nihilism, I argue that generalists should be anti-quantificationalists. Along the way, I attempt to articulate what a ‘metaphysically perspicuous’ language might even be.

Constituent ontologies maintain that the properties of an object are either parts or something very much like parts of that object. Recently, such a view has been criticized as leading to a bizarre and problematic form of substance dualism and implying the existence of impossible objects. After briefly presenting constituent and relational ontologies, I respond to both objections, arguing that constituent ontology does not yield either of these two consequences and so is not shown to be an unacceptable ontological framework.

In this paper, we compare two theories, modal Meinongianism and object theory, with respect to several issues that have been discussed recently in the literature. In particular, we raise some objections for MM, undermine some of the objections that its defenders raise for OT, and we point out some virtues of the latter with respect to the former.

Ontic structural realism (OSR) claims that all there is to the world is structure. But how can this slogan be turned into a worked-out metaphysics? Here I consider one potential answer: a metaphysical framework known as generalism (Dasgupta, 2009, 2016). According to the generalist, the most fundamental description of the world is not given in terms of individuals bearing properties, but rather, general facts about which states of affairs obtain. However, I contend that despite several apparent similarities between the positions, (...) generalism is unable to capture the two main motivations for OSR. I suggest instead that OSR should be construed as a meta-metaphysical position. (shrink)

Two kinds of individuals are distinguished: abstract and concrete. Whereas abstract individuals belong to our conceptual sphere, concrete individuals (i.e. particulars) individuate the world of matter. A subject investigating the external world projects abstract individuals onto concrete ones. The proposal offers a solution to various metaphysical and epistemological puzzles concerned with individuals, e.g., the Ship of Theseus, the Polish Logician, problems with reidentification, or proper names.

I examine here if Kant’s metaphysics of matter can support any late-modern versions of classical mechanics. I argue that in principle it can, by two different routes. I assess the interpretive costs of each approach, and recommend the most promising strategy: a mass-point approach.

(Mereological) nihilism states that there are no composite objects—there are only sub-atomic particles such as quarks. Nihilism’s biggest rival, (mereological) universalism, posits vast numbers of composite objects in addition to the sub-atomic particles, and so nihilism appears to be the more ontologically parsimonious of the two theories. If this is the case, it’s a significant result for the nihilist: ontological parsimony is almost always thought to be a theoretical virtue, so a nihilist victory in the parsimony stakes gives us a (...) defeasible reason to be nihilists. But things aren’t so straightforward. Karen Bennett (2009) has argued that nihilism is no more quantitatively parsimonious than universalism. Furthermore, her argument can be redirected so that it threatens the nihilist’s perceived advantage over universalism in the qualitative parsimony stakes too. I here argue that these arguments are flawed and that nihilism is indeed more quantitatively and qualitatively parsimonious than universalism. (shrink)

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

In my review of Steven French's The structure of the world. Metaphysics & Representation. OUP, Oxford, 2014 I argue that the author is forced to navigate between the Scilla of Tegmark’s Pitagoreanism (2008) and the Carybdis of “blobobjectivism” (Horgan and Potrč 2008), namely the claim that the whole physical universe is a single concrete structurally complex but partless cosmos (a “blob”).

Museums and their practices—especially those involving collection, curation and exhibition—generate a host of philosophical questions. Such questions are not limited to the domains of ethics and aesthetics, but go further into the domains of metaphysics, epistemology and philosophy of religion. Despite the prominence of museums as public institutions, they have until recently received surprisingly little scrutiny from philosophers in the Anglo-American tradition. By bringing together contributions from philosophers with backgrounds in a range of traditional areas of philosophy, this volume demonstrates (...) how their work can enhance our understanding of museums and shed light on the philosophical questions raised by museum practices. Many of the essays in this volume make the case that the philosophy of museums is of vital concern, not only to those philosophers at work in the emerging field but also to practitioners within the museum world and to anyone who enjoys visiting museums. (shrink)

This paper outlines a heterodox and largely unexplored conception of objecthood according to which the notion of an individual object is a determinable. §1 outlines the view. §2 argues that the view is incompatible with a natural analysis of kind membership and, as a consequence, undermines the Quinean distinction between ontology and ideology. The view is then used to alleviate one source of Quinean hostility towards non-trivial restrictions on de re possibility in §3, and to elucidate Fine’s neo-Aristoteltian, non-modal conception (...) of essence in §4. §5 concludes. (shrink)

The view that the fundamental kind properties are intrinsic properties enjoys reflexive endorsement by most metaphysicians of science. But ontic structural realists deny that there are any fundamental intrinsic properties at all. Given that structuralists distrust intuition as a guide to truth, and given that we currently lack a fundamental physical theory that we could consult instead to order settle the issue, it might seem as if there is simply nowhere for this debate to go at present. However, I will (...) argue that there exists an as-yet untapped resource for arguing for ontic structuralism – namely, the way that fundamentality is conceptualized in our most fundamental physical frameworks. By arguing that physical objects must be subject to the ‘Goldilock's principle’ if they are to count as fundamental at all, I argue that we can no longer view the majority of properties defining them as intrinsic. As such, ontic structural realism can be regarded as the most promising metaphysics for fundamental physics, and that this is so even though we do not yet claim to know precisely what that fundamental physics is. (shrink)

The article treats the doctrine of transubstantiation or the Eucharistic change as formulated by Thomas Aquinas in his Summa theologiae, Question 75, against its double conceptual (Christian religious vs. Aristotelian philosophical), as well as double linguistic (Latin vs. translated Greek), background. The doctrine is presented and analyzed as a philosophical-theological theory that can be explicated and assessed using the concept of philosophical untranslatable(s), recently discovered and brought to the fore by the proponents of the “translational turn” in continental philosophy. It (...) is argued on the basis of careful study of Aquinas’ text that the notion of transubstantiation should be identified as a conceptual untranslatable. -/- Here the term “untranslatable” means a unique reinterpretation of Aristotelian language of being and change, which results in a conceptual innovation that has some inherent problems as well as creative and promising inventions. The usage of such a concept is justified by the fact that the reconceptualization that Aquinas did to a number of Peripatetic ideas creates a few untranslatable notions, which do not have much meaning outside the peculiarly Thomistic Latin vocabulary. Despite some criticisms they are not necessarily to be regarded as contradictions, but rather as thomistic untranslatables. (shrink)

Suppose that all non-qualitative facts are grounded in qualitative facts. I argue that this view naturally comes with a picture in which trans-world identity is indeterminate. But this in turn leads to either pervasive indeterminacy in the non-qualitative, or else contingency in what facts about modality and possible worlds are determinate.

This study is dedicated to the chapter Metaphysics My 10, which, in my opinion, represents an example of basic research as regards Aristotle’s ontological investigations. The aim of my analysis is to point out that the chapter constitutes a manifesto for a new ontology: this new ontology is Aristotle’s typological ontology. The main entities of the typological ontology are universals, on the one hand, and instantiations of universals, on the other hand. The ontological levels, to which these two kinds of (...) entities belong, are different from each other: therefore they must be kept rigorously separated from each other. The new ontology constitutes a clear opposition to the ontology of ideas. In my opinion Aristotle does not aim at eliminating universals from the range of the existing entities: At least the universals which correspond to biological kinds (such as „man“ or „animal“) and to all the properties connected to these biological kinds are real entities, even though they do not exist at the same level at which the level of the instantiations do. Aristotle’s aim is thus to assign universals and individuals to different realms of reality. The reality consists both of individuals and of universals: these kinds of entities occupy different realms of reality. (shrink)

José L. Zalabardo puts forward a new interpretation of central ideas in Wittgenstein's Tractatus Logico-Philosophicus concerning the structure of reality and our representations of it in thought and language. He presents the picture theory of propositional representation as Wittgenstein's solution to the problems that he had found in Bertrand Russell's theories of judgment. Zalabardo then attributes to Wittgenstein the view that facts and propositions are ultimate indivisible units, not the result of combining their constituents. This is Wittgenstein's solution to the (...) problem of the unity of facts and propositions. Finally, Zalabardo shows that Wittgenstein's views on the analysability of everyday propositions as truth functions of elementary propositions arise from his views on the epistemology of logic: this offers a new perspective on the nature of Tractarian analysis. (shrink)

This unique anthology of new, contributed essays offers a range of perspectives on various aspects of ontic vagueness. It seeks to answer core questions pertaining to onticism, the view that vagueness exists in the world itself. The questions to be addressed include whether vague objects must have vague identity, and whether ontic vagueness has a distinctive logic, one that is not shared by semantic or epistemic vagueness. The essays in this volume explain the motivations behind onticism, such as the plausibility (...) of mereological vagueness and indeterminacy in quantum mechanics and they offer various arguments both for and against ontic vagueness; onticism is also compared with other, competing theories of vagueness such as semanticism, the view that vagueness exists only in our linguistic representation of the world. Gareth Evans’s influential paper of 1978, “Can There Be Vague Objects?” gave a simple but cogent argument against the coherence of ontic vagueness. Onticism was subsequently dismissed by many. However, in recent years, researchers have become aware of the logical gaps in Evans’s argument and this has triggered a new wave of interest in onticism. Onticism is now widely regarded as at least a coherent view. Reflecting this growing consensus, the present anthology for the first time puts together essays that are focused on onticism and its various facets and it fills in the lacuna in the literature on vagueness, a much-discussed subject in contemporary philosophy. (shrink)

This paper offers a new perspective on the metaphysical doctrine of non-eliminative ontic structural realism by interpreting the relation of ontic dependence in terms of counterfactual identification rather than in terms of numerical identity/distinctness.

Can identity itself be vague? Can there be vague objects? Does a positive answer to either question entail a positive answer to the other? In this paper we answer these questions as follows: No, No, and Yes. First, we discuss Evans’s famous 1978 argument and argue that the main lesson that it imparts is that identity itself cannot be vague. We defend the argument from objections and endorse this conclusion. We acknowledge, however, that the argument does not by itself establish (...) either that there cannot be vague objects or that there cannot be identity statements that are indeterminate for ontic reasons. And we further acknowledge that it does not by itself establish that there cannot be identity statements that are indeterminate in virtue of the existence of vague objects. We then go on to argue that, despite this, one who believes in vague objects cannot endorse Evans’s argument. To establish this we offer supplementary arguments that show that if vague objects exist then identity is vague, and that if identity is vague then vague objects exist. Finally we draw attention to an argument parallel to that of Evans’s, but safer, which can be employed against the putative ontic indeterminacy in identity of vague objects which can be differentiated by identity-free properties. (shrink)

Most theorists treat the ‘relation’ of identity as being more fundamental (or basic) than the ‘relation’ of (numerical) difference. Herbert Hochberg suggests, instead, that difference is to be treated as basic. My goal in this paper is to answer two related questions. First, what is it for a theorist to treat difference or identity as basic? Second, which of these two ‘relations’ is to be treated as basic? I begin by outlining four reasons that one might be motivated to endorse (...) the view that difference is to be treated as basic. Based on these reasons, I distinguish three ways of conceiving of what is involved in treating difference as basic: one conception involves the reification of the relation of difference, whereas the other two do not. Finally, I consider the theoretical consequences, particularly as concerns ontological parsimony, of treating difference as basic in these ways. My ultimate position is that there is a sense in which the second question from above is wrongheaded: difference and identity are, so to speak, features of the same ‘ideological apparatus’ (namely, that of quantification), so there is no real decision to be made about which to treat as basic. If this is correct, then the consequences for a theory's ontological parsimony that result from treating difference, identity, or both as basic are just the same as those that issue from the employment of quantification within a theory – namely, one's theory thereby incurs an ontological commitment to things. (shrink)

The Principle of the Identity of Indiscernibles, according to which two objects are identical if they share all the same properties, has come in for much criticism. Michael Della Rocca has recently defended PII on the grounds that it is needed to forestall the possibility that where there appears to be only one object present, there is actually a multiplicity of exactly-overlapping such objects. Katherine Hawley has criticized this approach for violating a plausible “ground rule” in applying rules of indiscernibility (...) to questions of identity: where there is putative duplication, it must be qualitatively significant. Hawley further suggests that with this rule in hand, one can tell the difference between the presence of one and two indiscernible objects without recourse to either PII or brute, nonqualitative individuation. In this paper, I critically examine Hawley’s contention and find that her appeal to “qualitatively significant duplication” fails since its application to distinct indiscernibles involves a difference that is primarily quantitative anyway. The upshot is a different proposed set of “ground rules” for applying the criterion of qualitative difference when seeking a grounding or explanation for distinctness and identity. (shrink)

The paper responds to a common charge against constructivism about objects, the view that all objects are essentially socially constructed. The objection is that constructivism is false because there must exist unconstructed objects for there to be constructed objects. I contend that the worry is unsound because whatever exists fully independently of our activities cannot be an object.

One of the advantages of my account in the essay “Instantiation as Partial Identity” was capturing the contingency of instantiation—something David Armstrong gave up in his experiment with a similar view. What made the contingency possible for me was my own non-standard account of identity, complete with the apparatus of counts and aspects. The need remains to lift some obscurity from the account in order to display its virtues to greater advantage. To that end, I propose to respond to those (...) who have grappled with it in print. There are various criticisms by commentators: that it is rendered absurd by the transitivity of identity, that it makes instantiation necessary instead of contingent, that it is unclear what counts are, that aspects are simply tropes, that my view does not capture multiple location, that I make an unclear reference to a theory of composition as identity, that the account suffers from problems with polyadicity, and that it is not a realist account of universals after all. I give responses to these objections. (shrink)

Ted Sider argues that nihilism about objects is incompatible with the metaphysical possibility of gunk and takes this point to show that nihilism is flawed. I shall describe one kind of nihilism able to answer this objection. I believe that most of the things we usually encounter do not exist. That is, I take talk of macroscopic objects and macroscopic properties to refer to sets of fundamental properties, which are invoked as a matter of linguistic convention. This view is a (...) kind of nihilism : it rules out the existence of objects; that is, from an ontological point of view, there are no objects. But unlike the moderate nihilism of Mark Heller, Peter van Inwagen and Trenton Merricks that claims that most objects do not exist, I endorse a radical nihilism according to which there are no objects in the world, but only properties instantiated in spacetime. As I will show, radical nihilism is perfectly compatible with the metaphysical possibility of gunk. It is also compatible with the epistemic possibility that we actually live in a gunk world. The objection raised by Ted Sider only applies to moderate nihilism that admits some objects in its ontology. (shrink)

In order to avoid the problems faced by standard realist analyses of the “relation” of instantiation, Baxter and, following him, Armstrong each analyze the instantiation of a universal by a particular in terms of their partial identity. I introduce two related conceptions of partial identity, one mereological and one non-mereological, both of which require at least one of the relata of the partial identity “relation” to be complex. I then introduce a second non-mereological conception of partial identity, which allows for (...) both relata to be simple. I take these three conceptions to exhaust the plausible ways of construing two entities as being partially identical. I then argue that there is no analysis (including those offered by Baxter and Armstrong) of a universal and a particular as being partially identical consistent with any of these three conceptions that (i) is coherent, (ii) is consistently realist, (iii) does not lead to absurd consequences, and (iv) offers a “solution” to the problem of instantiation that avoids the problems with the other standard realist responses. In so arguing, I offer a criticism of the analysis of instantiation as partial identity that is independent of the standard criticism that it entails the necessity of predication. (shrink)