Abstract

This article surveys the theory of the part relation (mereology), quantified modal logic, and Kripke and Putnam’s notion of natural kinds. It shows how the former two bear on the macroscopic understanding of the notions of substance and phase, which stands in contrast to the microphysical essentialism of Kripke and Putnam, and can be used to explicate Aristotle’s and the Stoic conceptions of mixture. The article concludes with some comments about the relevance of the issues raised by these ancient theories to modern views of element, compound and mixture.