Essentialism about natural kinds involves talking about kinds across possible worlds. I argue that there is a non-trivial transworld identity problem here, which cannot be (dis)solved in the same way that Kripke treats the corresponding transworld identity problem for individuals. -/- I will briefly discuss some ideas for a solution. The upshot is scepticism concerning natural-kind essentialism.

This is a paper in which I argue that problems of transworld identity and the truth in-truth at distinction are motivated by unhelpful pictures we have in mind while doing metaphysics.

The problem of identity across possible worlds is raised with the following questions: What does it mean to say of something in one possible world that it is identical with something in another possible world? How are we to decide whether an individual in one possible world is identical with an individual in another?1 Because the questions concern meaning and verification, it appears to be the case that they presuppose that there are one or more sentences whose meaning and (...) method of verification are in need of explanation. However, although it has been generally presumed to be easy, it turns out to be very difficult to produce a sentence that enables us to formulate the problem and that is not merely supposed to say, but really does say, of an individual in one world and of an individual in another world that the first individual is identical with the second. (shrink)

Husserl's proposed method for knowing the essences of universals, which he calls “free variation,” has been widely criticized for involving viciously circular reasoning. In this paper, I review existing attempts to resolve this problem, and I argue that they all fail. I then show that extant accounts are all guilty of a common mistake: they assume that circularity is inevitable as long as the exercise of free variation presupposes the ability to identify the universal whose essence is in question, that (...) is, the ability to recognize entities as instances of it. I reject this assumption: I argue on both Husserlian and independent philosophical grounds that knowledge of a universal's essence is not required for identifying it, but only for re‐identifying it at every possible world in which it is instantiated. I then defend a reading on which free variation's purpose is to move its practitioner from non‐essentialistic knowledge of a universal's identity (its actual instantiation‐pattern) to essentialistic knowledge of its transworld identity (its instantiation‐pattern in every possible world in which it is present). And I show that such a transformation is a non‐circular progression from non‐modal to modal knowledge. (shrink)

Noneism a is form of Meinongianism, proposed by Richard Routley and developed and improved by Graham Priest in his widely discussed book Towards Non-Being. Priest's noneism is based upon the double move of building a worlds semantics including impossible worlds, besides possible ones, and admitting a new comprehension principle for objects, differerent from the ones proposed in other kinds of neo-Meinongian theories, such as Parsons' and Zalta's. The new principle has no restrictions on the sets of properties that can deliver (...) objects, but parameterizes the having of properties by objects to worlds. Modality is therefore explicitly built in - so the approach can be conveniently labeled as "modal noneism". In this paper, I put modal noneism to work by testing it against classical issues in modal logic and semantics. It turns out that - perhaps surprisingly - the theory performs well in problems of transworld identity, which are frequently considered to be the difficult ones in the literature; faces a limitation, albeit not a severe one, when one comes to transworld individuation, which is often taken as an easy issue, if not a pseudo-problem; and may stumble upon a real trouble when dealing with what I shall call 'extensionally indiscernible entities' - particular nonexistent objects modal noneism is committed to. (shrink)

An -ever free relative is felicitous only when the speaker doesn’t know, or doesn’t care about, the identity of the entity denoted. In this paper we investigate what it means to identify an entity by examining the non-identification condition on -ever free relatives. Following Dayal (In A. Lawson (Ed.), Proceedings of SALT VII, 1997 ), we analyze -ever free relatives as definites with a modal dimension. We show that the variation in the identity of the entity across the (...) possible worlds in the modal dimension cannot be captured in a model where transworld identity is expressed using a single trivial principle of identity, and present an analysis within a model where transworld identity is relativized to noun meanings, which has been proposed in the philosophical literature for other reasons (Geach 1968 ; Gupta, The logic of common nouns: an investigation in quantified modal logic, 1980 ). The analysis thus shows that natural language semantics is sensitive to relative identity in the sense of Geach and Gupta; furthermore, it sets the stage for a new typology of referring expressions based on which expression types contribute principles of transworld identity. (shrink)

In Towards Non-Being Graham Priest proposes an informative criterion of identity across possible worlds. Roughly, the criterion says that whenever two objects satisfy the very same qualitative characteristics in every possible world they are identical. But Priest also maintains that there are qualitatively indiscernible possible worlds. It is argued in the paper that for this reason he should allow the existence of two numerically different but qualitatively identical objects, and that is in tension with the criterion of transworld (...) identity he has proposed. Thus Priest should reject either his criterion of transworld identity, or the thesis of possibleexistence of qualitatively indiscernible worlds. (shrink)

A certain argument has been given in the literature to the effect that generalism (the view that all facts about all possible worlds can (in principle) be given in general terms, that is, without resorting to nonqualitative thisnesses) excludes transworld identitism (the view that there are numerical identities through possible worlds). It follows from this argument, among other things, that transworld identitism entails Scotistic haecceitism (acceptance of nonqualitative thisnesses), and that generalists subscribing to de reism (the view that (...) there are true modal statements de re) are committed to counterpartism (the view that sameness through worlds is not numerical identity). The purpose of this paper is to resist the argument in question by constructing generalist transworld identitism, that is, by providing an account involving identities through possible worlds, without resorting to nonqualitative thisnesses. (shrink)

A natural way of viewing compensation is to see it as the restoration of a good or level of well-being which someone would have enjoyed if he had not been adversely affected by the act of another. This view underlies Nozick’s assertion that “something fully compensates … person X for Y’s action A if X is no worse off receiving it, Y having done A, than X would have been without receiving it if Y had not done A”; and it (...) has been held by many others as well. Because the notion that compensation is the restoration of a good which a person would have had but for the act of another is so pervasive, I shall refer to it as the official view of compensation. One noteworthy feature of the official view is the ease with which it allows compensation to be justified in particular cases. If compensation is just the restoration of a good which one would have had if the ordinary course of things had not been disrupted, then to provide a prima facie justification of it, one need only argue that the natural course of things should not have been disrupted in the first place. (shrink)

In the massive plot twist at the end of BioShock Infinite, the writers beautifully put forth a hypothesis that individuals might exist in more than one possible world. In philosophy, the idea that an individual can exist in more than one world is called transworld identity. An important rival to transworld identity theory is counterpart theory, the idea that individuals cannot exist in more than one possible world and are therefore “world bound.” Modal realism is the (...) thesis according to which there is an infinite number of possible worlds that really exist in the most robust sense, relative to themselves. The world of Columbia is one possible world. The world of Rapture is another possible world. Both the actualist and the possibilist agree on these claims. Most important to the themes present in BioShock, transworld individuality has profound implications for differing notions of freedom. (shrink)

I introduce and defend the semantic notion of counterfactual identity, distinguishing it from the metaphysical notion of transworld identity. After showing that Lewis's counterpart theory misconstrues counterfactual identity facts, I outline and motivate a ‘Leibnizian counterpart theory’ where the notion of counterfactual identity is adequately modelled. Finally, I show that counterfactual identity can be characterized without relying on some implausible features of Lewis's theory of conditionals.

In this paper, I am going to ask what the general criteria for identity are and exactly how essence is related to that. Two notions are related to this question: Essential properties (necessary properties) and individual essences. Only the notion of individual essence has been involved in the criteria of transworld identity. The disputes of transworld have centered on the intrinsic properties necessarily connected to thisness. Through introducing a notion of part-rigidity, however, we can see that (...) there can be an entity that does not have an individual essence as an intrinsic property necessarily connected to thisness, the non-part-rigid structure. Being this structure is an intrinsic property that is relational and compositional. An entity that has a relational and compositional intrinsic property as its necessary property seems to have no individual essence. For this kind of entities, just an essential property (or a necessary property) is involved in the criteria of transworldidentity. (shrink)

The chief goal of this dissertation is to attain some clarity with respect to the interconnected issues which constitute the problem of personal identity. The logical and linguistic categories developed by Saul Kripke provide the tools through which these issues can be separated and put into perspective. In the first two chapters I examine the modal and other semantic features of rigid singular terms and such rigid predicates as natural kind terms. I defend both the transworld identity (...) of named individuals and the real essence of genuine natural kinds. ;In the third chapter this linguistic framework is used to explicate the distinction between the numerical identity of individuals and the qualitative identity of properties. I suggest that individual identity consists in a principle of uniqueness typically supplied through indexical identification and a principle of individuation through which a given individual can be tracked through qualitative change. Property identity is explicated as a form of qualitative similarity. ;In the final two chapters I consider personal identity as a form of individual identity and personal identity as a form of property identity. I reject the former interpretation on the grounds that 'person' fails to supply a principle of individuation for actual persons. I adopt the latter interpretation and suggest that person designates a necessary dispositional property of actual persons. I consider alternative theories of personal identity from the standpoint of a property identity theory of personal identity and I argue that the property identity theory provides a compelling account of a series of widely discussed problem cases. (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 my argument for subject body dualism criticized by Ludwig I use the locution of a genuine and factual difference between two possibilities. Ludwig distinguishes three interpretations of this locution. According to his analysis the argument does not go through on any of these interpretations. In my response I agree that the argument is unsuccessful if ‘factual difference’ is understood in the first way. The second reading—according to a plausible understanding—cannot be used for the argument either. The discussion of this (...) reading raises fundamental issues about different notions of propositional content. I disagree with Ludwig's diagnosis with respect to the third reading. Contrary to Ludwig's claim, there is no modal error involved if ‘factual difference’ is understood in the third way. Ludwig's objection to the argument according to its third reading can be answered by pointing out that every individual has its identity conditions necessarily. At this point fundamental and general metaphysical issues (concerning the link between identity conditions and the nature of ontological categories and between transworld and transtemporal identity) prove relevant. Finally, I make more explicit how ‘factual difference’ should be understood in the context of the argument (this is a fourth reading not considered by Ludwig) and explain how this reading strengthens the argument (compared to the third reading) by weakening its central premise. I conclude that Ludwig's attempt at undermining the argument from transtemporal identity for subject body dualism is unsuccessful. (shrink)

What would my life have been like if I had been born more intelligent? Or taller? Or a member of the opposite sex? Or a non-biological being? It is plausible that some of these questions make sense, while others stretch the limits of sense making. In addressing questions of how I might have been, genetic essentialism is popular, but this article argues that genetic essentialism, and other versions of origin essentialism for organisms, must be rejected. It considers the prospects for (...) counterpart theory and shows how counterpart theory can be used to illuminate volitional accounts of identity as proposed by Harry Frankfurt. This enables one to make sense of claims that, say, being gay, or Deaf, or Black, can be essential to someone's identity. The discussion is then extended to show how it can be made applicable to the transworld identity theorist who denies that individuals possess essential properties. (shrink)

Models based on possible worlds have proved to be very useful in the interpretation of modal expressions. However, there is a difference in the way that mathematicians and philosophers may use such models. The mathematician constructs them to serve his own purposes and thereby determines their properties. The philosopher, on the other hand, does not have so much freedom. His objective, which is to achieve a better understanding of language, puts limits on this. Not everything can be stipulated. This fact (...) is sometimes forgotten. An example of this is the almost unrestricted use of the notion of transworld identidy in philosophical explanations and discussions. The first objective of the article is to show that this unrestricted use is illegitimate. On the other hand, it would be important to maintain the possibility of using the notion. The second objective of the article is precisely to show how this can be achieved. The kind of structure which appears to be most appropriate to account for how modalities are applied to particulars is then made explicit, formal applications of the proposed model are briefly presented, and the conditions for the application of the notion of transworld identity in the interpretation of natural language are considered. (shrink)

This chapter focuses mainly on how possible worlds relate to the truth and falsity of modal claims (or propositions), and therefore to whether claims are necessarily true, necessarily false, possibly true, possibly false, and so on. This issue is that of modality de dicto, modality concerning propositions. But there is another type of modality, namely modality de re. This has to do with the modal status of relations between things and their properties, with whether things possess properties necessarily, contingently or (...) not even possibly. This chapter introduces the distinction between de dicto and de re necessity, and then explores different ways of making sense of de re necessity‐necessities involving particular individuals. It talks about Strong Transworld Identity, and explores how Abstractionists respond to the Leibniz's Law argument. Some metaphysicians go farther and identify what is possible with what is conceivable, or perhaps with what we are justified in believing to be possible. (shrink)

Nathan Salmon, in his paper Trans-World Identification and Stipulation (1996) purports to give a proof for the claim that facts concerning trans-world identity cannot be conceptually reduced to general facts. He calls this claim ‘Extreme Haecceitism.’ I argue that his proof is fallacious. However, I also contend that the analysis and ultimate rejection of his proof clarifies the fundamental issues that are at stake in the debate between the reductionist and haecceitist solutions to the problem of trans-world identity. (...) These issues hinge on the ability of modal logic and possible worlds semantics to draw a hard and fast distinction between the logic and the metaphysics of modal logic. I shall claim that the considerations in this paper call into question the viability of such a distinction. (shrink)

This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and (...) the existence of unactual objects in other possible worlds. He also applies his logical theories to the elucidation of two problems in the philosophy of religion: the problem of evil and the ontological argument. (shrink)

The standard conception of God is that of a necessary being. On a possible worlds semantics, this entails that God exists at every possible world. According to the modal realist account of David Lewis, possible worlds are understood to be real, concrete worlds—no different in kind from the actual world. Some have argued that Lewis’s view is incompatible with classical theism (e.g., Sheehy, 2006). More recently, Ross Cameron (2009) has defended the thesis that Lewisian modal realism and classical theism are (...) in fact compatible. I argue that this is not the case. Modal realism, I argue, is equipped to accommodate necessary beings in only one of three ways: (1) By way of counterpart theory, or (2) by way of a special case of trans-world identity for causally inert necessary beings (e.g., pure sets), or else (3) causally potent ones which lack accidental intrinsic properties. However, each of these three options entails unacceptable consequences—(1) and (2) are incompatible with theism, and (3) is incompatible with modal realism. I conclude that (at least) one of these views is false. (shrink)

Philosophers distinguish between having a property essentially and having it accidentally. The way the distinction has been drawn suggests that it is modal in character, and so that it can be captured in terms of necessity, or cognate notions. The present chapter takes the suggestion at face value by considering a number of modal characterizations of the essential/accidental distinction that have been articulated and discussed since the early 20th century, as well as some of the challenges that they face.

Adams presents an in-depth interpretation of three important parts of Leibniz's metaphysics, thoroughly grounded in the texts as well as in philosophical analysis and critique. The three areas discussed are the metaphysical part of Leibniz's philosophy of logic, his essentially theological treatment of the central issues of ontology, and his theory of substance. Adams' work helps make sense of one of the great classic systems of modern philosophy.

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (shrink)

Lewis (The Journal of Philosophy, 65(5), 113–126, 1968) attempts to provide an account of modal talk in terms of the resources of counterpart theory, a first-order theory that eschews transworld identity. First, a regimentation of natural language modal claims into sentences of a formal first-order modal language L is assumed. Second, a translation scheme from L-sentences to sentences of the language of the theory is provided. According to Hazen (The Journal of Philosophy, 76(6), 319–338, 1979) and Fara & (...) Williamson (Mind, 114(453), 1–30, 2005), the account cannot handle certain natural language modal claims involving a notion of actuality. The challenge has two parts. First, in order to handle such claims, the initial formal modal language that natural language modal claims are regimented into must extend L with something like an actuality operator. Second, certain ways that Lewis’ translation scheme for L might be extended to accommodate an actuality operator are unacceptable. Meyer (Mind, 122(485), 27–42, 2013) attempts to defend Lewis’ approach. First, Meyer holds that in order to handle such claims, the formal modal language L$$^*$$ ∗ that we initially regiment our natural language claims into need not contain an actuality operator. Instead, we can make do with other resources. Next, Meyer provides an alternative translation scheme from L$$^*$$ ∗ -sentences to sentences of an enriched language of counterpart theory. Unfortunately, Meyer’s approach fails to provide an appropriate counterpart theoretic account of natural language modal claims. In this paper, I demonstrate that failure. (shrink)

In this paper, I will argue that there is a version of possibilism—inspired by the modal analogue of Kit Fine’s fragmentalism—that can be combined with a weakening of actualism. The reasons for analysing this view, which I call Modal Fragmentalism, are twofold. Firstly, it can enrich our understanding of the actualism/possibilism divide, by showing that, at least in principle, the adoption of possibilia does not correspond to an outright rejection of the actualist intuitions. Secondly, and more specifically, it can enrich (...) our understanding of concretism, by proving that, at least in principle, the idea that objects have properties in an absolute manner is compatible with transworld identity. (shrink)

In this chapter, I survey what I call Lewisian approaches to modality: approaches that analyze modality in terms of concrete possible worlds and their parts. I take the following four theses to be characteristic of Lewisian approaches to modality. (1) There is no primitive modality. (2) There exists a plurality of concrete possible worlds. (3) Actuality is an indexical concept. (4) Modality de re is to be analyzed in terms of counterparts, not transworld identity. After an introductory section (...) in which I motivate analyzing modality in terms of possible worlds, I devote one section to each of these four theses. For each thesis, I take Lewis’s interpretation and defense as my starting point. I then consider and endorse alternative ways of accepting the thesis, some of which disagree substantially with Lewis’s interpretation or defense. There is more than one way to be a Lewisian about modality. (shrink)

Lewisian theism is the view that both traditional theism and Lewis’s modal realism are true. On Lewisian theism, God must exist in worlds in one of the following ways: God can be said to have a counterpart in each world; God can be said to exist in each world in the way that a universal can be said to exist in worlds, i.e. through transworld identity; God can be said to be a scattered individual, with a part of (...) God existing in each world; and, God can be said to exist in each world, through His existing from the standpoint of each world. In the literature, – have been rejected as viable options. I grant that and are not viable. However, I believe that and have been too hastily rejected. Herein, I develop ways to respond to objections to and, and conclude that is a viable option for Lewisian theists. (shrink)

In 'Four-Dimensional Objects' Peter van Inwagen gives two arguments for the claim that proponents of four-dimensionalism have to be counterpart theorists. Recently Jack Copeland, Heather Dyke, and Diane Proudfoot, echoing in part points made by Mark Heller in this journal in 1993, have sought to rebut one of van Inwagen's arguments. In this paper I shall criticize their discussion and by implication certain points made by Heller. In so doing I shall also rebut a possible objection to van Inwagen's second (...) argument. While I shall conclude that Copeland et al . fail to make their case, I nevertheless argue that van Inwagen's argument can be resisted, provided that the four-dimensionalist is willing to adopt a certain conception of transworld identity. Moreover, I shall argue that to the extent that van Inwagen's paper highlights something problematic for four-dimensionalism in this particular conception of transworld identity, the paper highlights something equally problematic for three-dimensionalism. (shrink)

I reject Norton and Earman's hole argument that spacetime substantivalism is incompatible with determinism. I reconcile these both technically and philosophically. There is a technical definition of determinism that is not violated by pairs of models of the kind used in the hole argument. And technicalities aside, the basic idea of determinism is not violated if we claim that at most one of the two models represents a possible world. This claim can be justified either by metrical essentialism, or by (...) denying transworld identity for points: I prefer the latter. (shrink)

According to possibilism, or non-actualism, fictional characters are possible individuals. Possibilist accounts of fiction do not only assign the intuitively correct truth-conditions to sentences in a fiction, but has the potential to provide powerful explanatory models for a wide range of phenomena associated with fiction (though these two aspects of possibilism are, I argue, crucially distinct). Apart from the classic defense by David Lewis the idea of modeling fiction in terms of possible worlds have been widely criticized. In this article, (...) I provide a defense of a possibilist account against some lines of criticism. To do so, I assume that names for fictional characters are directly referential and a possible-worlds model that accommodates transworld identity. On this background, I argue, it is possible to construct an elegant model of fictional discourse using familiar models of information exchange in ordinary discourse, and I sketch how this model can be used to i) make a natural distinction between fictional and counterfactual discourse, ii) account for creativity, and iii) sustain a natural definition of truth-in-fiction that avoids certain familiar objections to possibilism. Though I set aside questions about the metaphysical commitments of a possible-world interpretation here, there is accordingly reason to think that the battle over possibilist treatments of fiction will have to be fought over metaphysical foundations rather than technical shortcomings. (shrink)