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)

According to the naive theory of vagueness, the vagueness of an expression consists in the existence of both positive and negative cases of application of the expression and in the non- existence of a sharp cut-off point between them. The sorites paradox shows the naive theory to be inconsistent in most logics proposed for a vague language. The paper explores the prospects of saving the naive theory by revising the logic in a novel way, placing principled restrictions on the transitivity (...) of the consequence relation. A lattice-theoretical framework for a whole family of “tolerant logics” is proposed and developed. Particular care is devoted to the relation between the salient features of the formal apparatus and the informal logical and semantic notions they are supposed to model. A suitable non-transitive counterpart to classical logic is defined. Some of its properties are studied, and it is eventually shown how an appropriate regimentation of the naive theory of vagueness is consistent in such a logic. (shrink)

Vagueness manifests itself (among other things) in our inability to find boundaries to the extension of vague predicates. A semantic theory of vagueness plans to justify this inability in terms of the vague semantic rules governing language and thought. According to a supporter of semantic theory, the inability to find such a boundary is not dependent on epistemic limits and an omniscient being like God would be equally unable. Williamson (Vagueness, 1994 ) argued that cooperative omniscient beings adequately instructed would (...) find a precise boundary in a sorites series and that, for this reason, the semantic theory misses its target, while Hawthorne (Philosophical Studies 122:1–25, 2005 ) stood with the semantic theorists and argued that the linguistic behaviour of a cooperative omniscient being like God would clearly demonstrate that he does not find a precise boundary in the sorites series. I argue that Hawthorne’s definition of God’s cooperative behaviour cannot be accepted and that, contrary to what has been assumed by both Williamson and Hawthorne, an omniscient being like God cannot be a cooperative evaluator of a semantic theory of vagueness. (shrink)

There are some properties, like being bald, for which it is vague where the boundary between the things that have it and the things that do not lies. A number of arguments threaten to show that such properties can still be associated with determinate and knowable boundaries: not between the things that have it and those that don’t, but between the things such that it is borderline at some order whether they have it and the things for which it is (...) not. I argue that these arguments, if successful, turn on a contentious principle in the logic of determinacy: Brouwer’s Principle, that every truth is determinately not determinately false. Other paradoxes which do not appear to turn on this principle often tacitly make assumptions about assertion, knowledge and higher-order vagueness. In this paper I’ll show how one can avoid sharp higher-order boundaries by rejecting these assumptions. (shrink)