Some philosophers respond to Leibniz’s “shift” argument against absolute space by appealing to antihaecceitism about possible worlds, using David Lewis’s counterpart theory. But separated from Lewis’s distinctive system, it is difficult to understand what this doctrine amounts to or how it bears on the Leibnizian argument. In fact, the best way of making sense of the relevant kind of antihaecceitism concedes the main point of the Leibnizian argument, pressing us to consider alternative spatiotemporal metaphysics.

The counterpart theorist has a problem: there is no obvious way to understand talk about actuality in terms of counterparts. Fara and Williamson have charged that this obstacle cannot be overcome. Here I defend the counterpart theorist by offering systematic interpretations of a quantified modal language that includes an actuality operator. Centrally, I disentangle the counterpart relation from a related notion, a ‘representation relation’. The relation of possible things to the actual things they represent is variable, and an adequate account (...) of modal language must keep track of the way it is systematically shifted by modal operators. I apply my account to resolve several puzzles about counterparts and actuality. In technical appendices, I prove some important logical results about this ‘representational’ counterpart system and its relationship to other modal systems. (shrink)

In this paper, I examine the case that has been made for origin essentialism and find it wanting. I focus on the arguments of Nathan Salmon and Graeme Forbes. Like most origin essentialists, Salmon and Forbes have been concerned to respect the intuition that slight variation in the origin of an artifact or organism is possible. But, I argue, both of their arguments fail to respect this intuition. Salmon's argument depends on a sufficiency principle for cross-world identity, which should be (...) rejected, if - as Salmon concedes - a given artifact might have been originally made from slightly different material. Similarly, Forbes's argument succeeds only if essentially the same argument can be used to establish a claim that - by his own admission - is too strong, namely that no variation, however slight, in an organism's origin is possible. (shrink)

This paper examines a doctrine which David Lewis has called 'Humean Supervenience' (hereafter 'HS'), and a problem which certain imaginary cases seem to generate for HS. They include rotating perfect spheres or discs, and flowing rivers, imagined as composed of matter which is perfectly homogeneous right down to the individual points. Before considering these examples, I shall introduce the doctrine they seem to challenge.

This paper is concerned with two concepts of qualitativeness that apply to intensional entities. I propose an account of pure qualitativeness that largely follows the traditional understanding established by Carnap, and try to shed light on its ontological presuppositions. On this account, an intensional entity is purely qualitative iff it does not ‘involve’ any particular. An alternative notion of qualitativeness—which I propose to refer to as a concept of strict qualitativeness—has recently been introduced by Chad Carmichael. However, Carmichael’s definition presupposes (...) a highly fine-grained conception of properties and relations. To eliminate this presupposition, I tentatively suggest a different definition that rests on a concept of perspicuous denotation. In the penultimate section, both concepts of qualitativeness are put to work in distinguishing between different ‘grades’ of qualitative discriminability. (shrink)

Being Known is a response to a philosophical challenge which arises for every area of thought: to reconcile a plausible account of what is involved in the truth of statements in a given area with a credible account of how we can know those statements. Christopher Peacocke presents a framework for addressing the challenge, a framework which links both the theory of knowledge and the theory of truth with the theory of concept-possession.

Thought experiments about the self seem to lead to deeply conflicting intuitions about the self. Cases imagined from the 3rd person perspective seem to provoke different responses than cases imagined from the 1st person perspective. This paper argues that recent cognitive theories of the imagination, coupled with standard views about indexical concepts, help explain our reactions in the 1st person cases. The explanation helps identify intuitions that should not be trusted as a guide to the metaphysics of the self.

Recent work in the philosophy of mathematics has suggested that mathematical structuralism is not committed to a strong form of the Identity of Indiscernibles (II). José Bermúdez demurs, and argues that a strong form of II can be warranted on structuralist grounds by countenancing identity properties, or haecceities, as legitimately structural. Typically, structuralists dismiss such properties as obviously non-structural. I will argue to the contrary that haecceities can be viewed as structural but that this concession does not warrant Bermúdez’s version (...) of II but, rather, another easily falsified version. I close with some reflections on reference vis-à-vis structurally indiscernible objects. (shrink)

This introduction to modality places the emphasis on the metaphysics of modality rather than on the formal semetics of quantified modal logic. The text begins by introducing students to the "de re/de dicto" distinction, conventionalist and conceptualist theories of modality and some of the key problems in modality, particularly Quine's criticisms. It then moves on to explain how possible worlds provide a solution to many of the problems in modality and how possible worlds themselves have been used to analyse notions (...) outside modality such as properties and propositions. Possible worlds introduce problems of their own and the book argues that to make progress with these problems a theory of possible worlds is required. The pros and cons of various theories of possible worlds are then examined in turn, including those of Lewis, Kripke, Adams, Stalnaker and Plantinga. (shrink)

In this paper I claim that Earman and Norton 's hole argument against substantivalist interpretations of General Relativity assumes that the substantivalist must adopt a conception of determinism which I argue is unsatisfactory. Butterfield and others have responded to the hole argument by finding a conception of determinism open to the substantivalist that is not prone to the hole argument. But, unfortunately for the substantivalist, I argue this conception also turns out to be unsatisfactory. Accordingly, I search for a conception (...) of determinism that is both independently plausible and capable of blocking the hole argument. (shrink)

Actualists who believe in possible worlds typically regard them as "abstract" objects of some special sort. For example, Alvin Plantinga takes worlds to be maximal possible states-of-affairs, all of which "exist", as actualism requires, but only one of which "obtains". Views like Plantinga's run into difficulty in the interpretation of statements of "iterated" modality, statements about what is "possible" for individuals that "could" exist but that do not actually exist. These statements seem to require the existence of "singular" states-Of-affairs that (...) have nonactual individuals as constituents, a requirement that is incompatible with actualism. One can try to avoid the troublesome singular states-of-affairs by introducing "unexemplified individual essences" and maintaining that these are the true constituents of the required states-of-affairs, rather than the nonactual possibles themselves. However, serious arguments are raised against this employment of individual essences. (shrink)

Structuralism and quidditism are competing views of the metaphysics of property individuation: structuralists claim that properties are individuated by their nomological roles; quidditists claim that they are individuated by something else. This paper (1) refutes what many see as the best reason to accept structuralism over quidditism and (2) offers a methodological argument in favor of a quidditism. The standard charge against quidditism is that it commits us to something ontologically otiose: intrinsic aspects of properties, so-called ‘quiddities’. Here I grant (...) that quiddities are ontologically otiose, but deny that quidditism requires them. According to a view I call ‘austere quidditism’, properties are individuated by bare numerical identity. I argue that, as far as ontological parsimony is concerned, austere quidditism and structuralism are on a par. But is austere quidditism a coherent alternative to structuralism? To see that it is, we must get clear on what exactly we mean by ‘property individuation’. What we discover is that structuralism is a counterpart theory for properties, and that austere quidditism is simply the rejection of counterpart theory. I conclude with a methodological argument to the effect that counterpart theory for properties ought to be rejected. This paper begins by situating the debate between structuralists and quidditists within the context of a debate over the epistemic limits of fundamental science. At the center of this debate is David Lewis’s posthumously published ‘Ramseyan Humility’ (2008). In the appendix I explain the precise role of austere quidditism in Lewis’s argument. (shrink)

Thomas Hofweber argues that the thesis of direct reference is incompatible with physicalism, the claim that the nonphysical supervenes on the physical. According to Hofweber, direct reference implies that some physical objects have object-dependent properties, such as being Jones’s brother, which depend on particular objects for their existence and identity. Hofweber contends that if some physical objects have object-dependent properties, then Local-Local Supervenience (the physicalist doctrine on which he concentrates) fails. In this note, we argue that Hofweber has failed to (...) show that the possession by physical objects of object-dependent properties implies the falsity of Local-Local Supervenience. (shrink)

Antihaecceitists believe that all facts about specific individuals—such as the fact that Fred exists, or that Katie is tall—globally supervene on purely qualitative facts. Haecceitists deny that. The issue is not only of interest in itself, but receives additional importance from its intimate connection to the question of whether all fundamental facts are qualitative or whether they include facts about which specific individuals there are and how qualitative properties and relations are distributed over them. Those who think that all fundamental (...) facts are qualitative are arguably committed to antihaecceitism. The goal of this paper is to point out some problems for antihaecceitism (and therefore for the thesis that all fundamental facts are qualitative). The article focuses on two common assumptions about possible worlds: (i) Sets of possible worlds are the bearers of objective physical chance. (ii) Counterfactual conditionals can be defined by appeal to a relation of closeness between possible worlds. The essay tries to show that absurd consequences ensue if either of these assumptions is combined with antihaecceitism. Then it considers a natural response by the antihaecceitist, which is to deny that worlds play the role described in (i) and (ii). Instead, the reply continues, we can introduce a new set of entities that are defined in terms of worlds and that behave the way worlds do on the haecceitist position. That allows the antihaecceitist to formulate antihaecceitist friendly versions of (i) and (ii) by replacing the appeal to possible worlds with reference to the newly introduced entities. This maneuver invites an obvious reply, however. If the new entities are the things that play the role we typically associate with worlds, as partially described by (i) and (ii), then it is natural to conclude that they really are the entities we talk about when we speak of worlds, so that haecceitism is true after all. (shrink)

This paper engages with two compelling challenges to physicalism, each designed to show that the nature of experience is elusive from the standpoint of physical science. It is argued that the physicalist is ultimately well placed to meet both challenges.

I argue that the semantic thesis of direct reference and the meta- physical thesis of the supervenience of the non-physical on the physical cannot both be true. The argument first develops a necessary condition for supervenience, a so-called conditional locality requirement, which is then shown to be incompatible with some physical object having object dependent properties, which in turn is required for the thesis of direct reference to be true. We apply this argument to formulate a new argument against the (...) claim that a thisness is analyzable in purely general terms, one that does not rely on complete symmetry nor the falsity of the identity of indiscernibles. I outline a strategy at the end how the conclusion could be avoided, at a price. (shrink)

The aim of this paper is to provide a systematic account of the metaphysically important distinction between haecceitistic properties, such as being David Lewis or being acquainted with David Lewis, and qualitative properties, such as being red or being acquainted with a famous philosopher. I first argue that this distinction is hyperintensional, that is, that cointensional properties can differ in whether they are qualitative. Then I develop an analysis of the qualitative/haecceitistic distinction according to which haecceitistic properties are relational in (...) a certain sense. I argue that this analysis can capture the hyperintensionality of the qualitative/haecceitistic distinction and is generally in accordance with the use of the notion of a qualitative property in philosophical debates. (shrink)

In this paper, I formulate, elucidate, and defend a version of modal realism with overlap, the view that objects are literally present at more than one possible world. The version that I defend has several interesting features: (i) it is committed to an ontological distinction between regions of spacetime and material objects; (ii) it is committed to compositional pluralism, which is the doctrine that there is more than one fundamental part-whole relation; and (iii) it is the modal analogue of endurantism, (...) which is the doctrine that objects persist through time by being wholly present at each moment they are located. (shrink)

If a counterpart theorist’s understanding of the counterpart relation precludes haecceitist differences between possible worlds, as David Lewis’s does, how can he admit haecceitist possibilities, as Lewis wants to? Lewis (Philosophical Review 3–32, 1983; On the Plurality of Worlds, 1986) devised what he called a ‘cheap substitute for haecceitism,’ which would allow for haecceitist possibilities while preserving the counterpart relation as a purely qualitative one. The solution involved lifting an earlier (Journal of Philosophy 65(5):113–126, 1968; 68(7):203–211, 1971) ban on there (...) being multiple intra-world counterparts. I argue here that serious problems for ‘cheap haecceitism’ lurk very close to its surface, and they emerge when we consider the effect of using an actuality operator in our language. Among the most serious of the problems is the result that being the case in some possible world does not always suffice for possibly being the case. The result applies to any counterpart theory that employs a purely qualitative counterpart relation. The upshot is that if we are to admit haecceitist possibilities, as we should, then we must reject any purely qualitative relation as the one involved in the analysis of what might have been for an individual. (shrink)

The standard counterexamples to David Lewis’s account of intrinsicality involve two sorts of properties: identity properties and necessary properties. Proponents of the account have attempted to deflect these counterexamples in a number of ways. This paper argues that none of these moves are legitimate. Furthermore, this paper argues that no account along the lines of Lewis’s can succeed, for an adequate account of intrinsicality must be sensitive to hyperintensional distinctions among properties.

Spacetime substantivalism leads to a radical form of indeterminism within a very broad class of spacetime theories which include our best spacetime theory, general relativity. Extending an argument from Einstein, we show that spacetime substantivalists are committed to very many more distinct physical states than these theories' equations can determine, even with the most extensive boundary conditions.

This essay is an investigation into the existence of a very unusual and some would say unacceptably exotic type of property: namely, the property of being a certain individual; or, if you prefer, the property of being identical to a certain individual. In other words, this essay will investigate whether in spite of their exotic nature there are thisnesses, and, in particular, whether thisnesses are instantiated by events. Of course, I have not really said enough yet about thisnesses to motivate (...) the criticism that such properties are exotic; for it might be the case that an individual x s thisness is merely a conjunction of all of x s qualitative properties. And, if we allow for the existence of all of the properties of an individual, it is not overly profligate to allow for the existence of this one additional conjunctive property. This, apparently, was Leibniz s view. Though seemingly ontologically mundane, however, such a qualitative1 thisness is not ontologically innocent. Given the definition of a thisness above, an individual s thisness is essential to it, and there are few philosophers who would wish to hold that all of an individual s properties are essential to it.2 Rather, it.. (shrink)

According to anti-individualism, the basic building blocks of the world are not individuals. The anti-individualist argues that standard, individual-entailing claims–for instance, that Theia is a cat–are mistaken in presupposing that there are individuals, but that such claims correspond to statements in a feature-placing language devoid of these presuppositions. Instead, the world is entirely made up of non-individualistic features–structurally akin to familiar examples such as it's raining or it's snowing–that are arranged in particular ways. Since features do not carve out individual (...) differences, however, this seems to entail that there is a class of statements in an individualistic language–statements expressing mere differences in which object is which–the members of which all correspond to the same anti-individualist description. That is, anti-individualism seems to entail anti-haecceitism, according to which all differences in ways the world could be supervene on qualitative differences. In this paper, I argue that, on the contrary, the anti-individualist has the resources to accommodate non-qualitative differences among ways the world could be. Moreover, haecceitistic anti-individualism does justice to the motivations for rejecting individuals while nevertheless accommodating intuitions that certain kinds of scenarios are metaphysically distinct. (shrink)

Robert Stalnaker opposes the traditional view that knowledge of one's own current thoughts and feelings is the unproblematic foundation for all knowledge. He argues that we can understand our knowledge of our thoughts and feelings only by viewing ourselves from the outside, by seeing our inner lives as features of the world as it is in itself.

This is a book about the concept of a physical thing and about how the names of things relate to the things they name. It questions the prevalent view that names 'refer to' or 'denote' the things they name. Instead it presents a new theory of proper names, according to which names express certain special properties that the things they name exhibit. This theory leads to some important conclusions about whether things have any of their properties as a matter of (...) necessity. This will be an important book for philosophers in metaphysics and the philosophy of language, though it will also interest linguists concerned with the semantics of natural language. (shrink)

Many contemporary philosophers are interested in the scotistic notion of haecceity or `thisness' because it is relevant to important problems concerning identity and individuation, reference, modality, and propositional attitudes. Haecceity is the only book-length work devoted to this topic. The author develops a novel defense of Platonism, arguing, first, that abstracta - nonqualitative haecceities - are needed to explain concreta's being diverse at a time; and second, that unexemplified haecceities are then required to accommodate the full range of cases in (...) which there are possible worlds containing individuals not present in the actual world. In the cognitive area, an original epistemic argument is presented which implies that certain haecceities can be grasped by a person: his own, those of certain of his mental states, and those of various abstracta, but not those of external things. It is argued that in consequence there is a clear sense in which one is directly acquainted with the former entities, but not with external things. (shrink)

This book critically examines some widespread views about the semantic phenomenon of reference and the cognitive phenomenon of singular thought. It begins with a defense of the view that neither is tied to a special relation of causal or epistemic acquaintance. It then challenges the alleged semantic rift between definite and indefinite descriptions on the one hand, and names and demonstratives on the other—a division that has been motivated in part by appeals to considerations of acquaintance. Drawing on recent work (...) in semantics, the book explores a more unified account of all four types of expression, according to which none of them paradigmatically fits the profile of a referential term. On the proposed framework, all four involve existential quantification but admit of uses that exhibit many of the traits associated with reference—a phenomenon that is due to the presence of what we call a ‘singular restriction’ on the existentially quantified domain. The book concludes by drawing out some implications of the proposed semantic picture for the traditional categories of reference and singular thought. (shrink)

_Possible Worlds_ presents the first up-to-date and comprehensive examination of one of the most important topics in metaphysics. John Divers considers the prevalent philosophical positions, including realism, antirealism and the work of important writers on possible worlds such as David Lewis, evaluating them in detail.

This book discusses a range of important issues in current philosophical work on the nature of possible worlds. Areas investigated include the theories of the nature of possible worlds, general questions about metaphysical analysis and questions about the direction of dependence between what is necessary or possible and what could be.

David Armstrong's book is a contribution to the philosophical discussion about possible worlds. Taking Wittgenstein's Tractatus as his point of departure, Professor Armstrong argues that nonactual possibilities and possible worlds are recombinations of actually existing elements, and as such are useful fictions. There is an extended criticism of the alternative-possible-worlds approach championed by the American philosopher David Lewis. This major work will be read with interest by a wide range of philosophers.

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)

While many are impressed with the utility of possible worlds in linguistics and philosophy, few can accept the modal realism of David Lewis, who regards possible worlds as sui generis entities of a kind with the concrete world we inhabit.1 Not all uses of possible worlds require exotic ontology. Consider, for instance, the use of Kripke models to establish formal results in modal logic. These models contain sets often regarded for heuristic reasons as sets of “possible worlds”. But the “worlds” (...) in these sets can be anything at all; they can be numbers, or people, or sh. The set of worlds, together with the accessibility relation and the rest of the model, is used as a purely formal structure.2 One can even go beyond establishing results about formal systems and apply Kripke models to English, as Charles Chihara has recently argued.3 Chihara shows, for instance, how to use Kripke models (plus primitive modal notions) to give an account of validity for English modal sentences. In other cases worlds are not really needed at all. It is often vivid to give a counterexample thus: “There is a possible world in which P. Since your theory implies that in all worlds, not-P, your theory is wrong.” But the counterexample could just as easily be given using modal operators: “Possibly, P. Since your theory implies that it is necessary that not-P, your theory is wrong.”. (shrink)

In his paper ``What is Structural Realism?'' James Ladyman drew a distinction between epistemological structural realism and metaphysical (or ontic) structural realism. He also drew a suggestive analogy between the perennial debate between substantivalist and relationalist interpretations of spacetime on the one hand, and the debate about whether quantum mechanics treats identical particles as individuals or as `non-individuals' on the other. In both cases, Ladyman's suggestion is that an ontic structural realist interpretation of the physics might be just what is (...) needed to overcome the stalemate. The main thesis of this paper is that, whatever the interpretative difficulties of generally covariant spacetime physics are, they do not support or suggest structural realism. In particular, I hope to show that there is in fact no analogy that supports a similar interpretation of the metaphysics of spacetime points and of quantum particles. (shrink)

Accounts of personal identity over time are supposed to fall into two broad categories: 'complex views' saying that our persistence consists in something else, and 'simple views' saying that it doesn' t. But it is impossible to characterize this distinction in any satisfactory way. The debate has been systematically misdescribed. After arguing for this claim, the paper says something about how the debate might be better characterized.

Substantivalists believe that spacetime and its parts are fundamental constituents of reality. Relationalists deny this, claiming that spacetime enjoys only a derivative existence. I begin by describing how the Galilean symmetries of Newtonian physics tell against both Newton's brand of substantivalism and the most obvious relationalist alternative. I then review the obvious substantivalist response to the problem, which is to ditch substantival space for substantival spacetime. The resulting position has many affinities with what are arguably the most natural interpretations of (...) special and general relativity. I move on to consider and reject two recent antisubstantivalist lines of thought. The interim conclusion is that the best argument for relationalism is an appeal to Ockham's razor. However, for this to be successful there must be genuine relationalist theories that share the theoretical virtues of their substantivalist rivals but without the additional ontological commitment. The bulk of the paper is therefore an investigation of various concrete relationalist proposals. I distinguish three options for the relationalist in the face of the success of Galilean invariant physics and trace how these generalise to relativistic physics. One of the options is particularly promising but, since its basic objects end up being spacetime points, this does not help the prospects of relationalism as traditionally conceived. I end with some reflections on the fate of substantivalism in the aftermath of the Hole Argument, concluding that we have as yet to be given good reasons to abandon the natural, substantivalist interpretation of current physics. (shrink)

After sketching some aspects of truthmaker doctrines and "truthmaker projects", and canvassing some prima facie objections to the latter, I turn to an issue which might seem to involve confusion about the nature of character of truthmakers if such there be, viz for statements of identity and (specially) distinctness. The real issue here is versions of the Identity of Indiscernibles. I discuss ways of discriminating versions, which are almost certainly true but trivial, which almost certainly substantive but false, and explore (...) an interesting intermediate possibility which might if developed yield a plausibly true yet not-entirely-trivial version of the doctrine: it is equivalent to what I call "the Denial of Bare Distinctness". (shrink)

This chapter argues that we are irremediably ignorant about the identities of the fundamental properties that figure in the actual realization of the true final theory. Of the three published responses to Lewis’s work, each argues that even if Lewis’s metaphysical assumption, the thesis known as “quidditism,” is accepted, we need not accept his epistemic conclusion, the thesis of Humility. The aim of this chapter is to defend Lewis against these critics. Ann Whittle attempts to refute Humility by an appeal (...) to a more lenient account of identification. Following is a defense of Lewis carried by showing that his taxing account of identification is a perfectly good account of at least one perfectly legitimate sense of identification. (shrink)