Grounding,Essence, and Identity

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

No-Futurism and Metaphysical Contingentism

According to no-futurism, past and present entities are real, but future ones are not. This view faces a skeptical challenge (Bourne in Australas J Philos 80(3):359–371 2002; A future for presentism, Clarendon Press, Oxford 2006; Braddon-Mitchell in Analysis 64(283):199–203 2004): if no-futurism is true, how do you know you are present? I shall propose a new skeptical argument based on the physical possibility of Gödelian worlds (Albert Einstein: philosopher-scientist, Open Court, La Salle, pp. 555–562, 1949). This argument shows that a no-futurist has to endorse a metaphysical contingentist reading of no-futurism, the view that no-futurism is contingently true. But then, the no-futurist has to face a new skeptical challenge: how do you know that you are in a no-futurist world?     

Higher-Order Contingentism,Part 1: Closure and Generation

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations.     

Higher-Order Contingentism,Part 3: Expressive Limitations

Two expressive limitations of an infinitary higher-order modal language interpreted on models for higher-order contingentism – the thesis that it is contingent what propositions, properties and relations there are – are established: First, the inexpressibility of certain relations, which leads to the fact that certain model-theoretic existence conditions for relations cannot equivalently be reformulated in terms of being expressible in such a language. Second, the inexpressibility of certain modalized cardinality claims, which shows that in such a language, higher-order contingentists cannot express what is communicated using various instances of talk of ‘possible things’, such as ‘there are uncountably many possible stars’.     

Higher-Order Contingentism,Part 2: Patterns of Indistinguishability

The models of contingency in what propositions, properties and relations there are developed in Part 1 are related to models of contingency in what propositions there are due to Robert Stalnaker. It is shown that some but not all of the classes of models of Part 1 agree with Stalnaker’s models concerning the patterns of contingency in what propositions there are they admit. Further structural connections between the two kinds of models are explored.     

Grounding,Quantifiers, and Paradoxes

Journal of Philosophical Logic - The notion of grounding is usually conceived as an objective and explanatory relation. It connects two relata if one—the ground—determines or explains...     

Essence,necessity, and definition

Philosophical Studies - What is it for something to be essential to an item? For some time, it was standard to think that the concept of necessity alone can provide an answer: for something to be...     

Grounding, scientific explanation, and Humean laws

It has often been argued that Humean accounts of natural law cannot account for the role played by laws in scientific explanations. Loewer (Philosophical Studies 2012) has offered a new reply to this argument on behalf of Humean accounts—a reply that distinguishes between grounding (which Loewer portrays as underwriting a kind of metaphysical explanation) and scientific explanation. I will argue that Loewer’s reply fails because it cannot accommodate the relation between metaphysical and scientific explanation. This relation also resolves a puzzle about scientific explanation that Hempel and Oppenheim (Philosophy of Science 15:135–75, 1948) encountered.     

Well Founding Grounding Grounding

Those who wish to claim that all facts about grounding are themselves grounded (“the meta-grounding thesis”) must defend against the charge that such a claim leads to infinite regress and violates the well-foundedness of ground. In this paper, we defend. First, we explore three distinct but related notions of “well-founded”, which are often conflated, and three corresponding notions of infinite regress. We explore the entailment relations between these notions. We conclude that the meta-grounding thesis need not lead to tension with any of the three notions of “well-founded”. Finally, we explore the details of and motivations for further conditions on ground that one might add to generate a conflict between the meta-grounding thesis and a well-founded constraint. We explore these topics by developing and utilizing a formal framework based on the notion of a grounding structure.     

Intrinsicality and Grounding

A number of philosophers have recently claimed that intrinsicality can be analysed in terms of the metaphysical notion of grounding. Since grounding is a hyperintensional notion, accounts of intrinsicality in terms of grounding, unlike most other accounts, promise to be able to discriminate between necessarily coextensive properties that differ in whether they are intrinsic. They therefore promise to be compatible with popular metaphysical theories that posit necessary entities and necessary connections between wholly distinct entities, on which it is plausible that there are such properties. This paper argues that this promise is illusory. It is not possible to give an analysis of intrinsicality in terms of grounding that is consistent with these theories. Given an adequate analysis should be compatible with these theories, it follows that it is not possible to analyse intrinsicality in terms of grounding.     

Dag Prawitz on Proofs,Operations and Grounding

Dag Prawitz’s theory of grounds proposes a fresh approach to valid inferences. Its main aim is to clarify nature and reasons of their epistemic power. The notion of ground is taken to denote what one is in possession of when in a state of evidence, and valid inferences are described in terms of operations that make us pass from grounds we already have to new grounds. Thanks to a rigorously developed proof-as-chains conception, the ground-theoretic framework permits Prawitz to overcome some conceptual difficulties of his earlier proof-theoretic explanation. Though from different points of view, anyway, the two accounts share an issue of recognizability of relevant operational properties.

     

The Essence of Essence

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.     

Sums and Grounding

As I will use the term, an object is a mereological sum of some things just in case those things compose it simply in virtue of existing. In the first half of this paper, I argue that there are no sums. The key premise for this conclusion relies on a constraint on what, in certain cases, it takes for something to ground, or metaphysically explain, something else. In the second half, I argue that in light of my argument against sums, Universalism, which is perhaps the most widely accepted answer to the Special Composition Question, is false.     

Understanding and Essence

Modal epistemology has been dominated by a focus on establishing an account either of how we have modal knowledge or how we have justified beliefs about modality. One component of this focus has been that necessity and possibility are basic access points for modal reasoning. For example, knowing that P is necessary plays a role in deducing that P is essential, and knowing that both P and ¬P are possible plays a role in knowing that P is accidental. Chalmers (2002) and Williamson (2007) provide two good examples of contrasting views in modal epistemology that focus on providing an account of modal knowledge where necessity and possibility are basic access points for modal knowledge, and Yablo (1993) provides a good account of how we have justified beliefs about modality. In contrast to this tradition I argue for and outline a modal epistemology based on objectual understanding and essence, rather than knowledge or justification and necessity and possibility. The account employs a non-modal conception of essence and takes objectual understanding of essence, rather than knowledge of essence to be basic in modal reasoning. I begin by articulating Kvanvig’s (2003) account of objectual understanding, on which objectual understanding of Φ is not equivalent to propositional knowledge of Φ. I then argue that an epistemology of essence that uses property variation-in-imagination is better construed as a model that delivers objectual understanding of essence rather than knowledge of essence. I argue that this is so, since the latter and not the former runs into a version of the Meno paradox. I show how this account can be applied to two issues in modal epistemology: the Benacerraf problem for modality, and the architecture of modal knowledge.     

模态与本质

模态(modality)是指可能性、必然性等哲学范畴。根据关涉对象的不同,它可以分为从言模态与从物模态两类:若模态性质指的是命题或语句为真的可能性与必然性,则它是从言模态;若模态性质指的是事物具有某种性质或关系的可能性与必然性,则它是从物模态。     

Social Construction and Grounding

The aim of this paper is to bring recent work on metaphysical grounding to bear on the phenomenon of social construction. It is argued that grounding can be used to analyze social construction and that the grounding framework is helpful for articulating various claims and commitments of social constructionists, especially about social identities, e.g., gender and race. The paper also responds to a number of objections that have been (or could be) leveled against the application of grounding to social construction from Elizabeth Barnes (2014), Mari Mikkola (2015), and Jessica Wilson (2014).