Theodore Sider

Logic begins but does not end with the study of truth and falsity. Within truth there are the modes of truth, ways of being true: necessary truth and contingent truth. When a proposition is true, we may ask whether it could have been false. If so, then it is contingently true. If not, then it is necessarily true; it must be true; it could not have been false. Falsity has modes as well: a false proposition that could not have been true is impossible or necessarily false; one that could have been true is merely contingently false. The proposition that some humans are over seven feet tall is contingently true; the proposition that all humans over seven feet tall are over six feet tall is necessarily true; the proposition that some humans are over seven feet tall and under six feet tall is impossible, and the proposition that some humans are over nine feet tall is contingently false. Of these four modes of truth, let us focus on necessity, plus a fifth: possibility. A proposition is possible if it is or could have been true; hence propositions that are either necessarily true, contingently true, or contingently false are possible. Notions that are similar to the modes of truth in being concerned with what might have been are called modal. Dispositions are modal notions, for example the disposition of fragility. Relatedly, there are counterfactual conditionals, for example “if this glass were dropped, it would break.” And the notion of supervenience is modal.1 But let us focus here on necessity and possibility. Modal words are notoriously ambiguous (or at least context-sensitive2). I may reply to an invitation to give a talk in England by saying “I can’t come; I have to give a talk in California the day before”. This use of “can’t” is perfectly appropriate. But it would be equally appropriate for me to say that I could cancel my talk in California (although that would be rude) and give the talk in England instead. What I cannot do is give both talks..

"Composition as identity" is the radical claim that the whole is identical to the parts - radical because it implies that a single object can be identical to many objects. Composition as identity, together with auxiliary assumptions, implies the principle of "collapse": an object is one of some things if and only it is part of the fusion of those things. Collapse has important implications: the comprehension principle of plural logic must be restricted, plural definite descriptions such as "the Cheerios in the bowl" are empty, Composition as identity does not preclude emergent properties (contrary to what McDaniel has argued), and drastic simplifications of mereological and logical ideology are extensionally available.

Possible worlds present a formidable challenge for the lover of desert landscapes. One cannot ignore their usefulness; they provide, as David Lewis puts it, “a philosophers’ paradise”.1 But to enter paradise possibilia must be fit into a believable ontology. Some follow Lewis and accept worlds at face value, but most prefer some other choice from the current menu. Part of Chihara’s book is a critical discussion of some of these menu options: Lewis’s modal realism, Alvin Plantinga’s abstract modal realism, Graeme Forbes’s anti-realism and Gideon Rosen’s modal fictionalism. These discussions are very detailed and conversant with the literature. The discussions of Forbes and of paradox within Plantinga’s system are particularly enlightening. The rest of the book is devoted to Chihara’s positive project: developing an account of the status of model theory for non-modal logic, and then applying it to the modal case. The prize is an understanding of possible worlds semantics that requires no commitment to possible worlds at all What does the relativized notion of truth in an interpretation studied in model theory have to do with plain old truth? Chihara’s answer involves “connecting theorems” that relate truth-in to truth. A “natural-language proto-interpretation of the sentential calculus” is a function that assigns meanings of declarative sentences of English to sentence letters. Where I is an NLPI of SC and φ is a sentence letter, Chihara uses ‘[φ/I ]’ to refer to “φ with the meaning it has been assigned by I ” ; where φ is not atomic, he says

In an article in Scientific American (March 1994, pp. 68–74) entitled “The Quantum Physics of Time Travel”, Oxford physicist David Deutsch and Oxford philosopher Michael Lockwood give a defense of the physical possibility of time travel based on the “Many Worlds” interpretation of quantum mechanics. This positive view of theirs is not my concern, however—I want to quarrel with their argument that time travel cannot be accommodated in any other way.1 The best way to spell out the traditional “grandfather paradox” that appears to threaten the possibility of time travel involves the notion of ability, or personal possibility, or free will. An example of David Lewis’s: Tim travels back in time with the intent to kill his grandfather.2 Let us fix the case as one in which Tim in fact will not kill Grandfather; still, it seems that he can kill Grandfather because he is a good shot, has a gun, and is alone with Grandfather at close range. As Lewis says, Tim “has what it takes” to kill Grandfather. However, it is also compelling that Tim cannot kill Grandfather, because if Grandfather had been killed in his youth, Tim would not have existed to kill him. It is important to realize that the paradox essentially involves the notion of ability. No inconsistency results from supposing that Tim does not kill Grandfather. As for the case in which Tim does kill Grandfather, there are various possibilities. We could tell a consistent time travel story in which Tim kills Grandfather, but Grandfather is miraculously resurrected. Or one in which Tim kills Grandfather, but in which Grandfather has already had a child. Or one in which Tim kills Grandfather permanently, before Grandfather has any children, but in which Tim’s grandfather is someone other than Grandfather. As for the story in which Tim both kills Grandfather permanently in such a way that Grandfather has no children, and also is descended from Grandfather, this is an inconsistent time travel story; but of course the existence of some....

Statues and lumps of clay are said by some to coincide - to be numerically distinct despite being made up of the same parts. They are said to be numerically distinct because they differ modally. Coincident objects would be non-modally indiscernible, and thus appear to violate the supervenience of modal properties on nonmodal properties. But coincidence and supervenience are in fact consistent if the most fundamental modal features are not properties, but are rather relations that are symmetric as between coincident entities, relations such as "opposite-possibly surviving being squashed"

An introduction to temporal parts theory. Most of us believe in spatial parts: hands are spatial parts of people, an electron is a spatial part of a hydrogen atom, the earth is a spatial part of the solar system. Why are these parts "spatial" parts? Because they are spatially smaller: the hand is spatially smaller than the person, the electron is spatially smaller than the atom, the earth is spatially smaller than the solar system. Temporal parts, then, are parts that are temporally smaller. My current temporal part, "me-today", we might call it, is temporally smaller than me, since it exists today and only today. Temporal parts theory says that objects are made up of temporal as well as spatial parts.

Michael Jubien’s Ontology, Modality, and the Fallacy of Reference is an interesting and lively discussion of those three topics. In ontology, Jubien defends, to a first approximation, a Quinean conception: a world of objects that may be arbitrarily sliced or summed. Slicing yields temporal parts; summing yields aggregates, or fusions. Jubien is very unQuinean in his explicit Platonism regarding properties and propositions, but concerns about abstracta are peripheral to much of the argumentation in the book.1 His version of the doctrine that arbitrary mereological sums exist is nonstandard in that he views it as a convention (albeit a useful one) that we treat sums of objects as themselves being objects. Indeed, he views the concept of objecthood itself as being conventional. The world consists fundamentally of stuff, which we divide into things in any way that suits our purposes. In modality, Jubien’s views are to a first approximation Chisholmian: he holds the doctrine of mereological essentialism, according to which anything..

In the past fifteen years or so there has been a lot of attention paid to theories of “sparse” universals, particularly because of the work of D. M. Armstrong. These theories are of particular interest to those of us concerned with the distinction between natural and non-natural properties, since, as David Lewis has observed, it seems possible to analyze naturalness in terms of sparse universals. Moreover, Armstrong claims that we should conceive of universals as being “immanent” as opposed to “transcendent”, and if universals are immanent then, as we will see, there is pressure to admit they are sparse as well. But I will argue that neither of these alleged reasons to accept a sparse conception of universals succeeds: the outlook for a fully general analysis of naturalness in terms of universals is not good, and the apparent advantages of immanence over transcendence are illusory

Four- Dimensionalism defends the thesis that the material world is composed of temporal as well as spatial parts. This defense includes a novel account of persistence over time, new arguments in favour of the four-dimensional ontology, and responses to the challenges four- dimensionalism faces." "Theodore Sider pays particular attention to the philosophy of time, including a strong series of arguments against presentism, the thesis that only the present is real. Arguments offered in favour of four- dimensionalism include novel arguments based on time travel, the debate between spacetime substantivalists and relationalists, and vagueness. Also included is a comprehensive discussion of the paradoxes of coinciding material objects, and a novel resolution of those paradoxes based on temporal counterpart theory. In conclusion Sider replies to prominent objections to four- dimensionalism, including discussion of the problem of the rotating homogenous disk.

One often hears a complaint about “bare particulars”. This complaint has bugged me for years. I know it bugs others too, but no one seems to have vented in print, so that is what I propose to do. (I hope also to say a few constructive things along the way.) The complaint is aimed at the substratum theory, which says that particulars are, in a certain sense, separate from their universals. If universals and particulars are separate, connected to each other only by a relation of instantiation, then, it is said, the nature of these particulars becomes mysterious. In themselves, they do not have any properties at all. They are nothing but a pincushion into which universals may be poked. They are Locke’s “I know not what” (1689, II, xxiii, §2); they are Plato’s receptacles (Timaeus 48c–53c); they are “bare particulars”.1 Against substratum theory there is the bundle theory, according to which particulars are just bundles of universals. The substratum and bundle theories agree on much. They agree that both universals and particulars exist. And they agree that a particular in some sense has universals. (I use phrases like ‘particular P has universal U ’ and ‘particular P ’s universals’ neutrally as between the substratum and bundle theories.) But the bundle theory says that a particular is exhaustively composed of (i.e., is a mereological fusion of) its universals. The substratum theory, on the other hand, denies this. Take a particular, and mereologically subtract away its universals. Is anything left? According to the bundle theory, no. But according to the substratum theory, something is indeed left. Call this remaining something a thin particular. The thin particular does not contain the universals as parts; it instantiates them

Recent discussions of consequentialism have drawn our attention to the so-called “self-other” asymmetry. Various cases presented by Michael Slote and Michael Stocker are alleged to demonstrate a fundamental asymmetry between our obligations to others and ourselves.1 Moreover, these cases are taken to constitute a difficulty for consequentialism, and for the various versions of utilitarianism in particular. I agree that there is a fundamental asymmetry between our obligations to ourselves and to others, and that this fact is inconsistent with the letter of traditional utilitarianisms. However, I do not think this represents a deep shortcoming of the spirit behind utilitarianism. In this paper I will argue that the self-other asymmetry can be accommodated in a broadly utilitarian framework. First, in section one, I characterize moral “asymmetry” in general. Then, in section two, I argue that the cases presented by Slote and Stocker do indeed represent a genuine self-other asymmetry. In part, this involves criticism of an attempt to accommodate the asymmetry within a preferentist framework. Finally, I will present my own solution to the problem of self and other

We often speak of an object being composed of various other objects. We say that the deck is composed of the cards, that a road is the sum total of its sections, that a house is composed of its walls, ceilings, floors, doors, etc. Suppose we have some material objects. Here is a philosophical question: what conditions must obtain for those objects to compose something? In his recent book Material Beings, Peter van Inwagen addresses this question, which he calls the ‘special composition question’; his answer is:1 (1) For any material objects X , the X s compose something iff the activity of the X s constitutes a life, or there is only one of the Xs. Additionally, he accepts a simpler thesis that follows from (1):2 (2) Every material object is either a mereological atom or a living thing, where a mereological atom is an object lacking proper parts. (2) may seem radical. If it is true then there are no tables, chairs, planets, protons, galaxies, gas stations, etc. But van Inwagen does not hold it lightly— there are serious difficulties with alternate views. Moreover, he claims that..

For most us, learning which quantum theory correctly describes human bodies will not affect our attitudes towards our loved ones. On the other hand, a child’s discovery of the nature of meat (or an adult’s discovery of the nature of soylent green) can have a great effect. In still other cases, it is hard to say how one would, or should, react to new information about the underlying nature of what we value—think of how mixed our reactions are to evidence of cultural determinism or atheism, or of how mixed our reactions would be to learning that we all live in the Matrix. (Indeed, maybe there is no objective fact about how we should react. Derek Parfit’s (1984, section 95) fear of death diminished when he became convinced of certain theses about the metaphysics of personal identity. Perhaps there is no objective fact of the matter as to whether this was rational; perhaps it was rational for him but would not be for others.) What can metaphysics contribute to the question of the evil of death? It cannot, on its own, settle the question, since there is no simple rule telling us how to adjust value in light of new information about underlying nature. Given a clear view of the nature of death, there will remain the question of its disvalue. However, metaphysics can help us attain this clear view. Moreover, a clear conception of what metaphysical positions do and don’t say, and a clear conception of how metaphysics works in general, can remove impediments to a rational appraisal of the evil of death.

Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii) extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for predicate logic (completeness, undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to do philosophy.

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

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.

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.

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.