Grounding has become all the rage in recent philosophical work and metaphilosophical discussions. While I agree that the concept of ground marks something useful, I am skeptical about the metaphysical weight many imbue it with, and the picture of ‘worldly layering’ that grounding talk inspires. My skepticism centers around the fact that grounding involves necessitation, combined with reasons for thinking matters of necessity are matters of logical or conceptual (semantic, psychological) relations. I sketch an argument for deflationism about ground based (...) on this sort of deflationism about necessity and essence. I also note that in at least some cases, the considerations supporting modal deflationism directly support deflationism about whatever grounding relations may obtain in these cases. (shrink)

Amie Thomasson's Norms and Necessity offers a non-factualist theory of the language of metaphysical necessity, centering on the idea that statements of necessity express semantic norms. This article identifies a potential problem for the view by distinguishing two kinds of conditional necessity, investigates a solution derived from a well-known parallel pair of conditional necessities in deontic logic, but finds it is not up to the job. The last part of the paper suggests a different route, largely in keeping with the (...) underlying ideas behind Thomasson's approach. (shrink)

The classification-cum-explanation Kripke assigns to rigidity requires the notion to apply to singular and general terms alike. But Kripke's own notion of rigidity is tailor-made for singular terms, and an extensive debate has not secured a general notion of rigidity apt to provide the classification-cum-explanation Kripke aims for. I propose that we look for a Kripkean alternative to generalized rigidity. I argue that on Kripkean premises, natural kind terms and proper names belong to the meta-semantic category of paradigm terms. I (...) also argue that the property of being a paradigm term effects precisely the classification-cum-explanation Kripke attributes to rigidity. I conclude that Kripkeans should acknowledge that being a paradigm term, rather than designating rigidly, plays the role Kripke delineates, and that we can stop worrying about generalizing rigidity. Kripke's notion works fine for singular terms. And there is no need for rigidity to apply beyond these. (shrink)

The paper explores the project of an ambitious modal epistemology that attempts to combine the a priori methods of Chalmers’ 2D semantics with Kripke’s modal metaphysics. I argue that such a project is not viable. The ambitious modal epistemology involves an inconsistent triad composed of (1) Modal Monism, (2) Two-Dimensionalism, and what I call (3) “Metaphysical Kripkeanism”. I present the three theses and show how only two of those can be true at a time. There is a fundamental incompatibility between (...) Chalmers’ Modal Rationalism and Kripke’s modal metaphysics. Specifically, Chalmers’ conceivability entails possibilities that a Kripkean rejects as genuinely metaphysical. However, three positive stances in modal epistemology emerge from the combinations that the triad allows. One of those offers a promising way forward for 2D modal epistemologies. But it comes with a cost, as it requires abandoning modal monism and reshaping the scope of what a priori conceivability can give us access to. (shrink)

It is a truth universally acknowledged that a claim of metaphysical modality, in possession of good alethic standing, must be in want of an essentialist foundation. Or at least so say the advocates of the reductive-essence-first view, according to which all modality is to be reductively defined in terms of essence. Here, I contest this bit of current wisdom. In particular, I offer two puzzles—one concerning the essences of non-compossible, complementary entities, and a second involving entities whose essences are modally (...) ‘loaded’—that together strongly call into question the possibility of reducing modality to essence. (shrink)

Section 1 introduces the category of objective modality, closely related to linguists’ category of circumstantial or dynamic modals, and explains metaphysical modality as its maximal element. Section 2 discusses various kinds of skepticism about modality, as in Hume and recent authors, and argues that it is illmotivated to apply such skepticism to metaphysical modality but not to more restricted objective modalities, including nomic modality. Section 3 suggests that the role of counterfactual conditionals in applications of scientific theories involves an objective (...) modal dimension. Section 4 briefly discusses the role of objective probabilities in scientific theories as exemplifying the scientific study of objective modality. Section 5 summarizes a case study of dynamical systems theory, widely used in natural science, as a mathematical theory whose intended applications are objectively modal, as perspicuously articulated in a language with modal and temporal operators and propositional quantification. State spaces in natural science characterize objective possibilities. Section 6 argues that, although those possibilities are usually more restricted than metaphysical possibility, their scientific study is a partial study of metaphysical possibility too. (shrink)

Upon discovering that certain beliefs we hold are contingent on arbitrary features of our background, we often feel uneasy. I defend the proposal that if such cases of contingency anxiety involve defeaters, this is because of the epistemic significance of disagreement. I note two hurdles to our accepting this Disagreement Hypothesis. Firstly, some cases of contingency anxiety apparently involve no disagreement. Secondly, the proposal may seem to make our awareness of the influence of arbitrary background factors irrelevant in determining whether (...) to revise our beliefs. I show that each of these problems can be successfully accommodated by the Disagreement Hypothesis. (shrink)

This paper first argues that we can bring out a tension between the following three popular doctrines: (i) the canonical reduction of metaphysical modality to essence, due to Fine, (ii) contingentism, which says that possibly something could have failed to be something, and (iii) the doctrine that metaphysical modality obeys the modal logic S5. After presenting two such arguments (one from the theorems of S4 and another from the theorems of B), I turn to exploring various conclusions we might draw (...) in light of these results, and argue that none comes cost free. In the course of laying out possible responses to my arguments, we'll have a chance to evaluate various doctrines about the interplay between contingency and essence, as well as develop some alternative reductions of metaphysical modality to essence. I don't decisively come down in favor of one response over the others, though I say some things that point towards the conclusion that essence has no role to play in reducing metaphysical modality. (shrink)

Introspection presents our phenomenal states in a manner otherwise than physical. This observation is often thought to amount to an argument against physicalism: if introspection presents phenomenal states as they essentially are, then phenomenal states cannot be physical states, for we are not introspectively aware of phenomenal states as physical states. In this article, I examine whether this argument threatens a posteriori physicalism. I argue that as along as proponents of a posteriori physicalism maintain that phenomenal concepts present the nature (...) of their referents in a partial and incomplete manner, a posteriori physicalism is safe. (shrink)

In this paper, I defend the claim that an object can have a property only if it exists from two arguments, both of which turn on how to understand Plantinga’s notion of the α-transform of a property.

This is not an overly ambitious paper. What I would like to do is to take a thesis that most people would regard as wildly implausible, and convince you that it is, in fact, false. What's worse, the argument I shall give is by no means airtight, though I hope it's reasonably convincing. The thesis has to do with the fuzzy boundaries of terms that refer to familiar middle-sized objects, terms like ‘Kilimanjaro’ and ‘the tallest mountain in Africa.’ It is (...) intuitively clear that Kilimanjaro has a fuzzy boundary, so that there are some clods of earth at the base of the mountain for which there isn't anything, either in our practices in using the word ‘Kilimanjaro’ or in the facts of geography, that determines an answer to the question whether the clod is a part of Kilimanjaro. (shrink)

In Naming and Necessity, Kripke argues that intuitions about what is possible play a limited, but important, role in challenging philosophical theses, counting as evidence against them only if they cannot be reconstrued as intuitions about something else, compatible with the thesis in question. But he doesn't provide clear guidelines for determining when such intuitions have been successfully reconstrued, leading some to question their status as evidence for modal claims. In this paper I focus on some worries, articulated by Michael (...) Della Rocca, about whether modal intuitions can be evidence for claims about essential properties, and argue that there is a way of viewing the role of modal intuition in philosophical argument that can preserve their evidential force. (shrink)

We need to distinguish two sorts of natural kinds, scientific and common NKs, because the notion of NK, which has to satisfy demands at three different levels—ontological, semantic and epistemological—, is subject to two incompatible sets of constraints. In order to prove this, I focus on the much-discussed case of jade. In the first part of the paper, I show that the current accounts are unsatisfactory because they are inconsistent. In the process, I explain why LaPorte’s analysis of “jade” as (...) a vernacular NK-term with an open-texture meaning does not offer a way out. Using a reductio ad absurdum argument, I conclude that according to the main tenets of NK-term theories, today’s “jade” has to be an NK-term, and jade thereby an NK. In the second part of the paper, I argue for this conclusion in a positive manner. First, I present a series of thought experiments demonstrating that today’s “jade” has the specific features of an NK-term. Then, I show that the kind that we presently call “jade” exhibits the typical ontological and epistemological features of an NK. More generally, I expound on why common NKs are more than mere classes, and why categories such as “jade” are useful in many inferences and explanations. (shrink)

In this paper, I attempt to set out some of the main views about essence which Aristotle puts forward in Book Z of theMetaphysics.A central feature of Aristotle's account, as we shall see, is his distinction between primary and secondary cases of essence, and a similiar distinction in connection with the related notions of substance and definition. This division between primary and secondary cases means that Aristotle may well have two very different sorts of remark to make about essence, or (...) definition, or substance, according to which of the two kinds of case he has in mind. There is no reason to suppose the same logical properties apply to both the primary and the secondary cases. And when we come to define the various notions, we shall see that if our definitions are right, the logical properties in the two kinds of case are in fact quite different. (shrink)

Questions of identity over time are often hard to answer. A long tradition has it that such questions are somehow soft: they have no unique, determinate answer, and disagreements about them are merely verbal. I argue that this claim is not the truism it is taken to be. Depending on how it is understood, it turns out either to be false or to presuppose a highly contentious metaphysical claim.

According to the modal view, essence admits of reductive analysis in exclusively modal terms. Fine (1994) argues that modal view delivers an inadequate analysis of essence. This paper defends the modal view from Fine's challenge. This defense proceeds by examining the disagreement between Finean primitivists and Quinean eliminativists about essence. In order to model this disagreement, a distinction between essence and a separable concept, nature, is required. This distinction is then used to show that Fine's challenge is misdirected and therefore (...) unsuccessful. (shrink)

Rigid designators designate whatever they do in all possible worlds. Mathematical definite descriptions are usually considered paradigmatic examples of such expressions. The main aim of the present paper is to challenge this view. It is argued that mathematical definite descriptions cannot be rigid in the same sense as ordinary empirical definite descriptions because—assuming that mathematical facts are not determined by goings on in possible worlds—mathematical descriptions designate whatever they do independently of possible worlds. Nevertheless, there is a widespread practice of (...) treating mathematical definite descriptions as rigid. Apart from this, there might be theoretical reasons for admitting that they are rigid in some sense. The second part of the paper suggests a way out. Borrowing from ideas proposed by Kit Fine, it develops and defends an extended notion of rigidity, which can be applied to mathematical definite descriptions. Importantly, this notion is fully compatible with the claim that mathematical facts are independent of possible worlds. (shrink)

'You ask me about the idiosyncrasies of philosophers? There is their lack of historical sense, their hatred of even the idea of becoming, their Egyptianism. They think they are doing a thing honour when they dehistoricize it, sub specie aeternitatis — when they make a mummy of it.'Nietzsche, Twilight of the Idols.

According to the well-known Kripke-Putnam view developed in Naming and Necessity and ‘The Meaning of Meaning’, proper names and ‘natural kind terms’ - words for natural substances, species, and phenomena - are non-descriptional and rigid. A singular term is rigid if it has the same referent in every possible world, and is non-descriptional if, roughly speaking, its referent is not secured by purely descriptive conditions analytically tied to the term. Thus, ‘the inventor of bifocals’ is nonrigid and descriptional, while ‘the (...) unique even and prime integer’ is rigid and descriptional, and ‘Noam Chomsky’ is rigid and non-descriptional. (shrink)

The Philosophical search for Natural Kinds is motivated by the hope of finding ontological categories that are independent of our interests. Other requirements, of varying importance, are commonly made of kinds that claim to be natural. But no such categories are to be found. Virtually any kind can be termed ‘natural’ relative to some set of interests and epistemic priorities. Science determines those priorities at any particular stage of its progress, and what kinds are most ‘natural’ in that sense is (...) always a real and lively scientific question. The general philosophical problem of scientific realism is also real; but between the scientific and the metaphysical, the ‘Problem of Natural Kinds’ sits otiose. (shrink)

In this paper I examine two ways of defining the rigidity of general terms. First I discuss the view that rigid general terms express essential properties. I argue that the view is ultimately unsatisfactory, although not on the basis of the standard objections raised against it. I then discuss the characterisation in terms of sameness of designation in every possible world. I defend that view from two objections but I argue that the approach, although basically right, should be interpreted cautiously.