Zalta, Meinong, Metaphysics Semiogenesis, Conceptology, Metaphorical design http://mally.stanford.edu/theory.html
from the site ...
The theory of abstract objects is a metaphysical theory. Whereas physics attempts a systematic description of fundamental and complex concrete objects, metaphysics attempts a systematic description of fundamental and complex abstract objects. Abstract objects are the objects that are presupposed by our scientific conceptual framework. For example, when doing natural science, we presuppose that we can use the natural numbers to count concrete objects, and that we can use the real numbers to measure them in various ways. It is part of our understanding of science that natural laws exist (even if no one were around to discover them) and that the states of affairs that obtain in the natural world are governed by such laws. As part of our scientific investigations, we presuppose that objects behave in certain ways because they have certain properties, and that natural laws govern not just actual objects that have certain properties, but any physically possible object having those properties. So metaphysics investigates numbers, laws, properties, possibilities, etc., as entities in their own right, since they seem to be presupposed by our very understanding of the scientific enterprise. The theory of abstract objects attempts to organize these objects within a systematic and axiomatic framework.
iostream *f = (iostream *)(rand());