(No abstract is available for this citation).

This chapter argues that from a particularly weak recombination principle and plausible assumptions about the nature of parthood and location, it follows that it is possible that the mereological structure of the material world and that of space-time fail to correspond to one another in very radical ways. The chapter suggests, moreover, that rejecting the possibility of such failures of correspondence leaves us with a choice of no less unappealing alternatives. It also discusses a few ways in which their possibility (...) is relevant to various important debates in metaphysics. (shrink)

Possibility offers a new analysis of the metaphysical concepts of possibility and necessity, one that does not rely on any sort of "possible worlds." The analysis proceeds from an account of the notion of a physical object and from the positing of properties and relations. It is motivated by considerations about how we actually speak of and think of objects. Michael Jubien discusses several closely related topics, including different purported varieties of possible worlds, the doctrine of "essentialism," natural kind terms (...) and alleged examples of necessity a posteriori. The book also offers a new theory of the functioning of proper names, both actual and fictional, and the discussion of natural kind terms and necessity a posteriori depends in part on this theory. (shrink)

Truth and Ontology concludes that some truths do not depend on being in any substantive way at all.

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.. (shrink)

Professional philosophers and advanced students working in metaphysics and the philosophy of science will find this book both provocative and stimulating.

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.

The argument from internal relatedness was one of the major nineteenth century neo-Hegelian arguments for monism. This argument has been misunderstood, and may even be sound. The argument, as I reconstruct it, proceeds in two stages: first, it is argued that all things are internally related in ways that render them interdependent; second, the substantial unity of the whole universe is inferred from the interdependence of all of its parts. The guiding idea behind the argument is that failure of free (...) recombination is the modal signature of an integrated monistic cosmos. Frequently consider the connection of all things in the universe and their relation to one another. For in a manner all things are implicated with one another... (Marcus Aurelius, Meditations, p. 43). (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.

A major source of latter-day skepticism about necessity is the work of David Hume. Hume is widely taken to have endorsed the Humean claim: there are no necessary connections between distinct existences. The Humean claim is defended on the grounds that necessary connections between wholly distinct things would be mysterious and inexplicable. Philosophers deploy this claim in the service of a wide variety of philosophical projects. But Saul Kripke has argued that it is false. According to Kripke, there are necessary (...) connections between distinct existences; in particular, there are necessary connections between material objects and their material origins. In this paper I argue that the primary motivation for the Humean claim, Hume's datum, also motivates the key premise in an argument for the necessity of origins. The very considerations that the Humean takes to show that necessary connections between wholly distinct things would be mysterious and inexplicable indicate that there must be some such necessary connections. Thus, in the absence of alternative support, there is no reason to believe the Humean claim. (shrink)

Perhaps the most important work of philosophy written in the twentieth century, the Tractatus Logico-Philosophicus first appeared in 1921 and was the only philosophical work that Ludwig Wittgenstein (1889-1951) published during his lifetime. Written in short, carefully numbered paragraphs of extreme compression and brilliance, it immediately convinced many of its readers and captivated the imagination of all. Its chief influence, at first, was on the Logical Positivists of the 1920s and 30s, but many other philosophers were stimulated by its philosophy (...) of language, finding attractive, if ultimately unsatisfactory, its view that propositions were pictures of reality. Perhaps most of all, Wittgenstein himself, after his return to philosophy in the late 1920s, was fascinated by its vision of an inexpressible, crystalline world of logical relationships. The posthumous publication of other writings has, therefore, only served to reawaken interest in the Tractatus and to illuminate its more neglected aspects. David Pears and Brian McGuinness revised their translation in the light of Wittgenstein's own suggestions and comments in his correspondence with C.K. Ogden about the first translation. In addition, this edition contains the introduction by Bertrand Russell which appeared in the original English translation. (shrink)

In this paper, we give a precise characterization of the principle of recombination and argue that it need not be subject to any restrictions.

It seems obvious that I could have failed to exist. My parents could easily never have met, in which case I should never have been conceived and born. The like applies to everyone. More generally, it seems plausible that whatever exists in space and time could have failed to exist. Events could have taken an utterly different course. Our existence, like most other aspects of our lives, appears frighteningly contingent. It is therefore surprising that there is a proof of my (...) necessary existence, a proof that generalizes to everything whatsoever. I will explain the proof and discuss what to make of it. A first reaction is that a ‘proof’ of such an outrageous conclusion must contain some dreadful fallacy. Yet the proof does not collapse under scrutiny. Further reflection suggests that, suitably interpreted, it may be sound. So interpreted, the conclusion is not outrageous, although it may not be the view you first thought of. (shrink)

It is my aim in this paper to show that the contemporary assimilation of essence to modality is fundamentally misguided and that, as a consequence, the corresponding conception of metaphysics should be given up. It is not my view that the modal account fails to capture anything which might reasonably be called a concept of essence. My point, rather, is that the notion of essence which is of central importance to the metaphysics of identity is not to be understood in (...) modal terms or even to be regarded as extensionally equivalent to a modal notion. The one notion is, if I am right, a highly refined version of the other; it is like a sieve which performs a similar function but with a much finer mesh. (shrink)

What is predicativity? While the term suggests that there is a single idea involved, what the history will show is that there are a number of ideas of predicativity which may lead to different logical analyses, and I shall uncover these only gradually. A central question will then be what, if anything, unifies them. Though early discussions are often muddy on the concepts and their employment, in a number of important respects they set the stage for the further developments, and (...) so I shall give them special attention. NB. Ahistorically, modern logical and set-theoretical notation will be used throughout, as long as it does not conflict with original intentions. (shrink)

This chapter is a detailed study of predicativity in mathematics. It presents a number of historical versions predicativity requirements, looking for unifying ideas. The further development of the notions and requirements up to the present is traced, articulating connections among the different ideas. One underlying theme of the chapter is the motivations for the various requirements for rejecting impredicativity and the various ways of stating the requirement.

In order to perfectly describe the world, it is not enough to speak truly. One must also use the right concepts - including the right logical concepts. One must use concepts that "carve at the joints", that give the world's "structure". There is an objectively correct way to "write the book of the world". Much of metaphysics, as traditionally conceived, is about the fundamental nature of reality; in the present terms, this is about the world's structure. Metametaphysics - inquiry into (...) the status of metaphysical questions - turns on structure. The question of whether ontological, causal, or modal questions are "substantive" is in large part a question of whether the world has ontological, causal, and modal structure - whether quantifiers, causal relations, and modal operators carve at the joints. (shrink)

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. (shrink)

The core idea of David Armstrong’s combinatorial theory of possibility is attractive. Rearrangement is the key to modality; possible worlds result from scrambling bits and pieces of other possible worlds. Yet I encounter great difficulty when trying to formulate the theory rigorously, and my best attempts are vulnerable to counterexamples. The Leibnizian biconditionals relate possibility and necessity to possible world and true in.

Precis of my book by this title, for a symposium.

It seems to be an obvious truth that There could be something that doesn't actually exist. That is, it seems to be obiously true that ◊∃×). It is sufficient for the truth of that there could be more people, or trees, or cars, than there actually are. It is also sufficient for the truth of that there could be some pepole, or trees, or cars that are distinct from all those that actually exist. Do and suchlike statements involve a commitment (...) to possibilia, to things that possibly exist, but do not actually exist? If not, why not? And if so, what is the nature of the possibilia to which and its ilk commit us? These simple little questions are at the tip of an iceberg. (shrink)

It seems to be an obvious truth that There could be something that doesn't actually exist.That is, it seems to be obiously true that ◊∃×).It is sufficient for the truth of that there could be more people, or trees, or cars, than there actually are. It is also sufficient for the truth of that there could be some pepole, or trees, or cars that are distinct from all those that actually exist. Do and suchlike statements involve a commitment to possibilia, (...) to things that possibly exist, but do not actually exist? If not, why not? And if so, what is the nature of the possibilia to which and its ilk commit us? These simple little questions are at the tip of an iceberg. (shrink)

This paper discusses the principle of recombination for possible worlds. It argues that arguments against unrestricted recombination offered by Forrest and Armstrong and by David Lewis fail, but a related argument is a challenge, and recommends that we accept an unrestricted principle of recombination and the conclusion that possible worlds form a proper class.

Consider a circle and a pair of its semicircles. Which is prior, the whole or its parts? Are the semicircles dependent abstractions from their whole, or is the circle a derivative construction from its parts? Now in place of the circle consider the entire cosmos (the ultimate concrete whole), and in place of the pair of semicircles consider the myriad particles (the ultimate concrete parts). Which if either is ultimately prior, the one ultimate whole or its many ultimate parts?

According to the Genuine Modal Realist, there is a plurality of possible worlds, each world nothing more than a maximally inter-related spatiotemporal sum. One advantage claimed for this position is that it offers us the resources to analyse, in a noncircular manner, the modal operators. In this paper, we argue that the prospects for such an analysis are poor. For the analysis of necessity as truth in all worlds to succeed it is not enough that no modal concepts be used (...) in the realist's account of a possible world (a fact we grant); rather, such an analysis will succeed only if the set of worlds that is postulated is complete. By appealing to plausible truths about the number of possible alien natural properties, we show that there are serious difficulties in guaranteeing that such a set exists without taking some modal concept as primitive. Accordingly, at least in its current form, Genuine Modal Realism must curtail its analytic ambitions. (shrink)

I present, motivate, and defend a theory of properties. Its novel feature is that it takes entire determinables-together-with-their-determinates as its units of analysis. This, I argue, captures the relations of entailment and exclusion among properties, solves the problem of extensionality, and points the way towards an actualist analysis of modality.

There are many controversial theses about intrinsicness and duplication. The first aim of this paper is to introduce a puzzle that shows that two of the uncontroversial sounding ones can’t both be true. The second aim is to suggest that the best way out of the puzzle requires sharpening some distinctions that are too frequently blurred, and adopting a fairly radical reconception of the ways things are.

Persistence through time is like extension through space. A road has spatial parts in the subregions of the region of space it occupies; likewise, an object that exists in time has temporal parts in the various subregions of the total region of time it occupies. This view — known variously as four dimensionalism, the doctrine of temporal parts, and the theory that objects “perdure” — is opposed to “three dimensionalism”, the doctrine that things “endure”, or are “wholly present”.1 I will (...) attempt to resolve this dispute in favor of four dimensionalism by means of a novel argument based on considerations of vagueness. But before argument in this area can be productive, I believe we must become much clearer than is customary about exactly what the dispute is, for the usual ways of formulating the dispute are flawed, especially where three dimensionalism is concerned. (shrink)

Mereological nihilism is the view that all concrete objects are simple. Existence monism is the view that the only concrete object is one big simple: the world. I will argue that nihilism culminates in monism. The nihilist demands the simplest sufficient ontology, and the monist delivers it.

What is the relation between material objects and spacetime regions? Supposing that spacetime regions are one sort of substance, there remains the question of whether or not material objects are a second sort of substance. This is the question of dualistic versus monistic substantivalism. I will defend the monistic view. In particular, I will maintain that material objects should be identified with spacetime regions. There is the spacetime manifold, and the fundamental properties are pinned directly to it.

There cannot be a reductive theory of modality constructed from the concepts of sparse particular and sparse universal. These concepts are suffused with modal notions. I seek to establish this conclusion by tracing out the pattern of modal entanglements in which these concepts are involved. In order to appreciate the structure of these entanglements a distinction must be drawn between the lower-order necessary connections in which particulars and universals apparently figure, and higher-order necesary connections. The former type of connection relates (...) specific entities. By contrast, the latter type of connection is unspecific: it relates entities to some others. I argue that whilst there may be techniques that succeed in providing reductive truth conditions for sentences that say particulars and universals figure in lower-order necessary connections, such techniques cannot succeed in providing reductive truth conditions for sentences that say these entities figure in higher-order necessary connections. I conclude that this situation leaves reductionists with a dilemma. If they wish to affirm that there are particulars and universals then the project of reducing modality by positing these entities must be abandoned. Alternatively, they may continue to deploy their usual reductive techniques but then they must abandon the doctrine that there is more than one fundamental category of entity. (shrink)

This paper distinguishes two kinds of realist issue -- the issue of whether the propositions of a given domain are factual and the issue of whether they are fundamental. It criticizes previous accounts of what these issues come to and suggests that they are to be understood in terms of a basic metaphysical concept of reality. This leaves open the question of how such issues are to be resolved; and it is argued that this may be done through consideration of (...) what grounds the facts of a given domain, when fundamentality is in question, and what grounds our engagement with the putative facts, when factuality is in question. (shrink)

I argue that from a very weak recombination principle and plausible assumptions about the nature of parthood and location it follows that it's possible that the mereological structure of the material world and that of spacetime fail to correspond to one another in very radical ways. I defend, moreover, that rejecting the possibility of such failures of correspondence leaves us with a choice of equally radical alternatives. I also discuss a few ways in which their possibility is relevant to various (...) debates in metaphysics. (shrink)