Essence and Essentialism

In a monograph published last year, literary theorist Mark Noble notes that, in the way Deleuze understands the relationship between materialism and subjectivity, Deleuze “also sounds curiously like Santayana.” For example, the work of both philosophers “locates human value in a source at once immanent and alien.” Noble also wonders “whether the lesson of Santayana’s own negotiation with his tendency to humanize the non-human ground of experience also anticipates the thrill Deleuze chases when positing the univocity of being.” In the (...) present article, I will attempt to elaborate on this “anticipation,” the implications of which include a greater appreciation of Santayana on the part of Deleuze enthusiasts, an understanding of both philosophers as U.S.-influenced, European quasi-pragmatists, and a decision in favor of Michael Brodrick’s recent interpretation of Santayana as a “total natural event” philosopher of mind. (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 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)

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

The problem I tackle in this article is: Do we have in Scotus a modal logic or a counterpart theory? We need to take a rather roundabout path to handle this problem. This is because, whether it be in Lewis's original formulation or in others' applications, the crucial concept of 'counterpart' has never been clearly explicated. In section two, I shall therefore examine the recent controversy concerning Leibniz's views on modalities which centers around the counterpart relation. By fully exploiting the (...) lessons learned from such an examination, I shall then launch a trilemma against a Leibnizian in section three. Section four shall make the claim that unlike Leibniz's case, Scotus's position is not endangered by the trilemma. One important premise will be adopted from my thesis presented elsewhere regarding the different between Scotus's haecceitas and Leibniz's individual essence. Another will be secured from a brief report on Scotus's views on similarity, which might be utterly original to modern eyes jaundiced by contemporary set theories. (shrink)

Essentialists suppose that for every individual, if that individual exists at any possible world, then necessarily that individual exemplifies some non-trivial qualitative property essential to it, as such. Anti-essentialists deny this. One important argument leveled by some anti-essentialists against essentialism takes the form of a thought experiment, one originally introduced by Chisholm :1–8, 1967), sometimes referred to as Chisholm’s Paradox. In this essay, I defend essentialism against CP. I begin by presenting the argument and showing how it leads to a (...) contradiction of the essentialist thesis. I then consider one of the most popular solutions to CP to date, that given by Salmon :3–34, 1989, Philos Top 21:187–197, 1993). Next, I critique Salmon’s proposal and show that it is an insufficient response on behalf of the essentialist. And finally, I propose a novel solution to the paradox and discuss why it is that many metaphysicians in the past have found CP plausible, despite being fallacious. (shrink)

I develop a reduction of grounding to essence. My approach is to think about the relation between grounding and essence on the model of a certain conceptof existential dependence. I extend this concept of existential dependence in a coupleof ways and argue that these extensions provide a reduction of grounding to essenceif we use sorted variables that range over facts and take it that for a fact to obtain is forit to exist. I then use the account to resolve various (...) issues surrounding the concept of grounding and its connection with essence; apply the account to paradigm cases andto the impure logic of grounding; and respond to objections. (shrink)

This paper focuses on the concept of collective essence: that some truths are essential to many items taken together. For example, that it is essential to conjunction and negation that they are truth-functionally complete. The concept of collective essence is one of the main innovations of recent work on the theory of essence. In a sense, this innovation is natural, since we make all sorts of plural predications. It stands to reason that there should be a distinction between essential and (...) accidental plural predications if there is a distinction among singular predications. In this paper I defend the view that the concept of collective essence is governed by the principle of Monotonicity: that something is essential to some items only if it is essential to any items to which they belong. (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)

Thought: A Journal of Philosophy, EarlyView.

Operators can be compared in at least two respects: expressive strength and deductive strength. Inspired by Hintikka’s treatment of question embedding verbs, the variations of noncontingency operator, and also the various combinations of modal operators and Boolean connectives, we propose a logic with strong noncontingency operator as the only primitive modality. The novel operator is deductively but not expressively stronger than both noncontingency operator and essence operator, and expressively but not deductively weaker than the necessity operator. The frame-definability power of (...) this new logic is in between standard modal logic and noncontingency logic. A notion of bisimulation is proposed to characterize this logic within standard modal logic and first-order logic. Axiomatizations over various frame classes are presented, among which the minimal logic is related to the treatment of an alternative semantics of the agreement operator proposed by Lloyd Humberstone. (shrink)

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)

Quite a number of contemporary students of logic tend to consider Aristotle's logic mainly from a formal point of view. Richard Patterson, on the other hand, attempts to show that Aristotle's system of logic as well as his modal logic must be studied in the light of his fundamental theory of syntax and his metaphysics. Even if all of Aristotle's modal logic has not been accepted in the West, the ideas underpinning it are those of his syllogistic logic. Patterson observes (...) that, in his modal logic, Aristotle uses modal copulae rather than modal predicates. (shrink)

A common view is that self-identity is essential to objects if anything is. Itself a substantive metaphysical view, this is a position of some import in wider debates, particularly in connection with such problems as physicalism and personal identity. In this article I challenge the view. I distinguish between two accounts of essence, the modal and the definitional, and argue that self-identity is essential to objects on the former but not on the latter. After laying out my case, I deal (...) with a number of objections. (shrink)

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

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated (...) theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (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)

ABSTRACTIn this paper, I develop a truthmaker semantics for essence and use the semantics to investigate the explanatory role of essence.

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...) principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

In Modal Logic as Metaphysics, Timothy Williamson claims that the possibilism-actualism (P-A) distinction is badly muddled. In its place, he introduces a necessitism-contingentism (N-C) distinction that he claims is free of the confusions that purportedly plague the P-A distinction. In this paper I argue first that the P-A distinction, properly understood, is historically well-grounded and entirely coherent. I then look at the two arguments Williamson levels at the P-A distinction and find them wanting and show, moreover, that, when the N-C (...) distinction is broadened (as per Williamson himself) so as to enable necessitists to fend off contingentist objections, the P-A distinction can be faithfully reconstructed in terms of the N-C distinction. However, Williamson’s critique does point to a genuine shortcoming in the common formulation of the P-A distinction. I propose a new definition of the distinction in terms of essential properties that avoids this shortcoming. (shrink)

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of Fine's (...) logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

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)

There are three theories in the epistemology of modality that have received sustained attention over the past 20 years : conceivability-theory, counterfactual-theory, and deduction-theory. In this paper we argue that all three face what we call the problem of modal epistemic friction. One consequence of the problem is that for any of the three accounts to yield modal knowledge, the account must provide an epistemology of essence. We discuss an attempt to fend off the problem within the context of the (...) internalism versus externalism debate about epistemic justification. We then investigate the effects that the PMEF has on reductive and non-reductive theories of the relation between essence and modality. (shrink)

Recently, a debate has developed between those who claim that essence can be explained in terms of de re modality (modalists), and those who claim that de re modality can be explained in terms of essence (essentialists). The aim of this paper is to suggest that we should reassess. It is assumed that either necessity is to be accounted for in terms of essence, or that essence is to be accounted for in terms of necessity. I will argue that we (...) should assume neither. I discuss what role these key notions – essence and necessity – can reasonably be thought to contribute to our understanding of the world, and argue that, given these roles, there is no good reason to think that we should give an account of one in terms of the other. I conclude: if we can adequately explain de re modality and essence at all, we should aim to do so separately. (shrink)

Bundle theories identify material objects with bundles of properties. On the traditional approach, these are the properties possessed by that material object. That view faces a deep problem: it seems to say that all of an object’s properties are essential to it. Essential bundle theory attempts to overcome this objection, by taking the bundle as a specification of the object’s essential properties only. In this paper, I show that essential bundle theory faces a variant of the objection. To avoid the (...) problem, the theory must accept the contingency of identity. I show how this can be achieved in a coherent and well-motivated way, a way that isn’t available to traditional bundle theories. (shrink)

In recent years largely due to the seminal work of Kit Fine and that of Jonathan Lowe there has been a resurgence of interest in the concept of essence and the project of explaining de re necessity in terms of it. Of course, Quine rejected what he called Aristotelian essentialism in his battle against quantified modal logic. But what he and Kripke debated was a notion of essence defined in terms of de re necessity. The new Aristotelian essentialists regard essence (...) as entailing but prior in the order of explanation to de re necessity. In what follows I argue that the concept of essence so understood has not been adequately explained and that any attempt to explain it, at least along the lines most familiar from the literature, must be flagrantly circular or make use of de re modal notions. (shrink)

Should objects count as necessarily having certain properties, despite their not having those properties when they do not exist? For example, should a cat that passes out of existence, and so no longer is a cat, nonetheless count as necessarily being a cat? In this essay I examine different ways of adapting Aldo Bressan’s MLν so that it can accommodate an affirmative answer to these questions. Anil Gupta, in The Logic of Common Nouns, creates a number of languages that have (...) a kinship with Bressan’s MLν , three of which are also tailored to affirmatively answering these questions. After comparing their languages, I argue that metaphysicians and philosophers of language should prefer MLν to Gupta’s languages in most applications because it can accommodate essential properties, like being a cat, while being more uniform and less cumbersome. (shrink)

We may define words or concepts, and we may also, as Aristotle and others have thought, define the things for which words stand and of which concepts are concepts. Definitions of words or concepts may be explicit or implicit, and may seek to report preexisting synonymies, as Quine put it, but they may instead be wholly or partly stipulative. Definition by abstraction, of which Hume’s principle is a much discussed example, seek to define a term-forming operator, such as the number (...) operator, by fixing the truth-conditions of identity-statements featuring terms formed by means of that operator. Such definitions are a species of implicit definition. They are typically at least partly stipulative. Definitions of things, or real definitions, are, by contrast, typically conceived as true or false statements about the nature or essence of their definienda, and so not stipulative. There thus appears to be an obvious and head-on clash between taking Hume’s principle as an implicit and at least partly stipultative definition of the number operator and taking it as a real definition, stating the nature or essence of cardinal numbers. This paper argues that this apparent tension can be resolved, and that resolving it sheds light on part of the epistemology or essence and necessity, showing how some of our knowledge of essence and necessity can be a priori. (shrink)

It is a truth universally acknowledged that a claim of metaphysical modality, in possession of good alethic standing, must be in want of an essentialist foundation. Or at least so say the advocates of the reductive-essence-first view, according to which all modality is to be reductively defined in terms of essence. Here, I contest this bit of current wisdom. In particular, I offer two puzzles—one concerning the essences of non-compossible, complementary entities, and a second involving entities whose essences are modally (...) ‘loaded’—that together strongly call into question the possibility of reducing modality to essence. (shrink)

Argument that priority monism is best understood as being a contingent thesis.

Since Kit Fine published his famous counter-examples to the modal account of essence, numerous modalists have proposed to avoid the counter-examples by revising the modal account. A sophisticated revision has been put forward by Fabrice Correia. Drawing on themes from Prior’s modality, Correia has introduced a nonstandard conception of metaphysical modality and has proposed to analyze essence in its terms. He has claimed that the analysis is immune to Fine’s counter-examples. In this paper, I argue that there are counter-examples supported (...) by the very intuition underlying Fine’s counter-examples, which are not accommodated by Correia’s account. If my argument is sound, then Correia has not been successful in his defense of modalism. An important corollary of my argument will be that Fine’s consequential conception of essence needs to be modified if it is to capture his own intuitive notion of essence. (shrink)

The following is a critical and historical account of Aristotelian Essentialism informed by recent work on Aristotle’s modal syllogistic. The semantics of the modal syllogistic are interpreted in a way that is motivated by Aristotle, and also make his validity claims in the Prior Analytics consistent to a higher degree than previously developed interpretative models. In Chapter One, ancient and contemporary objections to the Aristotelian modal syllogistic are discussed. A resolution to apparent inconsistencies in Aristotle’s modal syllogistic is proposed and (...) developed out of recent work by Patterson, Rini, and Malink. In particular, I argue that the semantics of negation is distinct in modal context from those of assertoric negative claims. Given my interpretive model of Aristotle’s semantics, in Chapter Two, I provide proofs for each of the mixed apodictic syllogisms, and propose a method of using Venn Diagrams to visualize the validity claims Aristotle makes in the Prior Analytics. Chapter Three explores how Aristotle’s syllogistic fits within Aristotle’s philosophy of science and demonstration, particularly within the context of the Posterior Analytics. Consideration is given to the Aristotelian understanding of the relationship among necessity, explanation, definition, and essence. Chapter Four applies Aristotelian modal logic in contemporary contexts. I contrast Aristotelian modality and essentialism with contemporary modalism based upon the semantics of possible worlds, e.g. Kripke and Putnam. I also develop an account of how Aristotelian modal logic can ground a sortal dependent theory of identity, as discussed by Wiggins. (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, 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)

Tanto la Fórmula Barcan como la postulación de possibilia contradicen los juicios intuitivos preteóricos de la mayoría de los sujetos, favorables al actualismo sobre la naturaleza de los mundos posibles. En este artículo discuto y rechazo dos argumentos que pretenderían contrarrestar tales juicios, y que conciben erróneamente la relación entre la semántica de mundos posibles y nuestros lenguajes naturales modales. El argumento más importante asume que el dominio de todas las entidades es idéntico al dominio de @. Desarrollo una interpretación (...) de la SMP conforme a la cual esa tesis no está suficientemente justificada. /// Barcan Formula and the postulation of possibilia contradict the pretheoretical intuitive judgments of most people, which favour actualism about possible worlds. In this paper I discuss and reject two arguments against such judgments, both of which conceive wrongly the relation between possible worlds semantics and modal natural languages. The more important argument assumes that the domain of the actual world is identical to the domain of @. I develop an interpretation of PWS which elucidates why that thesis is unwarranted. (shrink)

One of the logical problems with which Arthur Prior struggled is the problem of finding, in Prior’s own phrase, a “logic for contingent beings.” The difficulty is that from minimal modal principles and classical quantification theory, it appears to follow immediately that every possible object is a necessary existent. The historical development of quantified modal logic can be viewed as a series of attempts---due variously to Kripke, Prior, Montague, and the fee-logicians---to solve this problem. In this paper, I review the (...) extant solutions, finding them all wanting. Then I suggest a new solution inspired by Kripke’s theory of rigid designation and Kaplan’s logic of demonstratives, the latter in particular. It turns out that the basic mechanism of Kaplan’s logic can be exploited to yield a version of QML that will serve as a viable logic for contingent beings. This result, as I show, sheds new light on the problems of singular negative existential propositions, the question of actualism, the question of the existence of the contingent a priori, the relation between logical truth and necessity, and various modal problems and paradoxes going back to Chrysippus, Ramsey, and Moore. (shrink)

En este artículo discuto el supuesto compromiso de la lógica modal cuantificada con el esencialismo. Entre otros argumentos, Quine, el más emblemático de los críticos de la modalidad, ha objetado a la lógica modal cuantificada que ésta se compromete con una doctrina filosófica usualmente considerada sospechosa, el esencialismo: la concepción que distingue, de entre los atributos de una cosa, aquellos que le son esenciales de otros poseidos sólo contingentemente. Examino en qué medida Quine puede tener razón sobre ese punto explorando (...) una analogía entre la lógica modal y la logica clásica de primer orden. Con ello se pretende proporcionar una visión clarificadora sobre el estatus de la lógica modal y su relación con la lógica en general.In this paper I discuss the alleged commitment of quantified modal logic to philosophical essentialism. Besides some other more or less related arguments against quantified modal logic, Quine objects to it by claiming its commitment to a philosophical doctrine usually regarded as suspicious, essentialism: the view that some of the attributes of a thing are essential to it, and others are accidental. I study to what extent Quine can be right about this specific issue. I defend some of his views by exploring an analogy between modal logic and standard first order logic. That serves to get a better understanding of the status of modal logic and its relation with logic in general. (shrink)

In classical quantificational logic, every individual constant is assigned a value from the domain of discourse, thus ensuring that every instance of \\) is valid and so a theorem of a complete logic. Standard tense and modal logics validate a rule of necessitation, according to which, crudely, every theorem is always and necessarily true. Combining these two generates the result that everything always and necessarily exists. In a number of works from the late 1950s through to his death in 1969, (...) Prior worked to develop tense and modal logics that avoided these results. Prior’s key idea was to reject the rule of necessitation. In this essay, I present and criticize Prior’s account of the contingency of existence and offer a more satisfying account that shares many of the virtues of Prior’s account. (shrink)