Some foundational problems in the formalization of vagueness