Metaphysical Necessity

The ontological argument for the existence of God has enjoyed a recent renaissance among philosophers of religion. Alvin Plantinga's modal version is perhaps the most notable example. This essay critically examines Plantinga's rendition, uncovering both its strengths and weaknesses. The author concludes that while the argument is probably formally valid, it is ultimately unsound. Nonetheless, Plantinga's version has generated much interest and discussion. The author spends some time uncovering the reasons for the argument's powerful intuitive appeal. He concludes his essay (...) by appraising Pruss's recent defence of Plantinga's argument. (shrink)

The principle of Conditional Excluded Middle has been a matter of longstanding controversy in both semantics and metaphysics. According to this principle, we are, inter alia, committed to claims like the following: If the coin had been flipped, it would have landed heads, or if the coin had been flipped, it would not have landed heads. In favour of the principle, theorists have appealed, primarily, to linguistic data such as that we tend to hear ¬(A > B) as equivalent to (...) (A > ¬B). Williams (2010), provides one of the most compelling recent arguments along these lines by appealing to intuitive equivalencies between certain quantified conditional statements. We argue that the strategy Williams employs can be parodied to generate an argument for the unwelcome principle of Should Excluded Middle: the principle that, for any A, it either should be that A or it should be that not A. Uncovering what goes wrong with this argument casts doubt on a key premise in Williams’ argument. The way we develop this point is by defending the thesis that, like "should", "would" is a so-called neg-raising predicate. Neg-raising is the linguistic phenomenon whereby “I don’t think that Trump is a good president” strongly tends to implicate “I think that Trump is not a good president,” despite the former not semantically entailing the latter. We show how a defender of a Lewis-style semantics for counterfactuals should implement the idea that the counterfactual is a “neg-raiser”. (shrink)

The idea that the epistemology of modality is in some sense a priori is a popular one, but it has turned out to be difficult to precisify in a way that does not expose it to decisive counterexamples. The most common precisifications follow Kripke’s suggestion that cases of necessary a posteriori truth that can be known a priori to be necessary if true ‘may give a clue to a general characterization of a posteriori knowledge of necessary truths’. The idea is (...) that whether it is contingent whether p can be known a priori for at least some broad range of sentences ‘p’. Recently, Al Casullo and Jens Kipper have discussed restrictions of such principles to atomic sentences. We show that decisive counterexamples even to such dramatically restricted Kripke-style principles can be constructed using minimal logical resources. We then consider further restrictions, and show that the counterexamples to the original principles can be turned into counterexamples to the further restricted principles. We conclude that, if there are any true restrictions of Kripke-style principles, then they are so weak as to be of little epistemological interest. (shrink)

In a recent article forthcoming in *Mind*, Leech (2020) presents a challenge for essentialist accounts of metaphysical modality: why should it be that essences imply corresponding necessities? Leech’s main focus is to argue that one cannot overcome the challenge by utilizing an account of essence in terms of generalized identity due to Correia and Skiles (2019), on pain of circularity. In this reply, we will show how to use identity-based essentialism to bridge ‘epistemic’ and ‘explanatory’ understandings of this alleged essence-to-necessity (...) gap without circularity, Leech’s arguments notwithstanding. We do so by first presenting a novel proof that generalized identities imply corresponding necessities. We then propose several substantive identity-based explanations of how it is, exactly, that essences imply necessities. -/- . (shrink)

I develop a puzzle whose resolution I argue requires an unfamiliar distinction between two forms or senses of metaphysical modality, each bearing a different relationship to time. In one sense of ‘metaphysically possible’, it is metaphysically possible for it to be a time other than the time it is now; in another sense, this is not metaphysically possible.

In an influential passage of Naming and Necessity Kripke argues, with the help of a fictional dialogue, that de re metaphysical modal distinctions have intuitive content. In this note I clarify the workings of the argument, and what it does and does not support. I conclude that Kripke’s argument does not, despite possible appearances, support the view that metaphysical modal distinctions are made in common sense discourse. The argument does however support the view that if metaphysical modal distinctions make sense (...) at the level of statements or states of affairs, then they also make sense de re. (shrink)

A common feature of all standard theories of the laws of nature is that they are "absolutist": They take laws to be either all metaphysically necessary or all contingent. Science, however, gives us reason to think that there are laws of both kinds, suggesting that standard theories should make way for "non-absolutist" alternatives: theories which accommodate laws of both modal statuses. In this paper, we set out three explanatory challenges for any candidate non-absolutist theory and discuss the prospects of the (...) two extant candidates in light of these challenges. We then develop our own non-absolutist theory, the essentialist DTA account, which combines the nomic-necessitation or DTA account with an essentialist approach to metaphysical modality in order to meet the three explanatory challenges. Finally, we argue that the distinction between kinematical and dynamical laws found in physical theories supports both non-absolutism in general and our proposed essentialist DTA view in particular. (shrink)

Imagination is a source of evidence for objective modality. It is through this epistemic connection that the idea of modality first gains traction in our intellectual life. A proper theory of modality should be able to explain our imagination’s modal epistemic behaviors. This chapter highlights a peculiar asymmetry regarding epistemic defeat for imagination-based modal justification. Whereas imagination-based evidence for possibility cannot be undermined by information about the causal origin of our imaginings, unimaginability-based evidence for impossibility can be undermined by information (...) about the causal origin of the unimaginability. It is argued that an acceptance of S4 over S5 as the true logic for objective modality best explains this epistemic asymmetry. (shrink)

This paper is inspired by and develops on E. J. Lowe’s work, who writes in his book The Possibility of Metaphysics that ‘metaphysical possibility is an inescapable determinant of actuality’ (1998: 9). Metaphysics deals with possibilities – metaphysical possibilities – but is not able to determine what is actual without the help of empirical research. Accordingly, a delimitation of the space of possibilities is required. The resulting – controversial – picture is that we generally need to know whether something is (...) possible before we can know whether it is actual. In order to appreciate this picture, we need to understand Lowe’s slogan: ‘essence precedes existence’ (Lowe 2008: 40). This slogan has both an ontological and an epistemic reading. The ontological reading is related to the now familiar idea that essence grounds modality, as popularised by Kit Fine. The epistemic reading suggests that we can know the essence of some entity before we know whether or not that entity exists. However, this idea is often met with puzzlement and Lowe himself sadly passed away before he had a chance to clarify this framework. I will present the framework as I understand it, develop it on my own terms, and put forward a qualified defence of it. I will also illustrate how the framework can be put to use with a case study concerning the discovery of transuranic elements. (shrink)

A popular principle about grounding, “Internality”, says that if A grounds B, then necessarily, if A and B obtain, then A grounds B. I argue that Internality is false. Its falsity reveals a distinctive, new kind of explanation, which I call “ennobling”. Its falsity also entails that every previously proposed theory of what grounds grounding facts is false. I construct a new theory.

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.

In general, a given object could have been different in certain respects. For example, the Great Pyramid could have been somewhat shorter or taller; the Mona Lisa could have had a somewhat different pattern of colours; an ordinary table could have been made of a somewhat different quantity of wood. But there seem to be limits. It would be odd to suppose that the Great Pyramid could have been thimble-sized; that the Mona Lisa could have had the pattern of colours (...) that actually characterizes The Scream; or that the table could have been made of the very quantity of wood that in fact made some other table. However, there are puzzling arguments that purport to show that so long as an object is capable of being somewhat different in some respect, it is capable of being radically different in that respect. These arguments rely on two tempting thoughts: first, that an object’s capacity for moderate variation is a non-contingent matter, and second, that what is possibly possible is simply possible. This book systematically investigates competing strategies for resolving these puzzles, and defends one of them. Along the way it engages with foundational questions about the metaphysics of modality. (shrink)

An essentialist theory of modality claims that the source of possibility and necessity lies in essence, where essence is then not to be defined in terms of necessity. Hence such theories owe us an account of why it is that the essences of things give rise to necessities in the way required. A new approach to understanding essence in terms of the notion of generalized identity promises to answer this challenge by appeal to the necessity of identity. I explore the (...) prospects for this approach, and argue that it fails. If one favours an account of essence in terms of generalized identity, then one will not, I argue, be able to satisfactorily defend an essentialist theory of modality against the challenge; if one wishes to defend an essentialist theory of modality, and thereby to give an explanation of how necessity arises from essence, one should not understand essence in terms of generalized identity. (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)

I discuss several problems for Williamson’s counterfactual-theory of modal knowledge and argue that they have a common source, in that the theory neglects to elucidate the proper constraints on modal reasoning. Williamson puts forward an empirical hypothesis that rests on the role of counterfactual reasoning for modal knowledge. But he overlooks central questions of normative modal epistemology. In order for counterfactual reasoning to yield correct beliefs about modality, it needs to be suitably constrained. I argue that what is needed is, (...) specifically, information concerning the nature or essence of things. By integrating this information, essentialist deduction arguably provides a better account of our knowledge of modality. Furthermore, I argue that essences have distinctive causal and explanatory powers—indeed, essences are superexplanatory for how things are. Compared to Williamson’s counterfactual-theory, superexplanatory essentialism clarifies what the proper constraints on modal reasoning are, and why they have such a special status. (shrink)

The fourteen papers in this collection offer a variety of original contributions to the epistemology of modality. In seeking to explain how we might account for our knowledge of possibility and necessity, they raise some novel questions, develop some unfamiliar theoretical perspectives, and make some intriguing proposals. Collectively, they advance our understanding of the field. In Part I of this Introduction, I give some general background about the contemporary literature in the area, by sketching a timeline of the main tendencies (...) of the past twenty-five years or so, up to the present debates. Next, I focus on four features that largely characterize the latest literature, and the papers in the present collection in particular: (i) an endorsement of the importance of essentialism; (ii) a shift to a “metaphysics-first” approach to modal epistemology; (iii) a focus on metaphysical modality as opposed to other kinds of modality; and (iv) a preference for non-uniform modal epistemology. In Part II, I present the individual papers in the volume. These are organized around the following four chapters, based on their topic: (A) Skepticism & Deflationism; (B) Essentialism; (C) Non-Essentialist Accounts; (D) Applications. -/- LIST OF CONTRIBUTORS: Francesco Berto; Stephen Biggs & Jessica Wilson; Justin Clark-Doane; Philip Goff; Bob Hale; Frank Jackson; Mark Jago; Boris Kment; Antonella Mallozzi; Graham Priest; Gabriel Rabin; Amie Thomasson; Anand Vaidya & Michael Wallner; Jennifer Wang. -/- The volume is dedicated to the memory of Bob Hale. -/- . (shrink)

The fourteen papers in this collection offer a variety of original contributions to the epistemology of modality. In seeking to explain our knowledge of possibility and necessity, they raise some novel questions, develop some unfamiliar theoretical perspectives, and make some intriguing proposals. In the Introduction (penultimate draft available for download), I give some general background about the contemporary literature in the area, by sketching a timeline of the main tendencies of the past twenty-five years or so, up to the present (...) debates. Next, I focus on four features that largely characterize the latest literature, and the papers in the present collection in particular: (i) an endorsement of the importance of essentialism; (ii) a shift to a “metaphysics-first” approach to modal epistemology; (iii) a focus on metaphysical modality as opposed to other kinds of modality; and (iv) a preference for non-uniform modal epistemology. Then I turn to present the individual papers in the volume, which are organized based on their topic around the following four chapters: (A) Skepticism & Deflationism; (B) Essentialism; (C) Non-Essentialist Accounts; (D) Applications. LIST OF CONTRIBUTORS: Francesco Berto; Stephen Biggs & Jessica Wilson; Justin Clark-Doane; Philip Goff; Bob Hale; Frank Jackson; Mark Jago; Boris Kment; Antonella Mallozzi; Graham Priest; Gabriel Rabin; Amie Thomasson; Anand Vaidya & Michael Wallner; Jennifer Wang. The volume is dedicated to the memory of Bob Hale. (shrink)

Impossible fictions are valuable evidence both for a theory of fiction and for theories of meaning, mind and epistemology. This article focuses on what we can learn about fiction from reflecting on impossible fictions. First, different kinds of impossible fiction are considered, and the question of how much fiction is impossible is addressed. What impossible fiction contributes to our understanding of "truth in fiction" and the logic of fiction will be examined. Finally, our understanding of unreliable narrators and unreliable narration (...) in fiction needs to accommodate stories that, on the face of it, cannot possibly be true. (shrink)

I develop a psychological account for how it is that we use imagination to metaphysically modalize, i.e., to reach conclusions about metaphysical modality. Specifically, I argue that Nichols and Stich’s (2003) cognitive theory of imagination can be extended to metaphysical modalizing. I then use the extension to explicate philosophical disagreements about whether a scenario is metaphysically possible. Thereafter, I address Nichols’ (2006) objection that psychologizing imagination makes it clear that imagination is unreliable when used to metaphysically modalize. The end result (...) is a naturalistic account for how imagination enables us to metaphysically modalize. (shrink)

David Chalmers’ two-dimensionalism is an ambitious philosophical program that aims to “ground” or “construct” Fregean meanings and restore “the golden triangle” of apriority, necessity, and meaning that Kripke seemingly broke. This paper aims to examine critically what Chalmers’ theory can in reality achieve. It is argued that the theory faces severe challenges. There are some gaps in the overall arguments, and the reasoning is in some places somewhat circular. Chalmers’ theory is effectively founded on certain strong philosophical assumptions. It is (...) concluded that it is unclear whether the theory can deliver all it promises. (shrink)

Lange has argued that contingencies lack the modal strength to be necessity-makers. Here, I argue that Lange’s case turns upon a faulty premise, and that there is no obvious fixes he might pursue. The general upshot is that his argument gives us no reason to think that contingencies could not be necessity-makers after all.

In this paper I argue against Mark Jago’s recent suggestion that ordinary knowers can move from knowledge of essence to knowledge of metaphysical necessity.

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 meta- physical 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)

We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at (...) a given possible world; so a proposition that is now true at all worlds, and thus necessarily true, may yet at some past or future time be false in the actual world, and thus not always true. We reconstruct and criticize several lines of argument in favor of this picture, and then argue against the picture on the grounds that it is inconsistent with certain sorts of contingency in the structure of time. (shrink)

This is the first book on the provocative and innovative contributions to philosophy of language, metaphysics, the philosophy of mathematics, and logic made by Kit Fine, one of the world's foremost philosophers. Topics covered include meaning and representation, arbitrary objects, essence, ontological realism, and the metaphysics of modality.

This paper is organised as follows: first, I present Salmon’s theory of modality and compare it with the standard interpretation of modality: ‘the nonrelativized S5-friendly interpretation of metaphysical modality’. Second, I explain Murray and Wilson’s ‘two-dimensional S5-friendly interpretation of relativized metaphysical modality’. In the third and last part, I put forward a few arguments against Murray and Wilson’s attempt to provide an essentialist S5-friendly theory for modality. In general, this paper argues that if one wants to hold an essentialist theory (...) for relativized modality, then his best option in the market right now is to stick with Salmon’s proposal, which better represents a genuine essentialist interpretation of relativized metaphysical modality. (shrink)

Establishing Dispositionalism as a viable theory of modality requires the successful fulfilment of two tasks: showing that all modal truths can be derived from truths about actual powers, and offering a suitable metaphysics of powers. These two tasks are intertwined: difficulties in one can affect the chances of success in the other. In this paper, I generalise an objection to Dispositionalism by Jessica Leech and argue that the theory in its present form is ill-suited to account for de re truths (...) about merely possible entities. I argue that such difficulty is rooted in a problem in the metaphysics of powers. In particular, I contend that the well-known tension between two key principle of powers ontology, namely Directedness and Independence has received an unsatisfactory solution so far, and that it is this unsatisfactory solution concerning the status of “unmanifested manifestations” that makes it hard for Dispositionalism to account for mere possibilia. I develop a novel account of the status of unmanifested manifestations and an overall metaphysics of powers which allows to better respond to Leech's objection and handle mere possibilia. The central idea of the proposal is that unmanifested manifestations are akin to mere logical existents, and are best characterised as non-essentially non-located entities. (shrink)

Vetter (2015) develops a localised theory of modality, based on potentialities of actual objects. Two factors play a key role in its appeal: its commitment to Hardcore Actualism, and to Naturalism. Vetter’s commitment to Naturalism is in part manifested in her adoption of Aristotelian universals. In this paper, we argue that a puzzle concerning the identity of unmanifested potentialities cannot be solved with an Aristotelian conception of properties. After introducing the puzzle, we examine Vetter’s attempt at amending the Aristotelian conception (...) in a way that avoids the puzzle, and conclude that this amended version is no longer to be considered naturalistic. Potentiality theory cannot be both actualist and naturalist. We then argue that, if naturalism is to be abandoned by the actualist, there are good reasons to adopt a Platonist conception of universals, for they offer a number of theoretical advantages and allow us to avoid some of the problems facing Vetter’s theory. (shrink)

This paper aims to build a bridge between two areas of philosophical research, the structure of kinds and metaphysical modality. Our central thesis is that kinds typically involve super-explanatory properties, and that these properties are therefore metaphysically essential to natural kinds. Philosophers of science who work on kinds tend to emphasize their complexity, and are generally resistant to any suggestion that they have “essences”. The complexities are real enough, but they should not be allowed to obscure the way that kinds (...) are typically unified by certain core properties. We shall show how this unifying role offers a natural account of why certain properties are metaphysically essential to kinds. (shrink)

In a recent paper, Brian Rabern suggests a semantics for languages with two kinds of modality, standard Kripkean metaphysical modality as well as epistemic modality. This semantics presents an alternative to two-dimensionalism, which was developed in the last decades. Both Rabern’s semantics and two-dimensionalism are subject to a puzzle that Chalmers and Rabern, 210–224 2014) call the nesting problem. I will investigate how Rabern’s semantics answers this puzzle.

Relativized Metaphysical Modality (RMM: Murray and Wilson, 'Relativized metaphysical modality', Oxford Studies in Metaphysics, 2012; Murray, Perspectives on Modal Metaphysics, 2017) exploits 'two-dimensionalist' resources to metaphysical, rather than epistemological, ends: the second dimension offers perspective-dependence without contingency, diverting attacks on 'Classical' analyses of modals (in effect, analyses validating S5 and the Barcan Formulae). Here, we extend the RMM program in two directions. First, we harvest resources for RMM from Lewis's 1980 'Context--Index' (CI) framework: (a) the ban in CI on binding (...) into context-arguments (akin to Kaplan's 'monstrosity' ban) projects a bright line between perspective-dependence and contingency; and (b) CI-postulated connections among meaning, content, truth, argument-structure, context, and modality collectively generate a 'Generalized Humphrey Problem' for any non-Classical analysis (examples covered include appeals to accessibility, contingent domains, and counterpart relations). Second, we sharpen the tools of RMM-based metaphysical analysis, and extend their domain of coverage across familiar anomalies for Classical modals: we revisit earlier RMM-based bulwarks for S5 (against 'Chisholm's Paradox' for moderate flexibility of essence, and nomological necessitarianism); and we now similarly shore up the Barcan Formulae (against the apparent contingency of existence and nonexistence). (shrink)

How does metaphysical necessity relate to the modal force often associated with natural laws? Fine argues that natural necessity can neither be obtained from metaphysical necessity via forms of restriction nor of relativization — and therefore pleads for modal pluralism concerning natural and metaphysical necessity. Wolff, 898–906, 2013) aims at providing illustrative examples in support of applying Fine’s view to the laws of nature with specific recourse to the laws of physics: On the one hand, Wolff takes it that equations (...) of motion can count as examples of physical laws that are only naturally but not metaphysically necessary. On the other hand, Wolff argues that a certain conservation law obtainable via Noether’s second theorem is an instance of a metaphysically necessary physical law. I show how Wolff’s example for a putatively metaphysically necessary conservation law fails but argue that so-called topological currents can nevertheless count as metaphysically necessary conservation laws carrying physical content. I conclude with a remark on employing physics to answer questions in metaphysics. (shrink)

I expand modal normativism, a theory of metaphysical modality, to give a normativist account of metaphysical explanation. According to modal normativism, basic modal claims do not have a descriptive function, but instead have the normative function of enabling language users to express semantic rules that govern the use of ordinary non-modal vocabulary. However, a worry for modal normativism is that it doesn’t keep up with all of the important and interesting metaphysics we can do by giving and evaluating metaphysical explanations. (...) So, I advance modal normativism by arguing that metaphysical explanations also have a normative rather than descriptive function. In particular, non-causal explanatory claims have formal and semantic properties that make them expressively stricter than basic modal claims and so are better suited to express fine-grained aspects of semantic rules. A major payoff of my normativist account of metaphysical explanations is that it yields a plausible story about how we come to evaluate and know metaphysical explanations—we do this primarily by conceptual analysis. I also respond to a number of objections, including the objection that the epistemic payoffs of my view are not worth the metaphysical costs. (shrink)

James Anderson and Greg Welty have resurrected an argument for God’s existence, which we will call the argument from logic. We present three lines of response against the argument, involving the notion of necessity involved, the notion of intentionality involved, and then we pose a dilemma for divine conceptualism. We conclude that the argument faces substantial problems.

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)

Are the categorical laws of ontology metaphysically contingent? I do not intend to give a full answer to this question in this paper. But I shall give a partial answer to it. In particular, Gideon Rosen, in his article “The Limits of Contingency”, has distinguished a certain conception of metaphysical necessity, which he calls the Non-Standard conception, which, together with the assumption that all natures or essences are Kantian, is supposed to entail that many laws of ontology are metaphysically contingent. (...) Now, the argument Rosen gives supports the conclusion that all categorical laws of ontology are contingent. I shall argue that the Non-Standard conception and the thesis that all natures are Kantian are incompatible with each other and that, if the Non-Standard conception is true, there must be at least one metaphysically necessary categorical law of ontology, and I shall identify such a law. Thus my contribution to the question of the title of the paper will be that not all categorical ontological laws can be contingent if the Non-Standard conception is true. (shrink)

Ontological dependence is a relation—or, more accurately, a family of relations—between entities or beings. For there are various ways in which one being may be said to depend upon one or more other beings, in a sense of “depend” that is distinctly metaphysical in character and that may be contrasted, thus, with various causal senses of this word. More specifically, a being may be said to depend, in such a sense, upon one or more other beings for its existence or (...) for its identity. Some varieties of ontological dependence may be analyzed in modal terms—that is, in terms of distinctly metaphysical notions of possibility and necessity—while others seem to demand an analysis in terms of the notion of essence. The latter varieties of ontological dependence may accordingly be called species of essential dependence. Notions of ontological dependence are frequently called upon by metaphysicians in their proposed analyses of other metaphysically important notions, such as the notion of substance. (shrink)

Fine, Lowe and Hale accept the view that necessity is to be explained by essences: Necessarily p iff, and because, there is some x whose essence ensures that p. Hale, however, believes that this strategy is not universally applicable; he argues that the necessity of essentialist truths cannot itself be explained by once again appealing to essentialist truths. As a consequence, Hale holds that there are basic necessities that cannot be explained. Thus, Hale style essentialism falls short of what Wilsch (...) calls the explanation-challenge (EC) for the metaphysics of necessity. Without endorsing the EC, I argue that Hale’s argument for basic, unexplained necessities fails due to a misunderstanding of the structure of essentialist explanations. Getting clear about the structure of essentialist explanations of necessity leads to a re-evaluation of crucial circularity- and regress-arguments that have been discussed in the debate about essentialism. (shrink)

As Vetter says, we are at the “beginning of the debate, not the end” (2015: 300) when it comes to evaluating her potentiality-based account of metaphysical modality. This paper contributes to this developing debate by highlighting three problems for Vetter’s account. Specifically, I begin (§1) by articulating some relevant details of Vetter’s potentiality-based view. This leads to the first issue (§2), concerning unclarity in the idea of degrees of potentiality. Similarly, the second issue (§3) raises trouble for Vetter’s proposed individuation (...) conditions for potentialities. Finally, the third issue (§4) is about apparently unmanifestable intrinsic potentialities, and suggests that there might be some deeper problems with anchoring metaphysical possibilities in concrete objects. More generally, though the issues detailed here are problematic, I do not take them to be fatal. However, they do show that, at minimum, further clarification of Vetter’s potentiality view is required. As Vetter says, we are at the “beginning of the debate, not the end” (2015: 300) when it comes to evaluating her potentiality-based account of metaphysical modality. This paper contributes to this developing debate by highlighting three problems for Vetter’s account. Specifically, I begin (§1) by articulating some relevant details of Vetter’s potentiality-based view. This leads to the first issue (§2), concerning unclarity in the idea of degrees of potentiality. Similarly, the second issue (§3) raises trouble for Vetter’s proposed individuation conditions for potentialities. Finally, the third issue (§4) is about apparently unmanifestable intrinsic potentialities, and suggests that there might be some deeper problems with anchoring metaphysical possibilities in concrete objects. More generally, though the issues detailed here are problematic, I do not take them to be fatal. However, they do show that, at minimum, further clarification of Vetter’s potentiality view is required. (shrink)

Kit Fine has proposed a new solution to what he calls ‘a familiar puzzle’ concerning modality and existence. The puzzle concerns the argument from the alleged truths ‘It is necessary that Socrates is a man’ and ‘It is possible that Socrates does not exist’ to the apparent falsehood ‘It is possible that Socrates is a man and does not exist’. We discuss in detail Fine’s setting up of the ‘puzzle’ and his rejection, with which we concur, of two mooted solutions (...) to it. (One of these uses standard, Kripkean, notions, and the other rests on work done by Arthur Prior.) We set out, and reject, the philosophy of modality underlying Fine’s new solution, and we defend an alternative response to the alleged puzzle. Our solution follows the work of David Wiggins in distinguishing between the sentential operator ‘It is necessary that’ and the predicate modifier ‘necessarily’. We briefly provide this distinction with a possible- world semantics on which it is neither a necessary truth, in some sense, that Socrates exists nor true, in some sense, that Socrates necessarily exists. (shrink)

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

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

There is an important and fairly straightforward link between necessity and apriority which can shed light on our knowledge of the former, but initially plausible attempts to spell out what it is fall victim to counterexamples. Casullo discusses one such proposal, argues—following Anderson :1–20, )—that it fails, and suggests an alternative. In this paper, I argue that Casullo’s alternative also fails, before making a suggestion for which I can find no counterexamples and which, notably, handles some recent examples due to (...) Kipper and Strohminger and Yli-Vakkuri. (shrink)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

In her 1938 paper ‘Logical and Metaphysical Necessity’, Martha Kneale introduces the necessary a posteriori. I present a critical summary of Kneale's argument that so-called ‘metaphysical propositions’ are necessary but not a priori. I argue that Kneale is well placed to offer a template for reconciling conceivability approaches to modal epistemology with the post-Kripkean trend for taking metaphysical necessities to have their source in mind-independent reality.

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)

Gideon Rosen has recently sketched an argument which aims to establish that the notion of metaphysical modality is systematically ambiguous. His argument contains a crucial sub-argument which has been used to argue for Metaphysical Contingentism, the view that some claims of fundamental metaphysics are metaphysically contingent rather than necessary. In this paper, Rosen’s argument is explicated in detail and it is argued that the most straight-forward reconstruction fails to support its intended conclusion. Two possible ways to save the argument are (...) rebutted and it is furthermore argued that the crucial sub-argument only supports a rather particular variant of Metaphysical Contingentism. (shrink)

Since Kit Fine presented his counter-examples to the standard versions of the modal view, many have been convinced that the standard versions of the modal view are not adequate. However, the scope of Fine's argument has not been fully appreciated. In this paper, I aim to carry Fine’s argument to its logical conclusion and argue that once we embrace the intuition underlying his counter-examples, we have to hold that properties obtained, totally or partially, by application of logical operations are not (...) essential to non-logical entities. I also demonstrate that most of the post-Finean versions of the modal view, which were developed to accommodate Fine’s counter-examples, entail that such properties are essential to the entities, and so fail to capture the notion of essence at issue in Fine's counter-examples. Additionally, I explore the consequence of my argument for Fine’s proposed logic of essence. The logic turns out to be inadequate in its present shape as it represents such properties to be essential to the entities. I conclude by developing a modification to the logic to overcome the shortcoming. (shrink)