Essence and Essentialism

Advocates of sortal essentialism have argued that concepts like “thing” or “object” lack the unambiguous individuative criteria necessary to play the role of genuine sortals in reference. Instead, they function as “dummy sortals” which are placeholders or incomplete designations. In disqualifying apparent placeholder sortals, however, these philosophers have posed insuperable problems for accounts of childhood conceptual development. I argue that recent evidence in psychology demonstrates that children do possess simple or basic sortals of physical objects or things. I contend that (...) these concepts provide the genuine individuative criteria necessary for reference. As a consequence, sortalism can be made compatible with the developmental facts of conceptual development. (shrink)

Essential accidents are among the complicated issues of the vast domain of philosophical-logical epistemology. In this paper, after a review of the meaning of the essential accident and its distinctive features from the viewpoint of philosophers such as Aristotle, Farabi, and Ibn-Sina, the writer poses the problems which are related to essential accidents. On the whole, two objections are advanced against the meaning of essential accidents and two more against its distinctive features.On of the conceptual problems is related to determining (...) the domain of the constitutive essential. It seems that in their attempt to solve this problem, philosophers have been caught in a vicious circle. The problems related to the distinctive feature of essential accidents have also been introduced through resorting to violating examples from mathematics and philosophy. (shrink)

Jarrett Leplin has recently criticized a number of aspects of my views of the aims and goals of science, of the rationale of scientific change, and of the consequent relations between science and the philosophy of science, and in particular of the methodology of the latter (Leplin 1984, 1987, 1988a, 1988b). Here I will respond to those criticisms, and also reply to some related criticisms made by other writers.

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)

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In Section II, I spell out the definitional view of essence, and in Section III, a working notion of metaphysical explanation. Then, in Section 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 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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

According to priority monism there are many concrete entities and there is one, the cosmos, that is ontologically prior to all the others. I begin by clarifying this thesis as well as its main rival, priority atomism. I show how the disagreement between the priority monist and atomist ultimately turns on how the thesis of concrete foundationalism is implemented. While it’s standard to interpret priority monism as being metaphysically non-contingent, I show that there are two competing, prima facie plausible conceptions (...) of metaphysical necessity—the essence-based and law-based conceptions—on which it is reasonable to view its modal status differently. This, I suggest, is good for the priority monist—various objections to the thesis presuppose that it’s metaphysically non-contingent, while there are arguments for the thesis that don’t make the presupposition. (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)

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)

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)

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)

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)

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)

A discussion of a view, defended by Robert Adams and Boris Kment, according to which contingent existence requires rejecting many standard principles of propositional modal logic involving iterated modal operators.

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

Aristotle's Modal Logic, first published in 1995, presents an interpretation of Aristotle's logic by arguing that a proper understanding of the system depends on an appreciation of its connection to the metaphysics. Richard Patterson develops three striking theses in the book. First, there is a fundamental connection between Aristotle's logic of possibility and necessity, and his metaphysics, and that this connection extends far beyond the widely recognised tie to scientific demonstration and relates to the more basic distinction between the essential (...) and accidental properties of a subject. Second, Aristotle's views on modal logic depend in very significant ways on his metaphysics without entailing any sacrifice in rigour. Third, once one has grasped the nature of the relationship, one can understand better certain genuine difficulties in the system of logic and appreciate its strengths in terms of the purposes for which it was created. (shrink)

Aristotle's Modal Logic, first published in 1995, presents an interpretation of Aristotle's logic by arguing that a proper understanding of the system depends on an appreciation of its connection to the metaphysics. Richard Patterson develops three striking theses in the book. First, there is a fundamental connection between Aristotle's logic of possibility and necessity, and his metaphysics, and that this connection extends far beyond the widely recognised tie to scientific demonstration and relates to the more basic distinction between the essential (...) and accidental properties of a subject. Second, Aristotle's views on modal logic depend in very significant ways on his metaphysics without entailing any sacrifice in rigour. Third, once one has grasped the nature of the relationship, one can understand better certain genuine difficulties in the system of logic and appreciate its strengths in terms of the purposes for which it was created. (shrink)