Leibniz’s Law (or as it sometimes called, ‘the Indiscerniblity of Identicals’) is a widely accepted principle governing the notion of numerical identity. The principle states that if a is identical to b, then any property had by a is also had by b. Leibniz’s Law may seem like a trivial principle, but its apparent consequences are far from trivial. The law has been utilised in a wide range of arguments in metaphysics, many leading to substantive and controversial conclusions. This article (...) discusses the applications of Leibniz’s Law to arguments in metaphysics. It begins by presenting a variety of central arguments in metaphysics which appeal to the law. The article then proceeds to discuss a range of strategies that can be drawn upon in resisting an argument by Leibniz’s Law. These strategies divide into three categories: (i) denying Leibniz’s Law; (ii) denying that the argument in question involves a genuine application of the law; and (iii) denying that the argument’s premises are true. Strategies falling under each of these three categories are discussed in turn. (shrink)

It seems plausible to say that what changes an entity can or cannot survive depends on its persistence conditions, and that these depend, in turn, on its sortal kind. It might seem to follow that an entity cannot belong to two sortal kinds with potentially conflicting persistence conditions. Notoriously, though, this conclusion is denied by ‘contingent identity’ theorists, who hold, for example, that a permanently coincident statue and piece of clay are identical, although the persistence conditions associated with the kinds (...) statue and piece of clay are potentially conflicting. A clash with Leibniz’s Law is avoided by treating modal predicates as what Harold Noonan has called ‘Abelardian predicates’, as in the version of ‘inconstant’ counterpart theory developed by David Lewis. In addition to other difficulties, however, there is a question whether this ‘Abelardian’ theory does justice to the intuitions expressed in such statements as that the piece of clay could, while the statue could not, have survived a radical reshaping of its matter. I present an argument, which I call ‘the vacuous satisfaction argument’, for the conclusion that the theory does indeed fail to capture the significance of such de re modal statements. (shrink)

This paper is about a puzzle concerning the metaphysics of material objects: a puzzle generated by cases where material objects appear to coincide, sharing all their matter. As is well known, it can be illustrated by the example of a statue. In front of me now, sitting on my desk, is a statue – a statue of a lion. The statue is made of clay. So in front of me now is a piece of clay. But what is the relation (...) between the statue and the piece of clay? Are they identical, or are they distinct? (shrink)

Some people think that grounding is a type of identity. And some people think that grounding connections hold necessarily. I show that, under plausible assumptions, if grounding is a type of identity, then grounding connections hold necessarily.

Structuralism and quidditism are competing views of the metaphysics of property individuation: structuralists claim that properties are individuated by their nomological roles; quidditists claim that they are individuated by something else. This paper (1) refutes what many see as the best reason to accept structuralism over quidditism and (2) offers a methodological argument in favor of a quidditism. The standard charge against quidditism is that it commits us to something ontologically otiose: intrinsic aspects of properties, so-called ‘quiddities’. Here I grant (...) that quiddities are ontologically otiose, but deny that quidditism requires them. According to a view I call ‘austere quidditism’, properties are individuated by bare numerical identity. I argue that, as far as ontological parsimony is concerned, austere quidditism and structuralism are on a par. But is austere quidditism a coherent alternative to structuralism? To see that it is, we must get clear on what exactly we mean by ‘property individuation’. What we discover is that structuralism is a counterpart theory for properties, and that austere quidditism is simply the rejection of counterpart theory. I conclude with a methodological argument to the effect that counterpart theory for properties ought to be rejected. This paper begins by situating the debate between structuralists and quidditists within the context of a debate over the epistemic limits of fundamental science. At the center of this debate is David Lewis’s posthumously published ‘Ramseyan Humility’ (2008). In the appendix I explain the precise role of austere quidditism in Lewis’s argument. (shrink)

Metaphysical views typically draw some distinction between reality and appearance, endorsing realism about some subject matters and antirealism about others. There are different conceptions of how best to construe antirealist theories. A simple view has it that we are antirealists about a subject matter when we believe that this subject matter fails to obtain. This paper discusses an alternative view, which I will call the fundamentality-based conception of antirealism. We are antirealists in this sense when we think that the relevant (...) matter fails to be constitutive of fundamental reality. The following discussion will not rely on any particular understanding of fundamental reality, covering conceptions based on grounding, naturalness and truthmaking, to name three salient ones. This paper argues that there are serious issues with fundamentality-based metaphysics. It will be argued that: the fundamentality-based approach shapes and restricts our realist and antirealist views in unsatisfying ways, that it is unable to handle the conflicting facts that lie across the envisaged ‘layers’ of the metaphysically structured world, and that the methodological reasons for adopting the fundamentality-based approach fail. The paper will conclude with a diagnosis of the discussed issues, identifying a common source. (shrink)

According to strong pluralism, objects distinct by virtue of their modal properties can coincide. The most common objection towards such view invokes the so-called Grounding Problem according to which the strong pluralist needs to explain what the grounds are for supposed modal differences between the coincidents. As recognized in the literature, the failure to provide an answer to the Grounding Problem critically undermines the plausibility of strong pluralism. Moreover, there are strong reasons to believe that strong pluralists cannot provide an (...) explanation of the Grounding Problem. In this paper, we argue that strong pluralism can be motivated independently of the successful answer to the Grounding Problem. In order to achieve that aim, we provide a haecceitistic interpretation of strong pluralism according to which strong pluralism should be read as a position committed to the existence of primitive individuals, i.e., the individuals that have their criteria of individuation independently of their qualitative profiles. That said, we do not aim at defending haecceitism. Instead, our aim is rather modest: we want to provide a new way for the strong pluralist to supplement his view to make it more watertight. (shrink)

When the necessity of identity (NI) is combined with composition as identity (CAI), the contingency of composition (CC) is at risk. In the extant literature, either NI is seen as the basis for a refutation of CAI or CAI is associated with a theory of modality, such that: either NI is renounced (if counterpart theory is adopted); or CC is renounced (if the theory of modal parts is adopted). In this paper, we investigate the prospects of a new variety of (...) CAI, which aims to preserve both NI and CC. This new variety of CAI (CCAI, contingent composition as identity) is the quite natural product of the attempt to make sense of CAI on the background of a broadly Kripkean view of modality, such that one and the same entity is allowed to exist at more than one possible world. CCAI introduces a world-relative kind of identity, which is different from standard identity, and claims that composition is this kind of world-relative identity. CCAI manages to preserve NI and CC. We compare CCAI with Gibbard’s and Gallois’ doctrines of contingent identity and we show that CCAI can be sensibly interpreted as a form of Weak CAI, that is of the thesis that composition is not standard identity, yet is significantly similar to it. (shrink)

The idea of “material plenitude” has been gaining traction in recent discussions of the metaphysics of material objects. My main goal here is to show that this idea may have important dialectical implications for the metaphysics of properties – more specifically, that it provides nominalists with new resources in their attempt to reject an ontology of universals. I will recapitulate one of the main arguments against nominalism – due to David Armstrong – and show how plenitude helps the nominalist overcome (...) the argument. (shrink)

Concrete particular objects (e.g., living organisms) figure saliently in our everyday experience as well as our in our scientific theorizing about the world. A hylomorphic analysis of concrete particular objects holds that these entities are, in some sense, compounds of matter (hūlē) and form (morphē or eidos). The Grounding Problem asks why an object and its matter (e.g., a statue and the clay that constitutes it) can apparently differ with respect to certain of their properties (e.g., the clay’s ability to (...) survive being squashed, as compared to the statue’s inability to do so), even though they are otherwise so much alike. In this paper, I argue that a hylomorphic analysis of concrete particular objects, in conjunction with a non-modal conception of essence of the type encountered for example in the works of Aristotle and Kit Fine, has the resources to yield a solution to the Grounding Problem. (shrink)

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a (...) hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (shrink)

It is common to think that it’s possible for entities to spatially coincide in multiple ways: with overcrowding, and without overcrowding. Typically, we can distinguish between these by claiming that uncrowded spatial overlap involves a sharing of parts, and crowded spatial overlap does not. However, if we think that mereologically unusual entities, such as extended simples or some kinds of gunk, can also spatially overlap in crowded and uncrowded ways, we lose the ability to distinguish between those varieties of spatial (...) overlap via appeal to shared parts. Thus, we should either reject the possibilities that generated this difficulty, or we must look for an alternative explanation of these varieties of spatial overlap. (shrink)

Philosophical accounts of the constitution relation have been explicated in terms of synchronic relations between higher‐ and lower‐level entities. Such accounts, I argue, are temporally austere or impoverished, and are consequently unable to make sense of the diachronic and dynamic character of constitution in dynamical systems generally and dynamically extended cognitive processes in particular. In this paper, my target domain is extended cognition based on insights from nonlinear dynamics. Contrariwise to the mainstream literature in both analytical metaphysics and extended cognition, (...) I develop a nonstandard, alternative conception of constitution, which I call “diachronic process constitution”. It will be argued that only a diachronic and dynamical conception of constitution is consistent with the nature of constitution in distributed cognitive processes. (shrink)

In a well-known paper, Reginald Jackson expresses a sentiment not uncommon among readers of Locke: “Among the merits of Locke’s Essay…not even the friendliest critic would number consistency.”2 This unflattering opinion of Locke is reiterated by Maurice Mandelbaum: “Under no circumstances can [Locke] be counted among the clearest and most consistent of philosophers.”3 The now familiar story is that there are innumerable inconsistencies and internal problems contained in Locke’s Essay. In fact, it is probably safe to say that there is (...) not another canonical, well-respected, and seminal philosopher whose work is so widely thought to be swarming with inconsistencies. I, however, do not think that the common, unflattering view of Locke is accurate as a general view of the Essay. But despite my wishes to the contrary, I do believe that Locke’s chapter ‘Of Identity and Diversity’ (2.27)4 leads to (at least) one intractable problem, a problem that is the subject of this paper. (shrink)

We argue that animalism is the only materialist account of personal identity that can account for the autonomy that we typically think of ourselves as possessing. All the rival materialist theories suffer from a moral version of the problem of too many thinkers when they posit a human person that overlaps a numerically distinct human animal. The different persistence conditions of overlapping thinkers will lead them to have interests that conflict, which in many cases prevents them both from autonomously forming (...) and acting on the same intentions. These problems are exacerbated by problems of self-reference plaguing the overlapping thinkers. We contend that the impossibility of simultaneous autonomous action by animals and persons provides a reason to favor animalism over Neo-Lockeanism, Four-Dimensionalism, Constitution theory, and brain-size views of the person. We anticipate and reject arguments that the autonomy of the person and the animal can be shown to be compatible by relying upon either the Parfitian thesis that identity isn’t what matters or claiming that animals acquire the interests of the person they constitute. (shrink)

The majority of philosophers believe that the existence of spatially coincident entities is not only a coherent idea but that there are millions of such entities. What such philosophers do not countenance are spatially coincident entities of the same kind. We will call this ‘Locke's Thesis’ since the denial goes back to An Essay Concerning Human Understanding. It is there that Locke wrote, ‘For we never finding, nor conceiving it possible that two things of the same kind should exist in (...) the same place at the same time, we rightly conclude that, whatever exists anywhere at any time, excludes all of the same kind, and is there itself alone.’ It is not clear to me that the believer in spatially coincident entities can draw the ‘ontological line’ where Locke does. Many of the reasons that lead Locke and others to maintain that there exist spatially coincident entities of different kinds would also suggest that there are spatially coincident entities of the same kind. To illustrate this claim, a scenario of spatially coincident roads will be presented. (shrink)

Several social metaphysicians have argued that groups are constituted by, but not identical to, their members. While the constitution view is promising, there are significant difficulties with existing versions of that view. Fortunately, lessons may be extracted from more traditional metaphysics and applied to the case of group agents. Drawing on such lessons, I present a novel account of the constitution relation holding between individuals and group agents. According to the resulting structural-constitution view, when individuals constitute a group of a (...) certain kind, they do so in virtue of exhibiting the structure characteristic of groups of that kind. (shrink)

This article studies seriously actualistic quantified modal logics. A key component of the language is an abstraction operator by means of which predicates can be created out of complex formulas. This facilitates proof of a uniform substitution theorem: if a sentence is logically true, then any sentence that results from substituting a predicate abstract for each occurrence of a simple predicate abstract is also logically true. This solves a problem identified by Kripke early in the modern semantic study of quantified (...) modal logic. A tableau proof system is presented and proved sound and complete with respect to logical truth. The main focus is on seriously actualistic T, an extension of T, but the results established hold also for systems based on other propositional modal logics. Following Menzel it is shown that the formal language studied also supports an actualistic account of truth simpliciter. (shrink)

In this paper, I argue that various disputes in ontology have important ramifications and so are worth taking seriously. I employ a criterion according to which whether a dispute matters depends on how integrated it is with the rest of our theoretical projects. Disputes that arise from previous tensions in our theorizing and have additional implications for other issues matter, while insular disputes do not. I apply this criterion in arguing that certain ontological disputes matter; specifically, the disputes over concrete (...) possible worlds and coincident material objects. Finally, I consider how one could show that some ontological disputes do not matter, using a Platonism/nominalism dispute as an example. (shrink)

The view that ordinary objects are composites of form and matter ("hylomorphism") can be contrasted with the more common view that ordinary objects are composed of only material parts ("matter only"). On a matter-only view the hard question is modal: which modal profile does that (statue-shaped) object have? Does it have the modal profile of a statue, a lump, a mere aggregate? On a hylomorphic view the hard question is ontological: which objects exist? Does a statue (matter-m + statue-form), a (...) lump (matter-m + lump-form), and/or a mere aggregate (matter-m + mere aggregate-form) exist? I defend a novel answer to the hard question for hylomorphism. In particular, I argue that which ordinary objects exist depends, in part, on how subjects respond to the matter they encounter. I argue that, with regard to grounding the existence and modal properties of ordinary objects, response-dependent hylomorphism is superior to both matter only views and to non-response-dependent versions of hylomorphism. (shrink)

I explain a tension between musical creationism (the view that musical works are abstract artifacts) and the view that there is no vague existence. I then suggest ways to reconcile these views. My central conclusion is that, although some versions of musical creationism imply vague existence, others do not. I discuss versions of musical creationism held by Jerrold Levinson, Simon Evnine, and Kit Fine. I also present two new versions. I close by considering whether the tension is merely an instance (...) of a general problem raised by artifacts, both abstract and concrete. I argue that on at least one defensible account of music the tension is especially problematic for abstracta. I focus on musical works, but much of the paper straightforwardly applies to other kinds of abstract artifacts. (shrink)

Here I propose a coherent way of preserving the identity of material objects with the matter that constitutes them. The presentation is formal, and intended for RSL. An informal presentation is in preliminary draft! -/- Relative-sameness relations—such as being the same person as—are like David Lewis's "counterpart" relations in the following respects: (i) they may hold between objects that aren't identical (I propose), and (ii) there are a multiplicity of them, different ones of which may be variously invoked in different (...) contexts. They differ from counterpart relations, however, in that they are weak equivalence relations (transitive, symmetric and weakly reflexive). The likenesses to counterpart relations make them suitable for an analysis of de-re temporal and modal predications. The difference renders the resulting counterpart theory immune to standard criticisms of Lewis's Counterpart Theory (e.g., in Hazen 1979, and Fara and Williamson 2005). (shrink)

Many philosophers accept some version of a principle that says for all x, if x exists, then x plays a unique causal role. After briefly clarifying one version of the principle in Section 1, Section 2 gives reasons to doubt it by showing that there are non-identical “causal indiscernibles”—I call them “married causes.” Section 3 then sketches a few philosophical puzzles for which married causes may be helpful.

This paper defends a conceptualist answer to the question how objects come by their modal properties. It isolates the controversial metaphysical assumptions that are needed to get ontological conceptualism off the ground, outlines the conceptualist answer to the question and shows that conceptualism is not in as bad a shape as some critics have maintained.

Philosophy and Phenomenological Research, EarlyView.

The standard approach to the so-called paradoxes of identity has been to argue that these paradoxes do not essentially concern the notion of identity but rather betray misconceptions on our part regarding other metaphysical notions, like that of an object or a property. This paper proposes a different approach by pointing to an ambiguity in the identity predicate and arguing that the concept of identity that figures in many ordinary identity claims, including those that appear in the paradoxes, is not (...) the traditional philosophical concept but one that can be defined in terms of relevant similarity. This approach to the paradoxes will be argued to be superior to the standard one. (shrink)

A philosophical standard in the debates concerning material constitution is the case of a statue and a lump of clay, Goliath and Lumpl, respectively. According to the story, Lumpl and Goliath are coincident throughout their respective careers. Monists hold that they are identical; pluralists that they are distinct. This paper is concerned with a particular objection to pluralism, the Grounding Problem. The objection is roughly that the pluralist faces a legitimate explanatory demand to explain various differences she alleges between Lumpl (...) and Goliath, but that the pluralist’s theory lacks the resources to give any such explanation. In this paper, I explore the question of whether there really is any problem of this sort. I argue (i) that explanatory demands that are clearly legitimate are easy for the pluralist to meet; (ii) that even in cases of explanatory demands whose legitimacy is questionable the pluralist has some overlooked resources; and (iii) there is some reason for optimism about the pluralist’s prospects for meeting every legitimate explanatory demand. In short, no clearly adequate statement of a Grounding Problem is extant, and there is some reason to believe that the pluralist can overcome any Grounding Problem that we haven’t thought of yet. (shrink)

Mereological nihilism is the thesis that there are no composite objects—i.e. objects with proper material parts. One of the main advantages of mereological nihilism is that it allows its supporters to avoid a number of notorious philosophical puzzles. However, it seems to offer this advantage only at the expense of certain widespread and deeply entrenched beliefs. In particular, it is usually assumed that mereological nihilism entails eliminativism about ordinary objects—i.e. the counterintuitive thesis that there are no such things as tables, (...) apples, cats, and the like. In this paper, I argue that this assumption is false—mereological nihilists do not need to be eliminativists about tables, apples, or cats. Non-eliminativist nihilists claim that all it takes for there to be a cat is that there are simples arranged cat-wise. More specifically, non-eliminative nihilists argue that expressions such as ‘the cat’ in sentences such as ‘The cat is on the mat’ do not refer to composite objects but only to simples arranged cat-wise and compare this metaphysical discovery to the scientific discovery that ‘water’ refers to dihydrogen oxide. Non-eliminative nihilism, I argue, is not only a coherent position, but it is preferable to its more popular, eliminativist counterpart, as it enjoys the key benefits of nihilism without incurring the prohibitive costs of eliminativism. Moreover, unlike conciliatory strategies adopted by eliminative nihilists, non-eliminative nihilism allow its supporters to account not only for how we can assert something true by saying ‘The cat is on the mat’ but also for how we can believe something true by believing that the cat is on the mat. (shrink)

Mon but ici est de réconcilier deux conceptions relativement populaires dans leurs domaines respectifs : d’une part, la théorie des contreparties (TC) de David Lewis, en métaphysique modale, d’autre part, la thèse de la rigidité mise en avant par Saul Kripke en sémantique. De prime abord, le concept de rigidité ne semble pas pouvoir s’appliquer dans TC : un terme rigide est censé désigner le même objet au travers des mondes possibles, tandis que TC formule les conditions de vérité des (...) énoncés modaux de re en termes non pas d’identité transmonde mais de similarité comparative. Je soutiens néanmoins qu’il peut y avoir de la rigidité au travers des ressemblances. Partant d’une suggestion de Lewis, je montre qu’on peut définir un concept de rigidité, la rigidité lewisienne (rigiditéL), qui est adapté à TC. Malheureusement, la thèse de la rigiditéL ainsi reformulée bute sur un obstacle de taille : l’extrême prodigalité de la relation de ressemblance qui prévaut dans TC entraîne une prolifération des relations de contrepartie, ce qui a pour effet de trivialiser la thèse de la rigiditéL, en faisant de tous les termes singuliers, sans discrimination, noms propres aussi bien que descriptions définies, des désignateurs rigidesL. Suivant une piste d’Allan Gibbard et de Lewis, je propose alors de relativiser la rigiditéL à un aspect de similarité variable selon le contexte conversationnel. De là, je forge un concept plus contraignant, celui d’hyper-rigiditéL, à l’aune duquel le contrepartiste peut enfin capturer la différence entre noms propres et descriptions définies. (shrink)

Arguments based on Leibniz's Law seem to show that there is no room for either indefinite or contingent identity. The arguments seem to prove too much, but their conclusion is hard to resist if we want to keep Leibniz's Law. We present a novel approach to this issue, based on an appropriate modification of the notion of logical consequence.

It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press, Oxford, 2003, pp 201–215; Williamson in Can J Philos 46:453–492, 2016). Kripke calls metaphysical necessity “necessity in the highest degree”. Van Inwagen claims that if P is metaphysically possible, then it is possible “tout court. Possible simpliciter. Possible period…. possib without qualification.” And Stalnaker writes, “we can agree (...) with Frank Jackson, David Chalmers, Saul Kripke, David Lewis, and most others who allow themselves to talk about possible worlds at all, that metaphysical necessity is necessity in the widest sense.” What exactly does the thesis that metaphysical possibility is absolute amount to? Is it true? In this article, I argue that, assuming that the thesis is not merely terminological, and lacking in any metaphysical interest, it is an article of faith. I conclude with the suggestion that metaphysical possibility may lack the metaphysical significance that is widely attributed to it. (shrink)

A traditional argument based on Leibniz’s Law concludes that, for example, a statue and the piece of marble of which it is made are two different objects. This is because they have different properties: the statue can survive the loss of some of its parts but the piece of marble cannot. Lynne Rudder Baker adds that the piece of marble constitutes the statue. In this paper I focus on what I think is the most powerful objection to Baker’s account of (...) the constitution relation, which has to do with her notion of circumstances. I present the objection following Derk Pereboom’s formulation and, afterwards, I analyse Baker’s answers to the criticism. I conclude that they make her overall project less attractive. Finally, I propose a new answer to the criticism. This will suppose a new formulation of the constitution relation, albeit done in the spirit of Baker’s account. (shrink)

Philosophy and Phenomenological Research, EarlyView.

In defending the startling claim that that there are no artifacts, indeed, no inanimate material objects of the familiar sort, Peter van Inwagen has argued that truths about such putative objects can be paraphrased as truths that do not make essential reference to them and that we should endorse only the ontological commitments of the paraphrase. In this note I argue that the paraphrases van Inwagen recommends cannot meet his condition. Read one way, they lose us some truths. Read another, (...) they entail the existence of the very objects they are supposed to rid us of. However, we need not share van Inwagen's distaste for the latter: to say that they exist is not to say that anything exists in addition to the simples composing them. (shrink)

Pluralists believe that there are cases of distinct but spatio-temporally coinciding things. The statue goes, the piece of clay remains: differing persistence conditions, different things. Yet while both are with us, they are obviously in the same place. The argument rests on two assumptions: that statues have their shape essentially and that pieces of clay do not. Only if we make both does the conclusion follow. Here I suggest that while both assumptions are plausible on their face, each may be (...) questioned. Given this, we are not forced to accept their conjunction and can thus avoid the counter-intuitive conclusion it entails. (shrink)

Meta-ontology (in van Inwagen's sense) concerns the methodology of ontology, and a controversial meta-ontological issue is to what extent ontology can rely on linguistic analysis while establishing the furniture of the world. This paper discusses an argument advanced by some ontologists (I call them unifiers) against supporters of or coincident entities (I call them multipliers) and its meta-ontological import. Multipliers resort to Leibniz's Law to establish that spatiotemporally coincident entities a and b are distinct, by pointing at a predicate F (...) () made true by a and false by b . Unifiers try to put multipliers in front of a dilemma: in attempting to introduce metaphysical differences on the basis of semantic distinctions, multipliers either (a) rest on a fallacy of verbalism, entailed by a trade-off between a de dicto and a de re reading of modal claims, or (b) beg the question against unifiers by having to assume the distinction between a and b beforehand. I shall rise a tu quoque, showing that unifiers couldn't even distinguish material objects (or events) from the spatiotemporal regions they occupy unless they also resorted to linguistic distinctions. Their methodological aim to emancipate themselves from linguistic analysis in ontological businesses is therefore problematic. (shrink)

Concerns about ‘mental causation’ are concerns about how it is possible for mental states to cause anything to happen. How does what we believe, want, see, feel, hope, or dread manage to cause us to act? Certain positions on the mind-body problem—including some forms of physicalism—make such causation look highly problematic. This entry sketches several of the main reasons to worry, and raises some questions for further investigation.

Two versions of global supervenience have recently been distinguished from each other. I introduce a third version, which is more likely what people had in mind all along. However, I argue that one of the three versions is equivalent to strong supervenience in every sense that matters, and that neither of the other two versions counts as a genuine determination relation. I conclude that global supervenience has little metaphysically distinctive value.

This is part I of a two-part essay introducing case-intensional first order logic, an easy-to-use, uniform, powerful, and useful combination of first-order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus. CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity is extensional. Definite descriptions are context-independent terms, and lambda-predicates (...) and -operators can be introduced without constraints. These logical resources allow one to define, within CIFOL, important properties of properties, viz., extensionality and absoluteness, Bressan’s chief innovation that allows tracing an individual across cases without recourse to any notion of “rigid designation” or “trans-world identity.” Thereby CIFOL abstains from incorporating any metaphysical principles into the quantificational machinery, unlike extant frameworks of quantified modal logic. We claim that this neutrality makes CIFOL a useful tool for discussing both metaphysical and scientific arguments involving modality and quantification, and we illustrate by discussing in diagrammatic detail a number of such arguments involving the extensional identification of individuals via absolute properties, essential properties, de re vs. de dicto, and the results of possible tests. (shrink)

This paper establishes that the occasional identity relation and the contingent identity relation are both non-transitive and as such are not properly classified as identity relations. This is achieved by appealing to cases where multiple fissions and fusions occur simultaneously. These cases show that the contingent and occasional identity relations do not even satisfy the time-indexed and world-indexed versions of the transitivity requirement and hence are non-transitive relations.

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

The question of how properties are individuated is extremely important. Consider the following proposals. To be in pain is to be in a certain neurological state. To be red is to appear red to normal observers in standard conditions. To be obligatory is to maximize the good. Each makes a claim of property identity. Each is a substantive metaphysical thesis of wide interest. None can be studied with due scrutiny in the absence of a general account of property identity. Here, (...) I will survey existing accounts and suggest a new account in terms of grounding that has some advantages over the other candidates. (shrink)

While "Consciousness Explained" has received an enormous amount of attention since its publication, there is still little agreement on what Dennett’s account of consciousness is. Most interpreters treat his view as an instance of one or another of the standard ontological positions (functionalism, behaviorism, eliminativism, instrumentalism). I believe a different metaphysical account underlies Dennett’s view, one that is important though ill-understood. In the paper I attempt to point in the direction of a proper characterization of that account through the use (...) of two illustrative examples. A ten-point story that applies to the examples is developed, and it is suggested that the story applies equally well to Dennett’s view of consciousness. (shrink)

Attacks on ?closest continuer? and ?best candidate? theories of identity have something correct in them while still failing to discredit the theories they oppose. What follows from Noonan's and Wiggins's objections to such theories is that they need to be so formulated as not to deny the necessity of identity. The best metaphysics for best?candidate theories to adopt is one in which everyday objects are taken to transcend, in a certain sense, their life histories in given worlds. This metaphysics also (...) has the potential for solving problems about contingent identity, transworld identity, and the issue of haecceitism or individual essence. To develop the metaphysics, it is only necessary to follow through the analogy between worlds and times suggested by writers like Plantinga and Schlesinger. (shrink)

In Sections 1–7, I provide a detailed description of some of the advantages of theistic modal realism. The aim is to show specifically how theistic modal realism solves many of the intractable problems of philosophical theology. A detailed description of all of the advantages would require a much longer treatment. The aim is to give a good sense of the theoretical benefits that theistic modal realism affords traditional theists. I offer some concluding remarks in Section 8.