I wish to present a proof that vagueness is impossible. Of course, vagueness is possible; and so there must be something wrong with the proof. But it is far from clear where the error lies and, indeed, all of the assumptions upon which the proof depends are ones that have commonly been accepted. This suggests that we may have to radically alter our current conception of vagueness if we are to make proper sense of what it is.

The naive theory of vagueness holds that the vagueness of an expression consists in its failure to draw a sharp boundary between positive and negative cases. The naive theory is contrasted with the nowadays dominant approach to vagueness, holding that the vagueness of an expression consists in its presenting borderline cases of application. The two approaches are briefly compared in their respective explanations of a paramount phenomenon of vagueness: our ignorance of any sharp boundary between positive and negative cases. These (...) explanations clearly do not provide any ground for choosing the dominant approach against the naive theory. The decisive advantage of the former over the latter is rather supposed to consist in its immunity to any form of sorites paradox. But another paramount phenomenon of vagueness is higher-order vagueness: the expressions introduced in order to express in the object language the vagueness of the object language are themselves vague. Two highly plausible claims about higher-order vagueness are articulated and defended: the existence of “definitely ω ” positive and negative cases and the “radical” character of higher-order vagueness itself. Using very weak logical principles concerning vague expressions and the ‘definitely’-operator, it is then shown that, in the presence of higher-order vagueness as just described, the dominant approach is subject to higher-order sorites paradoxes analogous to the original ones besetting the naive theory, and therefore that, against the communis opinio, it does not fare substantially better with respect to immunity to any form of sorites paradox. (shrink)

This paper is a tribute to Delia Graff Fara. It extends her work on failures of meta-rules for validity as truth-preservation under a supervaluationist identification of truth with supertruth. She showed that such failures occur even in languages without special vagueness-related operators, for standards of deductive reasoning as materially rather than purely logically good, depending on a context-dependent background. This paper extends her argument to: quantifier meta-rules like existential elimination; ambiguity; deliberately vague standard mathematical notation. Supervaluationist attempts to qualify the (...) meta-rules impose unreasonable cognitive demands on reasoning and underestimate her challenge. (shrink)

In their paper “Vagueness, Ignorance, and Margins for Error” Kenton Machina and Harry Deutsch criticize the epistemic theory of vagueness. This paper answers their objections. The main issues discussed are: the relation between meaning and use; the principle of bivalence; the ontology of vaguely specified classes; the proper form of margin for error principles; iterations of epistemic operators and semantic compositionality; the relation or lack of it between quantum mechanics and theories of vagueness.