I first explore the notion of the world's being such that everything in it is a proper part. I then explore the notion of the world's being such that everything in it both is and has a proper part. Given two well recognized assumptions, I argue that both notions represent genuine metaphysical possibilities. Finally I consider, but dismiss, some possible objections.

This book, based on Jaegwon Kim's 1996 Townsend Lectures, presents the philosopher's current views on a variety of issues in the metaphysics of the mind...

Worlds where things divide forever ("gunk" worlds) are apparently conceivable. The conceivability of such scenarios has been used as an argument against "nihilist" or "near-nihilist" answers to the special composition question. I argue that the mereological nihilist has the resources to explain away the illusion that gunk is possible.

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

I argue that the one and only truthmaker is the world. This view can be seen as arisingfrom (i) the view that truthmaking is a relation of grounding holding between true propositions and fundamental entities, together with (ii) the view that the world is the one and only fundamental entity. I argue that this view provides an elegant and economical account of the truthmakers, while solving the problem of negative existentials, in a way that proves ontologically revealing.

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?

‘‘Thus I believe that there is no part of matter which is not—I do not say divisible—but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.’’ (Leibniz, letter to Foucher).

Among various cases that equally admit of evidentialist reasoning, the supposedly evidentialist solution has varying degrees of intuitive attractiveness. I suggest that cooperative reasoning may account for the appeal of apparently evidentialist behavior in the cases in which it is intuitively attractive, while the inapplicability of cooperative reasoning may account for the unattractiveness of evidentialist behaviour in other cases. A collective causal power with respect to agreed outcomes, not evidentialist reasoning, makes cooperation attractive in the Prisoners' Dilemma. And a natural (...) though unwarranted assumption of such a power may account for the intuitive appeal of the one-box response in Newcomb's Problem. (shrink)

There is a long tradition in philosophy of using a priori methods to draw conclusions about what is possible and what is necessary, and often in turn to draw conclusions about matters of substantive metaphysics. Arguments like this typically have three steps: first an epistemic claim , from there to a modal claim , and from there to a metaphysical claim.

Could space consist entirely of extended regions, without any regions shaped like points, lines, or surfaces? Peter Forrest and Frank Arntzenius have independently raised a paradox of size for space like this, drawing on a construction of Cantor’s. I present a new version of this argument and explore possible lines of response.

To what extent and how is conceivability a guide to possibility? This essay explores general philosophical issues raised by this question, and critically surveys responses to it by Descartes, Hume, Kripke and "two-dimensionalists.".