This paper examines whether classical extensional mereology is adequate for formalizing the whole-parts relation in quantum chemical systems. Although other philosophers have argued that classical extensional and summative mereology does not adequately formalize whole-parts relation within organic wholes and social wholes, such critiques often assume that summative mereology is appropriate for formalizing the whole-parts relation in inorganic wholes such as atoms and molecules. However, my discussion of atoms and molecules as they are conceptualized in quantum chemistry will establish that standard mereology cannot adequately fulfill this task, since the properties and behavior of such wholes are context-dependent and cannot simply be reduced to the summative properties of their parts. To the extent that philosophers of chemistry have called for the development of an alternative mereology for quantum chemical systems, this paper ends by proposing behavioral mereology as a promising step in that direction. According to behavioral mereology, considerations of what constitutes a part of a whole is dependent upon the observable behavior displayed by these entities. Thus, relationality and context-dependence are stipulated from the outset and this makes behavioral mereology particularly well-suited as a mereology of quantum chemical wholes. The question of which mereology is appropriate for formalizing the whole-parts relation in quantum chemical systems is relevant to contemporary philosophy of chemistry, since this issue is related to the more general question of the reducibility of chemical wholes to their parts and of the reducibility of chemistry to physics, which have been of central importance within the philosophy of chemistry for several decades. More generally, this paper puts contemporary discussions of mereology within the philosophy of chemistry into a broader historical and philosophical context. In doing so, this paper also bridges the gap between formal mereology, conceived as a branch of formal ontology, and ‘applied’ mereology, conceived as a branch of philosophy of science.

Mereology stands for the philosophical concept of parthood and is based on a sound set of fundamental axioms and relations. One of these axioms relates to the existence of a universe as a thing having part all other things. The present article formulates this logical expression first as an algebraic inequality and eventually as an algebraic equation reading in words: The universe equals the sum of all things. “All things” here are quantified by a “number of things”. Eventually this algebraic equation is normalized leading to an expression The whole equals the sum of all fractions. This introduces “1” or “100%” as a quantitative – numerical - value describing the “whole”. The resulting “basic equation” can then be subjected to a number of algebraic operations. Especially squaring this equation leads to correlation terms between the things implying that the whole is more than just the sum of its parts. Multiplying the basic equation (or its square) by a scalar allows for the derivation of physics equations like the entropy equation, the ideal gas equation, an equation for the Lorentz-Factor, conservation laws for mass and energy, the energy-mass equivalence, the Boltzmann statistics, and the energy levels in a Hydrogen atom. It further allows deriving a “contrast equation” which may form the basis for the definition of a length and a time scale. Multiplying the basic equation with vectors, pseudovectors, pseudoscalars and eventually hypercomplex numbers opens up the realm of possibilities to generate many further equations.