De Re Modality, Misc

What is the connection between dispositions and ethics? Some might think very little and those who are interested in dispositions tend to be metaphysicians whose interests are far from value. However, we argue in this paper that dispositions and dispositionality are central to ethics, indeed a precondition. Ethics rests on a number of notions that are either dispositional in nature or involve real dispositions or powers at work. We argue for a dispositional account of value that offers an alternative to (...) the traditional fact-value dichotomy. We explain the place of value within a structure that explains the possibility of ethics. Elsewhere in this structure, we argue that moral responsibility is a precondition for ethics and that it is a dispositional notion depending critically on what Mumford and Anjum have called the dispositional modality. Moral responsibility in turn depends on there being both agency and normativity. We argue that intentionality and agency are preconditions for agency and that value is a precondition of normativity. All these notions are dispositional and make best sense if there are real dispositions or causal powers of agents. (shrink)

The paper argues against a commitment to metaphysical necessity, semantic modalities are enough. The best approaches to elucidate the semantic modalities are (still) versions of lingustic ersatzism and fictionalism, even if only developed in parts. Within these necessary properties and the difference between natural and semantic laws can be accounted for. The proper background theory for this is an updated version of Logical Empiricism, which is congenial to recent trends in Structural Realism. The anti-metaphysical attitude of Logical Empiricism deserves revitalization. (...) Another target besides metaphysical necessity are substantial forms of iterated modalities, as used, for instance, in the philosophy of religion. (shrink)

The hole argument concludes that substantivalism about spacetime entails the radical indeterminism of the general theory of relativity (GR). In this paper, I amend and defend a response to the hole argument first proposed by Butterfield (1989) that relies on the idea of counterpart substantivalism. My amendment clarifies and develops the metaphysical presuppositions of counterpart substantivalism and its relation to various definitions of determinism. My defence consists of two claims. First, contra Weatherall (2018) and others: the hole argument is not (...) a blunder resulting from a mistaken view on how mathematical physics works, and requires a developed (meta)metaphysical response. Second, contra Melia (1999) and others: one can be content with a notion of determinism for GR which is not sensitive to merely haecceitistic differences. (shrink)

Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the necessity of identity and the substitutivity of (...) identicals into modal contexts. (shrink)

Leibniz claims that for every possible substance S there is an individual concept that includes predicates describing everything that will ever happen to S, if S existed. Many commentators have thought that this leads Leibniz to think that all properties are had essentially, and thus that it is not metaphysically possible for substances to be otherwise than the way their individual concept has them as being. I argue against this common way of reading Leibniz’s views on the metaphysics of modality. (...) I develop a model in which individual concepts are innocent; that is, individual concepts are divine ideas that permit God to know everything that will ever happen to all possible substances, if created, but these individual concepts neither require that all properties are had essentially nor require that it is metaphysically necessary for substances to be the way their individual concepts have them as being. (shrink)

This paper provides an overview of the history of the notion of essence in 20th century analytic philosophy, focusing on views held by influential analytic philosophers who discussed, or relied on essence or cognate notions in their works. It in particular covers Russell and Moore’s different approaches to essence before and after breaking with British idealism, the (pre- and post-)logical positivists’ critique of metaphysics and rejection of essence (Wittgenstein, Carnap, Schlick, Stebbing), the tendency to loosen the notion of logical necessity (...) to accommodate certain metaphysical truths in Wittgenstein and others, Quine’s logical rehabilitation of metaphysics and criticism of de re modality, the modal view of essence promoted by the development of quantified modal logic (C. I. Lewis, Barcan Marcus, Kripke) and direct reference theory (Barcan Marcus, Kripke, Putnam), and the emergence of the notion of metaphysical necessity (Kneale, Kripke), and finally Fine’s re-establishment of a Neo-Aristotelian, hyperintensional notion of essence in contemporary metaphysics. (shrink)

L.A. Paul calls “deep” the kind of essentialism according to which the essential properties of objects are determined independently of the context. Deep essentialism opposes “shallow essentialism”, of which David Lewis is said to be a prominent advocate. Paul argues that standard forms of deep essentialism face a range of issues (mainly based on an interpretation of Quinean skepticism) that shallow essentialism does not. However, Paul claims, shallow essentialism eliminates the very heart of what motivates essentialism, so it is better (...) to be deep than shallow. Accordingly, she proposes a very sharp novel account of essentialism, which, while attempting to preserve some of the advantages of shallow essentialism over the classical forms of deep essentialism, can be deemed to be deep. In this paper, I compare Paul’s proposal for a kind of deep essentialism with Lewis’s account, as it is presented by Paul. My aim is to show that the differences between the two approaches are not as significant as Paul takes them to be, and that Paul’s account can be taken to be deeper than Lewis’s only at the cost of sacrificing the very idea at the bottom of deep essentialism. This might be taken to suggest that, if Paul is correct in asserting that shallow essentialism is better equipped to address some skeptical challenges, but it is generally preferable to be deep than shallow, then Lewis’s account should be re-evaluated, since, as shallow as it can be, it might be deeper than it looks. (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)

The concept of essence holds a pivotal role in unraveling Aristotle’s metaphysical framework. In his exploration of Metaphysics, Aristotle delves into the quest for fundamental being, positing that the primary substance is essentially synonymous with essence. This paper examines the criteria for essence, drawing from both the Categories and Metaphysics Z. Two distinct perspectives on essentialism, namely individual essentialism, aligned with the contemporary modal account of essence, and kind essentialism, are scrutinized. Through a critical analysis, this paper contends that both (...) these essentialist accounts fall short in adequately elucidating the Aristotelian concept of essence. Consequently, this pivotal notion, governed by Aristotelian criteria, remains a perplexing enigma, challenging contemporary attempts to fully grasp its intricacies. (shrink)

This paper reconsiders Leibniz’s conception of the nature of possible things and offers a novel interpretation of the actualization of possible substances. This requires analyzing a largely neglected notion, the reality of individual essences. Thus far scholars have tended to construe essences as representational items in God’s intellect. We acknowledge that finite essences have being in the divine intellect but insist that they are also grounded in the infinite essence of God, as limitations of it. Indeed, we show that it (...) is critical to understand that this dependence on God’s essence is prior to the dependence on God through divine ideas. Here it is crucial to distinguish questions concerning the ontological status of essences from questions concerning their reality. This yields a fresh view of Leibniz’s theory of creation, which takes seriously his claim that the same thing is first a mere possibility but after creation an actually existent substance. (shrink)

Spinoza claims that a person’s mind and body are one and the same. But he also claims that minds think and do not move, whereas bodies move and do not think. How can we reconcile these claims? I believe that Spinoza is building on a traditional view about identity over time. According to this view, identity over time is linked to essence, so that a thing that is now resting is identical to a thing that was previously moving, provided that (...) they share the same essence. I believe that Spinoza has a similar view about the identity of minds and bodies. In particular, a thing that is thinking in the attribute of thought is identical to a thing that is moving in the attribute of extension, provided that they share the same essence. (shrink)

Paradoxes of nested modality, like Chisholm’s paradox, rely on S4 or something stronger as the propositional logic of metaphysical modality. Sarah-Jane Leslie’s objection to the resolution of Chisholm’s paradox by means of rejection of S4 modal logic is investigated. A modal notion of essence congenial to Leslie’s objection is clarified. An argument is presented in support of Leslie’s crucial but unsupported assertion that, on pain of inconsistency, an object’s essence is the same in every possible world. A fallacy in the (...) argument is exposed. Alternative interpretations of Leslie’s objection are provided and are found to involve equivocation between different notions of “essence.” A material artifact’s modal essence, as distinct from its quiddity essence, could have been different than it is. (shrink)

This paper is about the so-called meta-grounding question, i.e. the question of what grounds grounding facts of the sort ‘φ is grounded in Γ ’. An answer to this question is pressing since some plausible assumptions about grounding and fundamentality entail that grounding facts must be grounded. There are three different accounts on the market which each answer the meta-grounding question differently: Bennett’s and deRosset’s “Straight Forward Account” (SFA), Litland’s “Zero-Grounding Account” (ZGA), and “Grounding Essentialism” (GE). I argue that if (...) grounding is to be regarded as metaphysical explanation (i.e. if unionism is true), (GE) is to be preferred over (ZGA) and (SFA) as only (GE) is compatible with a crucial consequence of the thought that grounding is metaphysical explanation. In this manner the paper contributes not only to discussions about the ground of ground but also to the ongoing debate concerning the relationship between ground, essence, and explanation. (shrink)

In defense of anti-essentialism, pragmatist Richard Rorty holds that we may think of all objects as if they were numbers. I find that Rorty’s metaphysics hinges on two rather weak arguments against the essences of numbers. In contrast, Plato’s metaphysics offers a plausible definition of essentiality by which numbers do have essential properties. Further, I argue that Rorty’s argumentative mistake is mischaracterizing Plato’s definition. I conclude that Plato’s definition of “essential” is a robust one which implies that many properties, beyond (...) those we might intuitively think of, can count as essential properties of objects. (shrink)

This paper evaluates six contenders which might be invoked by essentialists in order to meet Quine’s challenge, viz., to provide necessary and sufficient conditions for the crossworld identity of individuals: (i) an object’s qualitative character; (ii) matter; (iii) origins; (iv) haecceities or primitive non-qualitative thisness properties; (v) “world-indexed properties”; and (iv) individual forms. The first three candidates, I argue, fail to provide conditions that are both necessary and sufficient for the crossworld identity of individuals; the fourth and fifth criteria are (...) open to the charge that they do not succeed in meeting Quine’s demand in an explanatorily adequate fashion. On balance, then, individual forms, or so I propose, deserve to be taken very seriously as a possible response to Quine’s challenge, especially by neo-Aristotelians who are already committed to a hylomorphic conception of composite concrete particular objects for other reasons. Theorists who also accept a non-modal conception of essence, i.e., a conception according to which essence is not reducible to modality, in addition face the further difficult task, over and above what is required to meet Quine’s challenge, of having to explain how an object’s de re modal profile in some way follows from facts about its essence. Haecceities and world-indexed properties, as I indicate, are unlikely to be of much help with respect to this second challenge, while the forms of hylomorphic compounds are in fact well-suited for this purpose. (shrink)

This article responds to a case-based argument by Mark Richard that rule of reference is not essential to meaning. It objects that the argument requires shifting between understanding the relevant term in the case, ‘marriage,’ as a determinable, in order to support one premise, and a determinate, in order to support another. On no univocal interpretation can both premises be made true.

A generic grounding claim is a grounding claim that isn’t about any particular entity or fact. For example, consider the claim: an act is right in virtue of maximizing happiness. One natural idea is that generic grounding claims state mere regularities of ground. So if an act is right in virtue of maximizing happiness, then every possible right act is right in virtue of maximizing happiness. The generic claim generalizes over particular grounding relations. In this essay, I argue that this (...) simple story is wrong. Generic grounding claims are not merely quantificational; rather, they express real definitions, where real definitions are (in part) claims about essence. My view has two major upshots: ('i') it makes better sense of debates where generic grounding claims are at issue (like debates about moral laws); ('ii') it clarifies the distinction between reductive and non-reductive metaphysical theories. (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)

A standard contemporary formulation of essentialism defines essential properties with a help of a concept of possible worlds. It is often argued that in order to use possible worlds effectively, facts about transworld identity of individuals need to be determined. In this paper I discuss how essentialist might attempt the issue of transworld identity of individuals. Specifically, I analyze a connection between essentialism and the two theories that explain the transworld identity issue, that is, haecceitism and antihaecceitism. I provide a (...) detailed analysis of different variants of antihaecceitism and argue, that all of them are incompatible with basic intuitions that stay behind essentialism. In contrast to that, I defend a position that essentialism ought to be combined with some form of haecceitism. In the remainder of this paper I provide the two ways through which essentialist might be a haecceitist. (shrink)

During the last quarter of a century, a number of philosophers have become attracted to the idea that necessity can be analyzed in terms of a hyperintensional notion of essence. One challenge for proponents of this view is to give a plausible explanation of our modal knowledge. The goal of this paper is to develop a strategy for meeting this challenge. My approach rests on an account of modality that I developed in previous work, and which analyzes modal properties in (...) terms of the notion of a metaphysical law. I discuss what information about the metaphysical laws is required for modal knowledge. Moreover, I describe two ways in which we might be able to acquire this information. The first way employs inference to the best explanation. The metaphysical laws, including the essential truths, play a crucial role in causal and grounding explanations and we can gain knowledge of these laws by abductive inferences from facts of which we have perceptual or a priori knowledge. The second way of gaining information about the metaphysical laws rests on knowledge that is partly constitutive of competence with the concepts that are needed to express the relevant information. Finally, I consider how knowledge of the metaphysical laws can be used to establish modal claims, paying special attention to the much-discussed connection between conceiving and possibility. (shrink)

I propose that we approach the epistemology of modality by putting modal metaphysics first and, specifically, by investigating the metaphysics of essence. Following a prominent Neo-Aristotelian view, I hold that metaphysical necessity depends on the nature of things, namely their essences. I further clarify that essences are core properties having distinctive superexplanatory powers. In the case of natural kinds, which is my focus in the paper, superexplanatoriness is due to the fact that the essence of a kind is what causes (...) all the many properties and behaviors that are typically shared by all the instances of the kind. Accordingly, we know what is necessarily true of kinds by knowing what is essential to them in the sense of actually playing such causal-explanatory roles. Modal reasoning aimed at discovering metaphysical necessity thus proceeds via essentialist deduction: we move from essentialist truths to reach necessary truths. (shrink)

The paper explores the project of an ambitious modal epistemology that attempts to combine the a priori methods of Chalmers’ 2D semantics with Kripke’s modal metaphysics. I argue that such a project is not viable. The ambitious modal epistemology involves an inconsistent triad composed of (1) Modal Monism, (2) Two-Dimensionalism, and what I call (3) “Metaphysical Kripkeanism”. I present the three theses and show how only two of those can be true at a time. There is a fundamental incompatibility between (...) Chalmers’ Modal Rationalism and Kripke’s modal metaphysics. Specifically, Chalmers’ conceivability entails possibilities that a Kripkean rejects as genuinely metaphysical. However, three positive stances in modal epistemology emerge from the combinations that the triad allows. One of those offers a promising way forward for 2D modal epistemologies. But it comes with a cost, as it requires abandoning modal monism and reshaping the scope of what a priori conceivability can give us access to. (shrink)

The epistemology of essence is a topic that has received relatively little attention, although there are signs that this is changing. The lack of literature engaging directly with the topic is probably partly due to the mystery surrounding the notion of essence itself, and partly due to the sheer difficulty of developing a plausible epistemology. The need for such an account is clear especially for those, like E.J. Lowe, who are committed to a broadly Aristotelian conception of essence, whereby essence (...) plays an important theoretical role. In this chapter, our epistemic access to essence is examined in terms of the a posteriori vs. a priori distinction. The two main accounts to be contrasted are those of David S. Oderberg and E.J. Lowe. (shrink)

In the article, I consider seven metaphysical postulates that lie in the foundations of modern physics. These are postulates: about the nature of space-time, about the existence, about the direction of time, about the causality, about the elementary event, about the nature of information and about the immutability of laws. The directions of critical analysis and possible radical revision of these postulates are briefly presented. It is supposed that this revision can indirectly contribute to the development of a theory that (...) will be able to generalize quantum phenomena, gravity and the evolution of the universe. (shrink)

It is necessarily true that water is H2O, but it is a contingent fact that there is any water at all. Water therefore seems ill suited to ground the necessary truth that water is H2O. One view traditionally attributed to Scotus and Henry of Ghent was that while water is contingent, the essence of water is necessary; hence, the essence of water can ground the so-called eternal truth that water is H2O. Francisco Suárez rejects this view on the grounds that (...) it contradicts the Christian doctrine of creation, according to which everything other than God was contingently created in time. Suárez’s own view of the eternal truths has proven elusive to commentators, but I argue that Suárez ultimately endorses a version of the view he rejects: essences ground the eternal truths. But this raises several puzzles: how is Suárez’s view distinct from the views traditionally ascribed to Scotus and Henry? How does Suárez’s view escape the argument from creation, which Suárez raises against his opponents? I argue that Suárez distinguishes between his view and his opponents’ view by saying that essences have “extrinsic being,” whereas his opponents claim that essences have “intrinsic being.” The distinction between intrinsic and extrinsic being has not received much attention, but I argue that it marks an important fault line in scholastic thinking about the ontological status of non-existents. I argue that the notion of extrinsic being can be explicated in terms of ontological pluralism and grounding. The notion of extrinsic being helps differentiate Suárez’s view from his Scotistic and Henrician opponents, and it allows Suárez to respond to the creation argument he raises against his opponents. On my reading, Suárez’s solution to the problem of eternal truths turns out to be both highly original and philosophically satisfying. (shrink)

Recent years have seen an explosion of interest in metaphysical explanation, and philosophers have fixed on the notion of ground as the conceptual tool with which such explanation should be investigated. I will argue that this focus on ground is myopic and that some metaphysical explanations that involve the essences of things cannot be understood in terms of ground. Such ‘essentialist’ explanation is of interest, not only for its ubiquity in philosophy, but for its being in a sense an ultimate (...) form of explanation. I give an account of the sense in which such explanation is ultimate and support it by defending what I call the inessentiality of essence. I close by suggesting that this principle is the key to understanding why essentialist explanations can seem so satisfying. (shrink)

Despite the importance of the variational principles of physics, there have been relatively few attempts to consider them for a realistic framework. In addition to the old teleological question, this paper continues the recent discussion regarding the modal involvement of the principle of least action and its relations with the Humean view of the laws of nature. The reality of possible paths in the principle of least action is examined from the perspectives of the contemporary metaphysics of modality and Leibniz's (...) concept of essences or possibles striving for existence. I elaborate a modal interpretation of the principle of least action that replaces a classical representation of a system's motion along a single history in the actual modality by simultaneous motions along an infinite set of all possible histories in the possible modality. This model is based on an intuition that deep ontological connections exist between the possible paths in the principle of least action and possible quantum histories in the Feynman path integral. I interpret the action as a physical measure of the essence of every possible history. Therefore only one actual history has the highest degree of the essence and minimal action. To address the issue of necessity, I assume that the principle of least action has a general physical necessity and lies between the laws of motion with a limited physical necessity and certain laws with a metaphysical necessity. (shrink)

Divers (2014) presents a set of de re modal truths which, he claims, are inconvenient for Lewisean modal realism. We argue that there is no inconvenience for Lewis.

The philosophy of necessity and possibility has flourished in the last half-century, but much less attention has been paid to the question of how we know what can be the case and what must be the case. Many friends of modal metaphysics and many enemies of modal metaphysics have agreed that while empirical discoveries can tell us what is the case, they cannot shed much light on what must be the case or on what non-actual possibilities there are. In this (...) paper, in contrast, I discuss and defend naturalistic approaches to discovering the facts about necessity and possibility. After some remarks about what methodological naturalism in philosophy might amount to, I argue that naturalistic method in modal investigations may not need to be particularly revisionary of much of what is currently being done in modal investigation. I then discuss a number of respects in which a naturalistic orientation in modal investigation may improve on our current epistemic situation. (shrink)

In recent years non-conceptual content theorists have taken Kant as a reference point on account of his notion of intuition (§§ 1-2). The present work aims at exploring several complementary issues intertwined with the notion of non-conceptual content: of these, the first concerns the role of the intuition as an indexical representation (§ 3), whereas the second applies to the presence of a few epistemic features articulated according to the distinction between knowledge by acquaintance and knowledge by description (§ 4). (...) This work intends to dismiss the possibility that intuition may have an autonomous function of de re knowledge in support of an interpretative reading which can be labelled as weak conceptualism. To this end, the exploration will be conducted from a strictly transcendental perspective – i.e., by referring to the so called theory of the “concept of a transcendental object”. (shrink)

In a series of articles, Kit Fine presents some highly compelling objections to monism, the doctrine that spatially coincident objects are identical. His objections rely on Leibniz’s Law and linguistic environments that appear to be immune to the standard charge of non-transparency and substitution failure. In this paper, I respond to Fine’s objections on behalf of the monist. Following Benjamin Schnieder, I observe that arguments from Leibniz’s Law are valid only if they involve descriptive, rather than metalinguistic, negation. Then I (...) show that the monist is justified in treating the negation in Fine’s objections as metalinguistic in nature. Along the way I make a few methodological remarks about the interaction between the study of natural language and metaphysics. I also present evidence that some of the linguistic environments which Fine relies on are, contrary to appearances, non-transparent. (shrink)

I offer a concise critique of a recurring line of reasoning advanced by Joseph LaPorte and Samir Okasha that all modern species concepts render the view that biological organisms essentially belong to their species empirically untenable. The argument, I claim, trades on a crucial modal ambiguity that collapses the de re/de dicto distinction. Contra their claim that the continued adherence of such a view on behalf of contemporary metaphysicians stems from the latter’s ignorance of developments in modern biology, the modal (...) ambiguity reveals the need to retrain in modal metaphysics. (shrink)

En este artículo discuto cómo es que la idea intuitiva de que las cosas podrían cambiar, combinada con principios excesivamente plausibles, nos lleva a la paradoja de Chisholm. Arguyo que la mejor respuesta a esta paradoja –pues efectúa la menor mutilación a nuestros principios teóricos y asunciones intuitivas– es la postura esencialista. Primero expongo algunas motivaciones para hacer una teoría metafísica que explique la modalidad de re. Luego reviso los principios a los que estaremos regresando en el curso del artículo. (...) Entonces muestro cómo ellos, conjuntamente, implican la paradoja de Chisholm. Después reviso las posibles fuentes de esta paradoja, rechazando varias salidas posibles. Argumento que la fuente de la paradoja está en que nuestros principios teóricos son demasiado liberales, y que la opción esencialista subsana este defecto. (shrink)

This is a supplement to our book "Le tribolazioni del filosofare. Comedia metaphysica ne la quale si tratta de li errori & de le pene de l’Infero". It features an entirely new canto of the poem (originally thought to be lost) along with an extensive commentary. The canto covers the first ring of the circle of the Sullen, which hosts the Adverse to the Possible, and deals with several philosophical questions concerning the metaphysics of modality.

The Barcan formula (BF) is commonly paraphrased as the schematic conditional that if it is possible that there be a phi then something or other is possibly a phi. It is validated by the most straightforward systems of quantified modal logic. It is also widely considered to pose a threat to the commonsensical metaphysical view that there are no non-actual (or ‘merely possible’) things. I show how BF can be cleared of such a charge by construing it as a bridge (...) principle connecting modality de dicto and modality de re while retaining a Russellian robust sense of reality in modal matters. (shrink)

Timothy Williamson has argued for the radical conclusion that everything necessarily exists. In this paper, I assume that the conclusion of Williamson’s argument is more incredible than the denial of his premises. Under the assumption that Williamson is mistaken, I argue for the claim that there are some structured propositions which have constituents that might not have existed. If those constituents had not existed, then the propositions would have had an unfilled role; they would have been gappy. This gappy propositions (...) view allows for a plausible response to Williamson’s argument. Additionally, a slight variant of the gappy propositions view allows for plausible defense of Linguistic Ersatzism from the problem of contingent non-existents (also known as the problem of aliens). (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)

A major source of latter-day skepticism about necessity is the work of David Hume. Hume is widely taken to have endorsed the Humean claim: there are no necessary connections between distinct existences. The Humean claim is defended on the grounds that necessary connections between wholly distinct things would be mysterious and inexplicable. Philosophers deploy this claim in the service of a wide variety of philosophical projects. But Saul Kripke has argued that it is false. According to Kripke, there are necessary (...) connections between distinct existences; in particular, there are necessary connections between material objects and their material origins. In this paper I argue that the primary motivation for the Humean claim, Hume's datum, also motivates the key premise in an argument for the necessity of origins. The very considerations that the Humean takes to show that necessary connections between wholly distinct things would be mysterious and inexplicable indicate that there must be some such necessary connections. Thus, in the absence of alternative support, there is no reason to believe the Humean claim. (shrink)

This is an introduction to the topic of modality in philosophy. Theories of modality seek to explain possibility and necessity in the various ways they come up in our ordinary understanding of the world and in our systematic theorising. Topics covered include distinguishing types of necessity and possibility; possible worlds and their use; de re possibility and necessity; and how we discover modal truths.

Humean metaphysics is characterized by a rejection of necessary connections between distinct existences. Dispositionalists claim that there are basic causal powers. The existence of such properties is widely held to be incompatible with the Humean rejection of necessary connections. In this paper I present a novel theory of causal powers that vindicates the dispositionalist claim that causal powers are basic, without embracing brute necessary connections. The key assumptions of the theory are that there are natural types of causal processes, and (...) that manifestations of powers are identified with certain kinds of causal processes. From these assumptions, the modal features of powers are explained in terms of internal relations between powers themselves and the process-types in which powers are manifested. (shrink)

Due to the influence of Nathan Salmon’s views, endorsement of the “flexibility of origins” thesis is often thought to carry a commitment to the denial of S4. This paper rejects the existence of this commitment and examines how Peacocke’s theory of the modal may accommodate flexibility of origins without denying S4. One of the essential features of Peacocke’s account is the identification of the Principles of Possibility, which include the Modal Extension Principle (MEP), and a set of Constitutive Principles. Regarding (...) their modal status, Peacocke argues for the necessity of MEP, but leaves open the possibility that some of the Constitutive Principles be only contingently true. Here, I show that the contingency of the Constitutive Principles is inconsistent with the recursivity of MEP, and this makes the account validate S4. It is also shown that, compatibly with the necessity of the Constitutive Principles, the account can still accommodate intuitions about flexibility of origins. However, the account we end up with once those intuitions are consistently accommodated may not be satisfactory, and this opens up the debate about whether or not artefacts allow for some variation in their origins. (shrink)

It is common lore that standard, Kripke-style semantics for quantified modal logic is incompatible with the view that no individual may belong to more than one possible world, a view that seems to require a counterpart-theoretic semantics instead. Strictly speaking, however, this thought is wrong-headed. This note explains why.

The distinction between the essential and the accidental characteristics of a thing should be understood not in modal terms (the received view) nor in definitional terms (Fine’s recent proposal) but as follows: an essential characteristic of a thing is one that is not explained by any other of that thing’s characteristics, and an accidental characteristic of a thing is one that is so explained. Various versions of this proposal can be formulated.

Perhaps no one has done more in the last 30 years to advance thinking in the metaphysics of modality than has Alvin Plantinga. Collected here are some of his most important essays on this influential subject. Dating back from the late 1960's to the present, they chronicle the development of Plantinga's thoughts about some of the most fundamental issues in metaphysics: what is the nature of abstract objects like possible worlds, properties, propositions, and such phenomena? Are there possible but non-actual (...) objects? Can objects that do not exist exemplify properties? Plantinga gives thorough and penetrating to all of these questions and many others. This volume contains some of the best work in metaphysics from the past 30 years, and will remain a source of critical contention and keen interest among philosophers of metaphysics and philosophical logic for years to come. (shrink)