Online research in philosophy

According to the dominant approach in the theory of vagueness, the nature of the vagueness of an expression ‘F’ consists in its presenting borderline cases in an appropriately ordered series: objects which are neither definitely F nor definitely not F (where the notion of definiteness can be semantic, ontic, epistemic, psychological or primitive). In view of the various problems faced by theories of vagueness adopting the dominant approach, the thesis proposes to reconsider the naive theory of vagueness, according to which the nature of the vagueness of an expression consists in its not drawing boundaries between any neighbouring objects in an appropriately ordered series. It is argued that expressions and concepts which do present this feature play an essential role in our cognitive and practical life, allowing us to conceptualize—in a way which would otherwise be impossible—the typically coarse-grained distinctions we encounter in reality. Despite its strong initial plausibility and ability to explain many phenomena of vagueness, the naive theory is widely rejected because thought to be shown inconsistent by the sorites paradox. In reply, it is first argued that accounts of vagueness based on the dominant approach are themselves subject to higher-order sorites paradoxes. The paradox is then solved on behalf of the naive theory by rejecting the unrestricted transitivity of the consequence relation on a vague language; a family of logics apt for reasoning with vague expressions is proposed and studied (using models with partially ordered values). The characteristic philosophical and logical consequences of this novel solution are developed and defended in detail. In particular, it is shown how the analysis of what happens in the attempt of surveying a sorites series and deciding each case allows the naive theory to recover a "thin" notion of a borderline case.

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.

There are two things we must know in order to know what vagueness is. We must know what kinds of things can be vague. Evidently, predicate and sentence types can be vague, but what about tokens of those types? What about statements and other speech acts? What about abstract entities such as properties and propositions? And what about names and the boundaries of physical objects? Then, of course, for each kind of thing that can be vague, we must know in what vagueness for that kind consists. Needless to say, that there are these two questions doesn’t mean that we should try to answer the first before trying to answer the second.

We argue that standard definitions of ‘vagueness’ prejudice the question of how best to deal with the phenomenon of vagueness. In particular, the usual understanding of ‘vagueness’ in terms of borderline cases, where the latter are thought of as truth-value gaps, begs the question against the subvaluational approach. According to this latter approach, borderline cases are inconsistent (i.e., glutty not gappy). We suggest that a definition of ‘vagueness’ should be general enough to accommodate any genuine contender in the debate over how to best deal with the sorites paradox. Moreover, a definition of ‘vagueness’ must be able to accommodate the variety of forms sorites arguments can take. These include numerical, total-ordered sorites arguments, discrete versions, continuous versions, as well as others without any obvious metric structure at all. After considering the shortcomings of various definitions of ‘vagueness’, we propose a very general non-question-begging definition.

According to one account, vagueness is "metaphysical." The friend of metaphysical vagueness believes that, for some object and some property, there can be no determinate fact of the matter whether that object exemplifies that property. A second account maintains that vagueness is due only to ignorance. According to the epistemic account, vagueness is explained completely by and is nothing over and above our not knowing some relevant fact or facts. These are the minority views. The dominant position maintains that there is a third possible variety of vagueness, linguistic vagueness. And, it goes on to insist, all vagueness is of this third variety. I shall argue, however, that linguistic vagueness is not a third variety of vagueness. Either it is a species of metaphysical vagueness or a kind of ignorance. And this, I argue, makes trouble for the claim that all vagueness is linguistic.

The seminar is intended as an introduction to vagueness. We'll survey some prominent accounts of vagueness, so that people get a sense of what `accounting for vagueness' is all about, and why it's hard.

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.

A critical survey of the main theories about vagueness, organized in four main sections: (i) What is vagueness? (ii) Problems and paradoxes; (iii) Theories of vagueness; (iv) Vagueness and cognitive science.

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 (such as ‘borderline’ and ‘definitely’) 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.

I elaborate and defend the inconsistency view on vagueness I have earlier argued for in my (2002) and (forthcoming). In rough outline, the view is that the sorites paradox arises because tolerance principles, despite their inconsistency, are meaning-constitutive for vague expressions. Toward the end of the paper I discuss other inconsistency views on vagueness that have been proposed, and compare them to the view I favor.