Central to Elements is an assay of the attributional union properties and relations have with their subjects, a topic historically left metaphorical. The work critiques eight Aristotelian assumptions concerning attribute dependence and 'inherence', per se subjects ('substances'), attributes as agent-organizers, and unity-by-a-shared-one. Groups of these assumptions are seen to yield contradiction, vicious regress, or other problems. This analysis, joined with insights from an assay of ubiquitous structure, motivate ten theses explicating attribution and its primary ontic status. The theses detail: attributes proper as individuated instances, structure as instance-generated facts and their two forms of composition, the conditioning role and universal nature of instances' component intensions, the primacy of attribute instances for generating all forms of composition and complex entities, and identity and indiscernibility criteria for the latter. Principal is the insight that attribution is intension-determined combinatorial agency. It is its systematizing implications that provide solutions to classic problems, e.g., Composition, Individuation, and Universals, and in net generate a comprehensive one-category structuralist ontology.

Instance ontology, or particularism - the doctrine that asserts the individuality of properties and relations - has been a persistent topic in Western philosophy, discussed in works by Plato and Aristotle, by Muslim and Christian scholastics, and by philosophers of both realist and nominalist positions. This book by D. W. Mertz is the first sustained analysis that applies the rules and systems of mathematics and logic to instance ontology in order to argue for its validity and for its problem-solving capacities and to associate it with a version of the realist position that Mertz calls "moderate realism". Mertz surveys the history of instance ontology in writings from Plato and Aristotle through Leibniz, followed by modern philosophers such as Bertrand Russell and D. M. Armstrong, among others. He also includes a thorough critique of the recent work of Keith Campbell and other contemporary nominalists. Building on the insights gained through this historical overview, he delves deeper into the logic of instance ontology and uncovers some of its extraordinary problem-solving features: distinguishing legitimate from illegitimate impredicative reasoning; uniformly diagnosing the self-referential paradoxes; being free from the limitation theorems of Godel and Tarski; providing a basis for the derivation of arithmetic construed intensionally; and formally distinguishing identity and indiscernibility.