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)

Interactionists hold that non-spatial objects causally interact with physical objects. Interactionists have traditionally grappled with the puzzle of how such interaction is possible. More recently, Jaegwon Kim has presented interactionists with a more daunting threat: the pairing argument, which purports to refute interactionism by showing that non-spatial objects cannot stand in causal relations. After reviewing that argument, I develop a challenge to it on behalf of the interactionist. The challenge poses a dilemma: roughly, either haecceities exist or they do not. (...) I argue that the pairing argument fails in either case. While the challenge does not explain exactly how the pairing argument goes wrong, it shows that the argument fails. The challenge also explains the difficulty in pinpointing the pairing argument’s failure: exactly how the pairing argument fails depends on difficult issues concerning the nature of objects. (shrink)

Recent metaphysics has seen a surge of interest in grounding—a relation of non-causal determination underlying a distinctive kind of explanation common in philosophy. In this article, I investigate the connection between grounding and another phenomenon of great interest to metaphysics: ontological dependence. There are interesting parallels between the two phenomena: for example, both are commonly invoked through the use of “dependence” terminology, and there is a great deal of overlap in the motivations typically appealed to when introducing them. I approach (...) the question of the relationship between grounding and ontological dependence through an investigation of their modal connections. I argue, firstly, that on the common assumption that grounding is factive, it can be shown that no known variety of rigid ontological dependence is either necessary or sufficient for grounding. I also offer some suggestions in support of the claim that this generalizes to every possible form of rigid ontological dependence. I then broaden the discussion by considering a non-factive conception of grounding, as well as by looking at forms of generic ontological dependence. I argue that there is at least one form of rigid ontological dependence that is sufficient for non-factive grounding, and that a form of generic dependence may be necessary both for factive and non-factive grounding. However, justifying even these fairly weak modal connections between grounding and ontological dependence turns out to require some quite specific and substantive assumptions about the two phenomena that have only rarely been discussed. (shrink)

This paper argues against the common practice of presenting perdurantism, endurantism, and other views about persistence and time as solutions to an alleged puzzle about change. Various recent attempts to generate a puzzle about change are examined and found unsuccessful. This does not mean, however, that the relevant views about persistence and time are not well motivated, but rather that their interest and purpose is independent of their suitability for solving the alleged puzzle.

What is the relation between a clay statue andthe lump of clay from which it is made? According to the defender of the standardaccount, the statue and the lump are distinct,enduring objects that share the same spatiallocation whenever they both exist. Suchobjects also seem to share the samemicrophysical structure whenever they bothexist. This leads to the standard objection tothe standard account: if the statue and thelump of clay have the same microphysicalstructure whenever they both exist, how canthey differ in their (...) de re temporalproperties, de re modal properties and soon? In this paper I develop amereological answer to this question – thestatue and the lump differ with respect totheir parts and this explains theirdifference with respect to de re temporalproperties, de re modal properties andthe like. (shrink)

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)

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.

The counterpart theorist has a problem: there is no obvious way to understand talk about actuality in terms of counterparts. Fara and Williamson have charged that this obstacle cannot be overcome. Here I defend the counterpart theorist by offering systematic interpretations of a quantified modal language that includes an actuality operator. Centrally, I disentangle the counterpart relation from a related notion, a ‘representation relation’. The relation of possible things to the actual things they represent is variable, and an adequate account (...) of modal language must keep track of the way it is systematically shifted by modal operators. I apply my account to resolve several puzzles about counterparts and actuality. In technical appendices, I prove some important logical results about this ‘representational’ counterpart system and its relationship to other modal systems. (shrink)

Quine taught us the difference between a theory’s ontology and its ideology. Ontology is the things a theory’s quantifiers must range over if it is true, Ideology is the primitive concepts that must be used to state the theory. This allows us to split the theoretical virtue of parsimony into two kinds: ontological parsimony and ideological parsimony. My goal is help illuminate the virtue of ideological parsimony by giving a criterion for ideological innocence—a rule for when additional ideology does not (...) count against parsimony. I propose the expressive power innocence criterion: if the ideology of theory one is expressively equivalent to that of theory two, then neither is ideologically simpler than the other. In its favor I offer the argument from accuracy, showing that any account of a theoretical virtue that is supposed to make theories that have it more likely to be true than theories that do not must respect it. Next I consider its ramifications, eliminating rival views and passing judgment on some arguments from parsimony that can be found in the literature. Finally, I consider two objections. First: I address an objection arising from the possibility of languages with a ‘primitive’ operator that allows us to list a theory’s primitives in the object-language. Second: I address an objection raised by Nelson Goodman against attempts to reckon simplicity by expressive power. Both objections fail. (shrink)

When do the folk think that material objects persist? Many metaphysicians have wanted a view which fits with folk intuitions, yet there is little agreement about what the folk intuit. I provide a range of empirical evidence which suggests that the folk operate with a teleological view of persistence: the folk tend to intuit that a material object survives alterations when its function is preserved. Given that the folk operate with a teleological view of persistence, I argue for a debunking (...) explanation of folk intuitions, concluding that metaphysicians should dismiss folk intuitions as tied into a benighted view of nature. (shrink)

Ockhamism implies that future contingents may be true, their historical contingency notwithstanding. It is thus opposed to both the Peircean view according to which all future contingents are false, and Supervaluationist Indeterminism according to which all future contingents are neither true nor false. The paper seeks to defend Ockhamism against two charges: the charge that it cannot meet the requirement that truths be grounded in reality, and the charge that it proves incompatible with objective indeterminism about the future. In each (...) case, the defence draws on the idea that certain truths are truths only courtesy of others and of what makes the latter true. After introduction of the Ockhamist view, its competitors and implications, a suitable definition of grounded truth is being devised that both is faithful to the spirit of the grounding-requirement and allows the Ockhamist to heed that requirement quite comfortably. Then two senses in which the future might be open are being introduced, indeterminacy as failure of predetermination by past and present facts, and indeterminacy as failure of entailment by past and present truths. It is argued that while openness in the former sense, but not in the latter sense, coheres with the Ockhamist view, it is only openness in the former sense that matters for objective indeterminism. (shrink)

When do the folk think that mereological composition occurs? Many metaphysicians have wanted a view of composition that fits with folk intuitions, and yet there has been little agreement about what the folk intuit. We aim to put the tools of experimental philosophy to constructive use. Our studies suggest that folk mereology is teleological: people tend to intuit that composition occurs when the result serves a purpose. We thus conclude that metaphysicians should dismiss folk intuitions, as tied into a benighted (...) teleological view of nature. (shrink)

“Physical premotion” is a concept associated with Baroque Catholic theological debates concerning grace and freedom. In this paper, I present an argument that the entities identified in this debate, physical premotions, are necessary for any classical theist’s account of divine causality. A “classical theist” is a theist who holds both that God is simple, that is, without inhering properties, and that humans and God are both free in the incompatibilist sense. In fact, not only does the acceptance of physical premotions (...) not entail determinism, physical premotions are the only way for classical theists to preserve the aforementioned two commitments. Nevertheless, the theory of premotions cannot help theologians resolve questions of how God causes human free acts without violating their freedom. (shrink)

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of Fine's (...) logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

It’s not clear what supervaluationists should say about propositional content. Does a vague sentence, e.g., ‘Harry is bald’, express one proposition, or a barrage of propositions, or none at all? Or is the matter indeterminate? The supervaluationist canon is not decisive on the issue; authoritative passages can be cited in favor of each of the proposals just mentioned. Furthermore, some detractors have argued that supervaluationism is incapable of providing any coherent account of propositional content. This paper considers each of the (...) proposals for how many propositions are expressed by a vague sentence: none, some, all, or it’s indeterminate. Most of these proposals turn out to be unworkable in the metalanguage. I conclude that orthodox supervaluationists—those who identify truth with supertruth—must either relax the standard requirement that propositions be bivalent, or else alter the standard relation between sentences and propositions in which a sentence inherits its truth-conditions from the proposition it expresses. The best option going forward for the orthodox supervaluationist is perhaps the most surprising—amend the requirement that propositions be bivalent. I argue that propositions having supervaluational truth-conditions are best suited to fill the propositional roles in the semantic theory of a vague language. These propositions admit of truth-value gaps, and gappy propositions are controversial, but I argue that they earn their keep. (shrink)

Panentheism, a frequently discussed view in recent theological debate, claims that the world is ‘in God’ but that God is ‘more than’ the world. Different theories of the structure of the world produce distinct panentheist views. According to the hunky structure, the world is composed of an infinite number of layers and lacks an ungrounded level. To depict this model, I employ the concepts of ‘grounding’ and ‘emergence.’ The outcome is that if the world is hunky and material reality emerges (...) from such a structure, the world can be in God, but the model of God the Creator is dismissed. (shrink)

The paper argues that Lewis’ Genuine Modal Realism, in taking the plurality of worlds to be necessarily the way it is, implies the existence of necessary connections of the sort that contradicts the Humean thesis that Lewis endorses. By endorsing, pace Divers, a non-redundancy interpretation of advanced modalizing, we gain the means to exactly state what these connections amount to.

Some accounts of mental content represent the objects of belief as structured, using entities that formally resemble the sentences used to express and report attitudes in natural language; others adopt a relatively unstructured approach, typically using sets or functions. Currently popular variants of the latter include classical and neo-classical propositionalism, which represent belief contents as sets of possible worlds and sets of centered possible worlds, respectively; and property self-ascriptionism, which employs sets of possible individuals. I argue against their contemporary proponents (...) that all three views are ineluctably plagued by generation gaps: they either overgenerate beliefs, undergenerate them, or both. (shrink)

This paper sets out some new skeleton mathematically-couched models for dealing with supervenience in some, if not all, its many guises. Our models are based around a naïve invocation of a ‘topology’ induced on object sets by property sets. We have two aims: one is to provide an overview of supervenience with enough rigour and detail to act as a self-contained introduction to the subject; and the other is to set out our new approach—but without getting too bogged down in (...) excessive mathematical, or indeed philosophical, niceties—so that it can be used as a foundation for further work. Throughout we have scattered examples and comments to help clarify the points we make. The early sections use our topological approach to recast what appears elsewhere in the literature. And in the latter sections of the paper, we introduce some new ideas and techniques which help in exploring the general structures underpinning supervenience. (shrink)

As introduction to the special issue on the semantics of cardinals, we offer some background on the relevant literature, and an overview of the contributions to this volume. Most of these papers were presented in earlier form at an interdisciplinary workshop on the topic at The Ohio State University, and the contributions to this issue reflect that interdisciplinary character: the authors represent both fields in the title of this journal.

There are various well-known paradoxes of modal recombination. This paper offers a solution to a variety of such paradoxes in the form of a new conception of metaphysical modality. On the proposed conception, metaphysical modality exhibits a type of indefinite extensibility. Indeed, for any objective modality there will always be some further, broader objective modality; in other terms, modal space will always be open to expansion.

In this paper I argue that the growing block theory of time has rather surprising, and hitherto unexplored, explanatory benefits when it comes to certain enduring philosophical puzzles concerning death. In particular, I claim the growing block theorist has readily available and convincing answers to the following questions: Why is it an evil to be dead but not an evil to be not yet born? How can death be an evil for the dead if they no longer exist to suffer (...) it? When is death an evil for the one who dies? The ability to give such answers is a significant, but by no means decisive, advantage for the growing block view of time. (shrink)

I focus on two arguments, due to Jaegwon Kim and Trenton Merricks, that move from claims about the sufficiency of one class of causes to the reduction or elimination of another class of entity, via claims about overdetermination. I argue that in order to validate their move from sufficiency to reduction or elimination, both Kim and Merricks must assume that there can be no ‘weak overdetermination’; i.e., that no single effect can have numerically distinct but dependently sufficient causes occurring at (...) the same time. One problem for both arguments is that weak overdetermination isn't obviously objectionable. That point has been well made before. But I want here to go further than merely shifting the burden of proof onto the advocates of overdetermination arguments. I want to tease out why they are so convinced that we must resist weak overdetermination and explain why their conviction is misguided. Both Merricks and Kim, I shall argue, ultimately rest their case on the same motivating principle, wh.. (shrink)

In this paper I argue for a view of groups, things like teams, committees, clubs and courts. I begin by examining features all groups seem to share. I formulate a list of six features of groups that serve as criteria any adequate theory of groups must capture. Next, I examine four of the most prominent views of groups currently on offer—that groups are non-singular pluralities, fusions, aggregates and sets. I argue that each fails to capture one or more of the (...) criteria. Last, I develop a view of groups as realizations of structures. The view has two components. First, groups are entities with structure. Second, since groups are concreta, they exist only when a group structure is realized. A structure is realized when each of its functionally defined nodes or places are occupied. I show how such a view captures the six criteria for groups, which no other view of groups adequately does, while offering a substantive answer to the question, “What are groups?”. (shrink)

Any movement worth its salt has a creation myth. Analytic metaphysics is no exception. According to legend, it was born from the clash of two titans. On the one side, was the anti-metaphysical Logi...

Since the linguistic turn, many have taken semantics to guide ontology. Here, I argue that semantics can, at best, serve as a partial guide to ontological commitment. If semantics were to be our guide, semantic data and semantic treatments would need to be taken seriously. Through an examination of plurals and their treatments, I argue that there can be multiple, equally semantically adequate, treatments of a natural language theory. Further, such treatments can attribute different ontological commitments to a theory. Given (...) this, I argue that semantics can fail to deliver determinate ontological commitments and determinate answers to ontological questions, more generally. (shrink)

The aim of this text is show how Borges, in his story Tigres azules, develops several interesting ideas about logic, language and mathematics. The starting point is Borgesian skepticism about the ability of classical logic to take the problem of truth and impossible worlds. It is defended that inconsistent and even self-contradictory objects do not necessarily give rise to physically or logically impossible worlds. It is suggested that the paradoxes that Borges constructs in the story are not paradoxes of self-reference, (...) but variants of Moore’s paradox and paradoxes of material implication, so to overcome them requires a non-classical approach that neutralizes ECQ, this is, a paraconsistent logic system. (shrink)

Perdurantists hold that we persons—just like other ordinary objects—persist by perduring, by having temporal parts, or stages, located over time. Perdurantists also standardly endorse the B-theory of time. And, in light of this endorsement, they typically characterize our tensed beliefs as self-ascriptions of properties, made not by us but by our stages. For instance, for me to believe that Angela Merkel is currently the chancellor of Germany is for my now-located stage to self-ascribe the property of being simultaneous with Merkel’s (...) chancellorship. The problem with this way of understanding tensed belief is that it undermines—if not outright contradicts—the perdurantist’s best options for resisting the Too Many Thinkers objection. In what follows, I show why this is. I then consider what I take to be the perdurantist’s most promising alternative account of tensed belief. I argue that this alternative either leaves perdurantists no better off with respect to the Too Many Thinkers objection or, instead, leaves them vulnerable to another objection, one that they would otherwise have no problem resisting. (shrink)

H. G. Wells’ Time Traveller inhabits uniform Newtonian time. Where relativistic/quantum travelers into the past follow spacetime curvatures, past-bound Wellsians must reverse their direction of travel relative to absolute time. William Grey and Robin Le Poidevin claim reversing Wellsians must overlap with themselves or fade away piecemeal like the Cheshire Cat. Self-overlap is physically impossible but ‘Cheshire Cat’ fades destroy Wellsians’ causal continuity and breed bizarre fusions of traveler-stages with opposed time-directions. However, Wellsians who rotate in higher-dimensional space can reverse (...) temporal direction without self-overlap, Cheshire Cats or mereological monstrosities. Alas, hyper-rotation in Newtonian space poses dynamic and biological problems,. Controllable and survivable Wellsian travel needs topologically-variable spaces. Newtonian space, not Newtonian time, is Wellsians’ real enemy. (shrink)

Syntactic Reductionism, as understood here, is the view that the ‘logical forms’ of sentences in which reference to abstract objects appears to be made are misleading so that, on analysis, we can see that no expressions which even purport to refer to abstract objects are present in such sentences. After exploring the motivation for such a view, and arguing that no previous argument against it succeeds, sentences involving generalized quantifiers, such as ‘most’, are examined. It is then argued, on this (...) basis, that Syntactic Reductionism is untenable. (shrink)

In this paper, I show how a solution to Lewis’ problem of temporary intrinsics is also a response to McTaggart’s argument that the A-series is incoherent. There are three strategies Lewis considers for solving the problem of temporary intrinsics: perdurantism, presentism, and property-indexing. William Lane Craig (Analysis 58(2):122–127, 1998) has examined how the three strategies fare with respect to McTaggart’s argument. The only viable solution Lewis considers to the problem of temporary intrinsics that also succeeds against McTaggart, Craig claims, is (...) presentism. This gives us prima facie reason to be presentists. But there is a strategy Craig does not consider-indexing, or relativizing, the copula. In this paper, I show that to the degree that indexing the copula solves the problem of temporary intrinsics, it also shows the invalidity of McTaggart’s argument. The upshot: the copula-indexer needn’t affirm the unreality of time, nor need she embrace presentism. (shrink)

A simple argument against Lewisian modal realism as portrayed in On the Plurality of World arises from its treatment of doxastic modalities. It is easily shown that if it is true, it is impossible to doubt the theory on ontological grounds, or, that, if it is possible to maintain doubt about modal realism’s existential postulate, it has to be false. The argument hinges on the fact that modal realism’s main ontological hypothesis, if true, is necessarily true.

I argue for the possibility of hypergunk: that is, it is possible that there exists an x such that every part of x has a proper part and, for any set S of parts of x, there is a set S′ of parts of...

ABSTRACTHegel's Phenomenology of Spirit provides a fascinating picture of individual minds caught up in “recognitive” relations so as to constitute a realm—“spirit”—which, while necessarily embedded in nature, is not reducible to it. In this essay I suggest a contemporary path for developing Hegel's suggestive ideas in a way that broadly conforms to the demands of his own system, such that one moves from logic to a philosophy of mind. Hence I draw on Hegel's “subjective logic”, understood in the light of (...) modern modal logic, in an attempt to model the way minds might be thought as connected by way of shared intentional contents. Here, we should not be surprised at some of the parallels that emerge between the approaches of Hegel and the modal logician Arthur Prior, as Prior had testified to the influence of his teacher, John N. Findlay, who himself had strong Hegelian leanings. In the final section, Robert Stalnaker's version of possible-world semantics is suggested as a framework within which Hegel's recognitive account of the mind might be understood. (shrink)

This essay is a study of ontological commitment, focused on the special case of arithmetical discourse. It tries to get clear about what would be involved in a defense of the claim that arithmetical assertions are ontologically innocent and about why ontological innocence matters. The essay proceeds by questioning traditional assumptions about the connection between the objects that are used to specify the truth-conditions of a sentence, on the one hand, and the objects whose existence is required in order for (...) the truth-conditions thereby specified to be satisfied, on the other. This allows one to set forth an assignment of truth-conditions to arithmetical sentences whereby nothing is required of the world in order for the truth-conditions of a truth of pure arithmetic to be satisfied. The essay then argues that such an assignment can be used to account for the a priori knowability of certain arithmetical truths. (shrink)

Impostors are pseudo-problems masquerading as genuine problems. Impostors should be exposed. The problem of change appears genuine. But some, such as Hofweber ( 2009 ) and Rychter ( 2009 ), have recently denounced it as an impostor. They allege that it is mysterious how to answer the meta - problem of saying what problem it is: for even if any problem is genuinely about change per se, they argue, it is either empirical or trivially dissolved by conceptual analysis. There is (...) indeed an impostor in our midst. But it is the meta-problem of change. I defend the appearance that the problem of change is a genuine metaphysical problem about change. This vindicates philosophers’ lasting interest in it. It also illuminates what makes a problem metaphysical, how metaphysics relates to other inquiries, and how best to respond to attempts to undermine metaphysical problems. (shrink)

This paper explores the prospects of combining two views. The first view is metaphysical rationalism : all things have an explanation. The second view is metaphysical essentialism: there are real essences. The exploration is motivated by a conflict between the views. Metaphysical essentialism posits facts about essences. Metaphysical rationalism demands explanations for all facts. But facts about essences appear to resist explanation. I consider two solutions to the conflict. Exemption solutions attempt to exempt facts about essences from the demand for (...) explanation. Explanation solutions attempt to explain facts about essences. I argue that exemption solutions are less promising than explanation solutions. I then consider how explanation solutions might be developed. I suggest that a “generative” approach is most promising. I tentatively conclude that the prospects for combining metaphysical rationalism and metaphysical essentialism turn on the viability of a generative approach. This sets the agenda for defending the combination as well as the more general project of explaining essences. (shrink)