Abstract

The aim of the present article is to make the notion of an ontology of fields mathematically rigorous. The conclusion will be that couching an ontology in terms of mathematical bundles and cross-sections (i.e. fields) both (1) captures many important intuitions of conventional ontologies, including the universal-particular paradigm, the connection of universals and their ‘instantiations’, and the notion of ‘possibility’, and (2) makes possible the framing of ontologies without ‘substrata’, bare particulars, and primitive particularizers (a goal that trope ontologies, for example, have sought to attain).