Abstract

This piece gives an overview of the supervaluationist theory of vagueness. According to that theory, a sentence is true if and only if it is true on all ways of making it precise. This yields borderline case predications that are neither true nor false, but yet classical logic is preserved almost entirely. The article presents the view and some of its merits and briefly compares it with other theories of vagueness. It raises issues about higher-order vagueness and the definitely operator and about the supervaluationist's accounts of truth and validity.