In this paper I show that a novel ontic reading of explanation, intending to capture the de re essential features of individuals, can support the qualitative view of individual essences. It is argued further that the putative harmful consequences of the Leibniz Principle and its converse for the qualitative view can be avoided, provided that individual essences are not construed in the style of the naïve bundle theory with set-theoretical identity- conditions. Adopting either the more sophisticated two-tier BT or, alternatively, (...) the neo-Aristotelian position of taking essences as natures in the Aristotelian sense, can help to evade these main charges against the qualitative view. The functional parallels with the alternative haecceitistic view of individuation and individual essence will also be considered. (shrink)

Two arguments are offered here for postulating individual essences of concrete individuals on top of their sortal essences. One is the explanatory gap argument, the other draws on the analogy with the individual essences of events presupposed in single causal explanations. These arguments support qualitative individual essences with explanatory goals as opposed to hybrid impure relational essences accounting for origin and numerical identity. It is highlighted why origin properties as parts of impure relational essences do not yield genuine de re (...) constructions. The distinction between the two types of individual essences is traced back to the ambiguity of the very notion of individuation. (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)

Pace Necessitism – roughly, the view that existence is not contingent – essential properties provide necessary conditions for the existence of objects. Sufficiency properties, by contrast, provide sufficient conditions, and individual essences provide necessary and sufficient conditions. This paper explains how these kinds of properties can be used to illuminate the ontological status of merely possible objects and to construct a respectable possibilist ontology. The paper also reviews two points of interaction between essentialism and modal logic. First, we will briefly (...) see the challenge that arises against S4 from flexible essential properties; as well as the moves available to block it. After this, the emphasis is put on the Barcan Formula (BF), and on why it is problematic for essentialists. As we will see, Necessitism can accommodate both (BF) and essential properties. What necessitists cannot do at the same time is to continue to understanding essential properties as providing necessary conditions for the existence of individuals; against what might be for some a truism. (shrink)

Standard arguments for essentialism with respect to natural kinds such as gold, star, water or tiger enlist essentialist principles or essentialist intuitions. I argue that we need neither. All it takes to establish essentialism for the kinds in question are insights from science and semantics. Semantics establishes that natural kind predicates such as “is gold” or “is a star” are paradigm terms whose application conditions are relationally determined, object involving, and actuality dependent. Science assures us that a posteriori hypotheses such (...) as “∀x” are deeply explanatory, as well as true. Taken together, these results establish essentialism for kinds such as gold, star, water or tiger. I consider this a deflationary result. When it comes to natural kind essentialism, there is no need for substantial metaphysics, be it essentialist or otherwise. (shrink)

In his influential article ‘Essence and Modality’, Fine proposes a definition of necessity in terms of the primitive essentialist notion ‘true in virtue of the nature of’. Fine’s proposal is suggestive, but it admits of different interpretations, leaving it unsettled what the precise formulation of an Essentialist definition of necessity should be. In this paper, four different versions of the definition are discussed: a singular, a plural reading, and an existential variant of Fine’s original suggestion and an alternative version proposed (...) by Correia which is not based on Fine’s primitive essentialist notion. The first main point of the paper is that the singular reading is untenable. The second that given plausible background assumptions, the remaining three definitions are extensionally equivalent. The third is that, this equivalence notwithstanding, Essentialists should adopt Correia’s version of the definition, since both the existential variant, which has de facto been adopted as the standard version of the definition in the literature, and the plural reading suffer from problems connected to Fine’s primitive essentialist notion. (shrink)

This paper motivates and defends a principle which captures a systematic connection between essence, truth, and grounding. It says that if a proposition expresses an essential truth, i.e., if it is true in virtue of the nature of some objects, then there are grounds for its truth which involve these objects. Together with the assumption that a fact can only be grounded in facts which are relevant to it, this principle is then applied in an argument against the monotonicity of (...) the Essentialist notion ‘true in virtue of the nature of’. (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)

According to grounding necessitarianism if some facts ground another fact, then the obtaining of the former necessitates the latter. Proponents of grounding contingentism argue against this claim, stating that it is possible for the former facts to obtain without necessitating the latter. In this article I discuss a recent argument from restricted accidental generalisations provided by contingentists that advances such possibility. I argue that grounding necessitarianism can be defended against it. To achieve this aim, I postulate a relationship between grounding (...) and essence by introducing a notion of individual essences understood as a set of essential properties that individuate its bearer. According to a proposed view grounding holds in virtue of identities of its relata, which are in turn determined by their respective individual essences. From there I claim that if grounding holds in virtue of the individual essences of its relata, then it is possible to resist the objection from restricted accidental generalisations and maintain a view that grounds necessitates what is grounded. (shrink)

Taking as premises some reasonable principles about the essences of natural numbers, pluralities and sets, the paper offers two types of argument for the conclusions that the natural numbers could not be the Zermelo numbers, the von Neumann numbers, the “Kripke numbers”, or the positions in the ω-structure, among other things. These conclusions are thus Benacerrafian in form, but it is emphasized that the two kinds of argument offered in the paper are anti-Benacerrafian in substance, as they are perfectly compatible (...) and in fact congenial with some views on which the numbers could be things of certain other kinds. (shrink)

Fairchild (2019) advertised the humility of material plenitude, arguing that despite the profligate ontology of coincident objects it entails, the best version of plenitude is one that takes no stand on a range of nearby questions about modality and coincidence. Roughly, the thought is that plenitude says only that there are coincident objects corresponding to every consistent pattern of essential and accidental properties. Plenitude says (or should say) nothing about which patterns those might be, and so should be compatible with (...) any reasonable hypothesis about which combinations of properties it is possible for something to have. I argued in the earlier paper that a particular formulation of the target view (Global Plenitude) has exactly that virtue. But, unfortunately, Global Plenitude turns out not to be very humble at all. Global Plenitude is incompatible with an exceptionally compelling hypothesis about coincidence: that there are some things which coincide, but might not have. Scandal ensues. (shrink)

According to sparse modalism, the notion of essence can be analysed in terms of necessity and naturalness. In this paper, I develop and defend a version of sparse modalism that is equipped with a non-standard, relativized conception of naturalness. According to this conception, properties and relations can be natural to different degrees relative to different kinds of things, and relations can be natural to different degrees relative to different slots. I argue that this relativized version of sparse modalism can accommodate (...) various cases that the standard, non-relativized version can’t. The alternative version can accommodate cases where a relation is essential to a relatum but merely necessary to another, cases where a property is essential to an object but merely necessary to another, and cases where a less-than-perfectly natural property is essential to an object. (shrink)

According to haecceitism, some maximal possibilities differ even while they are qualitatively indiscernible. Since haecceitism is a modal thesis, it is typically defended by appeal to conceivability arguments. These arguments require us to conceive of qualitatively indiscernible possibilities that differ only with respect to the identity of the individuals involved. This paper examines a series of conceivability arguments for haecceitism and a variety of anti-haecceitist responses. It concludes that there is no irresistible conceivability argument for haecceitism even while anti-haecceitist responses (...) do come with certain notable commitments. (shrink)

Kit Fine famously objected against the idea that essence can be successfully analyzed in terms of de re necessity. In response, I want to explore a novel, interesting, but controversial modal account of essence in terms of intrinsicality and grounding. In the first section, I will single out two theoretical requirements that any essentialist theory should meet—the essentialist desideratum and the essentialist challenge—in order to clarify Fine’s objections. In the second section, I will assess Denby’s improved modal account, which appeals (...) to the notion of intrinsicality, and argue that it is untenable. In the third section, I will explain how, when combined with a modal-existential criterion, a hyperintensional account of intrinsicality—in the same vein as Bader (J Philos 110(10): 525–563, 2013) and Rosen (in: Hale and Hoffman (eds) Modality: Metaphysics, logic, and epistemology, Oxford, OUP, 2010)—can help successfully address Fine’s counterexamples. In the fourth section, I will evaluate how this novel analysis of essence stands with respect to sortal, origin, and natural kinds essentialism and discuss potential objections and difficulties. (shrink)

The subject of this essay is the classical problem of induction, which is sometimes attributed to David Hume and called “the Humean Problem of Induction.” Here, I examine a certain sort of Neo-Aristotelian solution to the problem, which appeals to the concept of natural kinds in its response to the inductive skeptic. This position is most notably represented by Howard Sankey and Marc Lange. The purpose of this paper is partly destructive and partly constructive. I raise two questions. The first (...) is: Are the natural kind solutions to the problem successful? The first thesis of this paper is that they are not, and I will show how and why they fail. And the second question I raise here is: Is there nonetheless some alternative Neo-Aristotelian solution to the problem which is successful and can overcome the shortcomings endemic to the Sankey-Lange account? The second thesis is that there is, and I’ll attempt to sketch one. My stance here may be summarized by saying that, while I agree with Sankey and Lange that the problem of induction can be adequately resolved, and while I am on the whole sympathetic with the Aristotelian spirit of their account, I am, for all that, dissatisfied with the letter of them. Nothing short of a more thoroughgoing Aristotelianism about the epistemology of induction will do. (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)

What constitutes a scientific discovery? What role do discoveries play in science, its dynamics and social practices? Must every discovery be attributed to an individual discoverer (or a small number of discoverers)? The paper explores these questions by first critically examining extant philosophical explications of scientific discovery—the models of scientific discovery, propounded by Kuhn, McArthur, Hudson, and Schindler. As a simple, natural and powerful alternative, we proffer the “change-driver model”: in a nutshell, it takes discoveries to be cognitive scientific results (...) that have epistemically advanced science. The model overcomes the shortcomings of its precursors, whilst preserving their insights. We demonstrate its intensional and extensional superiority, especially with respect to the link between scientific discoveries and the dynamics of science, as well as the award system of science. Both as an illustration, and as an application to a recent scientific and political controversy, we apply the considered models of discovery to one of the most momentous discoveries of science: the expansion of the universe. We oppose the 2018 proposal of the International Astronomers’ Union as too simplistic vis-`a-vis the historical complexity of the episode. The change- driver model yields a more nuanced and circumspect verdict: (i) The redshift-distance relation shouldn’t be named the “Hubble-Lemaître Law”, but “Slipher-Lundmark-Hubble-Humason Law”; (ii) Its interpretation in terms of an expanding universe, however, Lemaître ought to be given credit for; but (iii) The establishment of the expansion of the universe, as an evidentially sufficiently warranted result, is a communal achievement, emerging in the 1950s or 1960s. (shrink)

In this dissertation, I address the question of how to construct scientific theories of emotions that are both conceptually sound and empirically fruitful. To do this, I offer an analysis of the main challenges scientific theories of emotions face, and I propose a meta-theoretical framework to construct scientific concepts of emotions as explications of folk emotion concepts. Part I discusses the main challenges theories of emotions in psychology and neuroscience encounter. The first states that a proper scientific theory of emotions (...) must explain all and only the phenomena under the vernacular term ‘emotion’ with a common set of conceptual resources and under an overarching generic concept of emotion. The second demands that each emotion category corresponds to well-coordinated sets of neural, physiological, and behavioral patterns of responses. I argue that none of the best contemporary theories of emotions in psychology and neuroscience overcomes these challenges. As a result, a new theory of emotions is required. In Part II, I develop the meta-theoretical framework to construct a theory of emotions that overcomes the challenges above. First, I propose a pluralistic account of scientific kinds based on different patterns of projection that various disciplines may take to justify inductive inferences. These are essentialist, historical, and social patterns. Each of these patterns provides a framework to construct different types of scientific concepts. I argue that among the frameworks for scientific kinds available, the one that is best suited to explicate emotion concepts is a functional framework. Consequently, I conclude by recommending scientists pursue functionalist theories of emotions over essentialist, historical, or social theories. (shrink)

This thesis investigates the metaphysical nature of necessity. My study focuses primarily on the reduction of metaphysical necessity and the question of whether a necessary truth can be reductively defined. Theodore Sider develops a new reductive account of metaphysical necessity. Unfortunately, the multiple realizability problem posed by Jonathan Schaffer undermines the credibility of Sider’s account. This underlies my motivation to search for a revised Siderian account of necessity. On this basis, I propose a modified version of Sider’s account and argue (...) that analytic, natural-kind and micro-reduction truths are necessary truths if and only if they express the same states of affairs as logical truths. Since logical truths are necessary truths, analytic, natural-kind and micro-reduction truths are necessary truths as well. In this thesis, I will proceed as follows. Chapter 1 introduces Sider’s account of necessity. In particular, I focus on his analysis of the necessity of a micro-reduction truth. His analysis is largely constitutive of the notion of a metaphysical semantics and some associated notions. I reconstruct his analysis and articulate his metaphysical semantics and the associated notions. Chapter 2 presents and clarifies the multiple realizability problem of Schaffer. His critique shows that Sider’s metaphysical semantics cannot handle multiple realizability. Sider refutes this claim by arguing that the multiple realizability problem is a problem for his analysis of the necessity of a micro-reduction truth, not for his metaphysical semantics itself. This is a good starting point to propound a modified account of necessity. Chapter 3 proposes and articulates my modified analysis of the necessity of a micro-reduction, where I show that the necessity of a micro-reduction truth can be reductively defined without appeal to Sider’s metaphysical semantics. I argue that analytic, natural-kind and microreduction truths are necessary truths if and only if they express the same states of affairs as logical truths. Logical truths are necessary and so are they. After that, I consider a potential objection to my modified account and attempt to respond to it. (shrink)

The starting point of this paper is an argument to the conclusion that the definition of metaphysical possibility in terms of correct conceivability, conceivability informed by knowledge of relevant essences, found in Rosen (2006) is equivalent to a version of the essentialist definition of metaphysical necessity. This argument appears to show that correct conceivability is a notion of conceivability by name only and is therefore of no interest to epistemologists of modality. In this paper, I present the equivalence argument, explain (...) the idealizing assumptions involved in it and sketch a version of the conceivability approach which weakens these assumptions in order to show that the notion of correct conceivability can still play a specific limited role in the epistemology of modality. (shrink)