Online research in philosophy

The main question of the paper is that ofwhat vagueness consists in. This question must be distinguished from other questions about vagueness discussed in the literature. It is argued that familiar accounts of vagueness for general reasons failto answer the question ofwhat vagueness consists in. A positive view is defended, according to which, roughly, the vagueness of an expression consists in it being part ofsemantic competence to accept a tolerance principle for the expression. Since tolerance principles are inconsistent, this is an inconsistency view on vagueness.

It is generally supposed that borderline cases account for the tolerance of vague terms, yet cannot themselves be sharply bounded, leading to infinite levels of higher order vagueness. This higher order vagueness subverts any formal effort to make language precise. However, it is possible to show that tolerance must diminish at higher orders. The attempt to derive it from indiscriminability founders on a simple empirical test, and we learn instead that there is no limit to how small higher order tolerance may become. That means there is no limit to how precisely we may draw the boundaries of borderline cases, thus forestalling any requirement for higher order vagueness.

Vagueness: an expression is vague if and only if it is possible that it give rise to a “borderline case.” A borderline case is a situation in which the application of a particular expression to a (name of) a particular object does not generate an expression with a definite TRUTH-VALUE. That is, the piece of language in question neither applies to the object nor fails to apply.

The paper presents a new theory of higher-order vagueness. This theory is an improvement on current theories of vagueness in that it (i) describes the kind of borderline cases relevant to the Sorites paradox, (ii) retains the ‘robustness’ of vague predicates, (iii) introduces a notion of higher-order vagueness that is compositional, but (iv) avoids the paradoxes of higher-order vagueness. The theory’s central building-blocks: Borderlinehood is defined as radical unclarity. Unclarity is defined by means of competent, rational, informed speakers (‘CRISPs’) whose competence, etc., is indexed to the scope of the unclarity operator. The unclarity is radical since it eliminates clear cases of unclarity and, that is, clear borderline cases. This radical unclarity leads to a (bivalence-compatible, non-intuitionist) absolute agnosticism about the semantic status of all borderline cases. The corresponding modal system would be a non-normal variation on S4M.

It is a great pleasure to have the opportunity to contribute to this volume dedicated to the critical celebration of Stephen Schiffer’s very considerable philosophical achievements. My focus will be on his recent work on vagueness.1 The broad direction of Schiffer’s researches in this area has been to give priority to what we may call the characterisation problem: the problem of saying what the vagueness of expressions of natural language consists in or, more specifically – since Schiffer takes it as a given that the vagueness he is targeting consist in a propensity of vague expressions to give rise to borderline cases —the problem of saying what being a borderline case of the concept expressed by a vague expression consists in. This has not been a main preoccupation of most of the work in the field since the vagueness “boom” started in the mid 1970s. There has been a tendency to jump straight into devising semantic theories for vague languages, usually aimed at twin desiderata of saving classical logic and dissolving the various paradoxes of vagueness, with a principal focus on the standard sorites, and occasional glances at the Forced March, and others.2 Of course, such work has inevitably implicated commitment to broad conceptions of vagueness, and of borderline cases, of various kinds. The classical epistemicist approach, for example, conceives of borderline cases as instances whose correct classification in terms of the relevant concept is, for reasons it attempts to explain, unknowable. Semantic indeterminist approaches, by contrast, tend (often implicitly) to conceive of borderline cases as items to which the concept in question neither applies nor fails to apply and as coming about because our practice with the concept leaves it, in effect, merely partially defined and so ‘gappy’. A variation on this, still semantic indeterminist, regards vagueness as consisting in a phenomenon akin to divided reference, whereby a predicate, for example, may be associated with a range of extensionally distinct best candidates to be the property it refers to; borderline cases are then items which exemplify some but not all of these properties..

Discussions of higher-order vagueness rarely define what it is for a term to have nth-order vagueness for n>2. This paper provides a rigorous definition in a framework analogous to possible worlds semantics; it is neutral between epistemic and supervaluationist accounts of vagueness. The definition is shown to have various desirable properties. But under natural assumptions it is also shown that 2nd-order vagueness implies vagueness of all orders, and that a conjunction can have 2nd-order vagueness even if its conjuncts do not. Relations between the definition and other proposals are explored; reasons are given for preferring the present proposal.

The Pyrrhonian sceptic Favorinus of Arelata personified indeterminacy, cultivating his (or her) borderline status to undermine dogmatism. Inspired by the techniques of Favorinus, I show, by example, that ‘vague’ has borderline cases. These concrete steps lead to a more abstract argument that ‘vague’ has borderline borderline cases and borderline borderline borderline cases. My specimens are intended supplement earlier non-constructive proofs of the vagueness of ‘vague’.

Vagueness is given a philosophically neutral definition in terms of an epistemic notion of tolerance. Such a notion is intended to capture the thesis that vague terms draw no known boundary across their range of signification and contrasts sharply with the semantic notion of tolerance given by Wright (1975, 1976). This allows us to distinguish vagueness from superficially similar but distinct phenomena such as semantic incompleteness. Two proofs are given which show that vagueness qua epistemic tolerance and vagueness qua borderline cases (when properly construed to exclude terms which are stipulated to give rise to borderline cases) are in fact conceptually equivalent dimensions of vagueness, contrary to what might initially be expected. It is also argued that the common confusion of tolerance and epistemic tolerance has skewed the vagueness debate in favour of indeterminist over epistemic conceptions of vagueness. Clearing up that confusion provides an indirect argument in favour of epistemicism. Finally, given the equation of vagueness with epistemic tolerance, it is shown that there must be radical higher-order vagueness, contrary to what many authors have argued.

Higher-order vagueness is widely thought to be a feature of vague predicates that any adequate theory of vagueness must accommodate. It takes a variety of forms. Perhaps the most familiar is the supposed existence, or at least possibility, of higher-order borderline cases—borderline borderline cases, borderline borderline borderline cases, and so forth. A second form of higherorder vagueness, what I will call ‘prescriptive’ higher-order vagueness, is thought to characterize complex predicates constructed from vague predicates by attaching operators having to do with the predicates’ proper application. For example, the predicates ‘mandates application of “old”’ and ‘can competently be called “old”’ are prescriptively higher-order vague. Higher-order vagueness appears in other guises as well,1 but these two have been of particular interest to philosophers and will be my target here. I want to expose some misconceptions about them. If I am right, higher-order vagueness is less prevalent, and less important theoretically, than is usually supposed.2 In what follows I am going to assume that vagueness is a semantic feature of natural language. For the most part I won’t discuss epistemic or pragmatic views, and I will say nothing about so-called metaphysical vagueness.

This paper presents and defends a definition of vagueness, compares it favourably with alternative definitions, and draws out some consequences of accepting this definition for the project of offering a substantive theory of vagueness. The definition is roughly this: a predicate 'F' is vague just in case for any objects a and b, if a and b are very close in respects relevant to the possession of F, then 'Fa' and 'Fb' are very close in respect of truth. The definition is extended to cover vagueness of many-place predicates, of properties and relations, and of objects. Some of the most important advantages of the definition are that it captures the intuitions which motivate the thought that vague predicates are tolerant, without leading to contradiction, and that it yields a clear understanding of the relationships between higher-order vagueness, sorites susceptibility, blurred boundaries, and borderline cases. The most notable consequence of the definition is that the correct theory of vagueness must countenance degrees of truth.