The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.

The consensus among spacetime substantivalists is to respond to Leibniz's classic shift arguments, and their contemporary incarnation in the form of the hole argument, by pruning the allegedly problematic metaphysical possibilities that generate these arguments. Some substantivalists do so by directly appealing to a modal doctrine akin to anti-haecceitism. Other substantivalists do so by appealing to an underlying hyperintensional doctrine that implies some such modal doctrine. My first aim in this paper is to pose a challenge for all extant forms (...) of this consensus position. My second aim is to show what form substantivalism must take in order to uphold the consensus while addressing this challenge. The result is a novel "plenitudinous" substantivalist view, which predicts that certain modal facts about spacetime are vague or indeterminate. I then argue against this view on independent grounds, concluding that substantivalists should reject the consensus position. The paper also discusses the way forward for substantivalists in light of this conclusion. (shrink)

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (shrink)

The existence and importance of supervenience principles for identity across times and worlds have been noted, but insufficient attention has been paid to their precise nature. Such attention is repaid with philosophical dividends. The issues in the formulation of the supervenience principles are two. The first involves the relevant variety of supervenience: that variety is global, but there are in fact two versions of global supervenience that must be distinguished. The second involves the subject matter: the names “identity over time” (...) and “identity across worlds” are misnomers, for in neither case is identity at issue. The philosophical dividends then follow. Nathan Salmon’s argument that identity over time needs no “grounds” in matters of qualitative fact can be answered, as can an argument offered by many, that coincident objects would require objectionably ungrounded differences in identities across times and worlds. (shrink)

According to structuralism, all natural properties are individuated by their roles in causal/nomological structures. According to quidditism, at least some natural properties are individuated in some other way. Because these theses deal with the identities of natural properties, this distinction cuts to the core of a serious metaphysical dispute: Are the intrinsic natures of all natural properties essentially causal/nomological in character? I'll argue that the answer is ‘no’, or at least that this answer is more plausible than many critics of (...) quidditism have recognized. In section 1, I distinguish between two versions of quidditism. Bare quidditism holds that worlds with distinct properties and isomorphic structures must be qualitatively identical in the following sense: inhabiting one world would be indistinguishable from inhabiting the other. In contrast, qualitative quidditism allows such worlds to have qualitative differences. In section 2, I discuss an epistemological position that allows us to bett... (shrink)

According to Essentialism, an object’s properties divide into those that are essential and those that are accidental. While being human is commonly thought to be essential to Socrates, being a philosopher plausibly is not. We can motivate the distinction by appealing—as we just did—to examples. However, it is not obvious how best to characterize the notion of essential property, nor is it easy to give conclusive arguments for the essentiality of a given property. In this paper, I elaborate on these (...) issues and explore the way in which essential properties behave in relation to other related properties, like sufficient-for-existence properties and individual essences. (shrink)

Philosophers distinguish between having a property essentially and having it accidentally. The way the distinction has been drawn suggests that it is modal in character, and so that it can be captured in terms of necessity, or cognate notions. The present chapter takes the suggestion at face value by considering a number of modal characterizations of the essential/accidental distinction that have been articulated and discussed since the early 20th century, as well as some of the challenges that they face.

The distinction between essential versus accidental properties has been characterized in various ways, but it is currently most commonly understood in modal terms: an essential property of an object is a property that it must have, while an accidental property of an object is one that it happens to have but that it could lack. Let’s call this the basic modal characterization, where a modal characterization of a notion is one that explains the notion in terms of necessity/possibility. In the (...) characterization just given of the distinction between essential and accidental properties, the use of the word “must” reflects the fact that necessity is invoked, while the use of the word “could” reflects that possibility is invoked. The notions of necessity and possibility are interdefinable: to say that something is necessary is to say that its negation is not possible; to say that something is possible is to say that its negation is not necessary; to say that an object must have a certain property is to say that it could not lack it; and to say that an object could have a certain property is to say that it is not the case that it must lack it. (shrink)

Those who favour an ontology based on dispositions are thereby able to provide a dispositional essentialist account of the laws of nature. In part 1 of this paper I sketch the dispositional essentialist conception of properties and the concomitant account of laws. In part 2, I characterise various claims about the modal character of properties that fall under the heading ‘quidditism’ and which are consequences of the categoricalist view of properties, which is the alternative to the dispositional essentialist view. I (...) argue that quidditism should be rejected. In part 3, I address a criticism of a strong dispositional essentialist view, viz. that ‘structural’ (i.e. geometrical, numerical, spatial and temporal) properties must be regarded as categorical. (shrink)

In this chapter, I survey what I call Lewisian approaches to modality: approaches that analyze modality in terms of concrete possible worlds and their parts. I take the following four theses to be characteristic of Lewisian approaches to modality. (1) There is no primitive modality. (2) There exists a plurality of concrete possible worlds. (3) Actuality is an indexical concept. (4) Modality de re is to be analyzed in terms of counterparts, not transworld identity. After an introductory section in which (...) I motivate analyzing modality in terms of possible worlds, I devote one section to each of these four theses. For each thesis, I take Lewis’s interpretation and defense as my starting point. I then consider and endorse alternative ways of accepting the thesis, some of which disagree substantially with Lewis’s interpretation or defense. There is more than one way to be a Lewisian about modality. (shrink)

In this volume, thirteen philosophers contribute new essays analyzing the criteria for personal identity and their import on ethics and the theory of action: it presents contemporary treatments of the issues discussed in Personal Identity, edited by John Perry (University of California Press, 1975).

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)

I discuss Stalnaker’s views on modality. In particular, his views on actualism, anti-essentialism, counterpart theory, and the Barcan formulas.

Discussions about dispositional and categorical properties have become commonplace in metaphysics. Unfortunately, dispositionality and categoricity are disputed notions: usual characterizations are piecemeal and not widely applicable, thus threatening to make agreements and disagreements on the matter merely verbal—and also making it arduous to map a logical space of positions about dispositional and categorical properties in which all parties can comfortably fit. This paper offers a prescription for this important difficulty, or at least an inkling thereof. This will be achieved by (...) comparing pairs of positions and exploring their background metaphysics to discover where alleged agreements and disagreements concerning dispositionality and categoricity really lie; more specifically, the Pure Powers view and the Powerful Qualities view will be under scrutiny. Over this background, the prescription functions by isolating a successful identity-based characterization of categoricity, while abandoning the correspondent identity-based characterization of dispositionality. On the contrary, according to this prescription a property is dispositional if and only if it is solely in virtue of possessing that property that its bearer is assigned a certain dispositional profile. A crucial consequence of this prescription is that, while supporters of the Pure Powers view often characterize their position as an essentialist one, the dispositionality of properties needn’t always be a matter of essence. (shrink)

In a recent article in Analysis, Graeme Hunter and William Seager (1981) attempt to rescue counterpart theory (CT) from some objections of Hazen 1979. They see these objections as arising from ‘uncritical use of the translation scheme originally proposed by Lewis’, and intend to meet them by refraining from use of that scheme. But they do not offer a new scheme; they say ‘…it is no more necessary to have one to capture the sense of modal idiom than it is (...) to capture the sense of quantificational idiom…Appeal to truth value is the single most important criterion of correct translation’ (Hunter and Seager 1981:72). Thus, where the scheme of Lewis (1968) translates a truth by a falsehood or conversely, Hunter and Seager simply produce a sentence which they claim to be a better translation, without articulating any structural principles they employ to arrive at their candidate. A friend of CT should not be happy with this procedure. Let Lm be first-order modal language and Lc be the language of counterpart theory. Sentences of Lc are intended to interpret or elucidate the meanings of Lm-sentences in the strong sense that they should be the outputs of an adequate theory of meaning, which we can formulate as a model theory, for Lm, written in Lc plus set theory. The interest of CT resides in its potential to provide an alternative approach to the model theory of modal logic, and from the clauses of any such alternative model theory we should be able to read off a translation scheme for Lm into Lc, just as we can in the standard case. If CT’s motivation is sound, which Hunter and Seager do not dispute, yet there is no translation scheme and so no counterpart-theoretic model theory, one might suspect some defect in the original language Lm. And in fact, Hunter and Seager find certain Lm-sentences multiply ambiguous with respect to Lc; but if a counterpart-theoretic model theory is possible, to say.. (shrink)

Paradoxes of nested modality, like Chisholm’s paradox, rely on S4 or something stronger as the propositional logic of metaphysical modality. Sarah-Jane Leslie’s objection to the resolution of Chisholm’s paradox by means of rejection of S4 modal logic is investigated. A modal notion of essence congenial to Leslie’s objection is clarified. An argument is presented in support of Leslie’s crucial but unsupported assertion that, on pain of inconsistency, an object’s essence is the same in every possible world. A fallacy in the (...) argument is exposed. Alternative interpretations of Leslie’s objection are provided and are found to involve equivocation between different notions of “essence.” A material artifact’s modal essence, as distinct from its quiddity essence, could have been different than it is. (shrink)

An argument to the effect that, under a few reasonable assumptions, the bare particular ontology is best understood in terms of supersubstativalism: objects are identical to regions of space(-time) and properties directly inhere in space(-time) points or region as their bearers.

This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...) of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs. (shrink)

In this thesis, I develop a nonreductive and general conception of potentiality, and explore the prospects of a realist account of possibility based on this account of potentiality. Potentialities are properties of individual objects; they include dispositions such as fragility and abilities such as the ability to play the piano. Potentialities are individuated by their manifestation alone. In order to provide a unified account of potentialities, I argue in chapter 2 that dispositions, contrary to philosophical orthodoxy, are best understood in (...) terms only of their manifestations (as disposi- tions to ...), rather than in terms of a stimulus and a manifestation condition (as dispositions to ... if ...). Chapter 3 provides some preliminary motivation for a nonreductive and gen- eral account of potentiality, and chapter 4 develops such an account. The guiding question is how far the notion of potentiality can be extended from the initial ex- amples of familiar dispositions and abilities, and it is argued that it can be extended very far. Various features of potentialities are explored, among them extrinsicality, iterations of potentiality, and the behaviour of potentiality with regard to logical equivalence. In chapter 5, the account is set to work in providing the outlines and a defense of a potentiality-based account of possibility. The basic idea of such an account is that it is possible that p just in case some thing has a potentiality for p. The account is defended against the objection that there may not be enough potential- ities to ground all the possibilities that there are. Finally, in chapter 6, a logic of potentiality is formulated and the logic of possibility derived from it, showing that the potentiality-based account of possibility is formally adequate: it provides pos- sibility with the formal features that modal logicians have studied. I conclude that the proposed account of possibility is a promising research programme. (shrink)

Essentialists suppose that for every individual, if that individual exists at any possible world, then necessarily that individual exemplifies some non-trivial qualitative property essential to it, as such. Anti-essentialists deny this. One important argument leveled by some anti-essentialists against essentialism takes the form of a thought experiment, one originally introduced by Roderick Chisholm, sometimes referred to as Chisholm's Paradox (CP). In this essay, I defend essentialism against CP. I begin by presenting the argument and showing how it leads to a (...) contradiction of the essentialist thesis. I then consider one of the most popular solutions to CP to date, that given by Nathan Salmon. Next, I critique Salmon's proposal and show that it is an insufficient response on behalf of the essentialist. And finally, I propose a novel solution to the paradox and discuss why it is that many metaphysician in the past have found CP plausible, despite being fallacious. (shrink)

It has been argued by some that the argument from vagueness is one of the strongest arguments in favor of the theory of temporal parts. I will neither support nor dispute this claim here. Rather, I will present a version of the argument from vagueness, which – if successful – commits one to the existence of modal parts. I argue that a commitment to the soundness of the argument from vagueness for temporal parts compels one to commit to the soundness (...) of the argument from vagueness for modal parts. I say compels, but not entails; an objection to one of the arguments highlights analogous ways to reject the other, making it difficult to endorse one and reject the other. This would be a significant conclusion, if true, since there are far fewer who currently commit themselves to modal parts than the many who currently commit themselves to temporal parts. (shrink)

In ‘Ramseyan Humility’ David Lewis argues that a particular view about fundamental properties, quidditism, leads to the position that we are irredeemably ignorant of the identities of fundamental properties. We are ignorant of the identities of fundamental properties since we can never know which properties play which causal roles, and we have no other way of identifying fundamental properties other than by the causal roles they play. It has been suggested in the philosophical literature that Lewis’ argument for Humility is (...) merely an instance of traditional scepticism, to which traditional responses to scepticism are applicable. I agree that in ‘Ramseyan Humility’ Lewis does present an argument to which it is appropriate to consider the applicability of responses to traditional scepticism—he argues that we irredeemably lack the evidence to rule out possibilities in which different properties occupy the causal roles described by our best physical theory. And prima facie this is just the kind of argument responses to traditional scepticism are designed to tackle. However, I will argue that Lewis bolsters this argument with a second. This second argument serves to deepen Lewis’ case and cannot be met with a response to traditional scepticism. For Lewis argues that not only do we lack evidence for which properties play which roles, we lack the ability to grasp any such proposition about role-occupancy. And if we cannot grasp any such proposition we cannot know it. (shrink)

If an object has a property essentially, it has that property in every possible world according to which it exists.2 If an object has a property accidentally, it does not have that property in every possible world according to which it exists. Claims about an object’s essential or accidental properties are de re modal claims, and essential and accidental properties are de re modal properties. Take an object’s modal profile to specify its essential properties and the range of its accidental (...) properties. Note that “world” as I am using it is a term of art: a modal realist believes that there are many concrete worlds, while the actualist believes in only one concrete world, the actual world. The ersatzist is an actualist who takes nonactual possible worlds and their contents to be abstracta. Essentialism is the view that objects have properties essentially, but one should distinguish deep essentialism from shallow essentialism. Deep essentialists take the (nontrivial) essential properties of an object to determine its nature— such properties give sense to the idea that an object has a unique and distinctive character, and make it the case that an object has to be a certain way in order for it to be at all.3 As Stephen Yablo (1987, 297) describes it, the essence of a thing is “an assortment of properties in virtue of which it is the entity in question,” as well as “a measure of what is required for it to be that thing.” Intuitively, on the deep essentialist picture, an ordinary object has essential properties, and it must have its essential properties in order for it to exist. On this view, objects’ essential properties are absolute, i.e., are not determined by contexts of describing (or thinking, etc.) about the object, and truths about such properties are absolute truths.4 Shallow essentialists oppose deep essentialists: they reject the view that objects can be said to have essential properties independently of contexts of description or evaluation, and so substitute context-dependent truths for the deep essentialist’s context-independent ones.. (shrink)

This paper is about two puzzles, or two versions of a single puzzle, which deserve to be called paradoxes, and develops some apparatus in terms of which the apparently conflicting principles which generate the puzzles can be rendered consistent. However, the apparatus itself is somewhat controversial: the puzzles are modal ones, and the resolution to be advocated requires the adoption of a counterpart theoretic semantics of essentially the kind proposed by David Lewis, which in turn requires qualified rejection of certain (...) modal theses about identity which are valid in S5. (shrink)

Counterpart theory is often advertised by its track record at solving metaphysical puzzles. Here I focus on puzzles of occasional identity, wherein distinct individuals at one world or time appear to be identical at another world or time. To solve these puzzles, the usual interpretation rules of counterpart theory must be extended beyond the simple language of quantified modal logic. I present a more comprehensive semantics that allows talking about specific times and worlds, that takes into account the multiplicity and (...) sortal-dependence of counterpart relations, and that does not require names to denote actual or present individuals. In addition, the semantics I defend does not identify ordinary individuals with world-bound or time-bound stages and thereby avoids the most controversial aspect of counterpart theory. Humphrey’s counterpart at other worlds or times is none other than Humphrey himself. (shrink)

According to haecceitism, some maximal possibilities differ even while they are qualitatively indiscernible. Since haecceitism is a modal thesis, it is typically defended by appeal to conceivability arguments. These arguments require us to conceive of qualitatively indiscernible possibilities that differ only with respect to the identity of the individuals involved. This paper examines a series of conceivability arguments for haecceitism and a variety of anti-haecceitist responses. It concludes that there is no irresistible conceivability argument for haecceitism even while anti-haecceitist responses (...) do come with certain notable commitments. (shrink)

Relativized Metaphysical Modality (RMM: Murray and Wilson, 'Relativized metaphysical modality', Oxford Studies in Metaphysics, 2012; Murray, Perspectives on Modal Metaphysics, 2017) exploits 'two-dimensionalist' resources to metaphysical, rather than epistemological, ends: the second dimension offers perspective-dependence without contingency, diverting attacks on 'Classical' analyses of modals (in effect, analyses validating S5 and the Barcan Formulae). Here, we extend the RMM program in two directions. First, we harvest resources for RMM from Lewis's 1980 'Context--Index' (CI) framework: (a) the ban in CI on binding (...) into context-arguments (akin to Kaplan's 'monstrosity' ban) projects a bright line between perspective-dependence and contingency; and (b) CI-postulated connections among meaning, content, truth, argument-structure, context, and modality collectively generate a 'Generalized Humphrey Problem' for any non-Classical analysis (examples covered include appeals to accessibility, contingent domains, and counterpart relations). Second, we sharpen the tools of RMM-based metaphysical analysis, and extend their domain of coverage across familiar anomalies for Classical modals: we revisit earlier RMM-based bulwarks for S5 (against 'Chisholm's Paradox' for moderate flexibility of essence, and nomological necessitarianism); and we now similarly shore up the Barcan Formulae (against the apparent contingency of existence and nonexistence). (shrink)

Is the world internally connected by a web of necessary connections or is everything loose and independent? Followers of David Hume accept the latter by upholding Hume’s Dictum, according to which there are no necessary connections between distinct existences. Roughly put, anything can coexist with anything else, and anything can fail to coexist with anything else. Hume put it like this: “There is no object which implies the existence of any other if we consider these objects in themselves.” Since Hume’s (...) day, Hume’s Dictum has played a major role in philosophy, especially in contemporary metaphysics. In ruling out necessary connections, Hume’s Dictum implies that causal relations and the laws of nature are contingent. It makes other demands on our metaphysics of science as well; for example, it places restrictions on our metaphysics of counterfactuals, dispositions, and explanation. The principle has applications in other areas too. Hume’s Dictum places constraints on our theories of abstract objects and moral properties. For example, Hume’s Dictum rules out the view that moral properties are distinct from, but necessarily connected to, non-moral properties. While Hume’s Dictum is a prominent principle in metaphysics, few Humeans have defended the principle at length. It is assumed more often than it is argued for. As a result, Hume’s Dictum no longer enjoys the reputation it once did. It’s common to hear complaints about the lack of arguments in support of Hume’s Dictum. Moreover, philosophers are increasingly willing to defend views that are at odds with Hume’s Dictum. A striking example of this is the recent explosion of interest in views that take causal relations and the laws of nature to be necessary. Humeans can no longer afford to be complacent. An extended defense of Hume’s Dictum is called for, and that’s what this dissertation aims to offer. This dissertation has three parts. In the first part, I lay out some preliminaries and offer a precise formulation of Hume’s Dictum. In the second part, I develop three arguments in favor of Hume’s Dictum. In the final part, I defend Hume’s Dictum against objections. (shrink)

A common distinction is the one drawn between individuals and kinds. On the one hand, individuals are entities such as the chair where I am now sitting, my cat Aristotle, the particles that compose the chair and my cat, and the 2023 Rugby World Cup, that is, particular objects or events. On the other hand, kinds are entities such as chairs, cats, and world-cup finals, that is, roughly, groupings of particular objects or events. Granting this distinction and the assumption that (...) at least some entities have at least some essential properties, one faces two distinct types of questions: (1) what is essential to an individual? (2) what is essential to a kind? After giving a short discussion of the difference between individuals and kinds, this chapter will tackle the first question and consider various possibilities of what may count as essential to an individual. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

What would my life have been like if I had been born more intelligent? Or taller? Or a member of the opposite sex? Or a non-biological being? It is plausible that some of these questions make sense, while others stretch the limits of sense making. In addressing questions of how I might have been, genetic essentialism is popular, but this article argues that genetic essentialism, and other versions of origin essentialism for organisms, must be rejected. It considers the prospects for (...) counterpart theory and shows how counterpart theory can be used to illuminate volitional accounts of identity as proposed by Harry Frankfurt. This enables one to make sense of claims that, say, being gay, or Deaf, or Black, can be essential to someone's identity. The discussion is then extended to show how it can be made applicable to the transworld identity theorist who denies that individuals possess essential properties. (shrink)

It seems to be a platitude of common sense that distinct ordinary objects cannot coincide, that they cannot fit into the same place or be composed of the same parts at the same time. The paradoxes of coincidence are instances of a breakdown of this platitude in light of counterexamples that are licensed by innocuous assumptions about particular kinds of ordinary object. Since both the anticoincidence principle and the assumptions driving the counterexamples flow from the folk conception of ordinary objects, (...) the paradoxes threaten this conception with inconsistency. Typical approaches to the paradoxes reject the anticoincidence principle or some portion of the assumptions driving the counterexamples, thereby partially revising our common conception of the world around us. This essay offers a compatibilist solution to the paradoxes that sustains the folk conception of ordinary objects in its entirety. According to this solution, the various cases of distinct coincidents do not clash with the anticoincidence principle since the cases and the principle manifest different yet compatible perspectives on the world. (shrink)

Causal essentialists hold that a property essentially bears its causal and nomic relations. Further, as many causal essentialists have noted, the main motivations for causal essentialism also motivate holding that properties are individuated in terms of their causal and nomic relations. This amounts to a kind of identity of indiscernibles thesis; properties that are indiscernible with respect to their causal and nomic relations are identical. This can be compared with the more well-known identity of indiscernibles thesis, according to which particulars (...) that are qualitatively indiscernible are identical. Robert Adams has developed a well-known objection to this thesis by considering a series of possibilities involving nearly qualitatively indiscernible particulars that naturally leads to a possibility involving qualitatively indiscernible particulars. I argue that we can construct parallel cases involving a series of possibilities involving properties that are nearly indiscernible with respect to their causal and nomic relations that naturally lead to possibilities involving properties that are indiscernible with respect to their causal and nomic relations. The same features that make Adams’ argument forceful also carry over to my cases, giving us a powerful objection to the causal essentialist identity of indiscernibles thesis. (shrink)

Debate between Humean contingentists and anti-Humean necessitarians in the philosophy of science is ongoing. One of the most important contemporary anti-Humeans is Alexander Bird. Bird calls the particular version of Humeanism he is opposed to 'categoricalism'. In his paper (2005) and in Chapter 4 of his book (2007) Bird argues against categoricalism about properties and laws. His arguments against categoricalism about properties are intended to support the necessitarian position he calls dispositional monism. His arguments against categoricalism about laws are intended (...) to refute the contingent regularity view of laws (even in its sophisticated Lewisean version) and the nomic necessitation view of Armstrong (which involves a contingent necessitation relation). The general position Bird defends is that properties are necessarily related to the dispositions they bestow on their bearers and laws are necessary truths. I consider two of Bird's arguments against categoricalism about properties, and one of his arguments against the regularity view of laws. Maybe other arguments against categoricalism are persuasive. These, I submit, are not. (shrink)

Lewis proposed to test the validity of a modal thesis by checking whether its possible-world translation is a theorem of counterpart theory. However, that criterion fails to validate many standard modal laws, thus raising doubts about the logical adequacy of the Lewisian framework. The present paper considers systems of counterpart theory of increasing strength and shows how each can be motivated by exhibiting a suitable intended model. In particular, perfect counterpart theory validates all the desired modal laws and therefore provides (...) a way out of the logical objection. Finally, a weakening of perfect counterpart theory is put forward as a response to some metaphysical objections. (shrink)

Existentialism claims that propositions that directly refer to individuals depend on those individuals for their existence. I argue for two points regarding Existentialism. First, I argue that recent accounts of Existentialism run into difficulties accommodating the possibility of there being a lonely alien electron. This problem is distinct from one of the better-known alien problems—concerning iterated modal properties of aliens—and can’t be solved using a standard response to the iterated case. Second, though the lonely alien electron problem might seem to (...) be reason to reject the sort of Existentialist view at hand, there’s a plausible way to preserve the view: accept the existence of possible worlds that directly refer to individuals that don’t exist in those worlds. Such a solution might seem incompatible with Existentialism, but I show that Existentialists can avoid the incompatibility and should find the resulting view plausible. (shrink)

Referential uses of quantified determiner phrases other than descriptions have not been extensively considered. In this paper they are considered in some detail, and related to referential uses of descriptions. The first aim is to develop the observation that, contrary to the currently received view that it is only for descriptions that referential uses are frequent and standard, arising in run-of-the-mill contextual scenarios, this is in fact the case for all usual kinds of quantifier phrases. A second aim is to (...) offer a preliminary discussion of how these data about quantifier phrases other than descriptions constrain the feasible extensions of theories of descriptions to cover the referential uses of quantifier phrases in general. I argue that the data don’t support a semantic explanation of referential uses of descriptions, and in fact suggest problems for several semantic theories of referential uses of quantifier phrases in general. I also argue that pragmatic theories of referential uses of quantifier phrases in general might plausibly explain standard referential uses as involving a genus of particularized conversational implicatures in which no conversational maxims are “flouted” or even violated, rather than generalized implicatures or particularized implicatures of Grice’s “exploitative” type. I nevertheless emphasize that I don’t take the dispute between semantic and pragmatic theories of referential use to have been satisfactorily resolved. (shrink)

I introduce and defend the semantic notion of counterfactual identity, distinguishing it from the metaphysical notion of transworld identity. After showing that Lewis's counterpart theory misconstrues counterfactual identity facts, I outline and motivate a ‘Leibnizian counterpart theory’ where the notion of counterfactual identity is adequately modelled. Finally, I show that counterfactual identity can be characterized without relying on some implausible features of Lewis's theory of conditionals.