 In this way the sorites paradoxes are said to be defused. With vagueness viewed as a semantic phenomenon, classical semantics is no longer appropriate as a semantics of vague language and supervaluation semantics is proposed in its place. One immediate concern facing this solution is the fact that it ultimately treats the mathematical induction and line-drawing forms of the sorites in the same manner as the logically conservative epistemic theory does. We are forced to accept the avowedly counterintuitive truth of ‘\(\exists n(\Phi\alpha_n \amp {\sim}\Phi\alpha_{n+1})\)’ which seems to postulate the existence of a sharp boundary, yet the existence of such a boundary is just what the semantic theory of vagueness is meant to deny. Supervaluationists respond by denying that the conclusion of the line-drawing sorites expresses the existence of a sharp boundary. Though committed to the claim expressed by