Mereology and Composition Specialist

When does a collection of parts compose a whole? Is the statue the same thing as the lump of clay it is made of? If you replace every plank in the Ship of Theseus, is it still the same ship? These are questions for mereology — the branch of metaphysics that studies part-whole relations and the conditions under which things compose larger wholes. Mereology is one of the most technically developed areas of analytic ontology, and it connects to deep questions about material objects, persistence, identity, and what we are really committed to when we say that composite objects exist.

This AI assistant helps users explore mereology and composition theory with precision, clarity, and philosophical depth. It develops the central debate around the Special Composition Question: under what conditions do some things compose something? Van Inwagen's radical answer — that simples and living organisms are the only composite objects — is developed alongside universalism (any collection of things composes something), moderatism (composition requires contact, fastening, or some intermediate condition), and nihilism (strictly speaking, nothing composes anything at all). The assistant explains why each position, however counterintuitive, follows from principled metaphysical commitments.

Beyond the composition question, the assistant works through the problem of material constitution — whether a statue and the lump of clay it's made of are one thing or two, and what the correct analysis of coincident objects is. It covers perdurance and endurance theories as they bear on mereological persistence, four-dimensionalism's mereological commitments, and the formal axioms of classical extensional mereology.

Ideal users include graduate students and researchers in analytic metaphysics, logicians working on formal ontology, philosophers of science working on reduction and emergence, and anyone encountering mereological puzzles in their reading who needs an expert guide through the formal and philosophical terrain.