In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

In his last book, David Armstrong sets out his metaphysical system in a set of concise and lively chapters each dealing with one aspect of the world. He begins with the assumption that all that exists is the physical world of space-time. On this foundation he constructs a coherent metaphysical scheme that gives plausible answers to many of the great problems of metaphysics. He gives accounts of properties, relations, and particulars; laws of nature; modality; abstract objects such as numbers; and (...) time and mind. (shrink)

According to standard, pre-philosophical intuitions, there are many composite objects in the physical universe. There is, for example, my bicycle, which is composed of various parts - wheels, handlebars, molecules, atoms, etc. Recently, a growing body of philosophical literature has concerned itself with questions about the nature of composition.1 The main question that has been raised about composition is, roughly, this: Under what circumstances do some things compose, or add up to, or form, a single object? It turns out that (...) it is surprisingly difficult to give a satisfactory answer to this question that accords with standard, pre-philosophical intuitions about the universe's composite objects. In fact, the three rival views in response to this question that have received the most support in the literature are (i) that there are no objects composed of two or more parts (which means that there are no stars, chairs, humans, or bicycles);2 (ii) that the only objects composed of two or more parts are living organisms (which still means no stars. (shrink)

What ontology does realism about the quantum state suggest? The main extant view in contemporary philosophy of physics is wave-function realism . We elaborate the sense in which wave-function realism does provide an ontological picture, and defend it from certain objections that have been raised against it. However, there are good reasons to be dissatisfied with wave-function realism, as we go on to elaborate. This motivates the development of an opposing picture: what we call spacetime state realism , a view (...) which takes the states associated to spacetime regions as fundamental. This approach enjoys a number of beneficial features, although, unlike wave-function realism, it involves non-separability at the level of fundamental ontology. We investigate the pros and cons of this non-separability, arguing that it is a quite acceptable feature, even one which proves fruitful in the context of relativistic covariance. A companion paper discusses the prospects for combining a spacetime-based ontology with separability, along lines suggested by Deutsch and Hayden. (shrink)

Ontological Pluralism is the view that there are different modes, ways, or kinds of being. In this paper, I characterize the view more fully (drawing on some recent work by Kris McDaniel) and then defend the view against a number of arguments. (All of the arguments I can think of against it, anyway.).

Although the relationship of part to whole is one of the most fundamental there is, this is the first full-length study of this key concept. Showing that mereology, or the formal theory of part and whole, is essential to ontology, Simons surveys and critiques previous theories--especially the standard extensional view--and proposes a new account that encompasses both temporal and modal considerations. Simons's revised theory not only allows him to offer fresh solutions to long-standing problems, but also has far-reaching consequences for (...) our understanding of a host of classical philosophical concepts. (shrink)

Exotic ontologies are all the rage. Distant from common sense and often science as well, views like mereological essentialism, nihilism, and fourdimensionalism appeal to our desire to avoid arbitrariness, anthropocentrism, and metaphysical conundrums.1 Such views are defensible only if they are materially adequate, only if they can “reconstruct” the world of common sense and science. (No disrespect to the heroic metaphysicians of antiquity, but this world is not just an illusion.) In the world of common sense and science, bicycles survive (...) changes in their parts, billiard balls strike one another, and nothing travels faster than light. The mereological essentialist denies the rst, but offers this replacement: “there exist successions of numerically distinct, but appropriately related, bicycles with different parts” (Chisholm, , chapter ). The nihilist denies the second, but offers this replacement: “there exist X s and Y s such that the X s are arranged billiard-ball-wise, the Y s are also arranged billiard-ball-wise, and the X s strike the Y s”.2 The four-dimensionalist denies the third, but offers this replacement: “no sequences of matter-stages that are related by genidentity travel faster than light”.3 There is room for disagreement over what exactly “reconstruction” amounts to, but at a minimum: when a metaphysical theory reconstructs ordinary sentences φ1. . . as replacement sentences ψ1. . . , ordinary and scienti c evidence must not refute the view that, strictly speaking, it is ψ1. . . rather than φ1. . . that are true. The metaphysician needs reconstruction in order to face the tribunal of experience. An intriguing newcomer to the contemporary scene is the ancient doctrine of monism, the claim that “reality is one”.4 I will argue that, contrary to.. (shrink)

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

Properties come in clusters. It seems impossible, for instance, that a mass could float free, unattached to any other property. David Armstrong takes this as a reductio of the bundle theory and an argument for substrata, while Peter Simons and Arda Denkel reply by supplementing the bundle theory with accounts of property interdependencies. I argue against both views. Virtually all plausible ontologies turn out to be committed to the existence of free masses.

Properties come in clusters. It seems impossible, for instance, that a mass could float free, unattached to any other property. David Armstrong takes this as a reductio of the bundle theory and an argument for substrata, while Peter Simons and Arda Denkel reply by supplementing the bundle theory with accounts of property interdependencies. I argue against both views. Virtually all plausible ontologies turn out to be committed to the existence of free masses. I develop and defend the view that the (...) clustering of properties is a mere contingent truth, on grounds that properties can be subtracted one‐by‐one. This opens the door not just to the (unsupplemented) bundle theory, but also to any plausible account of the relation between objects and properties. (shrink)

A tropel is a particular property: the redness of a rose, the roundness of the moon. It is generally supposed that tropes are individuated by primitive quantity: this redness, that roundness. I argme that the trope theorist is far better served by individuating tropes by spatiotemporal relation: here redness, there roundness. In short, tropes are not this-suches but here-suches.

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

Particle indistinguishability has always been considered a purely quantum mechanical concept. In parallel, indistinguishable particles have been thought to be entities that are not properly speaking objects at all. I argue, to the contrary, that the concept can equally be applied to classical particles, and that in either case particles may (with certain exceptions) be counted as objects even though they are indistinguishable. The exceptions are elementary bosons (for example photons).

I argue for a property mereology and for mereological bundle theory. I then apply this theory to the one over many problem (universals) and puzzles concerning persistence and material constitution.

I discuss puzzles involving coinciding material objects (such as statues and their constitutive lumps of clay) and propose solutions.

In this paper, I argue that the spatiotemporalist approach way of modeling the fundamental constituents, structure, and composition of the world has taken a wrong turn. Spatiotemporalist approaches to fundamental structure take the fundamental nature of the world to be spatiotemporal: they take the category of spatiotemporal to be fundamental. I argue that the debates over the nature of the fundamental space in the physics show us that (i) the fact that it is conceivable that the manifest world could be (...) exactly as it appears to us, even though spatiotemporal entities are not fundamental, means that a central premise of spatiotemporalism, that we may assume, given ordinary experience, that the world is fundamentally spatiotemporal, is false. (ii) Spatiotemporalism must be seen as a contingent, a posteriori physical truth. Finally, (iii) I argue that a metaphysically deeper conclusion follows from the debate over the nature of the fundamental space. The debate in physics over which sort of space is the fundamental space suggests that physicists have discovered that, even if a spacetime is an actual constituent of the world-space category, there is a world-space category that is more fundamental than the category of spacetime. (shrink)

A theory of the causal relate as aspects or property instances is developed. A supposed problem for transitivity is assessed and then resolved with aspects as the causal relata.

There are now several, realist versions of quantum mechanics on offer. On their most straightforward, ontological interpretation, these theories require the existence of an object, the wavefunction, which inhabits an extremely high-dimensional space known as configuration space. This raises the question of how the ordinary three-dimensional space of our acquaintance fits into the ontology of quantum mechanics. Recently, two strategies to address this question have emerged. First, Tim Maudlin, Valia Allori, and her collaborators argue that what I have just called (...) the ‘most straightforward’ interpretation of quantum mechanics is not the correct one. Rather, the correct interpretation of realist quantum mechanics has it describing the world as containing objects that inhabit the ordinary three-dimensional space of our manifest image. By contrast, David Albert and Barry Loewer maintain the straightforward, wavefunction ontology of quantum mechanics, but attempt to show how ordinary, three-dimensional space may in a sense be contained within the high-dimensional configuration space the wavefunction inhabits. This paper critically examines these attempts to locate the ordinary, three-dimensional space of our manifest image “within” the ontology of quantum mechanics. I argue that we can recover most of our manifest image, even if we cannot recover our familiar three-dimensional space. (shrink)

I demonstrate that the theory of persistence defended in Sider [2001] does not accommodate our intuitions about counting sentences. I develop two theories that improve on Sider's: a contextualist theory and an error theory. I argue that the latter is stronger, simpler, and better fitted to some important ordinary language judgments than rival four-dimensionalist theories of persistence.

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. (shrink)

Think of “locations” very abstractly, as positions in a space, any space. Temporal locations are positions in time; spatial locations are positions in (physical) space; particulars are locations in quality space. Should we reify locations? Are locations entities? Spatiotemporal relation- alists say there are no such things as spatiotemporal locations; the fundamental spatial and temporal facts involve no locations as objects, only the instantiation of spatial and temporal relations. The denial of locations in quality space is the bundle theory, according (...) to which particulars do not exist; facts apparently about particulars really concern relations between universals. A “space”, in our abstract sense, consists of a set of objects, together with properties and relations defined on those objects. The objects are the locations of the space, and the distribution of the properties and relations over the locations defines the space’s structure. All spaces are thus quality spaces; when the relations are thought of as spatiotemporal then the space is also a spatiotemporal space. By not reifying locations one denies that these abstract spaces isomorphically represent the real world. The real world does in some sense have a structure that can be non-isomorphically represented by a space (or, more likely, a class of spaces), but the locations in those spaces do not correspond to anything real. We will examine modal considerations on reifying locations. Denying the existence of spatiotemporal locations excludes certain possibilities for spatiotemporal reality. Denying the existence of qualitative locations excludes certain possibilities for qualitative space. In each case the excluded possibilities are pre-analytically possible. Some of the possibilities can be reinstated by modifying the locationless theories, but at the cost of an unattractive holism. Do these modal considerations mandate postulating locations? That depends on whether modal intuition can teach us about the actual world.. (shrink)

Putative counterexamples to the Principle of Identity of Indiscernibles (PII) are notoriously inconclusive. I establish ground rules for debate in this area, offer a new response to such counterexamples for friends of the PII, but then argue that no response is entirely satisfactory. Finally, I undermine some positive arguments for PII.

There is a standard view of relations, held by philosophers and logicians alike, according to which we may meaningfully talk of a relation holding of several objects in a given order. Thus it is supposed that we may meaningfully—indeed, correctly—talk of the relation loves holding of Anthony and Cleopatra or of the relation between holding of New York, Washington, and Boston. But innocuous as this view might appear to be, it cannot be accepted as applying to all relations whatever. For (...) there is an important class of metaphysical and linguistic contexts which call for an alternative conception of relation, one for which the order of the relata plays no role and in which the application of the relation to its relata is achieved by other means. (shrink)

Locke’s thesis states that no two things of the same sort can be in the same place at the same time. The thesis has recently received extensive discussion, with some philosophers attempting to find arguments in its favour and others attempting to provide counter-examples. However, neither the arguments nor the counter-examples have been especially convincing; and it is my aim, in this short note, to present what I believe is a more convincing counter-example to the thesis.

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

The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next twenty (...) or thirty years.' Timothy Williamson, Grazer Philosophische Studien. (shrink)

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

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)

The phenomenon of broken spacetime symmetry in the quantum theory of infinite systems forces us to adopt an unorthodox ontology. We must abandon the standard conception of the physical meaning of these symmetries, or else deny the attractive “liberal” notion of which physical quantities are significant. A third option, more attractive but less well understood, is to abandon the existing (Halvorson-Clifton) notion of intertranslatability for quantum theories.

In this volume, John Bacon argues that it is difficult to deny the existence of particularized properties and relations, which in modern philosophy are sometimes called `tropes'. In so doing, he advances a powerful and sophisticated metaphysical theory according to which both ordinary particulars and properties and relations are bundles of tropes.

In this short text, a distinguished philosopher turns his attention to one of the oldest and most fundamental philosophical problems of all: How it is that we are able to sort and classify different things as being of the same natural class? Professor Armstrong carefully sets out six major theories—ancient, modern, and contemporary—and assesses the strengths and weaknesses of each. Recognizing that there are no final victories or defeats in metaphysics, Armstrong nonetheless defends a traditional account of universals as the (...) most satisfactory theory we have.This study is written for advanced students, but as Armstrong goes considerably beyond his earlier work on this topic, it will interest professional scholars as well. Carefully plotted and clearly written, Universals is both a paradigm of exposition and a case study on the value of careful analysis of fundamental issues in philosophy. (shrink)

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

The authors of Austere Realism describe and defend a provocative ontological-cum-semantic position, asserting that the right ontology is minimal or austere, in that it excludes numerous common-sense posits, and that statements employing such posits are nonetheless true, when truth is understood to be semantic correctness under contextually operative semantic standards. Terence Horgan and Matjaz [hacek over z] Potrc [hacek over c] argue that austere realism emerges naturally from consideration of the deep problems within the naive common-sense approach to truth and (...) ontology. They offer an account of truth that confronts these deep internal problems and is independently plausible: contextual semantics, which asserts that truth is semantically correct affirmability. Under contextual semantics, much ordinary and scientific thought and discourse is true because its truth is indirect correspondence to the world. After offering further arguments for austere realism and addressing objections to it, Horgan and Potrc [hacek over c] consider various alternative austere ontologies. They advance a specific version they call "blobjectivism"--the view that the right ontology includes only one concrete particular, the entire cosmos, which, although it has enormous local spatiotemporal variability, does not have any proper parts. The arguments in Austere Realism are powerfully made and concisely and lucidly set out. The authors' contentions and their methodological approach--products of a decade-long collaboration--will generate lively debate among scholars in metaphysics, ontology, and philosophy. Terence E. Horgan is Professor of Philosophy at the University of Arizona. Matjaz [hacek over z] Potrc [hacek over c] is Professor of Philosophy at the University of Ljubljana. (shrink)

A provocative ontological-cum-semantic position asserting that the right ontology is austere in its exclusion of numerous common-sense and scientific posits and that many statements employing such posits are nonetheless true. The authors of Austere Realism describe and defend a provocative ontological-cum-semantic position, asserting that the right ontology is minimal or austere, in that it excludes numerous common-sense posits, and that statements employing such posits are nonetheless true, when truth is understood to be semantic correctness under contextually operative semantic standards. Terence (...) Horgan and Matjaz Potrc argue that austere realism emerges naturally from consideration of the deep problems within the naive common-sense approach to truth and ontology. They offer an account of truth that confronts these deep internal problems and is independently plausible: contextual semantics, which asserts that truth is semantically correct affirmability. Under contextual semantics, much ordinary and scientific thought and discourse is true because its truth is indirect correspondence to the world. After offering further arguments for austere realism and addressing objections to it, Horgan and Potrc consider various alternative austere ontologies. They advance a specific version they call "blobjectivism"--the view that the right ontology includes only one concrete particular, the entire cosmos, which, although it has enormous local spatiotemporal variability, does not have any proper parts. The arguments in Austere Realism are powerfully made and concisely and lucidly set out. The authors' contentions and their methodological approach--products of a decade-long collaboration--will generate lively debate among scholars in metaphysics, ontology, and philosophy. (shrink)