Fictionalists maintain that possible worlds, numbers or composite objects exist only according to theories which are useful but false. Hale, Divers and Woodward have provided arguments which threaten to show that fictionalists must be prepared to regard the theories in question as contingently, rather than necessarily, false. If warranted, this conclusion would significantly limit the appeal of the fictionalist strategy rendering it unavailable to anyone antecedently convinced that mathematics and metaphysics concern non-contingent matters. I try to show that their arguments (...) can be resisted by developing and defending a strategy suggested by Rosen, Nolan and Dorr, according to which the fiction-operator is to be analysed in terms of a counterfactual that admits of non-trival truth-values even when the antecedent is impossible. (shrink)

I argue that if David Lewis’ modal realism is true, modal realists from different possible worlds can fall in love with each other. I offer a method for uniquely picking out possible people who are in love with us and not with our counterparts. Impossible lovers and trans-world love letters are considered. Anticipating objections, I argue that we can stand in the right kinds of relations to merely possible people to be in love with them and that ending a trans-world (...) relationship to start a relationship with an actual person isn't cruel to one's otherworldly lover. (shrink)

David Lewis’s arguments against magical ersatzism are notoriously puzzling. Untangling different strands in those arguments is useful for bringing out what he thought was wrong with not just one style of theory about possible worlds, but with much of the contemporary metaphysics of abstract objects. After setting out what I take Lewis’s arguments to be and how best to resist them, I consider the application of those arguments to general theories of properties and relations. The constraints Lewis motivates turn out (...) to yield an argument for concretism about possible individuals that is quite different from the better-known Lewisian arguments for that position. The discussion also touches on the puzzling question of whether things are the way they are because of the properties they have, or are the properties and relations the way they are because of the things that have them. (shrink)

is the second-order theory of the part-whole relation. It can express such hypotheses about the size of Reality as that there are inaccessibly many atoms. Take a non-empty class to have exactly its non-empty subclasses as parts; hence, its singleton subclasses as atomic parts. Then standard set theory becomes the theory of the member-singleton function—better, the theory of all singleton functions—within the framework of megethology. Given inaccessibly many atoms and a specification of which atoms are urelements, a singleton function exists, (...) unique up to isomorphism. (This article is partly abridged from my Parts of Classes, partly a sequel.). (shrink)

Counterfactuals is David Lewis' forceful presentation of and sustained argument for a particular view about propositions which express contrary to fact conditionals, including his famous defense of realism about possible worlds and his theory of laws of nature.

Biological species have been treated traditionally as spatiotemporally unrestricted classes. If they are to perform the function which they do in the evolutionary process, they must be spatiotemporally localized individuals, historical entities. Reinterpreting biological species as historical entities solves several important anomalies in biology, in philosophy of biology, and within philosophy itself. It also has important implications for any attempt to present an "evolutionary" analysis of science and for sciences such as anthropology which are devoted to the study of single (...) species. (shrink)

This book is concerned with `the problem of existence in mathematics'. It develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. It explores the philosophical implications of such an approach through an examination of the writings of Field, Burgess, Maddy, Kitcher, and others.

There is no question that the constituents of cells and organisms are joined together by the part-whole relation. Genes are part of cells, and cells are part of organisms. Species taxa, however, have traditionally been conceived of, not as wholes with parts, but as classes with members. But why does the relation change abruptly from part-whole to class-membership above the level of organisms? Ghiselin, Hull and others have argued that it doesn't. Cells and organisms are cohesive mereological sums, and since (...) species taxa are like cells and organisms in the relevant respects, they, too, are cohesive mereological sums. I provide further reasons in support of the thesis that species are mereological sums. I argue, moreover, that the advocate of this thesis is committed to a form of pluralism with respect to the species concept. (shrink)

This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

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.

_Metaphysics: A Contemporary Introduction_ is for students who have already completed an introductory philosophy course and need a fresh look at the central topics in the core subject of metaphysics. It is essential reading for any student of the subject. This Fourth Edition is revised and updated and includes two new chapters on Parts and Wholes, and Metaphysical Indeterminacy or vagueness. This new edition also keeps the user-friendly format, the chapter overviews summarizing the main topics, concrete examples to clarify difficult (...) concepts, annotated further reading at the end of each chapter, endnotes, and a full bibliography. Topics addressed include: the problem of universals the nature of abstract entities the problem of individuation the nature of modality identity through time the nature of time the nature of parts and wholes the problem of metaphysical indeterminacy the Realism/anti-Realism debate. Wherever possible, Michael J. Loux and Thomas M. Crisp relate contemporary views to their classical sources in the history of philosophy. As experienced teachers of philosophy and important contributors to recent debates, Loux and Crisp are uniquely qualified to write this book. (shrink)

Traditionally, species have been treated as classes. In fact they may be considered individuals. The logical term “individual” has been confused with a biological synonym for “organism.” If species are individuals, then: 1) their names are proper, 2) there cannot be instances of them, 3) they do not have defining properties, 4) their constituent organisms are parts, not members. “ Species " may be defined as the most extensive units in the natural economy such that reproductive competition occurs among their (...) parts. Species are to evolutionary theory as firms are to economic theory: this analogy resolves many issues, such as the problems of “reality” and the ontological status of nomenclatorial types. (shrink)

Now the thesis that the universal redness is the linguistic type ⋅red⋅ has the ring of absurdity. There are several ways in which this discomfort can be expressed I shall open my argument by formulating an objection which, by cutting deeper than most, leads to a firm foundation for a restatement and defense of the thesis.

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)

I explicate and defend the claim that, fundamentally speaking, there are no numbers, sets, properties or relations. The clarification consists in some remarks on the relevant sense of ‘fundamentally speaking’ and the contrasting sense of ‘superficially speaking’. The defence consists in an attempt to rebut two arguments for the existence of such entities. The first is a version of the indispensability argument, which purports to show that certain mathematical entities are required for good scientific explanations. The second is a speculative (...) reconstruction of Armstrong's version of the One Over Many argument, which purports to show that properties and relations are required for good philosophical explanations, e.g. of what it is for one thing to be a duplicate of another. (shrink)