In “Mathematics is megethology,” Lewis reconstructs set theory using mereology and plural quantification (MPQ). In his recontruction he assumes from the beginning that there is an infinite plurality of atoms, whose size is equivalent to that of the set theoretical universe. Since this assumption is far beyond the basic axioms of mereology, it might seem that MPQ do not play any role in order to...

The special composition question (SCQ), which asks under conditions objects compose a further object, establishes central debate in modern metaphysics. Recent successes of inductive metaphysics, studies the implications natural sciences for metaphysical problems, suggest that insights into SCQ can be gained by investigating physics composite systems. In this work, I show minus first law thermod...

In this discursive paper we discuss compositionality of (i) simple entities, (ii) operations, (iii) events and (iv) behaviours. These four concepts, (i)–(iv), together define a concept of entities. We view entities as “things” characterised by properties. We shall review some such properties. Mereology, the study of partwhole relations is then applied to a study of composite entities. We then s...

The purpose of this paper is to examine how any domain of Meinongian objects can be structured by a special kind of mereology. The basic definition of this mereology is the following: an object is part of another iff every characteristic property of the former is also a characteristic property of the latter. (The notions of domain of Meinongian objects and characteristic property will be carefu...

The paper explores the proof theory of non-wellfounded mereology with binary fusions and provides a cut-free sequent calculus equivalent to the standard axiomatic system.