Phenomenology and the Formal Sciences