I propose an account of possible worlds. According to the account, possible worlds are pluralities of sentences in an extremely large language. This account avoids a problem, relating to the total number of possible worlds, that other accounts face. And it has several additional benefits.

Ontological pluralism is the view that there are different fundamental ways of being. Trenton Merricks has recently raised three objections to combining pluralism with a generic way of being enjoyed by absolutely everything there is: first, that the resulting view contradicts the pluralist’s core intuition; second, that it is especially vulnerable to the charge—due to Peter van Inwagen—that it posits a difference in being where there is simply a difference in kind; and, third, that it is in tension with various (...) historically influential motivations for pluralism. I reply to each of these objections in turn. My replies will help to bring out the true nature of the pluralist’s basic commitments. (shrink)

The distinction between qualitative and non-qualitative properties should be familiar from discussions of the principle of the identity of indiscernibles: two otherwise exactly similar individuals, Castor and Pollux, might share all their qualitative properties yet differ with respect to their non-qualitative properties—for while Castor has the property being identical to Castor, Pollux does not. But while this distinction is familiar, there has not been much critical attention devoted to spelling out its precise nature. I argue that the class of non-qualitative (...) properties is broader than it is often taken to be. When properly construed, it will not only include properties such as being identical to Castor, which somehow make reference to particular individuals, it will also include more general properties such as identity, composition, set membership, as well as various peculiarly ontological properties. Given that some of these more general properties help to explain objective similarity, we have reason to believe that there are fundamental non-qualitative properties. (shrink)

On a view implicitly endorsed by many, a concept is epistemically better than another if and because it does a better job at ‘carving at the joints', or if the property corresponding to it is ‘more natural' than the one corresponding to another. This chapter offers an argument against this seemingly plausible thought, starting from three key observations about the way we use and evaluate concepts from en epistemic perspective: that we look for concepts that play a role in explanations (...) of things that cry out for explanation; that we evaluate not only ‘empirical' concepts, but also mathematical and perhaps moral concepts from an epistemic perspective; and that there is much more complexity to the concept/property relation than the natural thought seems to presuppose. These observations, it is argued, rule out giving a theory of conceptual evaluation that is a corollary of a metaphysical ranking of the relevant properties. -/- conceptual ethics, explanation, naturalness, epistemic value, concept/property, semantic internalism. (shrink)

Humeans have a problem with quantities. A core principle of any Humean account of modality is that fundamental entities can freely recombine. But determinate quantities, if fundamental, seem to violate this core principle: determinate quantities belonging to the same determinable necessarily exclude one another. Call this the problem of exclusion. Prominent Humeans have responded in various ways. Wittgenstein, when he resurfaced to philosophy, gave the problem of exclusion as a reason to abandon the logical atomism of the Tractatus with its (...) free recombination of elementary propositions. Armstrong promoted a mereological solution to the problem of exclusion; but his account fails in manifold ways to provide a general solution to the problem. Lewis studiously avoided committing to any one solution, trusting simply that, since Humeanism was true, there had to be some solution. Abandonment; failure; avoidance: we Humeans need to do better. -/- In this paper, I present what I take to be the best account of quantities, tailoring it where needed to meet Humean demands as well as my own prior commitment to quidditism, and my own comparativist inclinations. In short: determinables, not determinates, are the fundamental properties, and freely recombine; determinates arise from the instantiation of determinables in an enhanced world structure; determinate quantities may be local (in a sense to be explained), but they are not intrinsic. Is the account I end up with Humean? Not, unfortunately, as it stands: the problem of exclusion still rears its ugly head. After dismissing a failed attempt at a solution, I consider in the final section the two viable Humean options. One attributes the source of the necessary exclusions to conventional definition, the other attributes it to logic. The first is safe and familiar, but not a response I can accept given my other commitments. The second is more radical and less familiar; but I am convinced it is on the right track. I don’t have space to develop it much here, but I put it out for future research. (shrink)

Composition as identity, as I understand it, is a theory of the composite structure of reality. The theory’s underlying logic is irreducibly plural; its fundamental primitive is a generalized identity relation that takes either plural or singular arguments. Strong versions of the theory that incorporate a generalized version of the indiscernibility of identicals are incompatible with the framework of plural logic, and should be rejected. Weak versions of the theory that are based on the idea that composition is merely analogous (...) to identity are too weak to be interesting, lacking in metaphysical consequence. I defend a moderate version according to which composition is a kind of identity, and argue that the difference is metaphysically substantial, not merely terminological. I then consider whether the notion of generalized identity, though fundamental, can be elucidated in modal terms by reverse engineering Hume’s Dictum. Unfortunately, for realists about possible worlds, such as myself,... (shrink)

Radically permissive ontologies like mereological universalism and material plenitude are typically motivated by concerns about arbitrariness or anthropocentrism: it would be objectionably arbitrary, the thought goes, to countenance only those objects that we ordinarily take there to be. Despite the prevalence of this idea, it isn't at all clear what it is for a theory to be “objectionably arbitrary,” or what follows from a commitment to avoiding arbitrariness in metaphysics. This paper aims to clarify both questions, and examines whether arguments (...) from arbitrariness really are the proper foundations for one or both varieties of ontological permissivism. I argue that these considerations (even when made more precise) are far less successful at motivating radical forms of permissivism than we often take them to be. To do better, permissivists must either supply a much more developed metaphysics of material objects, or a controversial (but tempting) conception of what we're doing when we do metaphysics. (shrink)

In this article I discuss various humility theses about individuals and intrinsic properties as discussed by authors such as David Lewis. I argue that we should accept a similar humility thesis about the world’s space-time structure regardless of which metaphysics of space-time we accept. I argue this undercuts some important motivations opting in for an ontic structural realist metaphysic.