David Lewis’ contemplations regarding divine foreknowledge and free will, along with some of his other more substantial work on modal realism and his counterpart theory can serve as a springboard to a novel solution to the foreknowledge and metaphysical freedom puzzle, namely a proposal that genuine metaphysical freedom is compatible with determinism, which is quite different from the usual compatibilist focus on the compatibility between determinism and moral responsibility. This paper argues that while Lewis opens the doors to such a (...) possibility, in order to fully elucidate a genuinely metaphysical compatibilist account, Lewis’ own counterpart theory must be abandoned in favour of an account of trans-world identity that is theoretically framed by a modified version of Robert Nozick’s closest continuer theory. (shrink)

Some plausibly necessary a posteriori theoretical claims include ‘water is H 2 O’, ‘gold is the element with atomic number 79’, and ‘cats are animals’. In this paper I challenge the necessity of the third claim. I argue that there are possible worlds in which cats exist, but are not animals. Under any of the species concepts currently accepted in biology, organisms do not belong essentially to their species. This is equally true of their ancestors. In phylogenetic systematics, monophyletic clades (...) such as the animal kingdom are composed of an ancestral stem species and all of its descendants. If the stem species had not existed, neither would the clade. Thus it could have been the case that all the organisms which actually belong to the animal kingdom might have existed yet not have been animals. (shrink)

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)

On Anselmian theism, God is, amongst other things, a necessary being. On genuine modal realism, possible worlds are maximal mereological sums of spatiotemporally connected individuals. I argue in this paper that AT and GMR are either incompatible or their conjunction leads to—amongst other things—modal collapse. Specifically, I argue: regardless of whether God is concrete or abstract, His necessary existence either is inconsistent with AT-GMR or it leads to, amongst other things, modal collapse for AT-GMR. I conclude the paper by contending (...) that, if I am correct, the ATist will have an argument against the truth of GMR, and the GMRist will have an argument against the truth of AT. (shrink)

This paper is about conjunctions and disjunctions in the scope of non-doxastic atti- tude verbs. These constructions generate a certain type of ignorance implicature. I argue that the best way to account for these implicatures is by appealing to a notion of contex- tual redundancy (Schlenker, 2008; Fox, 2008; Mayr and Romoli, 2016). This pragmatic approach to ignorance implicatures is contrasted with a semantic account of disjunctions under `wonder' that appeals to exhausti cation (Roelofsen and Uegaki, 2016). I argue that (...) exhausti cation-based theories cannot handle embedded conjunctions, so a pragmatic account of ignorance implicatures is superior. (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)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

Existentialism concerning singular propositions is the thesis that singular propositions ontologically depend on the individuals they are directly about in such a way that necessarily, those propositions exist only if the individuals they are directly about exist. Haecceitism is the thesis that what non-qualitative facts there are fails to supervene on what purely qualitative facts there are. I argue that existentialism concerning singular propositions entails the denial of haecceitism and that this entailment has interesting implications for debates concerning the philosophy (...) of language, the nature of propositions, and the metaphysics of modality. (shrink)

The study of reference often leads to addressing fundamental issues in semantics, metaphysics and epistemology; this suggests that reference is closely linked to the three realms. The overall purpose of this study is to elucidate the structure of some of these links, through a close examination of the “mechanism” of reference. As in many other enquiries, considering the possible (i.e., the modal,) in addition to the actual proves very helpful in clarifying and explicating insights. The reference of a term with (...) respect to possible worlds is commonly called “intension”; so this is a study of intensions. The main contribution of the study is an outline for a “calculator” of intensions. It is argued that the intension of a term is a function of three variables: (a) the way in which the term “picks out” its referent in different possible worlds (semantics); (b) criteria of identity (metaphysics); and (c) the actual state of affairs (actuality). While considering different possible values for these variables, it is demonstrated how the variables combine to generate the term’s intension. In other words, the result is a calculator that when provided with the required values, yields the reference of the term in different possible worlds. By taking into account the possible gap between what we take the values of these variables to be and what they may in fact be, we also gain important insights into the epistemic aspect of reference. In addition, since a rigid designator is a term with constant intension, the proposed thesis provides an elaborate account of rigidity. The first chapter is devoted to the development of the calculator of intensions. Each of the following three chapters elaborates on one aspect of intensions, namely, the semantic, metaphysical and epistemic aspects. In the course of these chapters, various familiar puzzles pertaining to the respective philosophical realms are addressed (many of these puzzles are discussed in Kripke’s Naming and Necessity – a work that considerably inspired this study). In the fifth and last chapter the analysis of intensions is applied to two case-studies from relatively recent philosophical literature: the Kripke-Lewis debate over the identity theory of mind, and the debate over the significance of Donnellan’s referential/attributive distinction. The novel accounts that these applications generate purport to illustrate the importance and originality of the proposed thesis. (shrink)

Human heritable genome editing (HHGE) involves editing the genes of human gametes and/or early human embryos. Whilst ‘identity’ is a key concept underpinning the current HHGE debate, there is a lack of inclusive analysis on different concepts of ‘identity’ which renders the overall debate confusing at times. This paper first contributes to reviewing the existing literature by consolidating how ‘identity’ has been discussed in the HHGE debate. Essentially, the discussion will reveal an ontological and empirical understanding of identity when different (...) types of identity are involved. Here, I discuss genetic, numerical, qualitative and narrative and how each of them is relevant in the HHGE context. Secondly, given the different types of identity, the paper explores how we could navigate these different interpretations of identity in a way that promotes an inclusive and informed discussion between primary stakeholders and the general public in the HHGE debate. Here, I argue for and refine a multi-faceted concept of identity as a suitable framework for discussing the ethical and societal implications of HHGE because it not only could integrate different understandings of identity but also highlight the interconnectedness between these different understandings. (shrink)

If ecological systems are functionally organised, they can possess functions or malfunctions. Natural function would provide justification for conservationists to act for the protection of current ecological arrangements and control the presence of populations that create ecosystem malfunctions. Invasive species are often thought to be malfunctional for ecosystems, so functional arrangement would provide an objective reason for their control. Unfortunately for this prospect, I argue no theory of function, which can support such normative conclusions, can be applied to large scale (...) ecosystems. Instead ecological systems have causal structure, with small clusters of populations achieving functional arrangement. This, however, does not leave us without reason to control invasive species. We can look at the causal arrangement of ecological systems for populations that support ecological features that we should preserve. Populations that play a causal role in reducing biodiversity should be controlled, because biodiversity is a good all prudent agents should want to preserve. (shrink)

The metaphor of a branching tree of future possibilities has a number of important philosophical and logical uses. In this paper we trace this metaphor through some of its uses and argue that the metaphor works the same way in physics as in philosophy. We then give an overview of formal systems for branching possibilities, viz., branching time and (briefly) branching space-times. In a next step we describe a number of different notions of possibility, thereby sketching a landscape of possibilities. (...) In the final section of the paper we look at the place of branching-based possibilities in that larger landscape of possibilities. Our main message is that far from being an outlandish metaphysical extravagancy, branching-based possibilities are epistemically as well as metaphysically basic. (shrink)

This guide accompanies the following articles: Sonia Roca‐Royes, ‘Essentialism vis‐à‐vis Possibilia, Modal Logic, and Necessitism.’Philosophy Compass 6/1 (2011): 54–64. doi: 10.1111/j.1747‐9991.2010.00363.x. Sonia Roca‐Royes, ‘Essential Properties and Individual Essences.’Philosophy Compass 6/1 (2011): 65–77. doi: 10.1111/j.1747‐9991.2010.00364.x. Author’s Introduction Intuitively, George Clooney could lose a finger and he would still be him. Also intuitively, he could not lose his humanity without ceasing to be altogether. So while he could have one less finger, he could not be other than human. These intuitions suggest that (...) there are two kinds of properties: on the one hand, there are essential properties and, on the other, there are accidental properties. Essentialism is the view that captures those intuitions and claims that some of an object’s properties are essential and some are accidental. Essential properties are often appealed to in metaphysical arguments. Consider the famous Goliath–Lumpl example. Goliath is a clay‐statue, and Lumpl is the piece of clay from which Goliath is made. Are Goliath and Lumpl the same entity, or are they distinct, despite coinciding in the same spatial region (at least for a period of time)? An argument in favour of their distinctness appeals to essential properties. Let s be Goliath’s shape. Lumpl’s current shape is therefore also s. It seems that Lumpl could lose its current shape and still exist. Yet, if Goliath – the statue – were melted, for instance, it would cease to exist. Behind this reasoning is the belief that having shape s is essential to Goliath but not to Lumpl. Goliath and Lumpl can therefore be distinguished by their essential properties. Consequently, and by Leibniz’s Indiscernibility of Identicals– according to which identicals cannot be distinguished – Goliath and Lumpl are distinct objects. The essentialist intuition appealed to in this argument is that shapes are essential to statues but not to pieces of clay. Of course, this particular argument – like any other – can be resisted. It is all the same a good illustration of how essentialism is put to work in metaphysics. A good understanding of the broad phenomenon of essentialism is therefore an unavoidable task, since the credit of a lot of metaphysical arguments partially depends on it. Although the topic has been studied for millenniums, the two papers that this guide accompanies are focused on contemporary issues in essentialism, and so will do this guide too. Author Recommends Fine, Kit. ‘Essence and Modality.’Philosophical Perspectives 8 (1994): 1–16. One of the most cited and influential papers against the modal account of the notion of essence and in favour of what has subsequently been referred to in the literature as ‘the Finean account of the notion of essence’. Forbes, Graeme. The Metaphysics of Modality. Oxford: Clarendon Press, 1985. A foundational work in modality and essentialism. The first two chapters provide a valuable introduction to propositional and first order modal logic. Chapters 5–8 constitute a comprehensive essentialist theory and contain some of the most cited arguments for individual essences. Kripke, Saul. Naming and Necessity, Cambridge, MA: Harvard UP, 1972/1980. Another foundational work. With this book – which is, among other things, a defence of a Direct Theory of Reference – Kripke rescues, after Quine’s powerful attacks against it, and using the semantic rigidity of proper names, (Aristotelian) essentialism. Mackie, Penelope. How Things Might Have Been: Individuals, Kinds and Essential Properties. Oxford: Clarendon Press, 2006. An extremely valuable recent contribution to the field. Here, Mackie defends that, although essentialism is a real phenomenon, there are much fewer essential properties than is standardly believed, and labels this view ‘Minimalist Essentialism’. Beyond the intrinsic interest of the defence of Minimalist Essentialism, the book is also highly recommended for its clear reconstructions – and discussions – of some of the most influential essentialist arguments. In addition, the book’s bibliography is very comprehensive and updated, and it might be a useful resource for students. Plantinga, Alvin. The Nature of Necessity. Oxford: OUP, 1974. Yet another foundational work. Here, Plantinga offers his essentialist theory which, like Forbes’, also incorporates individual essences although of a very different sort from Forbes’. Plantinga believes in purely non‐qualitative individual essences, whereas Forbes’ aims at purely qualitative ones. The book is also excellent to provide a solid background to those unfamiliar with the topic. Roca‐Royes. ‘Essentialism vis‐à‐vis Possibilia, Modal Logic and Necessitism.’Philosophy Compass, 6/1 (2011): 54–64, doi: 10.1111/j.1747‐9991.2010.00363.x. This is one of the two papers this guide accompanies. It contains a comparative examination of two opposed responses to the problem of possibilia. One solution crucially appeals to individual essences and another – compatible with them, but not dependent on them – makes existence a necessary‐whenever‐possible property. Salmon, Nathan. Reference and Essence. Princeton: Princeton UP, 1981. Against what Kripke’s Naming and Necessity might have induced us to believe, Salmon’s Reference and Essence argues that essentialism cannot be derived from the Direct Theory of Reference. Our commitments to essentialism should therefore come from somewhere else. It also contains one of the most cited and influential arguments against the transitivity of the accessibility relation between worlds, which relies on flexible essential properties. Online Materials The Stanford Encyclopedia of Philosophy publishes extremely valuable entries on a vast variety of topics which are conveniently updated and revised. On essentialism, the following are to be highlighted: Teresa Robertson, ‘Essential vs. Accidental Properties’: Takashi Yagisawa, ‘Possible Objects’: Penelope Mackie, ‘Transworld Identity’: PhilPapers is an interactive directory of online philosophical publications to which one can subscribe, and which allows authors to submit their latest work. One might find it useful to check this on a regular basis, since contents are constantly updated. The following link is to the site’s resources on essentialism:. Sample Syllabus Because the phenomenon of essentialism is very broad, one can design an entire course on it, thereby having enough time to see some of the issues in considerable depth. The sample syllabus suggested here is of one such course, focusing exclusively on contemporary issues in essentialism. Less deeply, the topic of essentialism can also be introduced in a general course on metaphysics or on modality. To this effect, focusing on some of the topics suggested in weeks 1–6 below would perhaps be more appropriate than focusing on the more complex issues suggested for weeks 7–10. Week 1. Introduction to Essentialism. Two Notions of Essential Property: The Modal Account and the Finean Account Fine, Kit. ‘Essence and Modality.’Philosophical Perspectives 8 (1994): 1–16. Robertson, Teresa. ‘Essential vs. Accidental Properties.’Stanford Encyclopedia of Philosphy (Fall 2008 Edition). Ed. Edward N. Zalta. URL:. Roca‐Royes, Sonia. ‘Essential Properties and Individual Essences.’Philosophy Compass, 6/1 (2011): 65–77. Sections 1–2. Week 2. Essentialist Principles, I: Three Arguments for the Essentiality of Origin Kripke, Saul. Naming and Necessity. Cambridge, MA: Harvard UP, 1972/1980. Lecture III. Mackie, Penelope. ‘Identity, Time and Necessity.’Proceedings for the Aristotelian Society 98 (1998): 59–78. Rohbraugh, Guy and deRosset, Louis. ‘A New Route to the Necessity of Origin.’Mind 133 (2004): 705–25. Week 3. Essentialist Principles, II: Essentiality of Kind Brody, Baruch. ‘Natural Kinds and Real Essences.’Journal of Philosophy 64 (1967): 431–46. Mackie, Penelope. How Things Might Have Been: Individuals, Kinds and Essential Properties. Oxford: Clarendon Press, 2006. Chapters 7 and 8. Wiggins, David. Sameness and Substance Renewed. Cambridge: Cambridge UP, 2001. Chapter 3. Week 4. Essentialist Principles, III: Natural Kind Essentialism Kripke, Saul. ‘Identity and Necessity.’Identity and Individuation, Ed. M. K. Munitz. New York: New York University Press, 1971. 135–64. Kripke, Saul. Naming and Necessity. Cambridge, MA: Harvard UP, 1972/1980. Lecture III. Putnam, Hilary. ‘The Meaning of “Meaning”.’Minnesota Studies in the Philosophy of Science 7 (1975): 215–71. Week 5. Sufficient‐for‐Existence Properties (and Cross‐World Identification Principles) Chisholm, Roderick. ‘Identity through Possible Worlds: Some Questions.’Noûs 1.1 (1967): 1–8. Mackie, Penelope. How Things Might Have Been: Individuals, Kinds and Essential Properties. Oxford: Clarendon Press, 2006. Chapter 3. Salmon, Nathan. Reference and Essence. Princeton: Princeton UP, 1981. Chapter 7. Week 6. Individual Essences Mackie, Penelope. ‘Transworld Identity.’The Stanford Encyclopedia of Philosophy (Fall 2008 Edition). Ed. Edward N. Zalta. URL:. Section 4. Roca‐Royes, Sonia. ‘Essential Properties and Individual Essences.’Philosophy Compass 6/1 (2011): 65–77. Sections 3–4. Week 7. Flexible Essential Properties and S4 Roca‐Royes, Sonia. ‘Essentialism vis‐à‐vis Possibilia, Modal Logic, and Necessitism.’Philosophy Compass 6/1 (2011): 54–64. Section 3. Salmon, Nathan. Reference and Essence. Princeton: Princeton UP, 1981. Appendix 1. Week 8. Individual Essences and Possibilia Peacocke, Christopher. ‘Principles for Possibilia.’Noûs 36.3 (2002): 486–508. Roca‐Royes, Sonia. ‘Essentialism vis‐à‐vis Possibilia, Modal Logic, and Necessitism.’Philosophy Compass 6/1 (2011): 54–64. Section 2. Week 9. Necessitism and Essentialism: A Third Notion of Essential Property Linsky, Bernard and Zalta, Edward. ‘In Defense of the Contingently Nonconcrete.’Philosophical Studies 84 (1996): 283–94. Roca‐Royes, Sonia. ‘Essentialism vis‐à‐vis Possibilia, Modal Logic, and Necessitism.’Philosophy Compass 6/1 (2011): 54–64. Section 5. Williamson, Timothy. ‘Bare Possibilia.’Erkenntnis 48 (1998): 257–73. Week 10. Essentialism and Modal Logic: The Barcan Formula Menzel, Christopher. ‘Actualism.’The Stanford Encyclopedia of Philosophy (Summer 2010 Edition). Ed. Edward N. Zalta. URL:. Section 2. Roca‐Royes, Sonia. ‘Essentialism vis‐à‐vis Possibilia, Modal Logic, and Necessitism.’Philosophy Compass 6/1 (2011): 54–64. Section 4. Focus Questions • There is a debate as to whether essential properties– as well as individual essences and sufficient‐for‐existence properties– should be specified in purely qualitative terms or whether, by contrast, non‐purely qualitative – or even purely non‐qualitative – specifications are allowed. What are the main arguments against the availability of purely qualitative specifications? • Flexible essential properties seem to be more plausible than non‐flexible ones. Yet, together with sufficient‐for‐existence properties, they imply flexible individual essences. How plausible are these? Should we revise our intuitions supporting flexible essential properties? • What are, ultimately, the ontological differences between a necessitist approach to possibilia and an individual‐essences‐based approach? • According to necessitism, essential properties do not impose necessary conditions for an object’s existence. Can the necessitist, nonetheless, capture this role of essential properties by saying that, when it comes to possibly concrete entities, essential properties provide necessary conditions for an object’s concreteness? Can they, on a similar vein, also offer sufficient‐for‐concreteness properties as a surrogate for the (non‐necessitist’s) sufficient‐for‐existence properties? • Even after the enormous amount of literature that essentialism has generated, we are far from reaching a general agreement as to which properties are essential and which are accidental. Should this be a reason to reflect, critically, on the methodology that is being used in the arguments for or against essential properties? Is reliance on intuitions inescapable? (shrink)

Plural definite descriptions across many languages display two well-known properties. First, they can give rise to so-called non-maximal readings, in the sense that they ‘allow for exceptions’. Second, while they tend to have a quasi-universal quantificational force in affirmative sentences, they tend to be interpreted existentially in the scope of negation. Building on previous works, we offer a theory in which sentences containing plural definite expressions trigger a family of possible interpretations, and where general principles of language use account for (...) their interpretation in various contexts and syntactic environments. Our theory solves a number of problems that these previous works encounter, and has broader empirical coverage in that it offers a precise analysis for sentences that display complex interactions between plural definites, quantifiers and bound variables, as well as for cases involving non-distributive predicates. The resulting proposal is briefly compared with an alternative proposal by Križ, which has similar coverage but is based on a very different architecture and sometimes makes subtly different predictions. (shrink)

The current conception of the plurality of worlds is founded on a set theoretic understanding of possibilia. This paper provides an alternative category theoretic conception and argues that it is at least as serviceable for our understanding of possibilia. In addition to or instead of the notion of possibilia conceived as possible objects or possible individuals, this alternative to set theoretic modal realism requires the notion of possible morphisms, conceived as possible changes, processes or transformations. To support this alternative conception (...) of the plurality of worlds, I provide two examples where a category theoretic account can do work traditionally done by the set theoretic account: one on modal logic and another on paradoxes of size. I argue that the categorial account works at least as well as the set theoretic account, and moreover suggest that it has something to add in each case: it makes apparent avenues of inquiry that were obscured, if not invisible, on the set theoretic account. I conclude with a plea for epistemological humility about our acceptance of either a category-like or set-like realist ontology of modality. (shrink)