Mereological harmony is the idea that the mereological structure of objects mirrors the mereological structure of locations. Grounding harmony is the idea that there is a similar mirroring between the grounding structure of objects and locations. Our goal in this paper is exploratory: we introduce and then explore two notions of grounding harmony: locative and structural. We outline potential locative and structural harmony principles for grounding, and show which of these principles may entail, or be entailed by, principles of mereological (...) harmony. We then present a case study in grounding harmony, by applying it to Schaffer’s :31, 2010a) specific version of priority monism. We show that, given a strong form of grounding harmony, Schaffer-style monism is inconsistent, but that this inconsistency can be resolved by offering bespoke notions of grounding harmony. We use Schaffer’s priority monism to demonstrate a broader tension within certain packages of metaphysical views, including versions of priority pluralism. We close by briefly considering the case against structural grounding harmony. (shrink)

We think of a boundary whenever we think of an entity demarcated from its surroundings. There is a boundary (a line) separating Maryland and Pennsylvania. There is a boundary (a circle) isolating the interior of a disc from its exterior. There is a boundary (a surface) enclosing the bulk of this apple. Sometimes the exact location of a boundary is unclear or otherwise controversial (as when you try to trace out the margins of Mount Everest, or even the boundary of (...) your own body). Sometimes the boundary lies skew to any physical discontinuity or qualitative differentiation (as with the border of Wyoming, or the boundary between the upper and lower halves of a homogeneous sphere). But whether sharp or blurry, natural or artificial, for every object there appears to be a boundary that marks it off from the rest of the world. Events, too, have boundaries — at least temporal boundaries. Our lives are bounded by our births and by our deaths; the soccer game began at 3pm sharp and ended with the referee's final whistle at 4:45pm. It is sometimes suggested that even abstract entities, such as concepts or sets, have boundaries of their own, and Wittgenstein could emphatically proclaim that the boundaries of our language are the boundaries of our world. Whether all this boundary talk is coherent, however, and whether it reflects the structure of the world or simply the organizing activity of our mind, are matters of deep philosophical controversy. (shrink)

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...) for formal ontology. We provide examples to support this thesis from the domain of biomedicine. (shrink)