Logic begins but does not end with the study of truth and falsity. Within truth there are the modes of truth, ways of being true: necessary truth and contingent truth. When a proposition is true, we may ask whether it could have been false. If so, then it is contingently true. If not, then it is necessarily true; it must be true; it could not have been false. Falsity has modes as well: a false proposition that could not have been (...) true is impossible or necessarily false; one that could have been true is merely contingently false. The proposition that some humans are over seven feet tall is contingently true; the proposition that all humans over seven feet tall are over six feet tall is necessarily true; the proposition that some humans are over seven feet tall and under six feet tall is impossible, and the proposition that some humans are over nine feet tall is contingently false. Of these four modes of truth, let us focus on necessity, plus a fifth: possibility. A proposition is possible if it is or could have been true; hence propositions that are either necessarily true, contingently true, or contingently false are possible. Notions that are similar to the modes of truth in being concerned with what might have been are called modal. Dispositions are modal notions, for example the disposition of fragility. Relatedly, there are counterfactual conditionals, for example “if this glass were dropped, it would break.” And the notion of supervenience is modal.1 But let us focus here on necessity and possibility. Modal words are notoriously ambiguous (or at least context-sensitive2). I may reply to an invitation to give a talk in England by saying “I can’t come; I have to give a talk in California the day before”. This use of “can’t” is perfectly appropriate. But it would be equally appropriate for me to say that I could cancel my talk in California (although that would be rude) and give the talk in England instead. What I cannot do is give both talks.. (shrink)

In his influential paper ‘‘Essence and Modality’’, Kit Fine argues that no account of essence framed in terms of metaphysical necessity is possible, and that it is rather metaphysical necessity which is to be understood in terms of essence. On his account, the concept of essence is primitive, and for a proposition to be metaphysically necessary is for it to be true in virtue of the nature of all things. Fine also proposes a reduction of conceptual and logical necessity in (...) the same vein: a conceptual necessity is a proposition true in virtue of the nature of all concepts, and a logical necessity a proposition true in virtue of the nature of all logical concepts. I argue that the plausibility of Fine's view crucially requires that certain apparent explanatory links between essentialist facts be admitted and accounted for, and I make a suggestion about how this can be done. I then argue against the reductions of conceptual and logical necessity proposed by Fine and suggest alternative reductions, which remain nevertheless Finean in spirit. (shrink)

I begin by contrasting three approaches one can take to the distinction between the essential and accidental properties: an ontological, a deflationary, and a mind‐dependent approach. I then go on to apply that distinction to the necessary a posteriori, and defend the deflationist view. Finally I apply the distinction to modal truth in general and argue that the deflationist position lets us avoid an otherwise pressing problem for the actualist: the problem of accounting for the source of modal truth.

It is my aim in this paper to show that the contemporary assimilation of essence to modality is fundamentally misguided and that, as a consequence, the corresponding conception of metaphysics should be given up. It is not my view that the modal account fails to capture anything which might reasonably be called a concept of essence. My point, rather, is that the notion of essence which is of central importance to the metaphysics of identity is not to be understood in (...) modal terms or even to be regarded as extensionally equivalent to a modal notion. The one notion is, if I am right, a highly refined version of the other; it is like a sieve which performs a similar function but with a much finer mesh. (shrink)

The article introduces and defends the Nomological Account of ground, a reductive account of the notion of metaphysical explanation in terms of the laws of metaphysics. The paper presents three desiderata that a theory of ground should meet: it should explain the modal force of ground, the generality of ground, and the interplay between ground and certain mereological notions. The bulk of the paper develops the Nomological Account and argues that it meets the three desiderata. The Nomological Account relies on (...) two central notions: the notion of a ‘law of metaphysics’ and the notion of ‘determination via the laws’. The paper offers the constructional conception of the laws of metaphysics, on which the metaphysical laws are general principles that characterize construction–operations such as composition, constitution, or set-formation. The role of determination in the account is explained and some reductive approaches to the notion are sketched. The case for the Nomological Account presented in this article is also a case for the laws of metaphysics. Since the Nomological Account offers a promising approach to metaphysical explanation we should take the laws of metaphysics seriously. (shrink)

Many are reluctant to accept primitive modality into their fundamental picture of the world. The worry often traces to this thought: we shouldn't adopt any more primitive - that is, unexplained - notions than we need in order to explain all the features of the world, and primitive modal notions are not needed. I examine one prominent rival to modal primitivism, combinatorialism, and show that in order to account for all the modal features of the world the combinatorialist must adopt (...) two additional primitive notions. My own modal primitivist view takes as primitive the notion of incompatibility between properties or relations. I show how the non-modal notions that the combinatorialist must adopt as primitive may be analyzed using my notion. The upshot is that with respect to the number of primitive notions, my modal primitivist theory comes out ahead. (shrink)

In ‘The Varieties of Necessity’ Fine presents purported counterexamples to the view that a proposition is a naturally necessary truth if and only if it is logically necessary relative to or conditional upon the basic truths about the status and distribution of natural kinds, properties and relations. The aim of this article is to defend the view that natural necessity is relative necessity, and the general idea that we can define other kinds of necessity as relative, against Fine's criticisms.

This chapter argues that the best way for a non-naturalist to explain why the normative supervenes on the natural is to claim that, while there are some sui generis normative properties whose essences cannot be fully specified in non-normative terms and do not specify any non-normative sufficient conditions for their instantiation, there are certain hybrid normative properties whose essences specify both naturalistic sufficient conditions for their own instantiation and sufficient conditions for the instantiation of certain sui generis normative properties. This (...) is the only metaphysical explanation for supervenience on offer, the chapter argues, that can both clearly maintain the pre-theoretical commitments of non-naturalism, and provide a metaphysical explanation not just for supervenience, but for all metaphysical necessities involving natural and normative properties. (shrink)

Recent years have seen an explosion of interest in metaphysical explanation, and philosophers have fixed on the notion of ground as the conceptual tool with which such explanation should be investigated. I will argue that this focus on ground is myopic and that some metaphysical explanations that involve the essences of things cannot be understood in terms of ground. Such ‘essentialist’ explanation is of interest, not only for its ubiquity in philosophy, but for its being in a sense an ultimate (...) form of explanation. I give an account of the sense in which such explanation is ultimate and support it by defending what I call the inessentiality of essence. I close by suggesting that this principle is the key to understanding why essentialist explanations can seem so satisfying. (shrink)

Kit Fine; XIV*—Ontological Dependence, Proceedings of the Aristotelian Society, Volume 95, Issue 1, 1 June 1995, Pages 269–290, https://doi.org/10.1093/aristote.

There is a common form of problem, to be found in many areas of philosophy, concerning the relationship between our perspective on reality and reality itself. We make statements (or form judgements) about how things are from a given standpoint or perspective. We make the statement ‘it is raining’ from the standpoint of the present time, for example, or the statement‘it is here’ from the standpoint of where we are, or the statement ‘I am glad’ from the standpoint of a (...) subject. In each of these cases, the statement has a certain ‘aspect’ or perspectival character in virtue of which its truth is capable of varying from one standpoint to another. Thus the statement ‘it is raining’ is tensed, the statement ‘it is here’ is ‘spatiocentric’ and the statement ‘I am glad’ is first-personal. The problem we then face is to determine whether this aspect is a feature of the reality which is described or merely a feature of the statement by which it is described. Is reality itself somehow tensed or spatiocentric or firstpersonal or is it merely that we describe a tenseless or spatially uncentered or impersonal reality from a tensed or spatiocentric or first-personal point of view? (shrink)

Any explanation of one fact in terms of another will appeal to some sort of connection between the two. In a causal explanation, the connection might be a causal mechanism or law. But not all explanations are causal, and neither are all explanatory connections. For example, in explaining the fact that a given barn is red in terms of the fact that it is crimson, we might appeal to a non-causal connection between things’ being crimson and their being red. Many (...) such connections, like this one, are general rather than particular. I call these general non-causal explanatory connections 'laws of metaphysics'. In this paper I argue that some of these laws are to be found in the world at its most fundamental level, forming a bridge between fundamental reality and everything else. It is only by admitting fundamental laws, I suggest, that we can do justice to the explanatory relationship between what is fundamental and what is not. And once these laws are admitted, we are able to provide a nice resolution of the puzzle of why there are any non-fundamental facts in the first place. (shrink)

This paper distinguishes two kinds of realist issue -- the issue of whether the propositions of a given domain are factual and the issue of whether they are fundamental. It criticizes previous accounts of what these issues come to and suggests that they are to be understood in terms of a basic metaphysical concept of reality. This leaves open the question of how such issues are to be resolved; and it is argued that this may be done through consideration of (...) what grounds the facts of a given domain, when fundamentality is in question, and what grounds our engagement with the putative facts, when factuality is in question. (shrink)

An approach to explaining the nature and source of logic and its laws with a rich historical tradition takes the laws of logic to be laws of thought. This view seems intuitively compelling, after all, logic seems to be intimately related with how we think. But how exactly should we understand it? And what arguments can we give in favour? I will propose one line of argument for the claim that the laws of logic are laws of thought. I will (...) motivate the claim that there is a certain phenomenon, namely, that there are logical principles which are immune to rational doubt. I will then give an argument to the best explanation; I will argue that the best explanation of this phenomenon is to take the laws of logic to be constitutive-normative laws of thought. The proposal, and some responses to potential objections, will have a notably Kantian flavour. (shrink)