Phenomenology and Logic