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)

An overview of contemporary part-whole theories, with reference to both their axiomatic developments and their philosophical underpinnings.

In this paper, I develop a "safety result" for applied mathematics. I show that whenever a theory in natural science entails some non-mathematical conclusion via an application of mathematics, there is a counterpart theory that carries no commitment to mathematical objects, entails the same conclusion, and the claims of which are true if the claims of the original theory are "correct": roughly, true given the assumption that mathematical objects exist. The framework used for proving the safety result has some advantages (...) over existing nominalistic accounts of applied mathematics. It also provides a nominalistic account of pure mathematics. (shrink)

In his 1991 book, Parts of Classes, David Lewis discusses the idea that composition is identity, alongside the idea that mereological overlap is a form of partial identity. But this notion of partial identity does nothing to help Lewis achieve his goals in that book. So why does he mention it? I explore and resolve this puzzle, by comparing Parts of Classes with Lewis's invocation of partial identity in his 1993 paper ‘Many But Almost One’, where he uses it to (...) address Unger's problem of the many. I raise some concerns about this way of thinking of partial identity, but conclude that, for Lewis, it is an important defence against accusations of ontological profligacy. (shrink)