One conception of the Principle of Sufficient Reason maintains that every fact is metaphysically explained. There are different ways to challenge this version of the PSR; one type of challenge involves pinpointing a specific set of facts that resist metaphysical explanation. Certain identity and distinctness facts seem to constitute such a set. For example, we can imagine a scenario in which we have two qualitatively identical spheres, Castor and Pollux. Castor is distinct from Pollux but it is unclear what could (...) metaphysically explain this distinctness fact. In this paper, I argue that we should not treat identity and distinctness facts as metaphysically fundamental. As such, identity and distinctness facts do not challenge the PSR. We can metaphysically explain them. (shrink)

What grounds the facts about what is identical to/distinct from what? A natural answer is: the facts about what exists. Despite its prima facie appeal, this view has received surprisingly little attention in the literature. Moreover, those who have discussed it have been inclined to reject it because of the following important challenge: why should the existence of some individuals ground their identity in some cases and their distinctness in others? (Burgess 2012, Shumener 2020b). This paper offers a sustained defense (...) of the view. The first half provides some positive motivations in terms of other natural principles involving ground. The second half considers various ways of distilling the challenge into a precise objection to the view, and argues that none of the resulting objections proves persuasive. (shrink)

I systematically defend a novel account of the grounds for identity and distinctness facts: they are all uniquely zero‐grounded. First, this Null Account is shown to avoid a range of problems facing other accounts: a relation satisfying the Null Account would be an excellent candidate for being the identity relation. Second, a plenitudinist view of relations suggests that there is such a relation. To flesh out this plenitudinist view I sketch a novel framework for expressing real definitions, use this framework (...) to give a definition of identity, and show how the central features of the identity relation can be deduced from this definition. (shrink)