 In accord with a principle of least mutilation, one approach adapts Van Fraassen’s supervaluation semantics (1966) to the sorites paradox and vagueness more generally (e.g., Fine 1975; Keefe 2000). As a result, it endorses a non-bivalent logic that, at least on the face of it, retains the classical consequence relation and classical laws while admitting truth-value gaps. On this view, the challenge posed by the sorites paradox can be met by logical revision in the metatheory alone, and a type (2) response is advocated.