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.

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)

Some philosophers respond to Leibniz’s “shift” argument against absolute space by appealing to antihaecceitism about possible worlds, using David Lewis’s counterpart theory. But separated from Lewis’s distinctive system, it is difficult to understand what this doctrine amounts to or how it bears on the Leibnizian argument. In fact, the best way of making sense of the relevant kind of antihaecceitism concedes the main point of the Leibnizian argument, pressing us to consider alternative spatiotemporal metaphysics.

A significant reorientation is currently under way in analytic metaphysics, away from an almost exclusive focus on questions of existence and towards a greater concentration on questions concerning the dependence of one type of phenomenon on another. Surprisingly, despite the central role dependence has played in philosophy since its inception, interest in a systematic study of this concept has only recently surged among contemporary metaphysicians. In this paper, I focus on a promising account of ontological dependence in terms of a (...) non-modal and sufficiently constrained conception of essence developed by Kit Fine. I argue that even this essentialist account is, as it stands, not fine-grained enough to recognize different varieties of dependence which ought to be distinguished even within the realm of ontology. In some cases, an entity may be ontologically dependent on its essential constituents out of which it is constructed; but in other cases, an entity may be ontologically dependent on another for a different reason. A framework which glosses over these differences does not offer a proper diagnosis of why one entity ontologically depends on another. (shrink)

Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.

Category mistakes are sentences such as 'Green ideas sleep furiously' or 'Saturday is in bed'. They strike us as highly infelicitous but it is hard to explain precisely why this is so. Ofra Magidor explores four approaches to category mistakes in philosophy of language and linguistics, and develops and defends an original, presuppositional account.

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it says there (...) aren't any genuine facts about individuals over and above their qualitative roles. (shrink)

On the now dominant Quinean view, metaphysics is about what there is. Metaphysics so conceived is concerned with such questions as whether properties exist, whether meanings exist, and whether numbers exist. I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. Metaphysics so revived does not bother asking whether properties, meanings, and numbers exist (of course they do!) The question is whether or not they are fundamental.

In my book Four-dimensionalism (chapter 4, section 9), I argued that fourdimensionalism – the doctrine of temporal parts – follows from several other premises, chief among which is the premise that existence is never vague. Kathrin Koslicki (preceding article) claims that the argument fails since its crucial premise is unsupported, and is dialectically inappropriate to assume in the context of arguing for four-dimensionalism. Since the relationship between four-dimensionalism and the non-vagueness of existence is not perfectly transparent, I think the argument (...) would retain some interest even if the premise were wholly unsupported; it would show that anyone who accepts that premise (which seems reasonable enough to me though perhaps not to others) must accept four-dimensionalism. Still, Koslicki is right that my defense of the premise was thin. So I will now try to do better. The new defense will have further premises, which could ultimately be rejected by opponents of four-dimensionalism, and so the argument retains the form: anyone who thinks certain things (which seem reasonable enough to me though perhaps not to others) must believe four-dimensionalism. But that’s metaphysics for you. I should also say that, in addition to the material on vague existence, there is more in Koslicki’s excellent paper which I cannot discuss here. I agree with much of it;1 and where we disagree there are formidable challenges, some of which I hope to address in the future. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.

This paper distinguishes two kinds of realist issue -- the issue of whether the propositions of a given domain are factual and the issue of whether they are fundamental. It criticizes previous accounts of what these issues come to and suggests that they are to be understood in terms of a basic metaphysical concept of reality. This leaves open the question of how such issues are to be resolved; and it is argued that this may be done through consideration of (...) what grounds the facts of a given domain, when fundamentality is in question, and what grounds our engagement with the putative facts, when factuality is in question. (shrink)

are synthetic a priori judgements possible?" In both cases, i~thas usually been t'aken for granted in fife one case by Kant that synthetic a priori judgements were possible, and in the other case in contemporary,'d-". philosophical literature that contingent statements of identity are ppss. ible. I do not intend to deal with the Kantian question except to mention:ssj~".

This paper explores a different version of the counterpart theory - that the actualist can coherently combine a belief in primitive thisness and genuine identity across possible worlds with a version of counterpart theory that permits one to make sense of contingent identity and distinctness, i.e., if the claims that one thing might have been two, and that distinct things might have been identical. The theses called haecceitism is analysed, and it is argued that this doctrine can be reconciled with (...) a version of counterpart theory, and with the coherence of contingent identity. The impact of this account of counterparts and identity on the abstract semantics of quatified modal logic is considered. (shrink)

Most expressions in natural language are vague. But what is the best semantic treatment of terms like 'heap', 'red' and 'child'? And what is the logic of arguments involving this kind of vague expression? These questions are receiving increasing philosophical attention, and in this book, first published in 2000, Rosanna Keefe explores the questions of what we should want from an account of vagueness and how we should assess rival theories. Her discussion ranges widely and comprehensively over the main theories (...) of vagueness and their supporting arguments, and she offers a powerful and original defence of a form of supervaluationism, a theory that requires almost no deviation from standard logic yet can accommodate the lack of sharp boundaries to vague predicates and deal with the paradoxes of vagueness in a methodologically satisfying way. Her study will be of particular interest to readers in philosophy of language and of mind, philosophical logic, epistemology and metaphysics. (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)

This is the review paper for the section III ("Symmetry breaking") of the volume "Symmetries in physics: philosophical reflections", Cambridge University Press, 2003, edited by Katherine A. Brading and Elena Castellani. The paper's sections are: 1. Preliminaries (I); 2. Symmetry breaking and Curie's analysis; 3. Preliminaries (II); 4. Symmetry breaking of physical laws (4.1. Explicit symmetry breaking; 4.2. Spontaneous symmetry breaking); 5. Symmetry breaking and philosophical questions.

Possible-worlds talk obscures, rather than clarifies, the debate about haecceitism. In this paper I distinguish haecceitism and anti-haecceitism from other doctrines that sometimes go under those names. Then I defend the claim that there are no non-tendentious definitions of ‘haecceitism’ and ‘anti-haecceitism’ using possible-worlds talk. That is, any definition of ‘haecceitism’ using possible-worlds talk depends, for its correctness, on a substantive theory of the nature of possible worlds. This explains why using possible-worlds talk when discussing haecceitism causes confusion: if the (...) parties to the discussion presuppose different theories of the nature of possible worlds, then they will mean different things by ‘haecceitism’. (shrink)

Are there questions for which 'there is no determinate fact of the matter' as to which answer is correct? Most of us think so, but there are serious difficulties in maintaining the view, and in explaining the idea of determinateness in a satisfactory manner. The paper argues that to overcome the difficulties, we need to reject the law of excluded middle; and it investigates the sense of 'rejection' that is involved. The paper also explores the logic that is required if (...) we reject excluded middle, with special emphasis on the conditional. There is also discussion of higher order indeterminacy (in several different senses) and of penumbral connections; and there is a suggested definition of determinateness in terms of the conditional and a discussion of the extent to which the notion of determinateness is objective. And there are suggestions about a unified treatment of vagueness and the semantic paradoxes. (shrink)

The hole argument contends that a substantivalist has to view General Relativity as an indeterministic theory. A recent form of substantivalist reply to the hole argument has urged the substantivalist to identify qualitatively isomorphic possible worlds. Gordon Belot has argued that this form of substantivalism is unable to capture other genuine violations of determinism. This paper argues that Belot's alleged examples of indeterminism should not be seen as a violation of a form of determinism that physicists are interested in. What (...) is undetermined in these examples, and in the hole argument, is a haecceitistic feature of the world. It is argued that these features are not among those we should expect the physical state of the world to determine. This vindicates the substantivalist reply to the hole argument, but also illustrates that philosophers of physics cannot ignore metaphysics when characterizing determinism for a physical theory. (shrink)

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)

Some philosophical positions maintain that some aspect of reality depends on human practices, cognitive attitudes or sentiments. This paper presents a framework for understanding such positions in a way that renders them immune to a number of natural but allegedly devastating objections.

This is not an overly ambitious paper. What I would like to do is to take a thesis that most people would regard as wildly implausible, and convince you that it is, in fact, false. What's worse, the argument I shall give is by no means airtight, though I hope it's reasonably convincing. The thesis has to do with the fuzzy boundaries of terms that refer to familiar middle-sized objects, terms like ‘Kilimanjaro’ and ‘the tallest mountain in Africa.’ It is (...) intuitively clear that Kilimanjaro has a fuzzy boundary, so that there are some clods of earth at the base of the mountain for which there isn't anything, either in our practices in using the word ‘Kilimanjaro’ or in the facts of geography, that determines an answer to the question whether the clod is a part of Kilimanjaro. (shrink)

Philosophers have long been tempted by the idea that objects and properties are abstractions from the facts. But how is this abstraction supposed to go? If the objects and properties aren't 'already' there, how do the facts give rise to them? Jason Turner develops and defends a novel answer to this question: The facts are arranged in a quasi-geometric 'logical space', and objects and properties arise from different quasi-geometric structures in this space.

In this paper I argue that Gareth Evans’ famous proof of the impossibility of de re indeterminate identity fails on a counterpart-theoretic interpretation of the determinacy operators. I attempt to motivate a counterpart-theoretic reading of the determinacy operators and then show that, understood counterpart-theoretically, Evans’ argument is straightforwardly invalid.