The objects we encounter in ordinary life and scientific practice - cars, trees, people, houses, molecules, galaxies, and the like - have long been a fruitful source of perplexity for metaphysicians. The Structure of Objects gives an original analysis of those material objects to which we take ourselves to be committed in our ordinary, scientifically informed discourse. Koslicki focuses on material objects in particular, or, as metaphysicians like to call them "concrete particulars", i.e., objects which occupy a single region of (...) space-time at each time at which they exist and which have a certain range of properties that go along with space-occupancy, such as weight, shape, color, texture, and temperature. The Structure of Objects focuses in particular on the question of how the parts of such objects, assuming that they have parts, are related to the wholes which they compose. (shrink)

A systematic overview of modern metaphysics, A Survey of Metaphysics covers all of the most important topics in the field. It adopts the fairly traditional conception of metaphysics as a subject that deals with the deepest questions that can be raised concerning the fundamental structure of reality as a whole. The book is divided into six main sections that address the following themes: identity and change, necessity and essence, causation, agency and events, space and time, and universals and particulars. It (...) focuses on contemporary views and issues throughout, rather than on the history of metaphysics. (shrink)

The papers collected in this volume represent the main body of research arising from the International Munich Centenary Conference in 2001, which commemorated ...

Substance has been a leading idea in the history of Western philosophy. _Joshua Hoffman and Gary S. Rosenkrantz_ explain the nature and existence of individual substances, including both living things and inanimate objects. Specifically written for students new to this important and often complex subject, _Substance_ provides both the historical and contemporary overview of the debate. Great Philosophers of the past, such as Aristotle, Descartes, Spinoza, Leibnitz, Locke, and Berkeley were profoundly interested in the concept of substance. And, the authors (...) argue, a belief in the existence of substances is an integral part of our everyday world view. But what constitutes substance? Was Aristotle right to suggest that artefacts like tables and ships don't really exist? _Substance: Its Nature and Existence_ is one of the first non-technical, accessible guides to this central problem and will be of great use to students of metaphysics and philosophy. (shrink)

This provocative book attempts to resolve traditional problems of identity over time. It seeks to answer such questions as 'How is it that an object can survive change?' and 'How much change can an object undergo without being destroyed'? To answer these questions Professor Heller presents a theory about the nature of physical objects and about the relationship between our language and the physical world. According to his theory, the only actually existing physical entities are what the author calls 'hunks', (...) four-dimensional objects extending across time and space. This is a major contribution to ontological debate and will be essential reading for all philosophers concerned with metaphysics. (shrink)

Why is there something rather than nothing? Does God exist? Does time flow? What are we? Do we have free will? What is truth? Metaphysics is concerned with ourselves and reality, and the most fundamental questions regarding existence. This clear and accessible introduction covers the central topics in metaphysics in a concise but comprehensive way. Brian Garrett discusses the crucial concepts in a highly readable manner, easing the reader in with a look at some important philosophical problems. He addresses key (...) areas of metaphysics: God Existence Modality Universals and particulars Facts Paradoxes of material constitution Causation Time Free will Personal identity Truth. This second edition has been thoroughly revised. Most chapters include substantial amounts of new material, and there are additional chapters on Existence, Modality, Facts and Paradoxes of Material Constitution. _What is this thing called Metaphysics?_ contains many helpful student-friendly features. Each chapter concludes with a useful summary of the main ideas discussed, a glossary of important terms, study questions, annotated further reading, and a guide to web resources. Text boxes provide bite-sized summaries of key concepts and major philosophers, and clear and interesting examples are used throughout. (shrink)

Space, Time, and Stuff is an attempt to show that physics is geometry: that the fundamental structure of the physical world is purely geometrical structure. Along the way, he examines some non-standard views about the structure of spacetime and its inhabitants, including the idea that space and time are pointless, the idea that quantum mechanics is a completely local theory, the idea that antiparticles are just particles travelling back in time, and the idea that time has no structure whatsoever. The (...) main thrust of the book, however, is that there are good reasons to believe that spaces other than spacetime exist, and that it is the existence of these additional spaces that allows one to reduce all of physics to geometry. Philosophy, and metaphysics in particular, plays an important role here: the assumption that the fundamental laws of physics are simple in terms of the fundamental physical properties and relations is pivotal."--P. [4] of cover. (shrink)

The only anthology available on material constitution, this book collects important recent work on well known puzzles in metaphysics and philosophy of mind. The extensive, clearly written introduction helps to make the essays accessible to a wide audience.

NOWADAYS, even schoolchildren babble about "null sets" and "singletons" and "one-one correspondences," as if they knew what they were talking about. But if they understand even less than their teachers, which seems likely, they must be using the technical jargon with only an illusion of understanding. Beginners are taught that a set having three members is a single thing, wholly constituted by its members but distinct from them. After this, the theological doctrine of the Trinity as "three in one" should (...) be child's play. (shrink)

ONE KIND OF PHILOSOPHICAL PUZZLEMENT arises when we have an apparent conflict of intuitions. If we are philosophers, we then try to show that the apparent conflict of intuitions is only an apparent conflict and not a real one. If we fail, we may have to say that what we took to be an apparent conflict of intuitions was in fact a conflict of apparent intuitions, and then we must decide which of the conflicting apparent intuitions is only an apparent (...) intuition. But if we succeed, then both of the intuitions will be preserved. Since there was an apparent conflict, we will have to conclude that the formulation of at least one of the intuitions was defective. And though the formulation may be imbedded in our ordinary language, we will have to say that, strictly and philosophically, a different formulation is to be preferred. But to make it clear that we are not rejecting the intuition we are reformulating, we must show systematically how to interpret the ordinary formulation into the philosophical one. The extent to which we can show this will be one mark of our success in dealing with the philosophical puzzle. Another will be the extent to which our proposed solution contributes to the solution of still other philosophical puzzles. (shrink)

In the paper Plantinga refers to, I had set forth three axioms for what I had called the strict and philosophical sense of the term "part," or "proper part." These axioms tell us, in effect, that the expression "x is an S-part of y" expresses a relation that is transitive, asymmetric, and such that x bears it to y at all times that y exists. The latter clause may be put in Plantinga’s terms by saying "x bears it to y (...) at every time in every world in which y exists." Plantinga points out that there are several other relations that also have these properties, for example, the relation of proper set inclusion among sets of contingent objects. He asks, therefore, whether it is possible to supplement my three axioms in such a way that they single out properties that are peculiar to the relation of strict proper part. (shrink)

Ordinary English contains different forms of quantification over objects. In addition to the usual singular quantification, as in 'There is an apple on the table', there is plural quantification, as in 'There are some apples on the table'. Ever since Frege, formal logic has favored the two singular quantifiers ∀x and ∃x over their plural counterparts ∀xx and ∃xx (to be read as for any things xx and there are some things xx). But in recent decades it has been argued (...) that we have good reason to admit among our primitive logical notions also the plural quantifiers ∀xx and ∃xx. More controversially, it has been argued that the resulting formal system with plural as well as singular quantification qualifies as ‘pure logic’; in particular, that it is universally applicable, ontologically innocent, and perfectly well understood. In addition to being interesting in its own right, this thesis will, if correct, make plural quantification available as an innocent but extremely powerful tool in metaphysics, philosophy of mathematics, and philosophical logic. For instance, George Boolos has used plural quantification to interpret monadic second-order logic and has argued on this basis that monadic second-order logic qualifies as “pure logic.” Plural quantification has also been used in attempts to defend logicist ideas, to account for set theory, and to eliminate ontological commitments to mathematical objects and complex objects. (shrink)

Mereological nihilism says that there do not exist (in the fundamental sense) any objects with proper parts. A reason to accept it is that we can thereby eliminate 'part' from fundamental ideology. Many purported reasons to reject it - based on common sense, perception, and the possibility of gunk, for example - are weak. A more powerful reason is that composite objects seem needed for spacetime physics; but sets suffice instead.

he relationship between metaphysics and science has recently become the focus of increased attention. Ladyman and Ross, in particular, have accused even naturalistically inclined metaphysicians of pursuing little more than the philosophy of A-level chemistry and have suggested that analytic metaphysics should simply be discontinued. In contrast, we shall argue, first of all, that even metaphysics that is disengaged from modern science may offer a set of resources that can be appropriated by philosophers of physics in order to set physics (...) within an interpretational framework. Secondly, however, we shall urge that insofar as metaphysics is intended to be more than just a toolbox it needs to accommodate the implications of physics if many of its core claims are to be sustained. We shall illustrate this last point with a discussion of the nature of laws and modality in the context of modern physics. (shrink)

This paper defends 'plural reference', the view that definite plurals refer to several individuals at once, and it explores how the view can account for a range of phenomena that have been discussed in the linguistic literature.

In this work I first develop, motivate, and defend the view that mereological composition, the relation between an object and all its parts collectively, is a relation of identity. I argue that this view implies and hence can explain the logical necessity of classical mereology, the formal study of the part-whole relation. I then critically discuss four contemporary views of the same kind. Finally, I employ my thesis in a recent discussion of whether the world is fundamentally one in number.

According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel semantic account of plurals which dispenses with (...) plural properties and thus undermines the semantic argument in favor of the plural conception of reality. (shrink)

I have two main objectives. The first is to get a better understanding of what is at issue between friends and foes of higher-order quantification, and of what it would mean to extend a Boolos-style treatment of second-order quantification to third- and higherorder quantification. The second objective is to argue that in the presence of absolutely general quantification, proper semantic theorizing is essentially unstable: it is impossible to provide a suitably general semantics for a given language in a language of (...) the same logical type. I claim that this leads to a trilemma: one must choose between giving up absolutely general quantification, settling for the view that adequate semantic theorizing about certain languages is essentially beyond our reach, and countenancing an open-ended hierarchy of languages of ever ascending logical type. I conclude by suggesting that the hierarchy may be the least unattractive of the options on the table. (shrink)

When do several objects compose a further object? The last twenty years have seen a great deal of discussion of this question. According to the most popular view on the market, there is a physical object composed of your brain and Jeremy Bentham’s body. According to the second-most popular view on the market, there are no such objects as human brains or human bodies, and there are also no atoms, rocks, tables, or stars. And according to the third-ranked view, there (...) are human bodies, but still no brains, atoms, rocks, tables, or stars. Although it’s pleasant to have so many crazy-sounding views around, I think it would also be nice to have a commonsense option available. The aim of this paper is to offer such an option. The approach I offer begins by considering a mereological question other than the standard one that has been the focus of most discussions in the literature. I try to show that the road to mereological sanity begins with giving the most straightforward and commonsensical answer to this other question, and then extending that answer to further questions about the mereology of physical objects. On the approach I am recommending, it turns out that all of the mereological properties and relations of physical objects are determined by their spatial properties and relations. (shrink)

Identity is arguably one of the most fundamental concepts in metaphysics. There are several reasons why this is the case: Identity is presupposed in every conceptual system: without identity, it is unclear that any conceptual system can be formulated. Identity is required to characterize an individual: nothing can be an individual unless it has well-specified identity conditions. Identity cannot be defined: even in systems that allegedly have the resources to define identity. Identity is required for quantification: the intelligibility of quantification (...) presupposes the identity of the objects that are quantified over. These are only four considerations in support of identity's fundamental role. In this paper, I examine and defend them. I then examine a challenge that has been raised against identity's fundamentality: one from the metaphysics of physics—based on a significant interpretation of non-relativist quantum mechanics—according to which certain quantum particles lack identity conditions. After responding to this challenge, I consider the nature of the commitment to identity, and argue that it turns out to be very minimal. In fact, a very deflationary form of metaphysics can accommodate it. In arguing that identity is fundamental, one need not overstep the boundaries of even a very minimal empiricist metaphysics. Or so I argue. (shrink)

Why might someone consider the answer to the titular question to be trivial? Perhaps because she has read some mereology and understands that mereologists distinguish between parthood on the one hand and proper parthood on the other. She understands that, at least when talking in the language of mereology, a thing is necessarily not a proper part of itself, but is necessarily a part of itself. Whether the English word “part” expresses parthood or proper parthood does not seem too important, (...) seeing as either can be taken as primitive and one defined in terms of the other. Thus, whether something is part of itself or not is indeed a trivial matter of definition. If by “part” one means parthood, everything is part of itself. If by “part” one means proper parthood, nothing is part of itself. (shrink)

Following Wiggins’ seminal article, On Being in the Same Place at the Same Time, this article presents the first comprehensive account of the relation of material constitution, an asymmetrical, transitive relation which totally orders distinct ‘entities’ (individuals, pluralities or masses of stuff) which ‘spatially coincide.’ Their coincidence in space is explained by a recursive definition of ‘complete-composition’, weaker than strict mereological indiscernibility, which also explains the variety of logically independent similarities in such cases. This account is ‘analytical’, dealing with ‘putative’ (...) cases in general. The main strategy is to rationally reconstruct Aristotle’s notion of material cause. It is developed more fully with a theory of how to justify admitting generable and perishable things into the natural world, in The Kinds of Things: A Theory of Personal Identity Based on Transcendental Argument (Open Court, 1996). (shrink)

Region R Question: How many objects — entities, things — are contained in R? Ignore the empty space. Our question might better be put, 'How many material objects does R contain?' Let's stipulate that A, B and C are metaphysical atoms: absolutely simple entities with no parts whatsoever besides themselves. So you don't have to worry about counting a particle's top half and bottom half as different objects. Perhaps they are 'point-particles', with no length, width or breadth. Perhaps they are (...) extended in space without possessing spatial parts (if that is possible). Never mind. We stipulate that A, B and C are perfectly simple. We also stipulate that they are connected as follows. A and B are stuck together in such a way that when a force is applied to one of them, they move together 'as a unit'. Moreover, the two of them together exhibit behavior that neither would exhibit on its own — Perhaps they emit a certain sound, or glow in the dark — whereas C is.. (shrink)

A distinction is introduced between itemized and non-itemized plural predication. It is argued that a full-fledged system of plural logic is not necessary in order to account for the validity of inferences concerning itemized collective predication. Instead, it is shown how this type of inferences can be adequately dealt with in a first-order logic system, after small modifications on the standard treatment. The proposed system, unlike plural logic, has the advantage of preserving completeness. And as a result, inferences such as (...) ‘Dick and Tony emptied the bottle, hence Tony and Dick emptied the bottle’ are shown to be first-order. (shrink)