We present a logical theory of space where only tridimensional regions are assumed in the domain. Three distinct primitives are used to describe their mereological, topological and morphological properties: mereology is described by a parthood relation satisfying the axioms of Closed Extensional Mereology; topology is described by means of a "simple region" predicate, by which a relation of “st...

Contemporary metaphysicians have been drawn to a certain attractive picture of the structure of the world. This picture consists in classical mereology, the priority of parts over wholes, and the well-foundedness of metaphysical priority. In this short note, I show that this combination of theses entails superatomism, which is a significant strengthening of mereological atomism. This commitment...

Classical mereology is a formal theory of the part-whole relation, essentially involving a notion of mereological fusion, or sum. There are various different definitions of fusion in the literature, and various axiomatizations for classical mereology. Though the equivalence of the definitions of fusion is provable from axiom sets, the definitions are not logically equivalent, and, hence, are no...