Theodore Sider

I am now typing on a computer I bought two years ago. The computer I bought is identical to the computer on which I type. My computer persists over time. Let us divide our subject matter in two. There is first the question of criteria of identity, the conditions governing when an object of a certain kind, a computer for instance, persists until some later time. There are secondly very general questions about the nature of persistence itself. Here I include the question of temporal parts, as well as certain familiar paradoxes (e.g., the statue and the lump). Following John Perry (1975, Introduction), let us characterize a criterion of identity over time for F s as a way of filling in φ in the following schema: Stages S1 and S2 belong to some continuing F iff φ Defenders of temporal parts (see below) regard S1 and S2 as being temporal parts of the continuing F ; others regard S1 and S2 as different stages in the life history of the continuing F . Thus each camp can make use of Perry’s formula. It is traditional to divide such criteria into those governing persons and those governing anything else. It is further traditional to say that the criterion of identity over time for non-persons involves spatiotemporal continuity. An excellent discussion is Eli Hirsch’s The Concept of Identity1, which utilizes the notion of continuity under a sortal. Kind-terms, or sortals, are terms that specify what kind of or sort of thing an object is. Examples include ‘tree’, ‘car’, and ‘mountain’. Where F is a sortal, Hirsch’s analysis is roughly that stages belong to the same F iff they are connected by a spatiotemporally and qualitatively continuous sequence of F -stages. Unmodified, this analysis prohibits temporally discontinuous entities, such as a watch that is taken apart and then reassembled. Hirsch discusses the necessary modifications. Spatiotemporal continuity analyses face a problem when applied to the persistence of matter. The literature here has been dominated by discussion of examples provided by David Armstrong (1980) and Saul Kripke (unpublished....

is an important principle, worthy of serious scrutiny. Its truth or falsity bears on the question of whether moral rightness, obligatoriness, etc., are a matter of factors “internal” to an agent, or whether “external” factors are relevant to determining the moral normative status of acts. Moreover, Access enjoys considerable intuitive support. If I destroy Greensboro in professor Sorensen’s example by pushing the wrong button, I seem to have a good excuse to give to anyone who would accuse me of wrongdoing: “I had no way of knowing that this action would be wrong!” But if I have a good excuse, then pushing the button doesn’t seem wrong; and if that action isn’t wrong, then I had no obligation to refrain from pushing that button. A principle distinct from, but analogous to, Access also deserves our attention

Think of “locations” very abstractly, as positions in a space, any space. Temporal locations are positions in time; spatial locations are positions in (physical) space; particulars are locations in quality space. Should we reify locations? Are locations entities? Spatiotemporal relation- alists say there are no such things as spatiotemporal locations; the fundamental spatial and temporal facts involve no locations as objects, only the instantiation of spatial and temporal relations. The denial of locations in quality space is the bundle theory, according to which particulars do not exist; facts apparently about particulars really concern relations between universals. A “space”, in our abstract sense, consists of a set of objects, together with properties and relations defined on those objects. The objects are the locations of the space, and the distribution of the properties and relations over the locations defines the space’s structure. All spaces are thus quality spaces; when the relations are thought of as spatiotemporal then the space is also a spatiotemporal space. By not reifying locations one denies that these abstract spaces isomorphically represent the real world. The real world does in some sense have a structure that can be non-isomorphically represented by a space (or, more likely, a class of spaces), but the locations in those spaces do not correspond to anything real. We will examine modal considerations on reifying locations. Denying the existence of spatiotemporal locations excludes certain possibilities for spatiotemporal reality. Denying the existence of qualitative locations excludes certain possibilities for qualitative space. In each case the excluded possibilities are pre-analytically possible. Some of the possibilities can be reinstated by modifying the locationless theories, but at the cost of an unattractive holism. Do these modal considerations mandate postulating locations? That depends on whether modal intuition can teach us about the actual world..

Peter Forrest and D.M. Armstrong have given an argument against a theory of naturalness proposed by David Lewis based on the fact that ordered pairs can be constructed from sets in any of a number of different ways. 1. I think the argument is good, but requires a more thorough defense. Moreover, the argument has important consequences that have not been noticed. I introduce a version of Lewis’s proposal in section one, and then in section two I present and defend my version of the argument. After addressing a worry about my argument in section three, in section four I argue that a similar “argument from arbitrariness” jeopardizes Lewis’s solution to the Kripke/Wittgenstein puzzle of the content of thought.

Some contemporary Russellians, defenders of the view that the semantic content of a proper name, demonstrative or indexical is simply its referent, are prepared to accept that view’s most infamous apparent consequence: that coreferential names, demonstratives, indexicals, etc. are intersubstitutable salva veritate, even in intentional contexts. Nathan Salmon and Scott Soames argue that our recalcitrant intuitions with respect to the famous apparent counterexamples are not semantic intuitions, but rather pragmatic intuitions. Strictly and literally speaking, Lois Lane believes, and even knows that Clark Kent is identical to Superman, since she believes and knows that Superman is identical to Superman. Salmon and Soames attempt to soften our reaction to this shocker by allowing that it is typically misleading to utter the sentence ‘Lois Lane knows that Clark Kent is identical to Superman’, since it pragmatically implicates, without semantically entailing, that Lois Lane would accept the sentence ‘Clark Kent is identical to Superman’. Our compulsive tendency to claim that ‘Lois Lane knows that Clark Kent is Superman’ is false, rather than merely misleading, is due to a confusion between semantics and pragmatics, between truth conditions and conditions of appropriateness of utterance.1 It is probably fair to say that the common reaction to this move in defense of Russellianism is negative. Mark Richard says the following.

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

Elizabeth Barnes and Mari Mikkola raise the important question of whether certain recent approaches to metaphysics exclude feminist metaphysics. My own approach does not, or so I argue. I do define “substantive” questions in terms of fundamentality; and the concepts of feminist metaphysics are nonfundamental. But my definition does not count a question as being nonsubstantive simply because it involves nonfundamental concepts. Questions about the causal structure of the world, including the causal structure of the social world, are generally substantive because their answers are not sensitive to any alternate, equally good conceptual choices we could have made. I also argue that such questions are substantive regardless of the ontology of social kinds.

I defend counterpart theory against post-Kripkean objections. Trenton Merricks objects that no construction of ersatz counterparts is uniquely and intrinsically suitable; I reply that metaphysical constructions need not have these features. Sarah Moss refutes my solution (from "All the world's a stage") to the problem of timeless counting for temporal counterpart theory; I offer a new solution. Hazen, Fara, Williamson, and others have objected that counterpart theory generates an unacceptable logic for an actuality operator; I attempt to give a better semantics.

Eternalists say that non-present entities (for instance dinosaurs) exist; presentists say that they do not. But some sceptics deny that this debate is genuine, claiming that presentists simply represent eternalists' quantifiers over non-present entities in different notation. This scepticism may be refuted on purely logical grounds: one of the leading candidate ‘presentist quantifiers’ over non-present things has the inferential role of a quantifier. The dispute over whether non-present objects exist is as genuine and non-verbal as the dispute over whether there is life on other planets.

This note is to show that a well-known point about David Lewis’s (1986) modal realism applies to Timothy Williamson’s (1998; 2002) theory of necessary existents as well.1 Each theory, together with certain “recombination” principles, generates individuals too numerous to form a set. The simplest version of the argument comes from Daniel Nolan (1996).2 Assume the following recombination principle: for each cardinal number, ν, it’s possible that there exist ν nonsets. Then given Lewis’s modal realism it follows that there can be no set of all (that is, Absolutely All) the nonsets. For suppose for reductio that there were such a set, A; let ν be A’s cardinality; and let µ be any cardinal number larger than ν. By the recombination principle, it’s possible that there exist µ nonsets; by modal realism, there exists a possible world containing, as parts, µ nonsets; each of these nonsets is a member of A

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.”.

The intimate relationship between X and Y consists in the existence of (metaphysically) necessary truths correlating their occurrences/existences/instantiations. E would be in some sense “overdetermined” if caused by both X and Y.2 Some philosophers say this would be bad, that this cannot or does not happen, that we should construct theories ruling it out, at least in certain cases.3 But why? Given the necessary truths correlating objects and their parts, objects and events concerning those objects, physical and supervenient mental properties, and so on, X and Y do both seem to be causes of E. Should we say that a baseball..

Locke’s view that continuants are numerically distinct from their constituting hunks of matter is popular enough to be called the “standard account”.1 It was given its definitive contemporary statement by David Wiggins in Sameness and Substance2, and has been defended by many since. Baker’s interesting book contributes new arguments for this view, a new definition of ‘constitution’, and a sustained application to persons and human animals. Much of what she says develops this view in new and important ways. But in some cases she does not advance the position, and in others she takes steps backwards. According to Baker, a person is numerically distinct from her constituting animal. One of Baker’s leading arguments is surprisingly unconvincing. Persons differ in important ways from non-human animals. Only persons are moral agents, modify their goals, have wars, culture, etc. If persons were identical to animals—if we were “nothing but animals”, as she puts it—then the manifest discontinuity between humans and non-human animals would be located “within the domain of biology”. “But from a biological point of view, human animals…are biologically continuous with non-human animals.” (p. 17) The argument fails: why should identifying persons with animals preclude saying that these particular animals have radically distinctive features that are of little interest to biologists? The traditional case for non-identity (which Baker accepts) is more powerful: a person and her constituting animal differ by having different persistence conditions. If my memories were transferred to a new body and my old body destroyed, I the person might survive, but the human animal who constituted me would perish. Therefore, before the transfer, I and the animal that constituted me would be numerically distinct but extremely similar things located in exactly the same place. This consequence—the central thesis of the Wiggins view—is surprising: so surprising that some reject the Wiggins view on that basis..

Some philosophers believe that everyday objects are 4-dimensional spacetime worms, that a person (for example) persists through time by having temporal parts, or stages, at each moment of her existence. None of these stages is identical to the person herself; rather, she is the aggregate of all her temporal parts.1 Others accept “three dimensionalism”, rejecting stages in favor of the notion that persons “endure”, or are “wholly present” throughout their lives.2 I aim to defend an apparently radical third view: not only do I accept person stages; I claim that we are stages.3 Likewise for other objects of our everyday ontology: statues are statue-stages, coins are coin-stages, etc. At one level, I accept the ontology of the worm view. I believe in spacetime worms, since I believe in temporal parts and aggregates of things I believe in. I..

Eli Hirsch has argued in many places that non-commonsensical ontological claims just couldn't be true, since there is strong metasemantic pressure to charitably interpret natural language---correct interpretations must, unless all else is highly unequal, count a sentence (especially a perceptual sentence) as true if ordinary speakers regard it as being obviously true. In previous work I replied that ontologists can stipulatively introduce a new language, "Ontologese", that is exempt from this pressure toward charity. Hirsch has recently objected to this proposal; this paper is my reply.