I am concerned with epistemic closure—the phenomenon in which some knowledge requires other knowledge. In particular, I defend a version of the closure principle in terms of analyticity; if an agent S knows that p is true and that q is an analytic part of p, then S knows that q. After targeting the relevant notion of analyticity, I argue that this principle accommodates intuitive cases and possesses the theoretical resources to avoid the preface paradox.

This paper presents a puzzle about the logic of real definition. I demonstrate that five principles concerning definition—that it is coextensional and irreflexive, that it applies to its cases, that it permits expansion, and that it is itself defined—are logically incompatible. I then explore the advantages and disadvantages of each principle—one of which must be rejected to restore consistency.

I provide a case-by-case definition of essential truths based on the notions of metaphysical necessity and ontological dependence. Relying on suggestions in the literature, I adopt a definition of the latter notion in terms of the notion of ground. The resulting account is adequate in the sense that it is not subject to Kit Fine’s famous counterexamples to the purely modal account of essence. In addition, it provides us with a novel conception of truths pertaining to the essence of objects, (...) which might help to dispel doubts on the legitimacy of the notion of essence itself. (shrink)

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

Many philosophers have recently been impressed by an argument to the effect that all grounding facts about “derivative entities”—e.g. the facts expressed by the (let us suppose) true sentences ‘the fact that Beijing is a concrete entity is grounded in the fact that its parts are concrete’ and ‘the fact that there are cities is grounded in the fact that p’, where ‘p’ is a suitable sentence couched in the language of particle physics—must themselves be grounded. This argument relies on (...) a principle,Purity, which states that facts about derivative entities are non-fundamental. Purity is questionable. In this paper, I introduce a new argument—the argument fromSettledness—for a similar conclusion but which does not rely on Purity. The conclusion of the new argument is that every “thick” grounding fact is grounded, where a grounding fact [F is grounded in G, H, …] is said to be thick when at least one of F, G, H, … is a fact—a condition that is automatically satisfied if grounding is factive. After introducing the argument, I compare it with the argument from Purity, and I assess its cogency relative to the relevant accounts of the connections between grounding and fundamentality that are available in the literature. (shrink)

Many philosophers have recently been impressed by an argument to the effect that all grounding facts about “derivative entities”—e.g. the facts expressed by the (let us suppose) true sentences ‘the fact that Beijing is a concrete entity is grounded in the fact that its parts are concrete’ and ‘the fact that there are cities is grounded in the fact that p’, where ‘p’ is a suitable sentence couched in the language of particle physics—must themselves be grounded. This argument relies on (...) a principle, _Purity_, which states that facts about derivative entities are non-fundamental. Purity is questionable. In this paper, I introduce a new argument—the argument from _Settledness_—for a similar conclusion but which does not rely on Purity. The conclusion of the new argument is that every “thick” grounding fact is grounded, where a grounding fact [F is grounded in G, H, …] is said to be thick when at least one of F, G, H, … is a fact—a condition that is automatically satisfied if grounding is factive. After introducing the argument, I compare it with the argument from Purity, and I assess its cogency relative to the relevant accounts of the connections between grounding and fundamentality that are available in the literature. (shrink)

Supersubstantivalism, the view that material objects are identical to their locations, has recently been defended in metaphysics and philosophy of physics. One of the most powerful arguments in its favour is the so-called argument from harmony. There is a certain harmony between material objects and their locations. Necessarily, if material object x is located at a spherical region, x is spherical. Necessarily, if material object x is located at region r, any part of x is located at a part of (...) r. Supersubstantivalism offers a straightforward explanation of such harmony. By contrast, dualism, the view that material objects are distinct from their locations, does not offer any explanation and should regard harmony principles as unexplained coincidences. In this paper I put forward a theory, which I shall call the ‘Inheritance Theory’, that does provide a straightforward explanation of harmony on behalf of dualists. (shrink)

Discussions about determinables and determinates, on the one hand, and discussions about (formal) theories of location, on the other, have thus far proceeded without any visible interaction, in substantive mutual neglect. This paper aims to remedy this situation of neglect. It explicitly relates (theories of) determinables and (theories of) location. First, I argue that some well known principles of location turn out to be instances of principles relating determinables and determinates. Building on this I then argue that theories of location (...) present formidable counterexamples to those principles about determinables and determinates. One such counterexample in particular is used as an argument against disjunctivism. Finally, I relate the entire discussion to yet another crucial debate in metaphysics, that of metaphysical indeterminacy. (shrink)

Strong dispositional monism, the position that all fundamental physical properties consist in dispositional relations to other properties, is naturally construed as property structuralism. J. Lowe’s circularity/regress objection constitutes a serious challenge to SDM that questions the possibility of a purely relational determination of all property essences. The supervenience thesis of A. Bird’s graph-theoretic asymmetry reply to CRO can be rigorously proved. Yet the reply fails metaphysically, because it reveals neither a metaphysical determination of identities on a purely relational basis nor (...) a determination specifically of identities in the sense of essences. Asymmetry is thus not by itself sufficient for a solution to CRO. But it cannot even help to answer CRO when a model for the determination of essences is taken as a basis. Nor is asymmetry necessary for a reply, as property structures may well be symmetric. A metaphysics of dispositional properties as grounded in a purely relational structure faces serious obstacles, and the properties would not be fundamental. Since essence and grounding are notions of metaphysical priority, there can be no essentially dispositional metaphysically fundamental properties, and the prospects of a “coherentist” metaphysics of basic properties are dim. A modal retreat that refrains from a post-modal conception of essence and simply claims that fundamental properties play dispositional roles by metaphysical necessity is unsatisfactory. (shrink)

This paper develops a theory of propositional identity which distinguishes necessarily equivalent propositions that differ in subject-matter. Rather than forming a Boolean lattice as in extensional and intensional semantic theories, the space of propositions forms a non-interlaced bilattice. After motivating a departure from tradition by way of a number of plausible principles for subject-matter, I will provide a Finean state semantics for a novel theory of propositions, presenting arguments against the convexity and nonvacuity constraints which Fine (2016, 2017a,b) introduces. I (...) will then move to compare the resulting logic of propositional identity (PI) with Correia’s (2016) logic of generalised identity (GI), as well as the first degree fragment of Angell’s (1989) logic of analytic containment (AC). The paper concludes by extending PI to include axioms and rules for a subject-matter operator, providing a much broader theory of subject-matter than the principles with which I will begin. (shrink)

In the present inquiry, I defend the claim that the thesis that essence is the source of all necessity is compromised. I argue that, on pain of circularity, essentialists cannot successfully account for the necessity of essences. In response to the difficulties I raise, I discuss potential solutions on behalf of essentialists and explain why I find none of them compelling. My conclusion on the matter is that the best essentialists can hope for is a view where the necessity of (...) essences is left unexplained. (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)

Discussions about dispositional and categorical properties have become commonplace in metaphysics. Unfortunately, dispositionality and categoricity are disputed notions: usual characterizations are piecemeal and not widely applicable, thus threatening to make agreements and disagreements on the matter merely verbal—and also making it arduous to map a logical space of positions about dispositional and categorical properties in which all parties can comfortably fit. This paper offers a prescription for this important difficulty, or at least an inkling thereof. This will be achieved by (...) comparing pairs of positions and exploring their background metaphysics to discover where alleged agreements and disagreements concerning dispositionality and categoricity really lie; more specifically, the Pure Powers view and the Powerful Qualities view will be under scrutiny. Over this background, the prescription functions by isolating a successful identity-based characterization of categoricity, while abandoning the correspondent identity-based characterization of dispositionality. On the contrary, according to this prescription a property is dispositional if and only if it is solely in virtue of possessing that property that its bearer is assigned a certain dispositional profile. A crucial consequence of this prescription is that, while supporters of the Pure Powers view often characterize their position as an essentialist one, the dispositionality of properties needn’t always be a matter of essence. (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)

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)

Disjointism is the view that co-located objects do not share any parts. A human-shaped statue is composed from a torso, head and limbs; the co-located lumpof clay is only composed from chunks of clay. This essay discusses the tenability of this relatively neglected view, focusing on two objections. The first objection is that disjointism implies co-located copies of microphysical particles. I argue that it doesn’t imply this and that there are more plausible disjointist views of tiny parts available. The second (...) objection is that disjointism is at a loss to explain how material objects can be co-located and why the weights of co-located objects don’t add up. The standard pluralist account appeals to the fact that co-located objects stand in mereological relations and this account is not available to the disjointist. I sketch an alternative account that appeals to a notion of ‘material identity’: the statue is taken to be the same matter as the lump of clay. The resort to a new theoretical primitive may seem to invite a quick rejection on grounds of unnecessary theoretical complexity but I argue that an abductive comparison with rival forms of pluralism shows that such a rejection is misguided. (shrink)

In this state-of-the-field article, I examine some of the problems plaguing present-day analytic Hegel studies and try to find out what can be done to remedy the situation as scholars collectively (and finally) begin grappling with the metaphysico-logical core of Hegel’s thought. In so doing, I go over the various currents of Hegelian interpretation and describe some of the limitations behind the usual analytic approaches which have often tended to downplay key aspects of Hegel’s thought, like his dialectical logic, and (...) which have also partly helped create enthusiasm for metaphysically deflationary approaches to Hegel’s thought. I then propose three practical directives for the betterment of the field in terms of future research, ones which essentially advocate for the generalized adoption of a more historicist approach to certain matters, one that is not mutually exclusive with the overarching scholarly desire to extract something that is philosophically relevant or contemporarily useful from Hegel’s thought, which is what seems to drive analytic Hegel studies in general. (shrink)

It is the aim of this paper to develop and defend an interpretation of level of scientific discipline within the truth-maker framework. In particular, I exploit the mereological relation of proper parthood, which is integral to truth-maker semantics, in order to provide an account of scientific level.

Este capítulo es una guía para conocer los elementos básicos de la fundamentación metafísica. Ofrece una revisión accesible de sus características y usos, comparando este concepto con otras formas de dependencia que se pueden encontrar en la literatura. Enfatiza dos roles teóricos centrales que la fundamentación supuestamente juega en la teorización filosófica: (i) dar cuenta de una forma distintiva de determinación no causal y (ii) entender mejor la estructura jerárquica de la realidad. El capítulo apunta a persuadir a las lectoras (...) de la utilidad de la fundamentación discutiendo cómo pueden mitigarse algunas objeciones dirigidas a esos roles. (shrink)

In this paper we examine whether and how powers ontologies can back formal causation. We attempt to answer three questions: i) what is formal causation; ii) whether we need formal causation, and iii) whether formal causation need powers and whether it can be grounded in powers. We take formal causal explanations to be explanations in which something's essence features prominently in the explanans. Three kinds of essential explanations are distinguished: constitutive, consequential, and those singling out something's propria. This last kind (...) of explanation has been somewhat overlooked in the literature, but we argue that it features in much of the most relevant uses of formal explanations in philosophy and science. These are the explanations for why an object has certain propertis that are not, properly speaking, parts of its essence, but that belong to it more intimately than just being part of its consequential essence: they are the properties that ‘flow’ from something's essence. It is argued that a powers metaphysics is uniquely placed to make sense of this last phenomenon. We then distinguish three grades of involvement in which powers might be salient for formal causal explanations: i) powers might be the subject matter of the essence operator, ii) the essence of something might include (or be exhausted) by powers, or iii) powers can explain how propria can flow from something's constitutive existence. (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)

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)

A survey of the connection between grounding and modality, in particular supervenience. The survey explores three possible connections between grounding and supervenience: (1) supervenience can be analyzed in terms of grounding, (2) grounded facts supervene on their grounds, and (3) grounding and supervenience overlap in their theoretical roles.

This paper offers a modification of Fabrice Correia's and Alexander Skiles' ("Grounding, Essence, and Identity") definition of grounding in terms of generalized identity that extends it to zero-grounding. This definition promises to improve our understanding of zero-grounding by capturing it within the framework of generalized identity and allows an essentialist theory of modality based on Correia's and Skiles' account to resist a recent challenge by Jessica Leech. The latter is achieved by combining the following two ideas: (1) Some necessities are (...) grounded in truths about zero-grounding, and (2) at least some identity truths are zero-grounded. Finally, some advantages of the zero-grounding approach over Correia's and Skiles' recent definition of necessity in terms of generalized identity and logical consequence are argued for. (shrink)

This paper investigates the connection between two recent trends in philosophy: higher-orderism and conceptual engineering. Higher-orderists use higher-order quantifiers (in particular quantifiers binding variables that occupy the syntactic positions of predicates) to express certain key metaphysical doctrines, such as the claim that there are properties. I argue that, on a natural construal, the higher-orderist approach involves an engineering project concerning, among others, the concept of existence. I distinguish between a modest construal of this project, on which it aims at engineering (...) higher-order analogues of the familiar notion of first-order existence, and an ambitious construal, on which it additionally aims at engineering a broadened notion of existence that subsumes first-order and higher-order existence. After identifying a substantial problem for the ambitious project, I investigate a possible response which is based on adopting a cumulative type theory as the background higher-order logic. While effective against the problem at hand, this strategy turns out to undermine a major reason to embrace higher-orderism in the first place, namely the idea that higher-orderism dissolves a range of otherwise intractable debates in metaphysics. Higher-orderists are therefore best advised to pursue their engineering project on the modest variant and against the background of standard type theory. (shrink)

Content disjunctivism is the view that veridical experience involves contents and objects that differ from those of corresponding hallucinations. On one formulation of this view, we are aware of ordinary material things in our surroundings when we experience veridically, and we are aware of mere appearances when we hallucinate. This paper proposes a way of developing this view and offers some considerations in support. Central to the proposed regimentation will be a distinction between different notions of appearance. We distinguish between (...) the notion of something merely appearing to have a property and the notion of mere appearances, which are types of objects that we can refer to and be aware of. Mere appearances are not sense data or Meinongian non-existent objects but existing objects that do not have the properties that they appear to have. These notions of appearance will be elucidated, in particular by characterizing how they are involved in hallucination and illusion. I argue that the resulting view is supported by how our mental life seems to us when we experience our environment. (shrink)

This paper presents a puzzle about the logic of real definition. In particular, I demonstrate that five principles concerning definition (that it is coextensional and irreflexive, that it applies to its cases, that it permits expansion and that it is itself defined) are incompatible. I then explore the advantages and disadvantages of each principle—one of which must be rejected to restore consistency.

This paper consists of an investigation of three debates concerning propositional identity: the tension between structured propositions and higher-order logic, the principle Only Logical Circles, and Kaplan’s Paradox. The literature at large has mistaken the consequences of each of these debates. Structuralists are not committed to the claim that identical properties have different extensions; rather, they are committed to existence monism. Only Logical Circles does not preclude the identification of green in terms of grue; some further (and, as of yet, (...) undisclosed) principle is required for that result. And Kaplan’s Paradox does not count against the possible-worlds conception of propositions; it applies to every account of propositions whatsoever. (shrink)

Many metaphysicians maintain that there is a close connection between essence and modality; if an object a necessarily bears property F , then it is metaphysically necessary that Fa (or, perhaps, it is metaphysically necessary that Fa if a exists). Recently, Leech (Forthcoming) has argued that this connection lacks an adequate explanation. In particular, she argues that identity doesn't explain the link between essence and modality. In contrast, I argue that identity provides the resources to undermine Leech’s explanatory demand.

I provide an analysis of sentences of the form ‘To be F is to be G’ in terms of exact truth-maker semantics—an approach that identifies the meanings of sentences with the states of the world directly responsible for their truth-values. Roughly, I argue that these sentences hold just in case that which makes something F is that which makes it G. This approach is hyperintensional, and possesses desirable logical and modal features. These sentences are reflexive, transitive and symmetric, and, if (...) they are true, then they are necessarily true, and it is necessary that all and only Fs are Gs. I close by defining an asymmetric and irreflexive notion of analysis in terms of the reflexive and symmetric one. (shrink)

I take some initial steps toward a theory of real definition, drawing upon recent developments in higher-order logic. The resulting account allows for extremely fine- grained distinctions (i.e., it can distinguish between any relata that differ in their syntactic structure, while avoiding the Russell-Myhill problem). It is the first account that can consistently embrace three desirable logical principles that initially appear to be incompatible: the Identification Hypothesis (if F is, by definition, G then F is the same as G), Irreflexivity (...) (there are no reflexive definitions) and Leibniz’s Law. Additionally, it possesses the resources to resolve the paradox of analysis. (shrink)

The problem of cancer is examined from the metaphysical standpoint of essence and ground. An essentialist definition of cancer is assumed that would be valid in all possible worlds in which cancer could logically exist. The grounds of cancer are then examined and elucidated. Two grounding cancer properties are identified and discussed: symmetry- breaking and computational intelligence. Each examination leads to concrete conclusions for novel therapeutic approaches and a more fundamental understanding of what cancer is at bottom. Other possible cancer (...) grounding properties related to evolution, adaptability and stochastic features are identified for future work. This approach is novel and offers new solutions to the problem of cancer. (shrink)