Abstract

All of the current leading theories of location are parsimonious: they have at most one locative primitive, and the definitions of all of the other locative relations appeal to nothing beyond that primitive, mereological properties and relations, and basic logic. I argue that if we believe there can be extended, mereologically simple regions, we can construct cases that are incompatible with every possible parsimonious theory of location. In these cases, an object is contained within a simple region that is larger than the object; that is, there is some region, r, and some object, x, are such that every subregion of r fails to be completely free of x, yet x fails to fill r. I argue that we ought to respond to this incompatibility by rejecting the analytic possibility of extended, simple regions.