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)

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.

This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

One of the central questions of material-object metaphysics is which highly visible objects there are right before our eyes. Daniel Z. Korman defends a conservative view, according to which our ordinary, natural judgments about which objects there are are more or less correct. He begins with an overview of the arguments that have led people away from the conservative view, into revisionary views according to which there are far more objects than we ordinarily take there to be or far fewer. (...) Korman criticizes a variety of compatibilist strategies, according to which these revisionary views are actually compatible with our ordinary beliefs. He goes on to respond to debunking arguments; objections that the conservative's verdicts about which objects that are and aren't are objectionably arbitrary; the argument from vagueness; the overdetermination argument; the argument from material constitution; and the problem of the many. (shrink)

The article introduces and defends the Nomological Account of ground, a reductive account of the notion of metaphysical explanation in terms of the laws of metaphysics. The paper presents three desiderata that a theory of ground should meet: it should explain the modal force of ground, the generality of ground, and the interplay between ground and certain mereological notions. The bulk of the paper develops the Nomological Account and argues that it meets the three desiderata. The Nomological Account relies on (...) two central notions: the notion of a ‘law of metaphysics’ and the notion of ‘determination via the laws’. The paper offers the constructional conception of the laws of metaphysics, on which the metaphysical laws are general principles that characterize construction–operations such as composition, constitution, or set-formation. The role of determination in the account is explained and some reductive approaches to the notion are sketched. The case for the Nomological Account presented in this article is also a case for the laws of metaphysics. Since the Nomological Account offers a promising approach to metaphysical explanation we should take the laws of metaphysics seriously. (shrink)

Boris Kment takes a new approach to the study of modality that emphasises the origin of modal notions in everyday thought. He argues that the concepts of necessity and possibility originate in counterfactual reasoning, which allows us to investigate explanatory connections. Contrary to accepted views, explanation is more fundamental than modality.

The statue and the lump of clay that constitutes it fail to share all of their kind and modal properties. Therefore, by Leibniz’s Law, the statue is not the lump. Question: What grounds the kind and modal differences between the statue and the lump? In virtue of what is it that the lump of clay, but not the statue, can survive being smashed? This is the grounding problem. Now a number of solutions to the grounding problem require that we substantially (...) revise our view of reality. In this paper, I provide a solution to this problem that does not require such a revision. I then show how my solution to the grounding problem can solve a related problem and answer a related question. The upshot is that the solution I offer is not only non-revisionary, but also fruitful. (shrink)

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

A number of philosophers have recently become receptive to the idea that, in addition to scientific or causal explanation, there may be a distinctive kind of metaphysical explanation, in which explanans and explanandum are connected, not through some sort of causal mechanism, but through some constitutive form of determination. I myself have long been sympathetic to this idea of constitutive determination or ‘ontological ground’; and it is the aim of the present paper to help put the idea on a firmer (...) footing - to explain how it is to be understood, how it relates to other ideas, and how it might be of use in philosophy. (shrink)

Argument that full grounds modally entail what they ground.

C endorses the doctrine of Composition as Identity, which holds that a composite object is identical to its many parts, and entails that one object can be identical to several others. In this dialogue, N argues that many‐one identity, and thus composition as identity, is conceptually confused. In particular, N claims it violates two conceptual truths: that existence facts fix identity facts, and that identity is no addition to being. In response to pressure from C, N considers several candidate interpretations (...) of the first slogan. Each interpretation imagines God issuing a divine existential decree that counts as ‘fixing the existence facts’, and then considers what questions about identity are left open by it. N eventually hits on an appealing interpretation of the slogan that C can neither undermine nor accommodate, and uses it to interpret the second slogan as well. (shrink)

This book offers a defence of mathematical fictionalism, according to which we have no reason to believe that there are any mathematical objects. Perhaps the most pressing challenge to mathematical fictionalism is the indispensability argument for the truth of our mathematical theories (and therefore for the existence of the mathematical objects posited by those theories). According to this argument, if we have reason to believe anything, we have reason to believe that the claims of our best empirical theories are (at (...) least approximately) true. But since claims whose truth would require the existence of mathematical objects are indispensable in formulating our best empirical theories, it follows that we have good reason to believe in the mathematical objects posited by those mathematical theories used in empirical science, and therefore to believe that the mathematical theories utilized in empirical science are true. Previous responses to the indispensability argument have focused on arguing that mathematical assumptions can be dispensed with in formulating our empirical theories. This book, by contrast, offers an account of the role of mathematics in empirical science according to which the successful use of mathematics in formulating our empirical theories need not rely on the truth of the mathematics utilized. (shrink)

In order to perfectly describe the world, it is not enough to speak truly. One must also use the right concepts - including the right logical concepts. One must use concepts that "carve at the joints", that give the world's "structure". There is an objectively correct way to "write the book of the world". Much of metaphysics, as traditionally conceived, is about the fundamental nature of reality; in the present terms, this is about the world's structure. Metametaphysics - inquiry into (...) the status of metaphysical questions - turns on structure. The question of whether ontological, causal, or modal questions are "substantive" is in large part a question of whether the world has ontological, causal, and modal structure - whether quantifiers, causal relations, and modal operators carve at the joints. (shrink)

The connection between whole and part is intimate: not only can we share the same space, but I’m incapable of leaving my parts behind; settle the nonmereological facts and you thereby settle what is a part of what; wholes don’t seem to be an additional ontological commitment over their parts. Composition as identity promises to explain this intimacy. But it threatens to make the connection too intimate, for surely the parts could have made a different whole and the whole have (...) had different parts. In this paper I attempt to offer an account of parthood that is intimate enough but not too intimate: the parts generate the whole, but they are not themselves the whole. (shrink)

Many of us think that ordinary objects – such as tables and chairs – exist. We also think that ordinary objects have parts: my chair has a seat and some legs as parts, for example. But once we are committed to the (seemingly innocuous) thesis that ordinary objects are composed of parts, we then open ourselves up to a whole host of philosophical problems, most of which center on what exactly this composition relation is. Composition as Identity (CI) is the (...) view that the composition relation is the identity relation. While such a view has some advantages, there are many arguments against it. In this essay, I discuss several versions of the most common objection against CI, and show how the CI theorist can maintain that these arguments – contrary their initial intuitive appeal – are nonetheless unsound. (shrink)

SummaryI discuss a simple case in which theories with different ontologies appear equally adequate in every way. . I contend that the appearance of equal adequacy is correct, and that what this shows is that the notion of “existence” has a variety of different but legitimate uses. I also argue that this provides a counterexample to the claim advanced by Davidson, that conceptual relativity is incoherent.RésuméJe discute un cas simple où des théories comportant des ontologies différentes apparaissent également adéquates à (...) tout point de vue. . Je prétends que ľapparence ?on;égale adéquation est correcte et ceci montre que la notion ?on;existence a plusieurs sens différents, mais également légitimes. Je montre aussi que cela constitue un contre‐exemple à la thèse avancée par Davidson, selon laquelle la relativité con‐ceptuelle est incoherénte.ZusammenfassungIch diskutiere einen einfachen Fall, wo Theorien mit verschiedenen Ontologien in jeder Beziehung als gleich adäquat erscheinen. . Ich behaupte, dass die Ansicht, wonach gleiche Adäquatheit bestehen soil, korrekt ist und dass entsprechend der Begriff der Existenz mehrere verschiedene Verwendungs‐weisen hat, die alle legitim sind. Ich argumentiere, dass damit ein Gegenbeispiel zu Davidsons Auffassung vorliegt, wonach die These der begrifflichen Relativität inkohärent sein soil. (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.

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?

Two things become one thing, something having parts, and something becoming something else, are cases of many things being identical with one thing. This apparent contradiction introduces others concerning transitivity of identity, discernibility of identicals, existence, and vague existence. I resolve the contradictions with a theory that identity, number, and existence are relative to standards for counting. What are many on some standard are one and the same on another. The theory gives an account of the discernibility of identicals using (...) phrases like “insofar as”. And it holds that standards for counting remain or shift depending on our purposes. (shrink)

Consider the kinds of macroscopic concrete objects that common sense and the sciences allege to exist: tables, raindrops, tectonic plates, galaxies, and the rest. Are there any such things? Opinions differ. Ontological liberals say they do; ontological radicals say they don't. Liberalism seems favored by its plausible acquiescence to the dictates of common sense abetted by science; radicalism by its ontological parsimony. Priority theorists claim we can have the virtues of both views. They hold that tables, raindrops, etc., exist, but (...) they aren't fundamental. The ontological liberal's ontology provides the correct inventory of existent individuals. The ontological radical's more restricted ontology provides the correct inventory of fundamental individuals. The priority theorist claims that the derivative individuals are "no addition in being" to the fundamental ones, so we can have our cake and eat it too. It would be nice if priority theorists were right. In this paper I argue, with regret, that they are not. One upshot is that the sort of explanations which underwrite the priority theorist's distinction between fundamental and derivative individuals do not mitigate our ontological commitments. Another is that we still have to choose between the charms of liberalism and radicalism. (shrink)

Develops a structuralist understanding of mathematics, as an alternative to set- or type-theoretic foundations, that respects classical mathematical truth while ...

Arguments that ordinary inanimate objects such as tables and chairs, sticks and stones, simply do not exist have become increasingly common and increasingly prominent. Some are based on demands for parsimony or for a non-arbitrary answer to the special composition question; others arise from prohibitions against causal redundancy, ontological vagueness, or co-location; and others still come from worries that a common sense ontology would be a rival to a scientific one. Until now, little has been done to address these arguments (...) in a unified and systematic way. Ordinary Objects is designed to fill this gap, demonstrating that the mistakes behind all of these superficially diverse eliminativist arguments may be traced to a common source. It aims to develop an ontology of ordinary objects subject to no such problems, providing perhaps the first sustained defense of a common sense ontology in two generations. The work done along the way addresses a number of major issues in philosophy of language and metaphysics, contributing to debates about analyticity, identity conditions, co-location and the grounding problem, vagueness, overdetermination, parsimony, and ontological commitment. In the end, the most important result of addressing these eliminativist arguments is not merely avoiding their conclusions; examining their failings also gives us reason to suspect that many apparent disputes in ontology are pseudo-debates. For it brings into question widely-held assumptions about which uses of metaphysical principles are appropriate, which metaphysical demands are answerable, and how we should go about addressing such fundamental questions as "What exists?". As a result, the work of Ordinary Objects promises to provide not only the route to a reflective understanding of our unreflective common-sense view, but also a better understanding of the proper methods and limits of metaphysics. (shrink)

In this much-anticipated book, Jonathan Dancy offers the only available full-scale treatment of particularism in ethics, a view with which he has been associated for twenty years. Dancy now presents particularism as the view that the possibility of moral thought and judgement does not in any way depend on an adequate supply of principles. He grounds this claim on a form of reasons-holism, holding that what is a reason in one case need not be any reason in another, and maintaining (...) that moral reasons are no different in this respect from others. Ethics Without Principles offers detailed treatment and criticism of opposing positions of all sorts, with useful summaries. It also contains three chapters on the nature of what Dancy calls 'contributory' reasons, which, though the topic of much interest at the moment, are not often discussed in anything like the detail given here. And it offers a distinctive form of value-holism to go with the holism of reasons. As Dancy's definitive statement on particularism, the book will be required reading for all those working on moral philosophy and ethical theory. (shrink)

Logic begins but does not end with the study of truth and falsity. Within truth there are the modes of truth, ways of being true: necessary truth and contingent truth. When a proposition is true, we may ask whether it could have been false. If so, then it is contingently true. If not, then it is necessarily true; it must be true; it could not have been false. Falsity has modes as well: a false proposition that could not have been (...) true is impossible or necessarily false; one that could have been true is merely contingently false. The proposition that some humans are over seven feet tall is contingently true; the proposition that all humans over seven feet tall are over six feet tall is necessarily true; the proposition that some humans are over seven feet tall and under six feet tall is impossible, and the proposition that some humans are over nine feet tall is contingently false. Of these four modes of truth, let us focus on necessity, plus a fifth: possibility. A proposition is possible if it is or could have been true; hence propositions that are either necessarily true, contingently true, or contingently false are possible. Notions that are similar to the modes of truth in being concerned with what might have been are called modal. Dispositions are modal notions, for example the disposition of fragility. Relatedly, there are counterfactual conditionals, for example “if this glass were dropped, it would break.” And the notion of supervenience is modal.1 But let us focus here on necessity and possibility. Modal words are notoriously ambiguous (or at least context-sensitive2). I may reply to an invitation to give a talk in England by saying “I can’t come; I have to give a talk in California the day before”. This use of “can’t” is perfectly appropriate. But it would be equally appropriate for me to say that I could cancel my talk in California (although that would be rude) and give the talk in England instead. What I cannot do is give both talks.. (shrink)

In this age of post-Moorean modesty, many of us are inclined to doubt that philosophy is in possession of arguments that might genuinely serve to undermine what we ordinarily believe. It may perhaps be conceded that the arguments of the skeptic appear to be utterly compelling; but the Mooreans among us will hold that the very plausibility of our ordinary beliefs is reason enough for supposing that there must be something wrong in the skeptic’s arguments, even if we are unable (...) to say what it is. In so far then, as the pretensions of philosophy to provide a world view rest upon its.. (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)

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)

There will be a few themes. One to get us going: expansion versus contraction. About an object, o, and the region, R, of space(time) in which o is exactly located,1 we may ask: i) must there exist expansions of o: objects in filled superregions2 of R? ii) must there exist contractions of o: objects in filled subregions of..

‘‘Thus I believe that there is no part of matter which is not—I do not say divisible—but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.’’ (Leibniz, letter to Foucher).

Consider the skeptic about the external world. Let’s straightaway concede to such a skeptic that perception gives us no conclusive or certain knowledge about our surroundings. Our perceptual justification for beliefs about our surroundings is always defeasible—there are always possible improvements in our epistemic state which would no longer support those beliefs. Let’s also concede to the skeptic that it’s metaphysically possible for us to have all the experiences we’re now having while all those experiences are false. Some philosophers dispute (...) this, but I do not. The skeptic I want to consider goes beyond these familiar points to the much more radical conclusion that our perceptual experiences can’t give us any knowledge or even justification for believing that our surroundings are one way rather than another. (shrink)

Hud Hudson presents an innovative view of the metaphysics of human persons according to which human persons are material objects but not human organisms. In developing his account, he formulates and defends a unique collection of positions on parthood, persistence, vagueness, composition, identity, and various puzzles of material constitution. The author also applies his materialist metaphysics to issues in ethics and in the philosophy of religion. He examines the implications for ethics of his metaphysical views for standard arguments addressing the (...) moral permissibility of our treatment of human persons and their parts, fetuses and infants, the irreversibly comatose, and corpses. He argues that his metaphysics provides the best foundation in the philosophy of religion for the Christian doctrine of the resurrection of the body. Hudson addresses a broad range of metaphysical issues, but among his most strikingly original contributions are his defense of the "Partist" view and his argument for the compatibility of Christianity with a materialistic theory of human persons. (shrink)

According to Peter van Inwagen, visible inanimate objects do not, strictly speaking, exist. In defending this controversial thesis, he offers fresh insights on such topics as personal identity, commonsense belief, existence over time, the phenomenon of vagueness, and the relation between metaphysics and ordinary language.

This book does three main things. First, it defends mathematical platonism against the main objections to that view (most notably, the epistemological objection and the multiple-reductions objection). Second, it defends anti-platonism (in particular, fictionalism) against the main objections to that view (most notably, the Quine-Putnam indispensability objection and the objection from objectivity). Third, it argues that there is no fact of the matter whether abstract mathematical objects exist and, hence, no fact of the matter whether platonism or anti-platonism is true.

Our conception of logical space is the set of distinctions we use to navigate the world. Agustn Rayo argues that this is shaped by acceptance or rejection of 'just is'-statements: e.g. 'to be composed of water just is to be composed of H2O'. He offers a novel conception of metaphysical possibility, and a new trivialist philosophy of mathematics.

This paper argues that ground is irreducibly plural: a group of facts can be grounded together, as a collective, even though no member of the group has a ground on its own. This kind of plural grounding is applied to the metaphysics of individuals and quantities, yielding a “structuralist” view in each case. Some more general implications of plural grounding are also discussed.