the branch of metaphysics which deals with the study of what exists the assumptions about existence underlying a theory.