I know that I could have been where you are right now and that you could have been where I am right now, but that neither of us could have been turnips or natural numbers. This knowledge of metaphysical modality stands in need of explanation. I will offer an account based on our knowledge of the natures, or essencess, of things. I will argue that essences need not be viewed as metaphysically bizarre entities; that we can conceptualise and refer to (...) essences; and that we can gain knowledge of them. We can know about which properties are, and which properties are not, essential to a given entity. This knowledge of essence offers a route to knowledge of the ways those entities must be or could be. (shrink)

What is the relation between metaphysical necessity and essence? This paper defends the view that the relation is one of identity: metaphysical necessity is a special case of essence. My argument consists in showing that the best joint theory of essence and metaphysical necessity is one in which metaphysical necessity is just a special case of essence. The argument is made against the backdrop of a novel, higher-order logic of essence, whose core features are introduced in the first part of (...) the paper. The second part investigates the relation between metaphysical necessity and essence in the context of HLE. Reductive hypotheses are among the most natural hypotheses to be explored in the context of HLE. But they also have to be weighed against their non-reductive rivals. I investigate three different reductive hypotheses and argue that two of them fare better than their non-reductive rivals: they are simpler, more natural, and more systematic. Specifically, I argue that one candidate reduction, according to which metaphysical necessity is truth in virtue of the nature of all propositions, is superior to the others, including one proposed by Kit Fine, according to which metaphysical necessity is truth in virtue of the nature of all objects. The paper concludes by offering some reasons to think that the best joint theory of essence and metaphysical necessity is one in which the logic of metaphysical necessity includes S4, but not S5. (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)

In "Essence and Modality", Kit Fine proposes that for a proposition to be metaphysically necessary is for it to be true in virtue of the nature of all objects whatsoever. Call this view Fine's Thesis. This paper is a study of Fine's Thesis in the context of Fine's logic of essence (LE). Fine himself has offered his most elaborate defense of the thesis in the context of LE. His defense rests on the widely shared assumption that metaphysical necessity obeys the (...) laws of the modal logic S5. In order to get S5 for metaphysical necessity, he assumes a controversial principle about the nature of all objects. I will show that the addition of this principle to his original system E5 leads to inconsistency with an independently plausible principle about essence. In response, I develop a theory that avoids this inconsistency while allowing us to maintain S5 for metaphysical necessity. However, I conclude that our investigation of Fine's Thesis in the context of LE motivates the revisionary conclusion that metaphysical necessity obeys the principles of the modal logic S4, but not those of S5. I argue that this constitutes a distinctively essentialist challenge to the received view that the logic of metaphysical necessity is S5. (shrink)

This paper first argues that we can bring out a tension between the following three popular doctrines: (i) the canonical reduction of metaphysical modality to essence, due to Fine, (ii) contingentism, which says that possibly something could have failed to be something, and (iii) the doctrine that metaphysical modality obeys the modal logic S5. After presenting two such arguments (one from the theorems of S4 and another from the theorems of B), I turn to exploring various conclusions we might draw (...) in light of these results, and argue that none comes cost free. In the course of laying out possible responses to my arguments, we'll have a chance to evaluate various doctrines about the interplay between contingency and essence, as well as develop some alternative reductions of metaphysical modality to essence. I don't decisively come down in favor of one response over the others, though I say some things that point towards the conclusion that essence has no role to play in reducing metaphysical modality. (shrink)

Traditional conventionalism about modality claims that a proposition is necessarily true iff it is true by convention. In the wake of the widespread repudiation of truth-byconvention, traditional conventionalism has fallen out of favour. However, a family of theories of modality have arisen that, whilst abandoning truth-by-convention, retain the spirit of traditional conventionalism. These ‘neo-conventionalist’ theories surpass their forebears and don’t fall victim to the criticisms inherited through truth-by-convention. However, not all criticisms levelled at traditional conventionalism target truth-by-convention. Any conventional theory (...) of modality must face the contingency problem. This claims that the contingency of our linguistic conventions jeopardises the necessity of the necessities they determine. I present the contingency problem as relevant to both the traditional conventionalist and the neo-conventionalist. I examine a response from Einheuser that builds upon a response from Wright. I show that the Einheuser response does more to accommodate the conventionalist’s modal beliefs, but that it does not fully satisfy some further conditions that ought to be laid upon such a response. I then suggest how the response can be revised so as to satisfy these conditions. The resulting model of conventionalism is compatible with the validity of S4, and suitably in the spirit of conventionalism. (shrink)

Husserlian Essentialism is the view, maintained byEdmundHusserl throughout his career, that necessary truths obtain because essentialist truths obtain. In this thesis I have two goals. First, to reconstruct and flesh out Husserlian Essentialism and its connections with surrounding areas of Husserl's philosophy in full detail – something which has not been done yet. Second, to assess the theoretical solidity of the view. As regards the second point, after having presented Husserlian Essentialism in the first two chapters, I raise a serious (...) problem for it in Chapter 3. In the remainder of the thesis I endeavour to solve the problem. In order to do so, I propose to amend both Husserl's theory of essence and his theory of predication. The bulk of the emendation consists in working out an account of essence and an account of predication that do not presuppose, or in any way imply, the claims that: 1) for a universal to be in the essence of an object, either the object or one of its parts must instantiate the universal; 2) for a universal to be truly predicated of an object, either the object or one of its parts must instantiate the universal. These claims, notice, apart from being what gets Husserl in trouble, are well entrenched not only in Husserl's, but in most theories of essence and predication. It is thus interesting to see what an alternative option may be – even regardless of the Husserlian setting in which I work it out. (shrink)

Theistic metaethics usually places one key restriction on the explanation of moral facts, namely: every moral fact must ultimately be explained by some fact about God. But the widely held belief that moral truths are necessary truths seems to undermine this claim. If a moral truth is necessary, then it seems like it neither needs nor has an explanation. Or so the objection typically goes. Recently, two proponents of theistic metaethics — William Lane Craig and Mark Murphy — have argued (...) that this objection is flawed. They claim that even if a truth is necessary, it does not follow that it neither needs nor has an explanation. In this article, I challenge Craig and Murphy’s reasoning on three main grounds. First, I argue that the counterexamples they use to undermine the necessary truth objection to theistic metaethics are flawed. While they may provide some support for the notion that necessary truths can be explained, they do not provide support for the notion that necessary moral truths can be explained. Second, I argue that the principles of explanation that Murphy and Craig use to support theistic metaethics are either question-begging (in the case of Murphy) or improperly motivated (in the case of Craig). And third, I provide a general defence of the claim that necessary moral truths neither need nor have an explanation. (shrink)

This paper surveys recent "new actualist" approaches to modality that do without possible worlds and locate modality squarely in the actual world. New actualist theories include essentialism and dispositionalism about modality, each of which can come in different varieties. The commonalities and differences between these views, as well as their shared motivations, are layed out.

On what I call absolutist essentialism about modality (AE), the metaphysical necessities are the propositions that are true in virtue of the essence (i.e. Aristotelian, absolute essence) of some entities. Other kinds of necessity can then be defined by restriction – e.g. the conceptual necessities are the propositions that are true in virtue of the essence of conceptual entities specifically. As an account of metaphysical modality and some other kinds (e.g. logical, conceptual), AE may have important virtues. However, when it (...) comes to accounting for further important kinds, like natural or normative necessity, it faces a challenge. Three main options have been defended: treat those kinds as further restricted forms of metaphysical necessity; define them as conditional forms of metaphysical necessity; treat them as primitive kinds. -/- In this paper, I propose a new option, which combines the main idea of AE (reducing necessities to essences) with an idea which has been developed largely independently: that of relative essence. On the proposed view, those kinds (e.g. natural necessity) that cannot be grounded in the essences (i.e. absolute essences) of the relevant entities (e.g. natural entities) may be grounded in their relative essences instead. Thus, I propose a generalized, or extended, version of AE, which I call relativized essentialism about modality (RE). In particular, RE offers prospects for a general framework for kinds of modality which is flexible enough to cover a large range of kinds (both absolute and relative ones) while remaining parsimonious and unified. (shrink)

The article deals with the charge of irrelevance levelled against D. Lewis’s modal realism, notably known as a reductionist account of modality. The charge of irrelevance is apparently one of the most popular objections to modal realism though it often seems that the debate surrounding this charge is not very fruitful since in this context it is common to appeal, implicitly or explicitly, to different criteria for theory choice. As a result, the article deals with the problem in a slightly (...) different manner. The article addresses arguments aimed to show that, contrary to what is often stated, modal realism does not violate our pre-theoretical intuitions, as well as arguments aimed to respond to the charge of irrelevance without appealing to criteria for theory choice at all but providing different reasons instead. However, the aim of this article is to show that all these arguments are rather unconvincing. (shrink)

It is widely accepted that necessity comes in different varieties, often called ‘kinds': metaphysical necessity, logical necessity, natural necessity, conceptual necessity, moral necessity, to name but a few – and the same goes for the varieties of possibility. What is usually not fully appreciated, however, is that modal variety is not simply ‘unidimensional': it does not only involve one main variable – kind, whose values are the particular kinds of necessity. Rather, I argue, it is ‘bidimensional', involving two distinct variables (...) – domain and strength. In the first part of the paper, I introduce and develop the proposed bidimensional picture of modal variety, defending it against the common, unidimensional one. In the second part, I consider how the main available accounts of necessities and their relations rely, at least to a significant extent, on the latter picture, pointing out important limitations that they face as a result. I also show how, accordingly, alternative accounts based on a clear and systematic distinction between domain and strength would overcome those limitations. I conclude that, beyond the particular bidimensionalist view defended, our understanding of the modal realm may benefit from more direct debate on whether and how it is multidimensional. (shrink)

This project is an investigation into the prospects for an antirealist theory of essence. Essentialism is the claim that at least some things have some of their properties essentially. Essentialist discourse includes claims such as “Socrates is essentially human”, and “Socrates is accidentally bearded”. Historically, there are two ways of interpreting essentialist discourse. I call these positions ‘modal essentialism’ and ‘neo-Aristotelian essentialism’. According to modal essentialism, for Socrates to be essentially human is for it to be necessary that he be (...) a human if he exists, and for Socrates to accidentally have a beard is for it to be contingent that Socrates has a beard if he exists. According to neo-Aristotelian essentialism, objects have definitions in something like the way words do. For Socrates to be essentially human but accidentally bearded is for it to be part of the definition of Socrates that he is human, but not part of that definition that he is bearded. I argue that both are susceptible to antirealist interpretation. This thesis sets about showing that this is the case. In Chapters One and Two I investigate neo-conventionalist theories of modality, in the hope of using such a position to develop an antirealist modal essentialism. In Chapter Three I discuss the debate between modal and neo-Aristotelian essentialism and conclude that it is by no means settled. In Chapter Four I develop an antirealist neo-Aristotelian essentialism based on the mechanism of one of the neo-conventionalist accounts of modality. In Chapter Five I argue that this account is in a better position to give an essentialist theory of necessity than its realist counterparts. I conclude that, regardless of whether one is a modal or neo-Aristotelian essentialist, antirealist essentialism is a viable theory of essence that is worthy of consideration in contemporary debate. (shrink)

If you put chimpanzees from different communities together you can expect mayhem - they are not keen on treating each other nicely. There is closely related species of apes, however, whose members have countless encounters with unrelated specimen on a daily basis and yet almost all get through the day in one piece - that species is us, homo sapiens. But what makes us get along, most of the time? Morality as such is, perhaps surprisingly, not a mainstream research topic (...) in social psychology. Most textbooks in the field do not even mention the term morality at all (and focus on 'prosociality' instead). This relative lack of 'coverage' might have to do with the difficulty of operationalising 'morality' in a fitting way (more on this below). However, morality certainly is a social phenomenon and therefore the collection of Fargas, Jussim, and Van Lange is certainly a step in the right direction; it offers an extensive overview of the field and is suggestive of the vast potential of studying morality through the lens of social psychology. (shrink)

Drawing from extensions of existing ideas in the logic of ground, a novel account of the grounds of necessity is presented, the core of which states that necessary truths are necessary because they stand in specific grounding connections.