A thorough critique (extracted from the author’s 1979 doctoral dissertation) of Kripke’s purported derivation, in footnote 56 of his philosophical masterpiece /Naming and Necessity/, of nontrivial modal essentialism from the theory of rigid designation.

Some claim that Composition as Identity (CI) entails Mereological Essentialism (ME). If this is right, then we have an effective modus tollens against CI: ME is clearly false, so CI is, too. Rather than deny the conditional, I will argue that a CI theorist should embrace ME. I endorse a theory of modal parts such that ordinary objects are spatially, temporally, and modally extended. Accepting modal parts is certainly beneficial to CI theorists, but it also provides elegant solutions to the (...) traditional puzzles of constitution, making it a competitive move in its own right. (shrink)

In this paper, I develop an essentialist model of the semantics of slurs. I defend the view that slurs are a species of kind terms: Slur concepts encode mini-theories which represent an essence-like element that is causally connected to a set of negatively-valenced stereotypical features of a social group. The truth-conditional contribution of slur nouns can then be captured by the following schema: For a given slur S of a social group G and a person P, S is (...) true of P iff P bears the “essence” of G—whatever this essence is—which is causally responsible for stereotypical negative features associated with G and predicted of P. Since there is no essence that is causally responsible for stereotypical negative features of a social group, slurs have null-extension, and consequently, many sentences containing them are either meaningless or false. After giving a detailed outline of my theory, I show that it receives strong linguistic support. In particular, it can account for a wide range of linguistic cases that are regarded as challenging, central data for any theory of slurs. Finally, I show that my theory also receives convergent support from cognitive psychology and psycholinguistics. (shrink)

A lump theorist claims that ordinary objects are spread out across possible worlds, much like many of us think that tables are spread out across space. We are not wholly located in any one particular world, the lump theorist claims, just as we are not wholly spatially located where one’s hand is. We are modally spread out, a trans-world mereological sum of world-bound parts. We are lump sums of modal parts. And so are all other ordinary objects. In this paper, (...) I explore lump theory and investigate five arguments against it. These arguments may be the primary reasons why lump theory has not been widely accepted––or extensively explored––until now. I maintain that these arguments can be answered, and moreover, that accepting lump theory has distinct advantages, making it a competitive view in its own right. (shrink)

Dispositional essentialists argue that physical properties have their causal roles essentially. This is typically taken to mean that physical properties are identical to dispositions. I argue that this is untenable, and that we must instead say that properties bestow dispositions. I explore what it is for a property to have such a role essentially. Dispositional essentialists argue for their view by citing certain epistemological and metaphysical implications, and I appeal to these implications to place desiderata on the concept of essence (...) involved. I argue that the traditional modal theory of essence meets these desiderata, but that the resulting theory wrongly implies that certain dispositions essential to mass are essential to charge, thereby offering a new argument against modal theories of essence. I argue that dispositional essentialism requires a primitive notion of essence, and develop a primitivist theory based on Kit Fine's views. I show that the primitivist theory has all the virtues of the modal alternative, and none of the vices. I develop a novel way of thinking about the relationship between properties, laws and dispositions, and argue that it has distinct advantages over standard dispositional essentialist formulations. (shrink)

Davies argues that the ontology of artworks as performances offers a principled way of explaining work-relativity of modality. Object oriented contextualist ontologies of art (Levinson) cannot adequately address the problem of work-relativity of modal properties because they understand looseness in what counts as the same context as a view that slight differences in the work-constitutive features of provenance are work-relative. I argue that it is more in the spirit of contextualism to understand looseness as context-dependent. This points to the (...) general problem—the context of appreciation is not robust enough to ground modal intuitions about objective entities. In general, when epistemology dictates ontology there is always a threat of anti-realism, scepticism and relativism. Davies also appeals to the modality principle—an entity’s essential properties are all and only its constitutive properties. Davies understands essentiality in a traditional way: a property P is an essential property of an object o iff o could not exist and lack P. Kit Fine has recently made a convincing case for the view that the notion of essence is not to be understood in modal terms. I explore some of the implications of this view for Davies’ modal argument for the performance theory. (shrink)

Scientific essentialism is the view that some necessities can be known only with the aid of empirical science. The thesis of the paper is that scientific essentialism does not extend to the central questions of philosophy and that these questions can be answered a priori. The argument is that the evidence required for the defense of scientific essentialism is reliable only if the intuitions required by philosophy to answer its central questions is also reliable. Included is an outline of a (...) modal reliabilist theory of basic evidence and a concept-possession account of the reliability of a priori intuition. (shrink)

This paper surveys recent "new actualist" approaches to modality that do without possible worlds and locate modality squarely in the actual world. New actualist theories include essentialism and dispositionalism about modality, each of which can come in different varieties. The commonalities and differences between these views, as well as their shared motivations, are layed out.

Marchetto of Padua, Lucidarium, authentic, plagal, perfect, imperfect, pluperfect, mixed, odd numbers, even numbers, Aristotle, Metaphysics, Alcmaeon of Croton, causa significationis, dyapente, diatesseron, concord, senaria, Pomerium, Donatus, Vetulus, mode 5, commixed, corda, discant, dyad, voice leading.

Bob Hale’s distinguished record of research places him among the most important and influential contemporary analytic metaphysicians. In his deep, wide ranging, yet highly readable book Necessary Beings, Hale draws upon, but substantially integrates and extends, a good deal his past research to produce a sustained and richly textured essay on — as promised in the subtitle — ontology, modality, and the relations between them. I’ve set myself two tasks in this review: first, to provide a reasonably thorough (if (...) not exactly comprehensive) overview of the structure and content of Hale’s book and, second, to a limited extent, to engage Hale’s book philosophically. I approach these tasks more or less sequentially: Parts I and 2 of the review are primarily expository; in Part 3 I adopt a somewhat more critical stance and raise several issues concerning one of the central elements of Hale’s account, his essentialist theory of modality. (shrink)

In our everyday discourse, most of us use modal statements to express possibility, necessity, or contingency. Logicians, linguists, and philosophers of language tend to use the possible world discourse to analyse the semantics of this kind of sentences. There is a disadvantage of this method: in the usual Quinean meta-ontology it commits the users to the existence of possible worlds. Even though there are many theories on metaphysics of these possible worlds, I will focus on the fictionalist approach, which (...) aims to suspend the undesired ontological commitment. Therefore it is an anti-realist theory. The fictionalist strategy is based on the idea that according to our common-sense ontology, fictions and fictional entities do not exist, and one can treat the possible world discourse as a fiction, and the possible worlds as fictional entities. However, in the last two decades, realist theories about fictions and fictional entities have arisen, especially the abstract artefact theory. In this paper I try to revise the fictionalist approach to modality by keeping the main idea that possible worlds are fictional entities, while accepting that fictional entities are abstract artefacts. The result is a new realist theory of modal fictionalism. (shrink)

This project is an investigation into the prospects for an antirealist theory of essence. Essentialism is the claim that at least some things have some of their properties essentially. Essentialist discourse includes claims such as “Socrates is essentially human”, and “Socrates is accidentally bearded”. Historically, there are two ways of interpreting essentialist discourse. I call these positions ‘modal essentialism’ and ‘neo-Aristotelian essentialism’. According to modal essentialism, for Socrates to be essentially human is for it to be necessary that (...) he be a human if he exists, and for Socrates to accidentally have a beard is for it to be contingent that Socrates has a beard if he exists. According to neo-Aristotelian essentialism, objects have definitions in something like the way words do. For Socrates to be essentially human but accidentally bearded is for it to be part of the definition of Socrates that he is human, but not part of that definition that he is bearded. I argue that both are susceptible to antirealist interpretation. This thesis sets about showing that this is the case. In Chapters One and Two I investigate neo-conventionalist theories of modality, in the hope of using such a position to develop an antirealist modal essentialism. In Chapter Three I discuss the debate between modal and neo-Aristotelian essentialism and conclude that it is by no means settled. In Chapter Four I develop an antirealist neo-Aristotelian essentialism based on the mechanism of one of the neo-conventionalist accounts of modality. In Chapter Five I argue that this account is in a better position to give an essentialist theory of necessity than its realist counterparts. I conclude that, regardless of whether one is a modal or neo-Aristotelian essentialist, antirealist essentialism is a viable theory of essence that is worthy of consideration in contemporary debate. (shrink)

Kit Fine famously objected against the idea that essence can be successfully analyzed in terms of de re necessity. In response, I want to explore a novel, interesting, but controversial modal account of essence in terms of intrinsicality and grounding. In the first section, I will single out two theoretical requirements that any essentialist theory should meet—the essentialist desideratum and the essentialist challenge—in order to clarify Fine’s objections. In the second section, I will assess Denby’s improved modal (...) account, which appeals to the notion of intrinsicality, and argue that it is untenable. In the third section, I will explain how, when combined with a modal-existential criterion, a hyperintensional account of intrinsicality—in the same vein as Bader (J Philos 110(10): 525–563, 2013) and Rosen (in: Hale and Hoffman (eds) Modality: Metaphysics, logic, and epistemology, Oxford, OUP, 2010)—can help successfully address Fine’s counterexamples. In the fourth section, I will evaluate how this novel analysis of essence stands with respect to sortal, origin, and natural kinds essentialism and discuss potential objections and difficulties. (shrink)

On a highly influential way to think of modality, that I call ‘relationalism’, the modality of a state is explained by its being composed of properties, and these properties being related by a higher-order and primitively modal relation. Examples of relationalism are the Dretske-Tooley-Armstrong account of natural necessity, many dispositional essentialist views, and Wang’s incompatibility primitivism. I argue that relationalism faces four difficulties: that the selection between modal relations is arbitrary, that the modal relation cannot belong to (...) any logical order, that to explain how the modal relation can relate properties of different adicities additional ideological complexity has to be introduced, and that not all modal constraints are relational. From the discussion, I will extract desiderata for a successor theory of modality. (shrink)

Do essence-based accounts of necessity and Vetter’s potentiality-based account of possibility in fact lead to the same result, viz., a single derived notion of necessity that is interdefinable with possibility or vice versa? And does each approach independently have the ability to reach its desired goal without having to rely on the primitive notion utilized by the other? In this essay, I investigate these questions and Vetter’s responses to them. Contrary to the “separatist” position defended by Vetter, I argue that (...) there are reasons to favor “Combination”, according to which an essence-based account of necessity should be combined with a potentiality-based account of possibility, or vice versa. According to this alternative approach, essentialism and potentialism should be regarded as allies, rather than as competitors, in a theory of derived modality, since both notions are needed in order to give a full account of necessity and possibility. Keywords: possibility, necessity, potentiality, essence, interdefinability, actuality, dependence, artifact-functions. (shrink)

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of (...) Fine's logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

Provisional draft, pre-production copy of my book “The Modal Future” (forthcoming with Cambridge University Press).

The function of a trait token is usually defined in terms of some properties of other (past, present, future) tokens of the same trait type. I argue that this strategy is problematic, as trait types are (at least partly) individuated by their functional properties, which would lead to circularity. In order to avoid this problem, I suggest a way to define the function of a trait token in terms of the properties of the very same trait token. To able to (...) allow for the possibility of malfunctioning, some of these properties need to be modal ones: a function of a trait is to do F just in case its doing F would contribute to the inclusive fitness of the organism whose trait it is. Function attributions have modal force. Finally, I explore whether and how this theory of biological function could be modified to cover artifact function. (shrink)

In a series of papers, Bence Nanay has recently put forward and defended a new theory of function, which he calls the ‘Modal Theory of Function’. In this article, I critically address this theory and argue that it fails to fulfill some key desiderata that a satisfactory theory of function must comply with. As a result, I conclude that, whatever property Nanay’s notion of function refers to, it is not the property having the function that is standardly attributed in science.

Discrimination is a central epistemic capacity but typically, theories of discrimination only use discrimination as a vehicle for analyzing knowledge. This paper aims at developing a self-contained theory of discrimination. Internalist theories of discrimination fail since there is no compelling correlation between discriminatory capacities and experiences. Moreover, statistical reliabilist theories are also flawed. Only a modal theory of discrimination is promising. Versions of sensitivity and adherence that take particular alternatives into account provide necessary and sufficient conditions on (...) discrimination. Safety in contrast is not sufficient for discrimination as there are cases of safety that are clearly instances of discrimination failure. The developed account of discrimination between objects will be extended to discrimination between kinds and between types. (shrink)

At the beginning of the first book of Posterior Analytics, Aristotle‟s feature of demonstrative knowledge involves a certain concept of “necessity”. The traditional interpretation tends to associate this concept with modal necessity, which is found in the Prior Analytics and De interpretatione. The present article aims to show in which way the sixth chapter of book A of Posterior Analytics presupposes a set of essentialist theses that claims to base the necessity of scientific knowledge on predicative relations of essential (...) character. To acknowledge this essentialist background and simultaneously support a modal interpretation of scientific necessity urges us to attribute serious drawbacks to Aristotle‟s theory of demonstration, forcing us to reassess this interpretative tendency. (shrink)

ABSTRACTRecent debate over the semantics and pragmatics of epistemic modals has focused on intuitions about cross-contextual truth-value assessments. In this paper, we advocate a different approach to evaluating theories of epistemic modals. Our strategy focuses on judgments of the incompatibility of two different epistemic possibility claims, or two different truth value assessments of a single epistemic possibility claim. We subject the predictions of existing theories to empirical scrutiny, and argue that existing contextualist and relativist theories are unable (...) to account for the full pattern of observed judgments. As a way of illustrating the theoretical upshot of these results, we conclude by developing a novel theory of epistemic modals that is able to predict the results. (shrink)

The Lewisean counterpart theorist– despite not defending a genuinely essentialist view of what is possible, de re, of individuals – generally has a way to make essentialist claims come out as true, in those contexts in which they are endorsed by a committed essentialist. In this paper, I am going to show that the normal system that the Lewisean adopts when she wants to make the essentialist a truth-teller does not work with Kit Fine: his (...) class='Hi'>essentialist beliefs, which support his counterexamples to the modal account of essentialism, cannot come out as true, in any contexts whatsoever, under the Lewisean view. After arguing that this represents a genuine problem for Lewis’s theory, I will propose a solution. I will indeed show that the Lewisean has a principled way to account for Fine’s essentialist beliefs, consistently with her own counterpart-theorist reading of them. (shrink)

This paper asks whether a necessity can be the source of necessity. According to an influential argument due to Simon Blackburn, it cannot. This paper argues that although Blackburn fails to show that a necessity cannot be the source of necessity, extant accounts fail to establish that it is, with particular focus on Bob Hale’s essentialist theory and Christopher Peacocke’s ‘principle-based’ theory of modality. However, the paper makes some positive suggestions for what a satisfactory answer to the challenge (...) must look like. (shrink)

I offer a concise critique of a recurring line of reasoning advanced by Joseph LaPorte and Samir Okasha that all modern species concepts render the view that biological organisms essentially belong to their species empirically untenable. The argument, I claim, trades on a crucial modal ambiguity that collapses the de re/de dicto distinction. Contra their claim that the continued adherence of such a view on behalf of contemporary metaphysicians stems from the latter’s ignorance of developments in modern biology, the modal (...) ambiguity reveals the need to retrain in modal metaphysics. (shrink)

We review some of the major accounts in the current epistemology of modality and identify some shared issues that plague all of them. In order to provide insight into the nature of modal statements in science, philosophy, and beyond, a satisfactory epistemology of modality would need to be suitably applicable to practical and theoretical contexts by limited beings. However, many epistemologies of modality seem to work only when we have access to the kind of knowledge that is (...) at least currently beyond our reach. Or, in the extreme case, it is argued that even if we knew all the relevant information about the respective domain – or even the entire state of the world – there would still remain a special class of modal truths that would be left unaccounted for. Neither picture bodes well for practical applicability, nor for the philosophical justification of these epistemologies. This is especially the case as we hold that one of the main motivations for modal inquiry typically arises in cases of imperfect information and limited cognitive resources. We close by providing a partial remedy to the situation by suggesting an overall framework of relative modality (RM) that can be used to both unify some existing modal epistemologies and, at the same time, make them more metaphysically modest. (shrink)

The topic of a priori knowledge is approached through the theory of evidence. A shortcoming in traditional formulations of moderate rationalism and moderate empiricism is that they fail to explain why rational intuition and phenomenal experience count as basic sources of evidence. This explanatory gap is filled by modal reliabilism -- the theory that there is a qualified modal tie between basic sources of evidence and the truth. This tie to the truth is then explained by the theory of concept (...) possession: this tie is a consequence of what, by definition, it is to possess (i.e., to understand) one’s concepts. A corollary of the overall account is that the a priori disciplines (logic, mathematics, philosophy) can be largely autonomous from the empirical sciences. (shrink)

I provide an examination and comparison of modal theories for underwriting different non-modal theories of sets. I argue that there is a respect in which the `standard' modal theory for set construction---on which sets are formed via the successive individuation of powersets---raises a significant challenge for some recently proposed `countabilist' modal theories (i.e. ones that imply that every set is countable). I examine how the countabilist can respond to this issue via the use of regularity axioms and (...) raise some questions about this approach. I argue that by comparing them with the `standard' uncountabilist theory, a new approach that brings in arbitrariness rather than the strict controls of forcing is desirable. (shrink)

The study of reference often leads to addressing fundamental issues in semantics, metaphysics and epistemology; this suggests that reference is closely linked to the three realms. The overall purpose of this study is to elucidate the structure of some of these links, through a close examination of the “mechanism” of reference. As in many other enquiries, considering the possible (i.e., the modal,) in addition to the actual proves very helpful in clarifying and explicating insights. The reference of a term with (...) respect to possible worlds is commonly called “intension”; so this is a study of intensions. The main contribution of the study is an outline for a “calculator” of intensions. It is argued that the intension of a term is a function of three variables: (a) the way in which the term “picks out” its referent in different possible worlds (semantics); (b) criteria of identity (metaphysics); and (c) the actual state of affairs (actuality). While considering different possible values for these variables, it is demonstrated how the variables combine to generate the term’s intension. In other words, the result is a calculator that when provided with the required values, yields the reference of the term in different possible worlds. By taking into account the possible gap between what we take the values of these variables to be and what they may in fact be, we also gain important insights into the epistemic aspect of reference. In addition, since a rigid designator is a term with constant intension, the proposed thesis provides an elaborate account of rigidity. The first chapter is devoted to the development of the calculator of intensions. Each of the following three chapters elaborates on one aspect of intensions, namely, the semantic, metaphysical and epistemic aspects. In the course of these chapters, various familiar puzzles pertaining to the respective philosophical realms are addressed (many of these puzzles are discussed in Kripke’s Naming and Necessity – a work that considerably inspired this study). In the fifth and last chapter the analysis of intensions is applied to two case-studies from relatively recent philosophical literature: the Kripke-Lewis debate over the identity theory of mind, and the debate over the significance of Donnellan’s referential/attributive distinction. The novel accounts that these applications generate purport to illustrate the importance and originality of the proposed thesis. (shrink)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions (...) about their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

Hume thought that if you believed in powers, you believed in necessary connections in nature. He was then able to argue that there were none such because anything could follow anything else. But Hume wrong-footed his opponents. A power does not necessitate its manifestations: rather, it disposes towards them in a way that is less than necessary but more than purely contingent. -/- In this paper a dispositional theory of causation is offered. Causes dispose towards their effects and often produce (...) them. But a set of causes, even though they may succeed in producing an effect, cannot necessitate it since the effect could have been counteracted by some additional power. This would require a separation of our concepts of causal production and causal necessitation. The most conspicuous cases of causation are those where powers accumulate and pass a requisite threshold for an effect to occur. -/- We develop a model for representing powers as constituent vectors within an n-dimensional quality space, where composition of causes appears as vector addition. Even our resultant vector, however, has to be understood as having dispositional force only. This model throws new light on causal modality and cases of prevention, causation by absence and probabilistic causation. (shrink)

Metaphysics-first approaches dominate the current literature in the epistemology of modality. According to metaphysics-firsters, metaphysical theses have an important role in the justification of modal epistemologies. For example, the thesis that essentialist truths constitute the metaphysical grounds of modal truths is meant to have an important role in the justification of essentialist modal epistemologies. In this article, we argue against this approach. We first pick up some of the groundwork on behalf of the metaphysics-firsters and explicitly spell (...) out potential arguments for their view. However, despite some initial plausibility, these arguments are ultimately found wanting. We conclude that the metaphysics-first approach lacks motivation and puts far too stringent demands upon modal epistemologists. (shrink)

Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two monadic predicates.

This paper is partly inspired by a well-known debate between Ruth Barcan Marcus, Terence Parsons and W. V. 0. Quine in the sixties> concerning the extent to which Quantified Modal Logic is committed to Essentialism; the issue nevertheless goes back to the origins of "analytic philosophy'', to the reflections of Frege, Russell, and the earlier Wittgenstein on the nature of logic. By elaborating on a suggestion by Quine, we purport to show that there is a relevant and interesting way to (...) look at the ontological commitments of logical systems such that they are stronger than they are usually taken to be. (shrink)

Some philosophers of fiction – most famously Jerold Levinson1 - have tried to argue that fictional narrators can never be identified with real authors. This argument relies on the claim that narration involves genuine assertion (not just the pretense of assertion that lacks truthfulness) and that real authors are not in a position to assert anything about beings on the fictional plain - given that they don’t rationally believe in their existence. This debate on the status of narrators depends on (...) the idea that fictional beings and beings in the real worlds reside, as it were, at different levels. The assumption that there is a gap separating the levels of fiction and reality serves as a rationale for the claim that real authors could not possibly be en rapport with the fictional characters that they create (e.g. entertain beliefs about them, etc.). (shrink)

The paper elaborates upon various points and arguments in the author’s “A Priori Knowledge and the Scope of Philosophy” (Philosophical Studies, 1993), in which the author defends the autonomy of philosophy from the empirical sciences. It provides, for example, an extended defense of the modal reliabilist theory of basic evidence, including a new argument against evolutionary explanations of the reliability of intuitions. It also contains a fuller discussion of how to neutralize the threat of scientific essentialism to the autonomy of (...) philosophy. (shrink)

Modal intuitions are the primary source of modal knowledge but also of modal error. According to the theory of modal error in this paper, modal intuitions retain their evidential force in spite of their fallibility, and erroneous modal intuitions are in principle identifiable and eliminable by subjecting our intuitions to a priori dialectic. After an inventory of standard sources of modal error, two further sources are examined in detail. The first source - namely, the failure to distinguish between metaphysical possibility (...) and various kinds of epistemic possibility - turns out to be comparatively easy to untangle and poses little threat to intuition-driven philosophical investigation. The second source is the local misunderstanding of one's concepts . This pathology may be understood on analogy with a patient who is given a clean bill of health at his annual check-up, despite his having a cold at the time of the check-up: although the patient's health is locally disrupted, his overall health is sufficiently good to enable him to overcome the cold without external intervention. Even when our understanding of certain pivotal concepts has lapsed locally, our larger body of intuitions is sufficiently reliable to allow us, without intervention, to ferret out the modal errors resulting from this lapse of understanding by means of dialectic and/or a process of a priori reflection. This source of modal error, and our capacity to overcome it, has wide-ranging implications for philosophical method - including, in particular, its promise for disarming skepticism about the classical method of intuition-driven investigation itself. Indeed, it is shown that skeptical accounts of modal error are ultimately self-defeating. (shrink)

In `Essence and Modality', Kit Fine proposes that for a proposition to be metaphysically necessary is for it to be true in virtue of the nature of all objects whatsoever. Call this view Fine's Thesis. This paper is a study of Fine's Thesis in the context of Fine's logic of essence (LE). Fine himself has offered his most elaborate defense of the thesis in the context of LE. His defense rests on the widely shared assumption that metaphysical necessity obeys (...) the laws of the modal logic S5. In order to get S5 for metaphysical necessity, he assumes a controversial principle about the nature of all objects. I will show that the addition of this principle to his original system E5 leads to inconsistency with an independently plausible principle about essence. In response, I develop a theory that avoids this inconsistency while allowing us to maintain S5 for meta- physical necessity. However, I conclude that our investigation of Fine's Thesis in the context of LE motivates the revisionary conclusion that metaphysical necessity obeys the principles of the modal logic S4, but not those of S5. I argue that this constitutes a distinctively essentialist challenge to the received view that the logic of metaphysical necessity is S5. (shrink)

This paper investigates the prospects for a semantic theory that treats disjunction as a modal operator. Potential motivation for such a theory comes from the way in which modals embed within disjunctions. After reviewing some of the relevant data, I go on to distinguish a variety of modal theories of disjunction. I analyze these theories by considering pairs of conflicting desiderata, highlighting some of the tradeoffs they must face.

A common feature of all standard theories of the laws of nature is that they are "absolutist": They take laws to be either all metaphysically necessary or all contingent. Science, however, gives us reason to think that there are laws of both kinds, suggesting that standard theories should make way for "non-absolutist" alternatives: theories which accommodate laws of both modal statuses. In this paper, we set out three explanatory challenges for any candidate non-absolutist theory and discuss the (...) prospects of the two extant candidates in light of these challenges. We then develop our own non-absolutist theory, the essentialist DTA account, which combines the nomic-necessitation or DTA account with an essentialist approach to metaphysical modality in order to meet the three explanatory challenges. Finally, we argue that the distinction between kinematical and dynamical laws found in physical theories supports both non-absolutism in general and our proposed essentialist DTA view in particular. (shrink)

Philosophers and psychologists widely hold that artifact categories – just like biological categories – are individuated by their function. But recent empirical findings in psychology question this assumption. My proposal is to suggest a way of squaring these findings with the central role function should play in individuating artifact categories. But in order to do so, we need to give up on the standard account of artifact function, according to which function is fixed by design, and replace it with a (...) more context-sensitive account, according to which function attributions depend on the explanatory context and, as a result, categorization also depends on the explanatory context, just as the empirical findings from psychology suggest. I argue that the recent ‘modal theory of function’ originally proposed to explain biological function, is capable of providing such an account of artifact function. (shrink)

At least since Aristotle's famous discussion of the sea-battle tomorrow in On Interpretation 9, philosophers have been fascinated by a rich set of interconnecte.

Both mindreading and stereotyping are forms of social cognition that play a pervasive role in our everyday lives, yet too little attention has been paid to the question of how these two processes are related. This paper offers a theory of the influence of stereotyping on mental-state attribution that draws on hierarchical predictive coding accounts of action prediction. It is argued that the key to understanding the relation between stereotyping and mindreading lies in the fact that stereotypes centrally involve character-trait (...) attributions, which play a systematic role in the action–prediction hierarchy. On this view, when we apply a stereotype to an individual, we rapidly attribute to her a cluster of generic character traits on the basis of her perceived social group membership. These traits are then used to make inferences about that individual’s likely beliefs and desires, which in turn inform inferences about her behavior. (shrink)

Spinoza is most often seen as a stern advocate of mechanistic efficient causation, but examining his philosophy in relation to the Aristotelian tradition reveals this view to be misleading: some key passages of the Ethics resemble so much what Surez writes about emanation that it is most natural to situate Spinoza's theory of causation not in the context of the mechanical sciences but in that of a late scholastic doctrine of the emanative causality of the formal cause; as taking a (...) look at the seventeenth-century philosophy of mathematics reveals, this is in consonance also with Spinoza's geometrical cast of mind. Against this background, I examine Spinoza's essentialist model of causation according to which each thing has a formal character determined by the thing's essence and what follows from that essence. In the case of real things this essential causal architecture results in efficacy, i.e. in bringing about real effects, the key idea being that without the essential, formally structured causal thrust there would be no efficacy in the first place. I also explain how this model accounts for efficient causation taking place between finite things. (shrink)

Bundle theories identify material objects with bundles of properties. On the traditional approach, these are the properties possessed by that material object. That view faces a deep problem: it seems to say that all of an object’s properties are essential to it. Essential bundle theory attempts to overcome this objection, by taking the bundle as a specification of the object’s essential properties only. In this paper, I show that essential bundle theory faces a variant of the objection. To avoid (...) the problem, the theory must accept the contingency of identity. I show how this can be achieved in a coherent and well-motivated way, a way that isn’t available to traditional bundle theories. (shrink)

Philosophical debate about the meaning of normative terms has long been pulled in two directions by the apparently competing ideas: (i) ‘ought’s do not describe what is actually the case but rather prescribe possible action, thought, or feeling, (ii) all declarative sentences deserve the same general semantic treatment, e.g. in terms of compositionally specified truth conditions. In this paper, I pursue resolution of this tension by rehearsing the case for a relatively standard truth-conditionalist semantics for ‘ought’ conceived as a necessity (...) modal and proposing a revision to it motivated by the distinctively prescriptive character of some deontic modals. In my view, this puts pressure on a popular conception of one of the core debates of metanormative theory between realists and antirealists. To make good on this claim, I go on to explore two very general ways we might interpret the results of compositional semantics—“representationalism” and “inferentialism”—in order to argue that, contrary to what is generally assumed, both can capture the special prescriptivity of ‘ought’ and both can countenance compositionally specified and informative truth-conditions for ought-sentences. Hence, my main thesis is that the deciding factor between them should not be which of ideas (i) and (ii) we are more impressed by but rather what we think of the relative merits of how representationalism and inferentialism respect these ideas. I’m inclined to favor an antirealist form of inferentialism, but the task I’ve set myself here is mainly to articulate the view in the context of metanormative theory and the semantics of deontic modals rather than try to defend it fully. To this purpose, towards the end I also briefly compare and contrast inferentialism with a third “ideationalist” metasemantic view, which may be an attractive home for some sophisticated versions of metanormative expressivism. Depending on how expressivism is worked out, it may be completely compatible with and so perhaps usefully combined with inferentialism or it may offer a competing way to respect ideas (i) and (ii). (shrink)

Many philosophers believe that there is a causal condition on perception, and that this condition is a conceptual truth about perception. A highly influential argument for this claim is based on intuitive responses to Gricean-style thought experiments. Do the folk share the intuitions of philosophers? Roberts et al. (2016) presented participants with two kinds of cases: Blocker cases (similar to Grice’s case involving a mirror and a pillar) and Non-Blocker cases (similar to Grice’s case involving a clock and brain stimulation). (...) They found that a substantial minority agreed that seeing occurs in the Non-Blocker cases, and that in the Blocker cases significantly less agreed that seeing occurs. They thus hypothesized that folk intuitions better align with a no blocker condition than with a causal condition. This paper continues this line of enquiry with two new experiments. The paper investigates the generality and robustness of Roberts et al.’s findings by expanding the sense modalities tested from only vision to audition and olfaction as well. The paper also uses Gricean-style thought experiments as a case study for investigating the “reflection defense” against the negative project in experimental philosophy. Our results replicate and extend Roberts et al.’s study and support their hypothesis that folk intuitions better align with a no blocker condition. They also provide an empirical reason to doubt the reflection defense. (shrink)

There are three theories in the epistemology of modality that have received sustained attention over the past 20 years: conceivability-theory, counterfactual-theory, and deduction-theory. In this paper we argue that all three face what we call the problem of modal epistemic friction. One consequence of the problem is that for any of the three accounts to yield modal knowledge, the account must provide an epistemology of essence. We discuss an attempt to fend off the problem within the context of (...) the internalism versus externalism debate about epistemic justification. We then investigate the effects that the PMEF has on reductive and non-reductive theories of the relation between essence and modality. (shrink)

In this book, VP builds upon his previous study by shifting focus from the motivation for the ti esti question, to the motivation for the commitment to what is designated by an adequate and true answer to such questions. VP’s aim in this study is to show that what are usually called ‘Forms’ (eidē), rather than being things that have essences, simply are those essences designated by adequate and true answers to ti esti questions. This book is highly recommended for (...) scholars, students, and anyone wishing to understand the core of Plato’s philosophy and its motivations from the ground upwards. (shrink)

On what I call absolutist essentialism about modality (AE), the metaphysical necessities are the propositions that are true in virtue of the essence (i.e. Aristotelian, absolute essence) of some entities. Other kinds of necessity can then be defined by restriction – e.g. the conceptual necessities are the propositions that are true in virtue of the essence of conceptual entities specifically. As an account of metaphysical modality and some other kinds (e.g. logical, conceptual), AE may have important virtues. However, (...) when it comes to accounting for further important kinds, like natural or normative necessity, it faces a challenge. Three main options have been defended: treat those kinds as further restricted forms of metaphysical necessity; define them as conditional forms of metaphysical necessity; treat them as primitive kinds. -/- In this paper, I propose a new option, which combines the main idea of AE (reducing necessities to essences) with an idea which has been developed largely independently: that of relative essence. On the proposed view, those kinds (e.g. natural necessity) that cannot be grounded in the essences (i.e. absolute essences) of the relevant entities (e.g. natural entities) may be grounded in their relative essences instead. Thus, I propose a generalized, or extended, version of AE, which I call relativized essentialism about modality (RE). In particular, RE offers prospects for a general framework for kinds of modality which is flexible enough to cover a large range of kinds (both absolute and relative ones) while remaining parsimonious and unified. (shrink)