It follows from Humean principles of plenitude, I argue, that island universes are possible: physical reality might have 'absolutely isolated' parts. This makes trouble for Lewis's modal realism; but the realist has a way out. First, accept absolute actuality, which is defensible, I argue, on independent grounds. Second, revise the standard analysis of modality: modal operators are 'plural', not 'individual', quantifiers over possible worlds. This solves the problem of island universes and confers three additional benefits: an 'unqualified' principle of compossibility (...) can be accepted; the possibility of nothing can be accommodated; and the identity of indiscernible worlds can be decisively refuted. (shrink)

This book presents an in-depth interpretation of three important parts of Leibniz's metaphysics: the metaphysical part of Leibniz's philosophy of logic, his essentially theological treatment of the central issues of ontology, and his theory of substance.

The main goal of this paper is to present and compare two approaches to formalizing cross-world comparisons like John might have been taller than he is in quantified modal logics. One is the standard method employing degrees and graded positives, according to which the example just given is to be paraphrased as something like The height that John has is such that he might have had a height greater than it, which is amenable to familiar formalization strategies with respect to (...) quantified modal logic. The other approach, based on subjunctive modal logic, mimics the mixed indicative-subjunctive patterns typical of cross-world comparisons in many natural languages by means of explicit mood markers. This latter approach is new and should, for various reasons, appeal to linguists and philosophers. Along the way, I argue that attempts to capture cross-world comparison by means of sentential operators are either inadequate or subject to substantive logical and philosophical objections. (shrink)

This paper raises a challenge to Jonathan Schaffer's priority monism. I contend that monism may be true at the actual world but fail to hold as a matter of metaphysical necessity, contrary to Schaffer's view that monism, if true, is necessarily true. My argument challenges Schaffer for his reliance on contingent physical truths in an argument for a metaphysically necessary conclusion. A counterexample in which the actual laws of physics hold but the physical history of the universe is different shows (...) that priority monism is contingently true at best. I suggest some general lessons for discussion of metaphysical dependence. (shrink)

I discuss an argument for the monistic idea that the cosmos is the one and only fundamental thing, drawing on the idea that the cosmos is the one and only thing that evolves by the fundamental laws.

Divided into two parts, the first concentrates on the logical properties of propositions, their relation to facts and sentences, and the parallel objects of commands and questions. The second part examines theories of intentionality and discusses the relationship between different theories of naming and different accounts of belief.

This paper discusses “inclusionism” in the context of David Lewis’s modal realism (and in the context of parasitic accounts of modality such as John Divers’s agnosticism about possible worlds). This is the doctrine that everything is a world. I argue that this doctrine would be beneficial to Divers-style agnosticism; that it suggests a reconfiguration of the concept of actuality in modal realism; and finally that it suffers from an as-yet unsolved difficulty, the problem of the unmarried husbands. This problem also (...) shows that Stephen Yablo’s analysis of “intrinsic” is inadequate. (shrink)

The formal methods of the representational theory of measurement (RTM) are applied to the extensive scales of physical science, with some modifications of interpretation and of formalism. The interpretative modification is in the direction of theoretical realism rather than the narrow empiricism which is characteristic of RTM. The formal issues concern the formal representational conditions which extensive scales should be assumed to satisfy; I argue in the physical case for conditions related to weak rather than strong extensive measurement, in the (...) sense of Holman 1969 and Colonius 1978. The problem of justifying representational conditions is addressed in more detail than is customary in the RTM literature; this continues the study of the foundations of RTM begun in an earlier paper. The most important formal consequence of the present interpretation of physical extensive scales is that the basic existence and uniqueness properties of scales (representation theorem) may be derived without appeal to an Archimedean axiom; this parallels a conclusion drawn by Narens for representations of qualitative probability. It is concluded that there is no physical basis for postulation of an Archimedean axiom. (shrink)

I describe a way of handling comparative adjectives "a is P-er than b", in terms of degrees "a has P to degree d". I defend this approach against attacks due to C J F Williams in an article in the same issue of *Analysis*, by tracing his objections to the assumption that degrees must be linearly ordered. Since this abstract is written years later, I can mention that some of the ideas were taken further in my Hypercomparatives. Synthese 111, 1997, (...) 97-114 . (shrink)

A person of average height would assert a truth by the conditional ‘if I were seven feet tall, I would be taller than I am,’ in which an indicative clause ‘I am’ is embedded in a subjunctive conditional. By contrast, no one would assert a truth by ‘if I were seven feet tall, I would be taller than I would be’ or ‘if I am seven feet tall, I am taller than I am’. These examples exemplify the fact that whether (...) a sentence's evaluation remains at the actual world in the scope of a modal or conditional depends on the combination of mood in the embedded and matrix clauses rather than, as is commonly thought, just on the presence of an operator ‘actually’. This essay argues that this phenomenon provides evidence that mood admits of bound and free readings along the lines of tenses and pronouns. It therefore favors the hypothesis that natural language contains variables and quantifiers for possible worlds in the object language. This, in turn, requires that the truth of a semantic value of a sentence (or whatever structure is embedded in a modal) be relativized to a sequence of worlds rather than to an individual world, and thus be distinguished from a proposition in the traditional sense. The essay also compares the framework defended with an alternative account of similar phenomena by Kai Wehmeier. (shrink)

While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue that the standard accounts (...) of cross-world predication all leave something to be desired. I then propose an account of cross-world predication based on quantified hybrid logic and show how it overcomes the limitations of these previous accounts. I will conclude by discussing various philosophical consequences and applications of such an account. (shrink)

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

Are there, in addition to the various actual objects that make up the world, various possible objects? Are there merely possible people, for example, or merely possible electrons, or even merely possible kinds? We certainly talk as if there were such things. Given a particular sperm and egg, I may wonder whether that particular child which would result from their union would have blue eyes. But if the sperm and egg are never in fact brought together, then there is no (...) actual object that my thought is about. Or again, in the semantics for modal logic we presuppose an ontology of possibilia twice over. For first, we countenance various possible worlds, in addition to the actual world; and second, each of these worlds is taken to be endowed with its own domain of objects. These will be the actual objects of the world in question, but they need not be actual simpliciter, i.e., actual objects of our world. What are we to make of such discourse? There are four options: (i) the discourse is taken to be unintelligible; (ii) it is taken to be intelligible but nonfactual, i.e. as not in the business of stating facts; (iii) it is taken to be factual but reducible to discourse involving no reference to possibilia; (iv) it is taken to be both factual and irreducible. These options range from a full-blooded form of actualism at one extreme to a full-blooded form of possibilism at the other. The two intermediate positions are possibilist in that they accept the intelligibility of possibilist discourse but actualist in that they attempt to dispense with its prima facie commitment to possibilia. All four positions have found advocates in the literature. Quine, in his less irenic moments, favours option (i); Forbes advocates option (ii), at least for certain parts of possibilist discourse; many philosophers, including Adams and myself, opt for (iii); while Lewis and Stalnaker have endorsed versions of (iv), that differ in how full-blooded they take the possible objects to be.. (shrink)

Symmetries in physics are a guide to reality. That much is well known. But what is less well known is why symmetry is a guide to reality. What justifies inferences that draw conclusions about reality from premises about symmetries? I argue that answering this question reveals that symmetry is an epistemic notion twice over. First, these inferences must proceed via epistemic lemmas: premises about symmetries in the first instance justify epistemic lemmas about our powers of detection, and only from those (...) epistemic lemmas can we draw conclusions about reality. Second, in order to justify those epistemic lemmas, the notion of symmetry must be defined partly in epistemic terms. 1 Symmetry-to-Reality Reasoning1.1 A rough introduction to symmetry1.2 The symmetry-to-reality inference1.3 Two questions1.4 Two answers1.5 Preliminary clarifications2 Against Redundancy2.1 Redundancy2.2 Is absolute velocity redundant?2.3 Some redundancies3 Against Objectivity4 From Symmetry to Detection4.1 The epistemic approach4.2 The Occamist norm4.3 From symmetry to detection5 The Meaning of ‘Symmetry’5.1 A framework5.2 Formal definitions5.3 Ontic definitions6 Epistemic Definitions6.1 Taking observation seriously6.2 How things look6.3 Observation sentences6.4 Observational equivalence7 Symmetry as an Epistemic Notion 7.1 Observational equivalence and metaphysics7.2 The Occamist norm revisted7.3 Consequences8 Conclusion. (shrink)

Adams presents an in-depth interpretation of three important parts of Leibniz's metaphysics, thoroughly grounded in the texts as well as in philosophical analysis and critique. The three areas discussed are the metaphysical part of Leibniz's philosophy of logic, his essentially theological treatment of the central issues of ontology, and his theory of substance. Adams' work helps make sense of one of the great classic systems of modern philosophy.

Priority monism (hereafter, ‘monism’) is the view that there exists one fundamental entity—the world—and that all other objects that exist (a set of objects typically taken to include tables, chairs, and the whole menagerie of everyday items) are merely derivative. Jonathan Schaffer has defended monism in its current guise, across a range of papers. Each paper looks to add something to the monistic picture of the world. In this paper we argue that monism—as Schaffer describes it—is false. To do so (...) we develop an ‘island universe’ argument against Schaffer's monistic theory. (shrink)

Legendary since his own time as a universal genius, Gottfried Wilhelm Leibniz (1646-1716) contributed significantly to almost every branch of learning. One of the creators of modern mathematics, and probably the most sophisticated logician between the Middle Ages and Frege, as well as a pioneer of ecumenical theology, he also wrote extensively on such diverse subjects as history, geology, and physics. But the part of his work that is most studied today is probably his writings in metaphysics, which have been (...) the focus of particularly lively philosophical discussion in the last twenty years or so. The writings contain one of the great classic systems of modern philosophy, but the system must be pieced together from a vast and miscellaneous array of manuscripts, letters, articles, and books, in a way that makes especially strenuous demands on scholarship. This book presents an in-depth interpretation of three important parts of Leibniz's metaphysics, thoroughly grounded in the texts as well as in philosophical analysis and critique. The three areas discussed are the metaphysical part of Leibniz's philosophy of logic, his essentially theological treatment of the central issues of ontology, and his theory of substance (the famous theory of monads). (shrink)

This book presents an in-depth interpretation of three important parts of Leibniz's metaphysics: the metaphysical part of Leibniz's philosophy of logic, his essentially theological treatment of the central issues of ontology, and his theory of substance.

Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.

Daniel Garber presents a study of Leibniz's conception of the physical world, elucidating his puzzling metaphysics of monads, mind-like simple substances.

Science Without Numbers caused a stir in 1980, with its bold nominalist approach to the philosophy of mathematics and science. It has been unavailable for twenty years and is now reissued in a revised edition with a substantial new preface presenting the author's current views and responses to the issues raised in subsequent debate.

Space, Time, and Stuff is an attempt to show that physics is geometry: that the fundamental structure of the physical world is purely geometrical structure. Along the way, he examines some non-standard views about the structure of spacetime and its inhabitants, including the idea that space and time are pointless, the idea that quantum mechanics is a completely local theory, the idea that antiparticles are just particles travelling back in time, and the idea that time has no structure whatsoever. The (...) main thrust of the book, however, is that there are good reasons to believe that spaces other than spacetime exist, and that it is the existence of these additional spaces that allows one to reduce all of physics to geometry. Philosophy, and metaphysics in particular, plays an important role here: the assumption that the fundamental laws of physics are simple in terms of the fundamental physical properties and relations is pivotal."--P. [4] of cover. (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)