Ontological Induction and the Logical Typology of Scientific Variables