Catharine Diehl

This paper examines the logical and metaphysical consequences of denying Leibniz's Law, the principle that if t1= t2, then φ(t1) if and only if φ(t2). Recently, Caie, Goodman, and Lederman (2020) and Bacon and Russell (2019) have proposed sophisticated logical systems permitting violations of Leibniz's Law. We show that their systems conflict with widely held, attractive principles concerning the metaphysics of individuals. Only by adopting a highly revisionary picture, on which there is no finest-grained equivalence relation, can a well-motivated metaphysics for rejecting Leibniz's Law be developed. We sketch one such picture—a metaphysics of stuff. Stuff ontologies can be initially motivated through ordinary language: stuff stands to mass nouns as objects stand to count nouns. The stuff ontology we propose takes stuff to be fundamental and views the world as composed of an infinite descending hierarchy of kinds and portions of stuff. We defend the coherence of this picture and offer a model theory demonstrating that it can be consistently formalized.

According to anti-individualism, the basic building blocks of the world are not individuals. The anti-individualist argues that standard, individual-entailing claims–for instance, that Theia is a cat–are mistaken in presupposing that there are individuals, but that such claims correspond to statements in a feature-placing language devoid of these presuppositions. Instead, the world is entirely made up of non-individualistic features–structurally akin to familiar examples such as it's raining or it's snowing–that are arranged in particular ways. Since features do not carve out individual differences, however, this seems to entail that there is a class of statements in an individualistic language–statements expressing mere differences in which object is which–the members of which all correspond to the same anti-individualist description. That is, anti-individualism seems to entail anti-haecceitism, according to which all differences in ways the world could be supervene on qualitative differences. In this paper, I argue that, on the contrary, the anti-individualist has the resources to accommodate non-qualitative differences among ways the world could be. Moreover, haecceitistic anti-individualism does justice to the motivations for rejecting individuals while nevertheless accommodating intuitions that certain kinds of scenarios are metaphysically distinct.

According to ontological nihilism there are, fundamentally, no individuals. Both natural languages and standard predicate logic, however, appear to be committed to a picture of the world as containing individual objects. This leads to what I call the \emph{expressibility challenge} for ontological nihilism: what language can the ontological nihilist use to express her account of how matters fundamentally stand? One promising suggestion is for the nihilist to use a form of \emph{predicate functorese}, a language developed by Quine. This proposal faces a difficult objection, according to which any theory in predicate functorese will be a notational variant of the corresponding theory stated in standard predicate logic. Jason Turner (2011) has provided the most detailed and convincing version of this objection. In the present paper, I argue that Turner's case for the notational variance thesis relies on a faulty metasemantic principle and, consequently, that an objection long thought devastating is in fact misguided.