To appear in David Chalmers, Ryan Wasserman and David Manley, eds., Metametaphysics (OUP, 2009).

Software is a ubiquitous artifact, yet not much has been done to understand its ontological nature. There are a few accounts offered so far about the nature of software. I argue that none of those accounts give a plausible picture of the nature of software. I draw attention to the striking similarities between software and musical works. These similarities motivate to look more closely on the discussions regarding the nature of the musical works. With the lessons drawn from the ontology (...) of musical works I offer a novel account of the nature of software. In this account, software is an abstract artifact. I elaborate the conditions under which software comes into existence; how it persists; how and on which entities its existence depends. (shrink)

The distinction between a type and its tokens is a useful metaphysical distinction. In §1 it is explained what it is, and what it is not. Its importance and wide applicability in linguistics, philosophy, science and everyday life are briefly surveyed in §2. Whether types are universals is discussed in §3. §4 discusses some other suggestions for what types are, both generally and specifically. Is a type the sets of its tokens? What exactly is a word, a symphony, a species? (...) §5 asks what a token is. §6 considers the relation between types and their tokens. Do the type and all its tokens share the same properties? Must all the tokens be alike in some or all respects? §7 explains some problems for the view that types exist, and some problems for the view that they don't. §8 elucidates a distinction often confused with the type-token distinction, that between a type (or token) and an occurrence of it. It also discusses some problems that occurrences might be thought to give rise to, and one way to resolve them. (shrink)

The topic of this book is material objects. Like most interesting concepts, the concept of a material object is one without precise boundaries.

This chapter contains sections titled: A Range of Views Criteria of Assessment The Road to a Solution.

I argue that metaphysical views of material objects should be understood as 'packages', rather than individual claims, where the other parts of the package include how the theory addresses 'recalcitant data', and that when the packages meet certain general desiderata - which all of the currently competing views *can* meet - there is nothing in the world that could make one of the theories true as opposed to any of the others.

Persistence through time is like extension through space. A road has spatial parts in the subregions of the region of space it occupies; likewise, an object that exists in time has temporal parts in the various subregions of the total region of time it occupies. This view — known variously as four dimensionalism, the doctrine of temporal parts, and the theory that objects “perdure” — is opposed to “three dimensionalism”, the doctrine that things “endure”, or are “wholly present”.1 I will (...) attempt to resolve this dispute in favor of four dimensionalism by means of a novel argument based on considerations of vagueness. But before argument in this area can be productive, I believe we must become much clearer than is customary about exactly what the dispute is, for the usual ways of formulating the dispute are flawed, especially where three dimensionalism is concerned. (shrink)

Stephen Schiffer presents a groundbreaking account of meaning and belief, and shows how it can illuminate a range of crucial problems regarding language, mind, knowledge, and ontology. He introduces the new doctrine of 'pleonastic propositions' to explain what the things we mean and believe are. He discusses the relation between semantic and psychological facts, on the one hand, and physical facts, on the other; vagueness and indeterminacy; moral truth; conditionals; and the role of propositional content in information acquisition and explanation. (...) This radical new treatment of meaning will command the attention of everyone who works on fundamental questions about language, and will attract much interest from other areas of philosophy. (shrink)

If a spinning sphere casts a shadow, does the shadow also spin? This riddle is the point of departure for an investigation into the nature of shadow movement. A general theory of motion will encompass all moving things, not just physical objects. Ultimately, I argue that round shadows do indeed spin. Shadows are followers of the objects that cast them. Parts of the shadow correspond to parts of the leader, so motion of the caster's parts accounts for motions of the (...) shadow's parts. I conclude with a discussion of how the dynamic aspects of shadows impose subtle constraints on other puzzles about shadows. (shrink)

In this paper, I motivate the view that quantitative parsimony is a theoretical virtue: that is, we should be concerned not only to minimize the number of kinds of entities postulated by our theories (i. e. maximize qualitative parsimony), but we should also minimize the number of entities postulated which fall under those kinds. In order to motivate this view, I consider two cases from the history of science: the postulation of the neutrino and the proposal of Avogadro's hypothesis. I (...) also consider two issues concerning how a principle of quantitative parsimony should be framed. (shrink)

Objects and Persons presents an original theory about what kinds of things exist. Trenton Merricks argues that there are no non-living inanimate macrophysical objects -- no statues or rocks or chairs or stars -- because they would have no causal role over and above the causal role of their microphysical parts. Humans do exist: we have non-redundant causal powers. Along the way, Merricks has interesting things to say about mental causation, free will, and various philosophical puzzles. Anyone working in metaphysics (...) will enjoy this lucid and provocative book. (shrink)

I argue that extended simples are possible. The argument given here parallels an argument given elsewhere for the claim that the shape properties of material objects are extrinsic, not intrinsic as is commonly supposed. In the final section of the paper, I show that if the shape properties of material objects are extrinsic, the most popular argument against extended simples fails.

Various criticisms have been brought against a Platonistic construal of the musical work: that is, against the view that the musical work is a universal or kind or type, of which the performances are instances or tokens. Some of these criticisms are: (1) that musical works possess perceptual properties and universals do not; (2) that musical works are created and universals cannot be; (3) that universals cannot be destroyed and musical works can; (4) that parts of tokens of the same (...) type can be interchanged and still yield tokens of that type, whereas we cannot interchange parts of performances of the same work and still get performances of the work. Of these claims, (1) and (2) seem to be true, but are not incompatible with a Platonistic construal of the musical work, whereas (3) and (4) just seem to be false and, therefore, of no concern to the musical Platonist. (shrink)

Various criticisms have been brought against a Platonistic construal of the musical work: that is, against the view that the musical work is a universal or kind or type, of which the performances are instances or tokens. Some of these criticisms are: (1) that musical works possess perceptual properties and universals do not; (2) that musical works are created and universals cannot be; (3) that universals cannot be destroyed and musical works can; (4) that parts of tokens of the same (...) type can be interchanged and still yield tokens of that type, whereas we cannot interchange parts of performances of the same work and still get performances of the work. Of these claims, (1) and (2) seem to be true, but are not incompatible with a Platonistic construal of the musical work, whereas (3) and (4) just seem to be false and, therefore, of no concern to the musical Platonist. (shrink)

The purpose of this paper is to clarify what metaontological realism, as discussed in contemporary metaontological literature, amounts to. Although metaontological debates are of relatively long standing, the terms ‘realism’ and ‘anti‐realism’ have only recently come to be regularly applied to metaontological positions. The new usage is not fully stable. This paper aims to: (1) distinguish three key claims associated with the term ‘realism’ in metaontology, and give some initial reasons why it is important to be very clear about the (...) differences between these claims; (2) argue that the three ‘realist’ claims are independent of one other; and (3) argue that the label ‘ontological realism’ is best attached to just one of the three claims, namely the claim that the facts of ontology are objective. (shrink)

Parsimony is a virtue of empirical theories. Is it also a virtue of philosophical theories? I review four contemporary accounts of the virtue of parsimony in empirical theorizing, and consider how each might apply to two prominent appeals to parsimony in the philosophical literature, those made on behalf of physicalism and on behalf of nominalism. None of the accounts of the virtue of parsimony extends naturally to either of these philosophical cases. This suggests that in typical philosophical contexts, ontological simplicity (...) has no evidential value. (shrink)

Ontology is the philosophical discipline that tries to find out what there is: what entities make up reality, what is the stuff the world is made from? Thus, ontology is part of metaphysics, and in fact it seems to be about half of all of metaphysics. It tries to establish what (kinds of) things there are, the other half tries to find out what the (general) properties of these things are and what (general) relations they have to each other. Settling (...) questions in ontology would bring with it major progress in metaphysics. And it would bring with it major progress in a variety of areas in philosophy outside of metaphysics as well. Many philosophical debates outside of metaphysics are quite directly influenced by how things turn out in ontology. Whether or not there are certain entities will give rise to quite different answers in various philosophical debates. I would like to very briefly describe three debates where ontological questions play a central role. These debates are either directly from metaphysics or from other areas of philosophy and they will be of central importance throughout this paper. (shrink)

Crawford Elder’s Real Natures and Familiar Objects promises to give naturalistically inclined metaphysicians reason to accept an ontology that includes many common sense objects, including persons, organisms, and at least many artifacts, behaviors, customs, and so on. This is a brave book, running against the current of trends towards austerity in ontology, tackling centuries old problems about how modal facts may be empirically discovered, and defending a commonsense ontology from a strictly naturalistic approach rather than via traditional appeals to ordinary (...) language or common sense. (shrink)

There is currently an explosion of interest in grounding. In this article we provide an overview of the debate so far. We begin by introducing the concept of grounding, before discussing several kinds of scepticism about the topic. We then identify a range of central questions in the theory of grounding and discuss competing answers to them that have emerged in the debate. We close by raising some questions that have been relatively neglected but which warrant further attention.

Works of music do not appear to be concrete objects; but they do appear to be created by composers, and abstract objects do not seem to be the kind of things that can be created. In this paper I aim to develop an ontological position that lets us salvage the creativity intuition without either adopting an ontology of created abstracta or identifying musical works with concreta. I will argue that there are no musical works in our ontology, but nevertheless the (...) English sentences we want to hold true are literally true. I rely on a meta-ontological view whereby ‘a exists’ can be true without committing us to an entity that is a. This meta-ontological view is illustrated by its application to the familiar example of the statue and the clay. I argue that my account of musical ontology fares better on the balance of costs and benefits than its rivals. (shrink)

In _Real Natures and Familiar Objects_ Crawford Elder defends, with qualifications, the ontology of common sense. He argues that we exist -- that no gloss is necessary for the statement "human beings exist" to show that it is true of the world as it really is -- and that we are surrounded by many of the medium-sized objects in which common sense believes. He argues further that these familiar medium-sized objects not only exist, but have essential properties, which we are (...) often able to determine by observation. The starting point of his argument is that ontology should operate under empirical load -- that is, it should give special weight to the objects and properties that we treat as real in our best predictions and explanations of what happens in the world. Elder calls this presumption "mildly controversial" because it entails that arguments are needed for certain widely assumed positions such as "mereological universalism". Elder begins by defending realism about essentialness. He then defends this view of familiar objects against causal exclusion arguments and worries about vagueness. Finally, he argues that many of the objects in which common sense believes really exist, including artifacts and biological devices shaped by natural selection, and that we too exist, as products of natural selection. (shrink)

First published in 1971, Professor Putnam's essay concerns itself with the ontological problem in the philosophy of logic and mathematics - that is, the issue of whether the abstract entities spoken of in logic and mathematics really exist. He also deals with the question of whether or not reference to these abstract entities is really indispensible in logic and whether it is necessary in physical science in general.

Gardeners, poets, lovers, and philosophers are all interested in the redness of roses; but only philosophers wonder how it is that two different roses can share the same property. Are red things red because they resemble each other? Or do they resemble each other because they are red? Since the 1970s philosophers have tended to favour the latter view, and held that a satisfactory account of properties must involve the postulation of either universals or tropes. But Gonzalo Rodriguez-Pereyra revives the (...) dormant alternative theory of resemblance nominalism, showing first that it can withstand the attacks of such eminent opponents as Goodman and Armstrong, and then that there are reasons to prefer it to its rival theories. The clarity and rigour of his arguments will challenge metaphysicians to rethink their views on properties. (shrink)

draft, forthcoming Chalmers, Manley and Wasserman eds., Metametaphysics.

This paper presents a systematic challenge to the viability of revisionary metaphysics. The challenge is to provide epistemic grounds on which one might justifiably believe that a revisionary-metaphysical theory in some area is more likely to be true than its competitors. I argue that upon close examination, the main candidates for providing such grounds — empirical evidence, intuition, and the theoretical virtues — all turn out to be unsatisfactory.

The paper is an extended discussion of what I call the ‘dismissive attitude’ towards metaphysical questions. It has three parts. In the first part, I distinguish three quite different versions of dismissivism. I also argue that there is little reason to think that any of these positions is correct about the discipline of metaphysics as a whole; it is entirely possible that some metaphysical disputes should be dismissed and others should not be. Doing metametaphysics properly requires doing metaphysics first. I (...) then put two particular disputes on the table to be examined in the rest of the paper: the dispute over whether composite objects exist, and the dispute about whether distinct objects can be colocated. In the second part of the paper, I argue against the claim that these disputes are purely verbal disputes. In the third part of the paper, I present a new version of dismissivism, and argue that it is probably the correct view about the two disputes in question. They are not verbal disputes, and the discussion about them to date has not remotely been a waste of time. At this stage, however, our evidence has run out. I argue that neither side of either dispute is simpler than the other, and that the same objections in fact arise against both sides. (For example, the compositional nihilist does not in fact escape the problem of the many, and the one-thinger does not in fact escape the grounding problem.). (shrink)