Neo‐Aristotelian Plenitude is the thesis that, necessarily, any property that could be had essentially by something or other is had essentially by something or other if and only if and because it is instantiated; any essentializable property is essentialized iff and because it is instantiated. In this paper, I develop a partial nonmodal characterization of ‘essentializable' and show it cannot be transformed into a full characterization. There are several seemingly insurmountable obstacles that any full characterization of essentializability must overcome. Moreover, (...) these obstacles threaten other views in the conceptual neighborhood such as Counterpart Theoretic Plenitude and Conceptualist Plenitude. (shrink)

This paper explores the prospects of combining two views. The first view is metaphysical rationalism : all things have an explanation. The second view is metaphysical essentialism: there are real essences. The exploration is motivated by a conflict between the views. Metaphysical essentialism posits facts about essences. Metaphysical rationalism demands explanations for all facts. But facts about essences appear to resist explanation. I consider two solutions to the conflict. Exemption solutions attempt to exempt facts about essences from the demand for (...) explanation. Explanation solutions attempt to explain facts about essences. I argue that exemption solutions are less promising than explanation solutions. I then consider how explanation solutions might be developed. I suggest that a “generative” approach is most promising. I tentatively conclude that the prospects for combining metaphysical rationalism and metaphysical essentialism turn on the viability of a generative approach. This sets the agenda for defending the combination as well as the more general project of explaining essences. (shrink)

Everyone knows what David Lewis' possible worlds are, what role they play in his account of possibility and necessity, and Saul Kripke's criticisms. But what, instead, are Kripke's possible worlds, and what role do they play in his account of possibility and necessity? The answers are not so obvious. Recently, it has even been claimed that, contrary to what is standardly assumed, Kripke's approach to modality has not always been consistently metaphysical. In particular, an interpretation of the famous passage in (...) the preface to Naming and Necessity with Kripke's discussion of the dice example has been put forward, according to which he purports there to clarify the modal notions in terms of that of possible world, model-theoretically construed, in a way which is reminiscent of Carnap's. In this paper, I shall point out some internal difficulties of this interpretation, and offer a different one, according to which in the dice passage Kripke is trying, consistently with his metaphysical approach, to legitimize the technically useful notion of possible world starting from modal notions, to be accounted for in another way (arguably, in an essentialistic framework). My final goal, however, will be philosophical elucidation rather than mere exegesis. Indeed, I am interested in shedding some light on what possible worlds might possibly be, if something like Kripke's metaphysical approach is on the right track. (shrink)

My aim in this paper is to connect naming and analyticity and to argue that, like “Hesperus is Hesperus”, “Hesperus is Phosphorus” is analytic. In the paper, I also discuss several other unexpected cases of analytic truth like “Aristotle existed”.

Fine bases his influential conception of essence on a particular account of definitions. And he complements it with a specific account of analyticity. I will argue that Fine's conception of relative analyticity confuses the idea of a sentence's being true in virtue of a term's definition with the idea of a sentence's being true in virtue of a term's meaning. His idea that correct definitions specify essential properties of meanings is mistaken. The correctness of definitions can only be assessed by (...) reference to the actual usage of the terms involved. The resulting conception of definitions leads to a deflationary interpretation of claims about essences. (shrink)

In this paper, I propose a new way of understanding the space of possibilities in the field of mental content. The resulting map assigns separate locations to theories of content that have generally been lumped together on the more traditional map. Conversely, it clusters together some theories of content that have typically been regarded as occupying opposite poles. I make my points concrete by developing a taxonomy of theories of mental content, but the main points of the paper concern not (...) merely how to classify, but how to understand, the theories. Also, though the paper takes theories of mental content as a case study, much of the discussion is applicable to theories of other phenomena. To a first approximation, the difference between the traditional and the proposed taxonomies turns on whether we classify theories of content by, on the one hand, their implications for a non-redundant supervenience base for content facts (i.e., for facts about what contents thoughts have) or, on the other, by their constitutive accounts of content. By a "constitutive account," I mean the kind of elucidation of the nature of a phenomenon that theorists have tried to give for, for example, knowledge, justice, personal identity, consciousness, convention, heat, and limit. The tendency to taxonomize by supervenience base is encouraged, I suggest, by a failure to keep clearly in view a distinction between constitutive and modal determination. Many philosophers would accept that a constitutive account cannot be captured in purely modal terms. Giving a constitutive account is not the same as specifying modally necessary and sufficient conditions. Nevertheless, philosophers often try to cash constitutive claims in modal terms. A case in point is that theories of content tend to be conceptualized in terms of the theories' implications for a supervenience base for content facts. My thesis goes beyond the by-now somewhat familiar proposition that not all modal determinants of a phenomenon are constitutive determinants. One who has taken that point on board might nevertheless conceive of a philosophical account as an attempt to specify constitutive determinants of the target phenomenon that make up a non-redundant supervenience base for the phenomenon. Shoehorning a philosophical account into this form leaves out elements that are modally redundant, but may be explanatorily or ontologically significant. For example, when a constitutive account has multiple levels, the different levels will typically be modally redundant. Formulating the account as a specification of a supervenience base of constitutive determinants will therefore flatten the account into a single level. Many of my arguments can be illustrated by considering the place of normativity in the theory of content. The new taxonomy gives a distinct niche to normative theories of content - theories that explain a thought's having a certain content at least in part in terms of the obtaining of normative facts. By contrast, on a traditional map, normative theories are invisible as such because normative facts supervene on non-normative ones. (shrink)

Since our capacities and methods of cognizing reality merely seem to tell us how things are but only within close limits how they could or must be, our claims to knowledge of mere possibilities and necessities raise the suspicion of exceptionalism: the capacities and methods used in developing these claims seem special compared to those involved in cognizing reality. One may be sceptical especially with regard to them, and there are doubts that they can be naturalistically explained. To avoid exceptionalism, (...) Timothy Williamson has proposed to reduce the epistemology of modality to the epistemology of everyday counterfactuals. There are doubts that the proposal succeeds. One objection is that the counterfactual-based epistemology fails to account for metaphysical necessities like the necessity of origin. For the account to cover such necessities, constitutive facts like the origin of a living being would have to form implicit constraints built into the capacity for everyday counterfactual reasoning. But is counterfactual reasoning indeed so constrained? I answer this question in the affirmative, presenting an epistemology of counterfactuals for modal epistemology to build on. The constraints gradually emerge by a broadly abductive process, starting from within everyday counterfactual reasoning. The process does not presuppose any independent knowledge of the constitutive status of certain facts. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

In this article I contrast two opposing forms of essentialism, definitional and transcendental versus productivist and historical, and trace both forms back to Kripke's Naming and Necessity (1980). Definitional essentialism, as developed by Fine, centers on kind-membership. Historical essentialism, as anticipated by Prior and developed by Almog, puts origin at its center. The article focuses on the fundamentally distinct manners in which these two views handle the necessity of origin thesis. In the final section of the article, inspired by a (...) Nietzschean genealogical methodology, I pursue a naturalization strategy and conclude that rather than origin being necessary, it is essentialist necessity that reduces to origin. (shrink)

Many philosophers since Hume have accepted that imagining/conceiving a scenario is our prime guide to knowing its possibility. Stephen Yablo provided a more systematic criterion: one is justified in judging that p is possible if one can imagine a world which one takes to verify p. I defend a version of Yablo’s criterion against van Inwagen’s moderate modal scepticism. Van Inwagen’s key argument is that we cannot satisfy Yablo’s criterion because we are not in a position to spell out far-fetched (...) possible scenarios in relevant detail. Van Inwagen’s argument can be applied to the use of conceivability for everyday possibility claims, leaving us with the spectre of pervasive modal scepticism. In order to answer the sceptical threat, I combine van Inwagen’s main example with general considerations about the nature of metaphysical modality to motivate a version of Yablo’s criterion and show that it does not lead to scepticism. One structural condition of p being metaphysically possible is that it coheres with a complete reality. This condition gives rise to Yablo’s criterion. However, for the criterion to be of any avail, we have to disregard details we are not in a position to specify. To account for our practice of doing so, I use Yablo’s distinction between imagining a world as determinate and imagining it determinately. I present a condition when we may simply disregard details as determinate. The condition results from integrating analogical reasoning into the conceivability test. (shrink)

This article is about Avicenna’s account of syllogisms comprising opposite premises. We examine the applications and the truth conditions of these syllogisms. Finally, we discuss the relation between these syllogisms and the principle of non-contradiction.