Over the last thirty years there have been a number of attempts to analyse the distinction between intrinsic and extrinsic properties. This article discusses three leading attempts to analyse this distinction that don’t appeal to the notion of nat-uralness: the duplication analysis endorsed by G. E. Moore and David Lewis, Peter Vallentyne’s analysis in terms of contractions of possible worlds, and the analysis of Gene Witmer, William Butchard and Kelly Trogdon in terms of grounding.

The problem of the source of necessity is the problem of explaining what makes necessary truths necessarily true. Simon Blackburn has presented a dilemma intended to show that any reductive, realist account of the source of necessity is bound to fail. Although Blackburn's dilemma faces serious problems, reflection on the form of explanations of necessities reveals that a revised dilemma succeeds in defeating any reductive account of the source of necessity. The lesson is that necessity is metaphysically primitive and irreducible.

There is widespread disagreement as to what the facts are concerning just when a collection of objects composes some further object; but there is widespread agreement that, whatever those facts are, they are necessary. I am unhappy to simply assume this, and in this paper I ask whether there is reason to think that the facts concerning composition hold necessarily. I consider various reasons to think so, but find fault with each of them. I examine the theory of composition as (...) identity, but argue that the version of this doctrine that entails universalism is implausible. I consider the claim that the a priority of such facts leads to their necessity, but give a defence of substantial contingent a priori truths. I ask whether the contingency of such facts would lead to unwelcome possibilities, but argue that the worrying looking possibilities can be blocked if it is desired. Next, I argue against the thought that the Lewis-Sider argument against restricted composition might give us reason to accept the necessity of universalism. Lastly, I respond to two objections from the 2006 BSPC. I conclude in favour of the contingency of the facts concerning when some things compose some thing. (shrink)

This paper proposes a new reductive theory of modality, called the moodless theory of modality. This theory, and not modal realism, is the closest modal analogue of the tenseless theory of time. So, if the tenseless theory is true, and the temporality–modality analogy is good, it is the moodless theory that follows. I also argue that the moodless theory, considered on its own, is better than modal realism: arguments often thought to be decisive against modal realism are weak against it.

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)

The core idea of David Armstrong’s combinatorial theory of possibility is attractive. Rearrangement is the key to modality; possible worlds result from scrambling bits and pieces of other possible worlds. Yet I encounter great difficulty when trying to formulate the theory rigorously, and my best attempts are vulnerable to counterexamples. The Leibnizian biconditionals relate possibility and necessity to possible world and true in.

This paper attempts to locate, within an actualist ontology, truthmakers for modal truths: truths of the form or . In Sect. 1 I motivate the demand for substantial truthmakers for modal truths. In Sect. 21 criticise Armstrong's account of truthmakers for modal truths. In Sect. 31 examine essentialism and defend an account of what makes essentialist attributions true, but I argue that this does not solve the problem of modal truth in general. In Sect. 41 discuss, and dismiss, a theistic (...) account of the source of modal truth proposed by Alexander Pruss. In Sect. 5 I offer a means of (dis)solving the problem. (shrink)

Those who aim to give an account of modal knowledge face two challenges: the integration challenge of reconciling an account of what is involved in knowing modal truths with a plausible story about how we can come to know them, and the reliability challenge of giving a plausible account of how we could have evolved a reliable capacity to acquire modal knowledge. I argue that recent counterfactual and dispositional accounts of modal knowledge cannot solve these problems regarding specifically metaphysical modal (...) truths—leaving us with the threat of skepticism about large portions of metaphysics, and certain other areas of philosophy. I argue, however, that both of these problems look insuperable only if we assume that metaphysical modal discourse serves a describing or tracking function. If we adopt instead a normativist approach to metaphysical modal discourse, which sees the basic function of modal discourse as giving us perspicuous ways of conveying, reasoning with, and renegotiating semantic rules, the problems show up very differently. The modal normativist can give a plausible response to both of the classic problems of how we can come to know metaphysical modal truths. (shrink)

We propose a novel interpretation of Lewis on the analysis of modality that is constructed from primary sources, comprehensive and unprecedented. Our guiding precepts are to distinguish semantics from metaphysics, while respecting the inter-relations between them, and to discern whatever may be special, semantically or metaphysically, about the modal case. Following detailed presentation, we amplify and advocate our interpretation by providing a conforming genealogy of Lewis’s theory of modality and applying it to construct a detailed and newly illuminating version of (...) the Lewisian theory of modality de re. (shrink)

Modal realists face a puzzle. For modal realism to be justified, modal realists need to be able to give a successful reduction of modality. A simple argument, however, appears to show that the reduction they propose fails. In order to defend the claim that modal realism is justified, modal realists therefore need to either show that this argument fails, or show that modal realists can give another reduction of modality that is successful. I argue that modal realists cannot do either (...) of these things and that, as a result, modal realism is unjustified and should be rejected. (shrink)

A common objection to Humeanism about natural laws is that, given Humeanism, laws cannot help explain their instances, since, given the best Humean account of laws, facts about laws are explained by facts about their instances rather than vice versa. After rejecting a recent influential reply to this objection that appeals to the distinction between scientific and metaphysical explanation, I will argue that the objection fails by failing to distinguish between two types of facts, only one of which Humeans should (...) regard as laws. I will then conclude by rebutting a variant of this objection that appeals to a principle of metaphysical explanation recently put forward by Kit Fine. (shrink)

The waning popularity of logical empiricism and the supposed discovery of insurmountable technical difficulties led most philosophers to abandon the project to formulate a formal criterion of empirical significance. Such a criterion would delineate claims that observation can confirm or disconfirm from those it cannot. Although early criteria were clearly inadequate, criticisms made of later, more sophisticated criteria were often indefensible or easily answered. Most importantly, Carnap’s last criterion was seriously misinterpreted and an amended version of it remains tenable.

Despite the otherwise-dominant trends towards physicalism and naturalism in philosophy, it has become increasingly common for metaphysicians to accept the existence either of modal facts and properties, or of Lewisian possible worlds. This paper raises the historical question: why did these heavyweight realist views come into prominence? The answer is that they have arisen in response to the demand to find truthmakers for our modal statements. But this demand presupposes that modal statements are descriptive claims in need of truthmakers. This (...) presupposition was, however, rejected by many earlier analytic philosophers, including the logical positivists, Wittgenstein, Ryle and Sellars, all of whom denied that modal statement were descriptive at all. Yet the non-descriptivist approach has largely fallen out of discussion and out of philosophical consciousness. In this paper I examine why non-descriptivist views first came into and then fell out of favor, and consider what the prospects are for reviving this more deflationary approach to modality. (shrink)

I contend that mathematical domains are freestanding institutional entities that, at least typically, are introduced to serve representational functions. In this paper, I outline an account of institutional reality and a supporting metaontological perspective that clarify the content of this thesis. I also argue that a philosophy of mathematics that has this thesis as its central tenet can account for the objectivity, necessity, and atemporality of mathematics.

I develop an account of the sorts of considerations that should go into determining where the limits of possibility lie. (This is part of a series of four closely related papers. The other three are ‘On Specifying Truth-Conditions’, ‘Ontological Commitment’ and ‘An Actualist’s Guide to Quantifying-In’.).

ABSTRACTIki is the key word of Shūzō Kuki’s The Structure of Iki, and it became one of the most widely recognized Japanese aesthetic categories mainly due to this work. However, in The Problems of Contingency, which is Kuki’s most important philosophical work, there is no discussion of iki again, and consequently, most commentators of Kuki fail to see the correlation between his theories of iki and contingency. This article, by contrast, intends to provide a new interpretation of iki in the (...) light of Kuki’s theory of contingency. The specific thesis of this paper is that aesthetic phenomena categorized as subject to the principles of iki are positively evaluated in Japanese culture just because the consciousness of iki is just one form of the consciousness of contingency, in which the awareness of alternatives to the actual situation could produce considerable spiritual entertainment for aesthetic subjects. (shrink)

The central philosophical task posed by conventions is to analyze what they are and how they differ from mere regularities of action and cognition. Subsidiary questions include: How do conventions arise? How are they sustained? How do we select between alternative conventions? Why should one conform to convention? What social good, if any, do conventions serve? How does convention relate to such notions as rule, norm, custom, practice, institution, and social contract? Apart from its intrinsic interest, convention is important because (...) philosophers frequently invoke it when discussing other topics. A favorite philosophical gambit is to argue that, perhaps despite appearances to the contrary, some phenomenon ultimately results from convention. Notable candidates include: property, government, justice, law, morality, linguistic meaning, necessity, ontology, mathematics, and logic. (shrink)

In this paper, I defend the view that we can have perceptual moral knowledge. First, I motivate the moral perception view by drawing on some examples involving perceptual knowledge of complex non‐moral properties. I argue that we have little reason to think that perception of moral properties couldn't operate in much the same way that our perception of these complex non‐moral properties operates. I then defend the moral perception view from two challenging objections that have yet to be adequately addressed. (...) The first objection is that the moral perception view has implausible commitments concerning the morally blind, people who would claim not to perceive wrongness. The second objection is that the moral perception view is not really compatible with a wide range of the main candidate moral theories. I argue that the moral empiricist has plausible responses to both of these objections. I then address three residual concerns that my defense raises. (shrink)

Mereological principles are often controversial; perhaps the most stark contrast is between those who claim that Weak Supplementation is analytic—constitutive of our notion of proper parthood—and those who argue that the principle is simply false, and subject to many counterexamples. The aim of this paper is to diagnose the source of this dispute. I’ll suggest that the dispute has arisen by participants failing to be sensitive to two different conceptions of proper parthood: the outstripping conception and the non-identity conception. I’ll (...) argue that the outstripping conception (together with a specific set of definitions for other mereological notions), can deliver the analyticity of Weak Supplementation on at least one sense of ‘analyticity’. I’ll also suggest that the non-identity conception cannot do so independently of considerations to do with mereological extensionality. (shrink)

Summary: The paper provides an argument for modal primitivism, the view that necessity is not defined and is therefore part of the structure of reality. It then raises the explanation-challenge for primitivists: how can modal truths be explained by hyper-intensional truths, if necessity is not defined in terms of hyper-intensional phenomena? To address the challenge, the paper introduces 'sophisticated modal primitivism' which gives a substantive analysis of the notion of a 'source of necessity'. The final part of the paper offers (...) some applications of that novel piece of ideology. (shrink)

Truthmakers, truth conditions, and analyses are closely related, but distinct in rather important ways. A failure to properly appreciate their differences has led to some confusion regarding the role that possible worlds ought to play with respect to modality. Those philosophers who initially proposed the existence of possible worlds were understood as providing an analysis of modality. More recently, many have interpreted them as providing modal truthmakers. But, possible worlds are only suited to serve as truth conditions for modal truths. (...) My goals are as follows: First, to dispel this confusion by detailing the differences between these three concepts. Second, to apply the lesson learned to the famous Humphrey objection against possible worlds. While this objection, if successful, does undermine Lewisian modal realism, it only partially undermines ersatzism, and leaves available a route by which ersatzers may avoid the objection altogether. (shrink)

Several recent interpretations see Hegel's theory of the Concept as a form of conceptual realism, according to which finite reality is articulated by objectively existing concepts. More precisely, this theory has been interpreted as a version of natural kind essentialism, and it has been proposed that its function is to account for the possibility of genuine explanations. This suggests a promising way to reconstruct the argument that Hegel's theory of objective concepts is based on—an argument that shows that the possibility (...) of explanation rests on metaphysical preconditions and that natural kind essentialism gives the only adequate account of those preconditions. But in order for such a reconstruction to be successful, one needs to spell out the metaphysical features in virtue of which Hegelian natural kinds can account for the possibility of explanation. The article takes up this challenge. It offers the first detailed analysis of the modal fine-structure of Hegel's natural kind essentialism and shows how Hegel's position, thus understood, provides the details needed to complete the explanation-based argument. (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 1680s, Gottfried Leibniz and Antoine Arnauld engaged in a philosophically rich correspondence. One issue they discuss is modal metaphysics – questions concerning necessity, possibility, and essence. While Arnauld's contributions to the correspondence are considered generally astute, his contributions on this issue have not always received a warm treatment. I argue that Arnauld's criticisms of Leibniz are sophisticated and that Arnauld offers his own Cartesian account in its place. In particular, I argue that Arnauld offers an account of possibility (...) that is actualist, modal actualist and essence-based. (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.