Penelope Mackie and Scott Soames argue, contrary to my Reference and Essence (R&E), that Hilary Putnam was correct that the direct-reference theory of natural-kind terms, taken in conjunction with empirical or otherwise uncontroversial premises, yields non-trivial essentialism, such as the conclusion that water is essentially two-parts hydrogen, one-part oxygen. A controversial distinction is drawn between rigid and non-rigid general terms. A new criterion for general-term rigidity is proposed, and Putnam’s ostensive definition of ‘water’ is reformulated accordingly to generate the consequence (...) that ‘water’ rigidly designates. Mackie and Soames propose a reformulation of Putnam’s ostensive definition that putatively yields the desired result. This reformulation, however, does not correctly explain the meaning of ‘water’ as a substance designator. Furthermore, if taken instead as a redefinition of ‘water’, the essentialism thereby generated is trivial. (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)

In ‘Evil is Still Evidence: Comments on Almeida’ Robert Bass presents three objections to the central argument (ENE) in my ‘Evil is Not Evidence’. The first objection is that ENE is invalid. According to the second objection, it is a consequence of ENE that there can be no evidence for or against a posteriori necessities. The third objection is that, contrary to ENE, the likelihood of certain necessary identities varies with the evidence we have for them. In this reply I (...) explain why ENE has exactly none of the implications described by Bass. I argue in the concluding section that there is a modal solution to the epistemological problems presented by ENE. (shrink)

Philosophers distinguish between having a property essentially and having it accidentally. The way the distinction has been drawn suggests that it is modal in character, and so that it can be captured in terms of necessity, or cognate notions. The present chapter takes the suggestion at face value by considering a number of modal characterizations of the essential/accidental distinction that have been articulated and discussed since the early 20th century, as well as some of the challenges that they face.

While recent history has seen significant debate concerning the nature and extension of essence, comparatively little attention has been paid to the epistemology of essence. This is strange, as, plausibly, what answers we give to the metaphysical questions about essence will (or should) be partially constrained by our essence epistemology. Here, I aim to go some way towards filling this lacuna. In particular, I here argue that there is no plausible epistemic story available for non-modal accounts of essence. In particular, (...) existing accounts of essence epistemology cannot explain how we are able to know that something is genuinely essential, rather than merely necessary. One consequence is that modal accounts of essence – which only needs to supply an epistemology for a non-hyperintensional notion – look that much more plausible. (shrink)

The project of grounding necessity in essence often goes together with the model of essence that assimilates the constitutive essence of an object to the definition of it. The paper argues that if the grounding project is to succeed, the definitional model must be questioned. Like any object whatever, a concrete individual is necessarily identical to that individual. It is argued that this necessity can have an essential ground only if the primitive identity property of it or its thisness is (...) essential to it, and the thisness is in its constitutive essence while not in the definition of it. A concrete individual is in essence partly definable but not fully explainable, for the definition of it forms a crucial part of its constitutive essence, but the constitutive essence includes something fundamental beyond definition or explanation. The definitional model must give way to a model of essence that accommodates this. (shrink)

According to actualism about possible worlds everything that exists is actual. Possible worlds and individuals are actually existing abstract parts of the actual world. Aristotelian actualism is a view that there are only actual individuals but no possible ones, nor their individual abstract representatives. Because of that, our actualist account of modality should differ depending on whether it concerns actual individuals or possible ones. The main goal of the dissertation is to develop a metaphysical framework for Aristotelian actualism. Chapter 1 (...) explains basic issues associated with the possible world approach to modality. I overview modal realist and actualist views on possible worlds and explain why I support the actualist approach. Subsequently, I introduce a distinction between Platonic and Aristotelian actualism, and discuss some semantic issues associated with actualism as such. In Chapter 2 I argue that Aristotelian actualism, modeled on linguistic ersatzism, is preferable over its Platonic counterpart. Subsequently, I propose a metaphysical framework for Aristotelian ersatzism which is based on a claim that our modal concepts work differently for actual and possible individuals. In order to explain that claim I introduce three specific differences concerning modal features of actual and possible individuals: (a) Representational Difference, according to which actual and possible individuals are represented differently by possible worlds; (b) Metaphysical Difference, according to which actual and possible individuals are represented by possible worlds as having different metaphysical nature; (c) Modal Difference, which says while there are singular and contingent possibilities involving actual individuals, all possibilities about possible individuals are general and necessary. I propose to interpret those differences in terms of the doctrines of haecceitism, antihaecceitism and existentialism. There is however no consensus on how those views should be characterized. Chapters 3, 4, and 5 focus on providing a precise characterization of those doctrines. Chapter 3 focuses on the doctrines of modal haecceitism and antihaecceitism, which I view as opposite accounts of how possible worlds represent possibilities. According to modal haecceitism what possible worlds say about particular individuals does not supervene on what they say qualitatively. Modal antihaecceitism is a denial of such a claim. Chapter 4 concerns metaphysical haecceitism and antihaecceitism, which I take to be alternative accounts of the fundamental structure of reality. For the metaphysical haecceitist reality contains irreducible singular facts, while for the metaphysical antihaecceitist reality is purely qualitative and general. Chapter 5 focuses on an argument between existentialists and antiexistentialists. Existentialists claim that there are contingent singular propositions, while antiexistentialists deny that. I defend existentialism against antiexistentialist counterarguments, as well as criticize some of the antiexistentialist accounts of singular propositions modeled on the notion of individual essence. In Chapter 6, by appealing to the results of investigations conducted in Chapters 3, 4 and 5, I reconsider Representational, Metaphysical and Modal Differences. According to a view that I propose: (a) Representational Difference entails (extreme) modal haecceitism for actual individuals but (extreme) modal antihaecceitism for possible individuals; (b) Metaphysical Difference entails metaphysical haecceitism (individualism) for actual individuals, but metaphysical antihaecceitism (generalism) for possible individuals; finally (c) Modal Difference entails existentialism: while there are singular and contingent possibilities involving actual individuals, all possibilities about possible individuals are general and necessary. In Chapter 6, I also explain the implications of those views for the various issues, including transworld identity, essentialism, or the modal status of modal space. Lastly, Chapter 7 overviews some semantic and metaphysical applications of Aristotelian ersatzism. I explain how it manages to accommodate Kripkean semantics and how it is able to account for the possibilities of indiscernibles, alien individuals and iterated modalities. I also address some possible objections to my proposal, including an issue of implicit representation and the Humphrey objection. (shrink)

In this paper I argue that if the Identity of Indiscernibles is not necessarily true, then Haecceitism ensues—where Haecceitism is the view that there are maximal possibilities that include all the same qualitative possibilities, and yet differ with respect to the non-qualitative possibilities they include. This goes against the common intuition that Anti-Haecceitism is compatible with the Identity of Indiscernibles being only contingently true. My argument is interesting in many respects. First, it shows that in any modal framework there is (...) a connection between the number of worldbound ordinary spatio-temporal objects, and the number of overall possibilities. Second, it has repercussions for the tenability of some philosophical positions, like Generalism, which is usually interpreted as entailing Anti-Haecceitism while at the same time being compatible with the claim that the Identity of Indiscernibles is not necessarily true. If I am correct, Generalism and similar philosophical accounts turn out to be inconsistent. Finally, it provides a strong argument for Haecceitism, given that the majority of authors today find counterexamples to the Identity of Indiscernibles extremely convincing, and many philosophical positions have been and continue being criticised on the basis of their commitment to the Identity of Indiscernibles. The paper is structured as follows: I introduce Haecceitism and the Identity of Indiscernibles in Sects. 1 and 2 respectively. Drawing on a result from the Philosophy of Quantum Mechanics, which I survey in Sect. 3, I give my main argument in Sect. 4. Finally, I discuss some implications in Sect. 5. (shrink)

Talk of metaphysical modality as “absolute” is ambiguous, as it appears to convey multiple ideas. Metaphysical possibility is supposedly completely unrestricted or unqualified; metaphysical necessity is unconditional and exceptionless. Moreover, metaphysical modality is thought to be absolute in the sense that it’s real or genuine and the most objective modality: metaphysical possibility and necessity capture ways things could and must have really been. As we disentangle these ideas, certain talk of metaphysical modality qua “absolute” turns out to be misguided. Metaphysical (...) possibility isn't completely unrestricted or most inclusive compared to the other modalities; metaphysical necessity, like all kinds of necessities, is relative to or conditional upon a specific framework of reference. Still, metaphysical modality captures how things could and must have really been most generally because it deals with reality and the nature of things or their essence. That’s the chief interest of metaphysics. Arguments against the alleged absoluteness of metaphysical modality may not thereby undermine its philosophical significance. (shrink)

I discuss the application, to the case of sortal concepts, of Kit Fine’s conception of the species of necessary truth that he characterizes as ‘transcendental truth’. I argue for scepticism about Fine’s thesis that substance sortals are associated with transcendental truths about contingently existing individuals. My discussion has implications for the interpretation of the type of necessity that is involved in the attribution of essential properties to contingent existents. In addition, it has implications for the question whether there are sortal (...) predicates that are ‘timeless’ in their application to contingently existing individuals. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics (...) --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

According to grounding necessitarianism if some facts ground another fact, then the obtaining of the former necessitates the latter. Proponents of grounding contingentism argue against this claim, stating that it is possible for the former facts to obtain without necessitating the latter. In this article I discuss a recent argument from restricted accidental generalisations provided by contingentists that advances such possibility. I argue that grounding necessitarianism can be defended against it. To achieve this aim, I postulate a relationship between grounding (...) and essence by introducing a notion of individual essences understood as a set of essential properties that individuate its bearer. According to a proposed view grounding holds in virtue of identities of its relata, which are in turn determined by their respective individual essences. From there I claim that if grounding holds in virtue of the individual essences of its relata, then it is possible to resist the objection from restricted accidental generalisations and maintain a view that grounds necessitates what is grounded. (shrink)

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)

The necessity of origin suggests that a person’s identity is determined by the particular pair of gametes from which the person originated. An implication is that speculative scenarios concerning how we might otherwise have been had our gametic origins been different are dismissed as being metaphysically impossible. Given, however, that many of these speculations are intelligible and commonplace in the discourses of competent speakers, it is overhasty to dismiss them as mistakes. This paper offers a way of understanding these speculations (...) that does not commit them to incoherence but aims to make the best sense of what they are expressing. Using the philosophical framework of two‐dimensional semantics, it proposes that the speculative scenarios are best analysed as epistemic possibilities, rather than as metaphysical possibilities. It then explores some implications of this analysis for the ethical challenges associated with the non‐identity problem. (shrink)

According to the simple modal account of essence, an object has a property essentially just in case it has it in every world in which it exists. As many have observed, the simple modal account is implausible for a number of reasons. This has led to various proposals for strengthening the account, for example, by adding a restriction to the intrinsic or sparse properties. I argue, however, that these amendments to the simple modal account themselves fail. Drawing on lessons from (...) these failures, I propose a new version of a modal account, inspired by Ruth Barcan Marcus's defense of the coherence of quantified modal logic, according to which an object has a property essentially just in case (i) it has it in every world in which it exists, (ii) the property is discriminating (or non-trivial), and (iii) the property is qualitative. The resulting account of essence does not face any of the standard objections other accounts face, and I defend it from other potential objections. (shrink)

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

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)

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 Roderick Chisholm, sometimes referred to as Chisholm's Paradox (CP). 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 Nathan Salmon. 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 metaphysician in the past have found CP plausible, despite being fallacious. (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)

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)

The view that ordinary objects are composites of form and matter ("hylomorphism") can be contrasted with the more common view that ordinary objects are composed of only material parts ("matter only"). On a matter-only view the hard question is modal: which modal profile does that (statue-shaped) object have? Does it have the modal profile of a statue, a lump, a mere aggregate? On a hylomorphic view the hard question is ontological: which objects exist? Does a statue (matter-m + statue-form), a (...) lump (matter-m + lump-form), and/or a mere aggregate (matter-m + mere aggregate-form) exist? I defend a novel answer to the hard question for hylomorphism. In particular, I argue that which ordinary objects exist depends, in part, on how subjects respond to the matter they encounter. I argue that, with regard to grounding the existence and modal properties of ordinary objects, response-dependent hylomorphism is superior to both matter only views and to non-response-dependent versions of hylomorphism. (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)

An odd dissensus between confident metaphysicians and neopragmatist antimetaphysicians pervades early twenty-first century analytic philosophy. Each faction is convinced their side has won the day, but both are mistaken about the philosophical legacy of the twentieth century. More historical awareness is needed to overcome the current dissensus. Lewis and his possible-world system are lionised by metaphysicians; Quine’s pragmatist scruples about heavy-duty metaphysics inspire antimetaphysicians. But Lewis developed his system under the influence of his teacher Quine, inheriting from him his empiricism, (...) his physicalism, his metaontology, and, I will show in this paper, also his Humeanism. Using published as well as never-before-seen unpublished sources, I will make apparent that both heavy-duty metaphysicians and neopragmatist antimetaphysicians are wrong about the roles Quine and Lewis played in the development of twentieth-century philosophy. The two are much more alike than is commonly supposed, and Quine much more instrumental to the pedigree of current metaphysics. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Propositions are often aligned with truth-conditions. The view is mistaken, since propositions discriminate where truth conditions do not. Propositions are hyperintensional: they are sensitive to necessarily equivalent differences. I investigate an alternative view on which propositions are truthmaker conditions, understood as sets of possible truthmakers. This requires making metaphysical sense of merely possible states of affairs. The theory that emerges illuminates the semantic phenomena of samesaying, subject matter, and aboutness.

A new version of the ontological argument for the existence of God is outlined and examined. After giving a brief account of some traditional ontological arguments for the existence of God, where their defects are identified, it is explained how this new argument is built upon their foundations and surmounts their defects. In particular, this version uses the resources of impossible worlds to plug the common escape route from standard modal versions of the ontological argument. After outlining the nature of (...) impossible worlds, and motivating the need for positing them, the new argument is delineated and its premises justified. It is taken for granted that the argument cannot be sound, since it would prove too much. However, its premises are all plausible, and their denial promises to have significant ramifications. Several intuitive lines of objections are then explored in order to illuminate their shortcomings. The puzzle that the argument poses is therefore not whether the argument is sound, for it clearly cannot be. Rather, it is to place pressure on its plausible premises, so some plausible account of how the argument fails can be identified, and that the devising of such an account promises to be insightful. In the process, we should gain an improved understanding of how such ontological arguments work. (shrink)

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)

Putative counterexamples to the Principle of Identity of Indiscernibles (PII) are notoriously inconclusive. I establish ground rules for debate in this area, offer a new response to such counterexamples for friends of the PII, but then argue that no response is entirely satisfactory. Finally, I undermine some positive arguments for PII.

This paper argues for three kinds of possible worlds: Wittgensteinian totalities of facts, Lewisian worlds or universes, concrete objects of maximal essence, and the world, a concrete object of minimal essence. It moreover explains that correspondence truth applies to Wittgensteinian totalities and pragmatic truth to Lewisian universes. And it finally argues that this conceptualization lays proper foundations to two-dimensional semantics.

It is often claimed that principles of individuation imply essential properties of the things individuated. For example, sets are individuated by their members, hence sets have their members essentially. But how does this inference work? First I discuss the form of such inferences, and conclude that the essentialist inference is not a purely formal matter: although there is a form which all principles of individuation have in common, it is not true that any statement of that form is a principle (...) of individuation, and hence there is no valid inference based purely on that form. However, I argue that there is a viable version of the essentialist inference nonetheless. The resources for a proper reconstruction of this type of inference can be gathered from reflections upon the role principles of individuation play in the project of the ontologist: such principles turn out to carry a modal weight similar to that of definitions or conceptual truths. It follows that, no matter how austere the ontology, some portion of essentialist modality is inevitable. (shrink)

According to the modal view, essence admits of reductive analysis in exclusively modal terms. Fine (1994) argues that modal view delivers an inadequate analysis of essence. This paper defends the modal view from Fine's challenge. This defense proceeds by examining the disagreement between Finean primitivists and Quinean eliminativists about essence. In order to model this disagreement, a distinction between essence and a separable concept, nature, is required. This distinction is then used to show that Fine's challenge is misdirected and therefore (...) unsuccessful. (shrink)

The purpose of this thesis is to demonstrate that metaphysics is a necessary discipline -- necessary in the sense that all areas of philosophy, all areas of science, and in fact any type of rational activity at all would be impossible without a metaphysical background or metaphysical presuppositions. Because of the extremely strong nature of this claim, it is not possible to put forward a very simple argument, although I will attempt to construct one. A crucial issue here is what (...) metaphysics in fact is -- the nature of metaphysics. The conception of metaphysics which I support could be called Aristotelian, as opposed to Kantian: metaphysics is the first philosophy and the basis of all other philosophical and scientific inquiry. I will argue that this is indeed the most plausible conception of metaphysics. (shrink)

Dispositional essentialists argue that physical properties have their causal roles essentially. This is typically taken to mean that physical properties are identical to dispositions. I argue that this is untenable, and that we must instead say that properties bestow dispositions. I explore what it is for a property to have such a role essentially. Dispositional essentialists argue for their view by citing certain epistemological and metaphysical implications, and I appeal to these implications to place desiderata on the concept of essence (...) involved. I argue that the traditional modal theory of essence meets these desiderata, but that the resulting theory wrongly implies that certain dispositions essential to mass are essential to charge, thereby offering a new argument against modal theories of essence. I argue that dispositional essentialism requires a primitive notion of essence, and develop a primitivist theory based on Kit Fine's views. I show that the primitivist theory has all the virtues of the modal alternative, and none of the vices. I develop a novel way of thinking about the relationship between properties, laws and dispositions, and argue that it has distinct advantages over standard dispositional essentialist formulations. (shrink)

This article presents a trope bundle theory of simple substances, the Strong Nuclear Theory[SNT] building on the schematic basis offered by Simons's (1994) Nuclear Theory[NT]. The SNT adopts Ellis's (2001) dispositional essentialist conception of simple substances as powerful particulars: all of their monadic properties are dispositional. Moreover, simple substances necessarily belong to some natural kind with a real essence formed by monadic properties. The SNT develops further the construction of substances the NT proposes to obtain an adequate trope bundle theory (...) of powerful particulars. The SNT allows for co-located powerful particulars. However, every powerful particular is necessarily co-located with its constituent tropes, which determine its causal powers. Every constituent trope of substance i is part of a trope aggregate (the n-bundle or c-bundle) that forms an individual figuring in the basic spatio-temporal relations. The location of these individuals determines the location of individual tropes. Since they are necessarily co-located with substance i when they exist, every trope t of i is necessarily co-located with i when it exits. Every simple substance has nuclear tropes necessary to it. It belongs to certain primary natural kind K because its nuclear tropes belong to certain distinct determinate kinds. (shrink)

The distinction between essential versus accidental properties has been characterized in various ways, but it is currently most commonly understood in modal terms: an essential property of an object is a property that it must have, while an accidental property of an object is one that it happens to have but that it could lack. Let’s call this the basic modal characterization, where a modal characterization of a notion is one that explains the notion in terms of necessity/possibility. In the (...) characterization just given of the distinction between essential and accidental properties, the use of the word “must” reflects the fact that necessity is invoked, while the use of the word “could” reflects that possibility is invoked. The notions of necessity and possibility are interdefinable: to say that something is necessary is to say that its negation is not possible; to say that something is possible is to say that its negation is not necessary; to say that an object must have a certain property is to say that it could not lack it; and to say that an object could have a certain property is to say that it is not the case that it must lack it. (shrink)

According to Essentialism, an object’s properties divide into those that are essential and those that are accidental. While being human is commonly thought to be essential to Socrates, being a philosopher plausibly is not. We can motivate the distinction by appealing—as we just did—to examples. However, it is not obvious how best to characterize the notion of essential property, nor is it easy to give conclusive arguments for the essentiality of a given property. In this paper, I elaborate on these (...) issues and explore the way in which essential properties behave in relation to other related properties, like sufficient-for-existence properties and individual essences. (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)

Despite its appeal and popularity, the view that membership in a natural kind is essential to an individual is unsupported by the logic of essences and has no compelling reflective support. While the view has strong intuitive and empirical support this is insufficient to establish it. There are advantages to abandoning the view that kind membership is essential to individuals. One of these advantages is that it allows for a reconfiguring of the problem of material constitution in a way that (...) removes much of the paradox. (shrink)

Coincidence comes in two varieties – permanent and temporary. Moderate monism is the position that permanent coincidence, but not temporary coincidence, entails identity. Extreme monism is the position that even temporary coincidence entails identity. Pluralists are opponents of monism tout court. The intuitively obvious, commonsensical position is moderate monism. It is therefore important to see if it can be sustained.

The paper presents a dilemma for both epistemic and non-epistemic versions of conceivability-based accounts of modal knowledge. On the one horn, non-epistemic accounts do not elucidate the essentialist knowledge they would be committed to. On the other, epistemic accounts do not elucidate everyday life de re modal knowledge. In neither case, therefore, do conceivability accounts elucidate de re modal knowledge.

An essential property is a property that an object possesses in every possible world in which that object exists. An individual essence is a property (or set of properties) that an object possesses in every world in which that object exists, and that no other object possesses in any possible world. Call the claim that some artifacts possess an individual essence ‘artifactual essentialism’. I will argue that artifactual essentialism is true.

Abstract: The natural lottery is a metaphor about the way luck affects the allocation of personal attributes, talents, skills, and defects. Susan Hurley has argued that it is incoherent to regard individual essential properties (IEPs) as a matter of lottery luck. The reason is that a lottery of identity-affecting properties generates the ‘non-identity problem’. For this reason among others she suggests substituting lottery luck with ‘thin luck’, i.e. luck as non-responsibility, which would allow us to coherently regard IEPs as a (...) matter of luck.I argue that we are not not-responsible for our IEPs. Therefore, the coherent range of ‘thin luck’ is not broader than that of lottery luck. Moreover, justice theorists need to be worried about the non-identity problem only to the extent that IEPs affect life prospects and it is far from evident that they do. After addressing some connected aspects of Hurley's analysis, I discuss the type of reasons that justify seeking to expand domain of justice and the ways of doing this, for instance by abandoning lottery luck. I close by suggesting, however, that if Parfit's view of ‘what matters about identity’ is correct, its application to the case of identity-affecting lotteries may prove the expansion of the domain of justice superfluous, as IEPs belong to it as it is. (shrink)

Essentialism as applied to individuals is the claim that for at least some individuals there are properties that those individuals possess essentially. What it is to possess a property essentially is a matter of debate. To possess a property essentially is often taken to be akin to possessing a property necessarily, but stronger, although this is not a feature of Aristotle’s essentialism, according to which essential properties are those thing could not lose without ceasing to exist. Kit Fine (1994) takes (...) essential properties to be those that an object has in virtue of its identity, while other essentialists refer (as Fine also does) to the nature of an object as the source of its essential properties. It is sometimes important to distinguish the essential properties of a thing and the ‘full’ essence of a thing. The latter is the set of the essential properties of a thing, when that set necessarily suffices to determine the thing’s identity. One might hold that something has essential properties without agreeing that it has an identity-determining essence. Essentialism was largely in abeyance during the first two thirds of the twentieth century thanks to the domination of analytic philosophy by anti-metaphysical logical empiricism and the linguistic turn. The rehabilitation of essentialism owes much to the development of a formal apparatus for the understanding of modality more generally, thanks to C. I. Lewis, Ruth Barcan Marcus, and Saul Kripke. Kripke’s discussion of essentialism both about individuals and also about about natural kinds brought essentialism to wider philosophical prominence. Natural kind essentialism, which finds its modern genesis also in the work of Hilary Putnam, claims that natural kinds have essential properties: to say that possession of property P is is part of the essence of the kind K implies that, necessarily, every member or sample of the kind K possesses P. Essentialism about individuals has been linked to thinking about natural kinds by the contentious claim that one of the essential properties of any entity is that it belongs to the natural kind (or kinds) it actually belongs to. In this chapter I shall first outline certain claims and arguments concerning essentialism concerning individuals (Section 2).. (shrink)

Much of the debate about identity in recent decades has been about personal identity, and specifically about personal identity over time, but identity generally, and the identity of things of other kinds, have also attracted attention. Various interrelated problems have been at the centre of discussion, but it is fair to say that recent work has focussed particularly on the following areas: the notion of a criterion of identity; the correct analysis of identity over time, and, in particular, the disagreement (...) between advocates of perdurance and advocates of endurance as analyses of identity over time; the notion of identity across possible worlds and the question of its relevance to the correct analysis of de re modal discourse; the notion of contingent identity; the question of whether the identity relation is, or is similar to, the composition relation; and the notion of vague identity. A radical position, advocated by Peter Geach, is that these debates, as usually conducted, are void for lack of a subject matter: the notion of absolute identity they presuppose has no application; there is only relative identity. Another increasingly popular view is the one advocated by Lewis: although the debates make sense they cannot genuinely be debates about identity, since there are no philosophical problems about identity. Identity is an utterly unproblematic notion. What there are, are genuine problems which can be stated using the language of identity. But since these can be restated without the language of identity they are not problems about identity. (For example, it is a puzzle, an aspect of the so-called “problem of personal identity”, whether the same person can have different bodies at different times. But this is just the puzzle whether a person can have different bodies at different times. So since it can be stated without the language of personal “identity”, it is not a problem about identity, but about personhood.) This article provides an overview of the topics indicated above, some assessment of the debates and suggestions for further reading. (shrink)

In describing and classifying things we often rely on their modal characteristics. We will in general not have a satisfactory account of the nature and character of an object, unless we specify at least partly how the thing might be or cannot be, and also how it might have been or could not have been. In his contribution to the Second Jerusalem Philosophical Encounter,1 Strawson addressed the issue of how to understand such ascriptions of modal characteristics. Although his paper is (...) terse and provocative, and develops an intriguing account of modal predications, it has never received much attention in the philosophical literature. Recently, the issues dealt with in Strawson’s paper have become the subject of a widespread debate. Hence, we think it worthwhile to put Strawson’s account under closer scrutiny. In what follows, we first discuss his account of present tense ‘might’-statements, then his account of past perfect ‘might’-statements, and finally some essentialist remarks that he makes in his paper. That the discussion will be rather critical for the most part (though not exclusively so) should not belie the originality and inherent value of his pioneering approach. (shrink)

The aim of this chapter is to explore to some extent the relationship between identity and necessity in logic and metaphysics. First, I provide a historically-based summary of proofs of the necessity of identity, highlighting the importance of the role that self-identity plays. Second, I introduce two examples of metaphysical topics where the necessity of identity has played a pivotal role: the necessary a posteriori, and the coincidence of material objects. I argue that important aspects of these debates rest on (...) how we represent identity. Third, I consider some recent work on generalized identity. This opens up new prospects for explaining why identity is necessary. (shrink)

It is commonplace to formalize propositions involving essential properties of objects in a language containing modal operators and quantifiers. Assuming David Lewis’s counterpart theory as a semantic framework for quantified modal logic, I will show that certain statements discussed in the metaphysics of modality de re, such as the sufficiency condition for essential properties, cannot be faithfully formalized. A natural modification of Lewis’s translation scheme seems to be an obvious solution but is not acceptable for various reasons. Consequently, the only (...) safe way to express some intuitions regarding essential properties is to use directly the language of counterpart theory without modal operators. (shrink)