Higher-Order Vagueness

This paper intends to further the understanding of the formal properties of (higher-order) vagueness by connecting theories of (higher-order) vagueness with more recent work in topology. First, we provide a “translation” of Bobzien's account of columnar higher-order vagueness into the logic of topological spaces. Since columnar vagueness is an essential ingredient of her solution to the Sorites paradox, a central problem of any theory of vagueness comes into contact with the modern mathematical theory of topology. Second, Rumfitt’s recent topological reconstruction (...) of Sainsbury’s theory of prototypically defined concepts is shown to lead to the same class of spaces that characterize Bobzien’s account of columnar vagueness, namely, weakly scattered spaces. Rumfitt calls these spaces polar spaces. They turn out to be closely related to Gärdenfors’ conceptual spaces, which have come to play an ever more important role in cognitive science and related disciplines. Finally, Williamson’s “logic of clarity” is explicated in terms of a generalized topology (“locology”) that can be considered an alternative to standard topology. Arguably, locology has some conceptual advantages over topology with respect to the conceptualization of a boundary and a borderline. Moreover, in Williamson’s logic of clarity, vague concepts with respect to a notion of a locologically inspired notion of a “slim boundary” are (stably) columnar. Thus, Williamson’s logic of clarity also exhibits a certain affinity for columnar vagueness. In sum, a topological perspective is useful for a conceptual elucidation and unification of central aspects of a variety of contemporary accounts of vagueness. (shrink)

A discussion of Crispin Wright's 'paradox of higher-order vagueness', I suggest that the paradox may be resolved by careful attention to the logical principles used in its formulation. In particular, I focus attention on the rule of inference that allows for the inference from A to 'Definitely A', and argue that this rule, though valid, may not be used in subordinate deductions, e.g., in the course of a conditional proof. Wright's paradox uses the rule (or its equivalent) in this way.

The argument proceeds by exploiting the gradually decreasing vagueness of a certain sequence of predicates. the vagueness of 'vague' is then used to show that the thesis that all vague predicates are incoherent is self-defeating. a second casualty is the view that the probems of vagueness can be avoided by restricting the scope of logic to nonvague predicates.

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...) so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

Alessandro Torza argues that Ted Sider’s Lewisian argument against vague existence is insufficient to rule out the possibility of what he calls ‘super-vague existence’, that is the idea that existence is higher-order vague, for all orders. In this chapter it is argued that the possibility of super-vague existence is ineffective against the conclusion of Sider’s argument since super-vague existence cannot be consistently claimed to be a kind of linguistic vagueness. Torza’s idea of super-vague existence seems to be better suited to (...) model vague existence under the assumption that vague existence is instead a form of ontic indeterminacy, contra what Ted Sider and David Lewis assume. (shrink)

A theory of higher-order vagueness for partially-defined, context-sensitive predicates like is blue is offered. According to the theory, the predicate is determinately blue means roughly is an object o such that the claim that o is blue is a necessary consequence of the rules of the language plus the underlying non-linguistic facts in the world. Because the question of which rules count as rules of the language is itself vague, the predicate is determinately blue is both vague and partial in (...) a sense analogous (though not completely identical) to the sense in which is blue is vague and partial. However, higher-order vagueness stops there. Although the anti-extension of is determinately blue differs from that of is blue, further iterations of determinately have no semantic effect. The paper closes with a discussion of the need to posit sharp and precise lines dividing the range of potential application of a vague predicate into semantically distinct categories. It is argued that this is less of a problem for the present theory than for many others, because the categories into which the range is divided by the present theory -- like the category of counting as blue because the rules of the language offer speakers no discretion, as opposed to the category of counting as blue because speakers have invoked an absolute minimum of discretion in adjusting the contextually sensitive boundaries of the predicate -- are not those that the linguistic competence of ordinary speakers equips them to make highly accurate and reliable judgments about. (shrink)

If there are vague numbers, it would be easier to use numbers as semantic values in a treatment of vagueness while avoiding precise cut-off points. When we assign a particular statement a range of values there is no precise sharp cut-off point that locates the greatest lower bound or the least upper bound of the interval, I should like to say. Is this possible? “Vague Numbers” stands for awareness of the problem. I do not present a serious theory of vague (...) numbers. I sketch some reasons for using a many-value semantics. These reasons refer to my earlier treatments of determinacy and definitions of higher-order borderline cases. I also sketch how definitions of independence use the determinacy operator. The distinction between actually assigned values and values whose assignments are acceptable helps avoid unwanted precise cut-off points. (shrink)

According to contextualism about vagueness, the content of a vague predicate is context sensitive. On this view, when item a is in the penumbra of the vague predicate ‘F’, speakers may utter ‘Fa’, or they may utter ‘not-Fa’, without contravening the literal meaning of ‘F’. Unlike its more popular variants, the version of contextualism I defend rejects the principle of tolerance, a principle according to which small differences should not affect the applicability of a vague predicate. My goal is to (...) show how such a rejection allows for a plausible treatment of higher-order vagueness, and for a dissolution of paradoxes of higher-order vagueness. (shrink)

The idea of higher-order vagueness is usually associated with conceptions of vagueness that focus on the existence of borderline cases. What sense can be made of it within a conception of vagueness that focuses on tolerance instead? A proposal is offered here. It involves understanding ‘definitely’ not as a sentence operator but as a predicate modifier, and more precisely as an intensifier, that is, an operator that shifts the predicate extension along a scale. This idea is combined with the author’s (...) earlier approach to the semantics of vague expressions, which builds on the idea of a central gap associated with a predicate. The central gap approach is generalized to handle arbitrarily many iterations of ‘definitely’. (shrink)

Michael Tye responds to the problem of higher-order vagueness for his trivalent semantics by maintaining that truth-value predicates are “vaguely vague”: it’s indeterminate, on his view, whether they have borderline cases and therefore indeterminate whether every sentence is true, false, or indefinite. Rosanna Keefe objects (1) that Tye’s argument for this claim tacitly assumes that every sentence is true, false, or indefinite, and (2) that the conclusion is any case not viable. I argue – contra (1) – that Tye’s argument (...) needn’t make that assumption. A version of her objection is in fact better directed against other arguments Tye advances, though Tye can absorb this criticism without abandoning his position’s core. On the other hand, Keefe’s second objection does hit the mark: embracing ‘vaguely vague’ truth-value predicates undermines Tye’s ability to support validity claims needed to defend his position. To see this, however, we must develop Keefe’s remarks further than she does. (shrink)

This paper is an expanded written version of my reply to Rosanna Keefe’s paper ‘Modelling higher-order vagueness: columns, borderlines and boundaries’ (Keefe 2015), which in turn is a reply to my paper ‘Columnar higher-order vagueness, or Vagueness is higher-order vagueness’ (Bobzien 2015). Both papers were presented at the Joint Session of the the Aristotelian Society and the Mind Association in July, 2015. At the Joint Session meeting, there was insufficient time to present all of my points in response to Keefe’s (...) paper. In addition, the audio of the session, which is available online, becomes inaudible at the beginning of my reply to Keefe’s comments due to a technical defect. The following is a full version of my remarks. (shrink)

There is a trade-off between specificity and accuracy in existing models of belief. Descriptions of agents in the tripartite model, which recognizes only three doxastic attitudes—belief, disbelief, and suspension of judgment—are typically accurate, but not sufficiently specific. The orthodox Bayesian model, which requires real-valued credences, is perfectly specific, but often inaccurate: we often lack precise credences. I argue, first, that a popular attempt to fix the Bayesian model by using sets of functions is also inaccurate, since it requires us to (...) have interval-valued credences with perfectly precise endpoints. We can see this problem as analogous to the problem of higher order vagueness. Ultimately, I argue, the only way to avoid these problems is to endorse Insurmountable Unclassifiability. This principle has some surprising and radical consequences. For example, it entails that the trade-off between accuracy and specificity is in-principle unavoidable: sometimes it is simply impossible to characterize an agent’s doxastic state in a way that is both fully accurate and maximally specific. What we can do, however, is improve on both the tripartite and existing Bayesian models. I construct a new model of belief—the minimal model—that allows us to characterize agents with much greater specificity than the tripartite model, and yet which remains, unlike existing Bayesian models, perfectly accurate. (shrink)

According to columnar higher-order vagueness, all orders of vagueness coincide: any borderline case is a borderline borderline case, and a third-order borderline case, etc. Bobzien has worked out many details of such a theory and models it with a modal logic closely related to S4. I take up a range of questions about the framework and argue that it is not suitable for modelling the structure of vagueness and higher-order vagueness.

One of the hardest problems in philosophy, one that has been around for over two thousand years without generating any significant consensus on its solution, involves the concept of vagueness: a word or concept that doesn't have a perfectly precise meaning. There is an argument that seems to show that the word or concept simply must have a perfectly precise meaning, as violently counterintuitive as that is. Unfortunately, the argument is usually so compressed that it is difficult to see why (...) exactly the problem is so hard to solve. In this article I attempt to explain just why it is that the problem – the sorites paradox – is so intractable.Export citation. (shrink)

Most descriptions of higher-order vagueness in terms of traditional modal logic generate so-called higher-order vagueness paradoxes. The one that doesn't is problematic otherwise. Consequently, the present trend is toward more complex, non-standard theories. However, there is no need for this.In this paper I introduce a theory of higher-order vagueness that is paradox-free and can be expressed in the first-order extension of a normal modal system that is complete with respect to single-domain Kripke-frame semantics. This is the system QS4M+BF+FIN. It corresponds (...) to the class of transitive, reflexive and final frames. With borderlineness defined logically as usual, it then follows that something is borderline precisely when it is higher-order borderline, and that a predicate is vague precisely when it is higher-order vague.Like Williamson's, the theory proposed here has no clear borderline cases in Sorites sequences. I argue that objections that there must be clear borderline cases ensue from the confusion of two notions of borderlineness—one associated with genuine higher-order vagueness, the other employed to sort objects into categories—and that the higher-order vagueness paradoxes result from superimposing the second notion onto the first. Lastly, I address some further potential objections. (shrink)

I argue against a standard conception of classification, according to which concepts classify by drawing boundaries. This conception cannot properly account for "higher-order vagueness." I discuss in detail claims by Crispin Wright about "definitely," and its connection with higher-order vagueness. Contrary to Wright, I argue that the line between definite cases of red and borderline ones is not sharp. I suggest a new conception of classification: many concepts classify without drawing boundaries; they are boundaryless. Within this picture, there are no (...) orders of vagueness, though the phenomena which suggest the description "higher-order vagueness" are real enough. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

This paper shows that the following common assumption is false: that in modal-logical representations of higher-order vagueness, for there to be borderline cases to borderline cases ad infinitum, the number of possible distinct modalities in a modal system must be infinite. (Open access journal).

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. (shrink)

ABSTRACT: Recently a bold and admirable interpretation of Chrysippus’ position on the Sorites has been presented, suggesting that Chrysippus offered a solution to the Sorites by (i) taking an epistemicist position1 which (ii) made allowances for higher-order vagueness. In this paper I argue (i) that Chrysippus did not take an epistemicist position, but − if any − a non-epistemic one which denies truth-values to some cases in a Sorites-series, and (ii) that it is uncertain whether and how he made allowances (...) for higher-order vagueness, but if he did, this was not grounded on an epistemicist position. (shrink)

R. Sorensen’s argument to the effect that ’vague’ is a vague predicate has been used by D. Hyde to infer that vague predicates suffer from higher-order vagueness. M. Tye has objected (convincingly) that this is too strong: all that follows from Sorensen’s result is that there are some border border cases, but not necessarily border border cases of every vague predicate. I argue that this is still too strong: Sorensen’s proof presupposes the existence of border border cases, hence cannot be (...) used to establish that fact on pain of circularity. (shrink)

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. (shrink)

This paper presents a new theory of vagueness, which is designed to retain the virtues of the fuzzy theory, while avoiding the problem of higher-order vagueness. The theory presented here accommodates the idea that for any statement S₁ to the effect that 'Bob is bald' is x true, for x in [0, 1], there should be a further statement S₂ which tells us how true S₁ is, and so on - that is, it accommodates higher-order vagueness without resorting to the (...) claim that the metalanguage in which the semantics of vagueness is presented is itself vague, and without requiring us to abandon the idea that the logic - as opposed to the semantics - of vague discourse is classical. I model the extension of a vague predicate P as a blurry set, this being a function which assigns a degree of membership or degree function to each object o, where a degree function in turn assigns an element of [0, 1] to each finite sequence of elements of [0, 1]. The idea is that the assignment to the sequence (0.3, 0.2), for example, represents the degree to which it is true to say that it is 0.2 true that o is P to degree 0.3. The philosophical merits of my theory are discussed in detail, and the theory is compared with other extensions and generalisations of fuzzy logic in the literature. (shrink)

It is generally agreed that vague predicates like ‘red’, ‘rich’, ‘tall’, and ‘bald’, have borderline cases of application. For instance, a cloth patch whose color lies midway between a definite red and a definite orange is a borderline case for ‘red’, and an American man five feet eleven inches in height is (arguably) a borderline case for ‘tall’. The proper analysis of borderline cases is a matter of dispute, but most theorists of vagueness agree at least in the thought that (...) borderline cases for vague predicate ‘ ’ are items whose satisfaction of ‘ ’ is in some sense unclear or problematic: it is unclear whether or not the patch is red, unclear whether or not the man is tall.1 For example, Lynda Burns cites a widespread view as holding that borderline cases “are not definitely within the positive or negative extension of the predicate. … Border- line cases are seen as falling within a gap between the cases of definite application of the predicate and cases of definite application of its negation” (1995, 30). Michael Tye writes that the “concept of a border- line case is the concept of a case that is neither definitely in nor defi- nitely out” (1994b, 18). (shrink)

Varzi has recently joined a thread of arguments originating in an attempt by Sorensen (1985) to demonstrate that the predicate ‘vague’ is itself vague. Sorensen's conclusion is significant in that it has provided the basis for a subsequent effort by Hyde (1994) to defend the legitimacy of supposing higher-order vagueness. Varzi's contribution to this debate is twofold. First, contra earlier criticism by Deas (1989), he claims that Sorensen's result is sound so far as it goes. Second, he argues that despite (...) this it cannot be used as Hyde wishes on pain of circularity. I am not interested in the latter argument—it is examined in Hyde (2003)—but rather wish to defend and elaborate Deas's criticism of Sorensen against Varzi's repudiation. (shrink)

Los dos grandes problemas del enfoque supervaluacionista para la vaguedad son determinar cuáles son las precisificaciones admisibles y la vaguedad de orden superior ilimitado. Apelando al uso de los términos vagos por la comunidad lingüística competente puede dividirse de forma tajante la extension de un término precisando en qué casos se aplica definidamente, en cuáles se aplica indefinidamente y en cuales es indeterminado si se aplica. Esto produce dos órdenes de vaguedad, con lo que se bloquean los argumentos sorites. Finalmente (...) se indaga qué semántica resulta más adecuada para una vaguedad de segundo orden. La vaguedad se basa en una indeterminación determinada en la aplicación de ciertos términos por parte de los hablantes nativos. The two main problems for the supevaluationationist approach to vagueness are deciding which precifications are admissible and unlimited higher-order vagueness. Resorting to the use of vague terms by the competent linguistic community the extension of a term can be sharply divided, making precise in which cases it applies definitely, when it applies indefinitely and when it is undetermined whether it applies. This produces two orders of vagueness, and as a result sorties arguments are blocked. Finally, it is enquired what semantic fits better to second order vagueness. Vagueness is based on a determined indeteminacy concerning the application of certain terms by native speakers. (shrink)

The paper develops a critical dialectic with respect to the nowadays dominant approach in the theory of vagueness, an approach whose main tenet is that it is in the nature of the vagueness of an expression to present borderline cases of application, conceived of as enjoying some kind of distinctive normative status. Borderlineness is used to explain the basic phenomena of vagueness, such as, for example, our ignorance of the location of cut-offs in a soritical series. Every particular theory of (...) vagueness exemplifying the approach makes use, in the vague object language, of a definiteness operator which, however substantially interpreted, unavoidably inherits the vagueness of the expressions on which it operates ('higher-order vagueness'). It is first argued that finite soritical series force a surprising collapse result concerning a particular set of expressions involving the definiteness operator. It is then shown that, under two highly plausible assumptions about higher-order vagueness (the existence of 'absolutely definitely' positive and negative cases and the 'radical' character of higher-order vagueness itself), the collapse result implies the inadequacy of the dominant approach as a theory of vagueness, as its main tenet can be, at best, not absolutely definitely true. (shrink)

Supervaluational accounts of vagueness have come under assault from Timothy Williamson for failing to provide either a sufficiently classical logic or a disquotational notion of truth, and from Crispin Wright and others for incorporating a notion of higher-order vagueness, via the determinacy operator, which leads to contradiction when combined with intuitively appealing ‘gap principles’. We argue that these criticisms of supervaluation theory depend on giving supertruth an unnecessarily central role in that theory as the sole notion of truth, rather than (...) as one mode of truth. Allowing for the co-existence of supertruth and local truth, we define a notion of local entailment in supervaluation theory, and show that the resulting logic is fully classical and allows for the truth of the gap principles. Finally, we argue that both supertruth and local truth are disquotational, when disquotational principles are properly understood. (shrink)

In ‘Epistemic Modals’ (2007), Seth Yalcin proposes Stalnaker-style semantics for epistemic possibility. He is inspired by John MacFarlane’s ingenious defence of relativism, in which claims of epistemic possibility are made rigidly from the perspective of the assessor’s actual stock of information (rather than from the speaker’s knowledge base or that of his audience or community). The innovations of MacFarlane and Yalcin independently reinforce the modal collapse espoused by Jaakko Hintikka in his 1962 epistemic logic (which relied on the implausible KK (...) principle and heavy idealizations). I respond to this new challenge with fresh objections to the underlying S4 equivalence: p p . I also propose counter-analyses of the intriguing data which Yalcin cites in support of his new semantics. A key collateral motivation for this defence of irredundant iterations is to ward off a threat to higher order vagueness. (shrink)

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’.

After a brief account of the problem of higher-order vagueness, and its seeming intractability, I explore what comes of the issue on a linguistic, contextualist account of vagueness. On the view in question, predicates like ‘borderline red’ and ‘determinately red’ are, or at least can be, vague, but they are different in kind from ‘red’. In particular, ‘borderline red’ and ‘determinately red’ are not colours. These predicates have linguistic components, and invoke notions like ‘competent user of the language’. On my (...) view, so-called ‘higher-order vagueness’ is actually ordinary, first-order vagueness in different predicates. I explore the possibility that, nevertheless, a pernicious regress ensues. (shrink)

ABSTRACT: This paper argues that the so-called paradoxes of higher-order vagueness are the result of a confusion between higher-order vagueness and the distribution of the objects of a Sorites series into extensionally non-overlapping non-empty classes.

Though it is standardly assumed that supervaluationism applied to vagueness is committed to global validity, Achille Varzi (2007) argues that the supervaluationist should take seriously the idea of adopting local validity instead. Varzi’s motivation for the adoption of local validity is largely based on two objections against the global notion: that it brings some counterexamples to classically valid rules of inference and that it is inconsistent with unrestricted higher-order vagueness. In this discussion I review these objections and point out ways (...) to address them not considered in Varzi’s paper. (shrink)

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. (shrink)

The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in play (...) (Williamson-style "luminosity" or self-revealing clarity and concealeable clarity) and what their respective functions are in accounts of higher-order vagueness. On this basis, we argue first that, contrary to common opinion, higher-order vagueness and S4 are perfectly compatible. This is in response to claims like that by Williamson that, if vagueness is defined with the help of a clarity operator that obeys axiom 4, higher-order vagueness disappears. Second, we argue that, contrary to common opinion, (i) bivalence-preservers (e.g. epistemicists) can without contradiction condone axiom 4 (by adopting what elsewhere we call columnar higher-order vagueness), and (ii) bivalence-discarders (e.g. open-texture theorists, supervaluationists) can without contradiction reject axiom 4. Third, we rebut a number of arguments that have been produced by opponents of axiom 4, in particular those by Williamson. (The paper is pitched towards graduate students with basic knowledge of modal logic.). (shrink)

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. (shrink)

ABSTRACT: Paper currently being revised.

Epistemicism about vagueness is the view that vagueness, or indeterminacy, is an epistemic matter. Truthmaker-gap epistemicism is the view that indeterminate truths are indeterminate because their truth is not grounded by any worldly fact. Both epistemicism in general and truthmaker-gap epistemicism originated in Roy Sorensen's work on vagueness. My aim in this paper is to give a characterization of truthmaker-gap epistemicism and argue that the view is incompatible with higher-order vagueness: vagueness in whether some case of the form ‘it is (...) determinate that A’ or ‘it is indeterminate whether A’ is true. Since it is highly likely that there is higher-order vagueness, truthmaker-gap epistemicism is in an uncomfortable position. (shrink)

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)

It is claimed to be a crucial advantage of supervaluationism over other theories of vagueness that it avoids any commitment to sharp boundaries. This thesis will challenge that claim and argue that almost all forms of supervaluationism are committed to infinitely sharp boundaries and that some of these boundaries are interesting enough to be problematic. I shall argue that only iterated supervaluationism can avoid any commitment to sharp boundaries, but on the other hand that is the model that Terrance Horgan (...) has recently argued is a form of transvaluationism and thus logically incoherent. I shall first argue that infinitely higher-order vagueness gives rise to an infinite number of boundaries. I will then argue that an infinite number of these boundaries are, in the case of the vague term ‘tall’, located over a finite range of heights. I will argue that because of this, these boundaries must be infinitely sharp. I shall argue that on every plausible non-iterated supervaluationist model, some such boundary will mark a sharp boundary between heights that would make someone ‘more tall than not tall’ and heights that would not. Finally I shall argue that this is the sort of interesting sharp boundary supervaluationism must not admit. (shrink)

To accommodate vague statements and predicates, I propose an infinite-valued, non-truth-functional interpretation of logic on which the tautologies are exactly the tautologies of classical two-valued logic. iI introduce a determinacy operator, analogous to the necessity operator in alethic modal logic, to allow the definition of first-order and higher-order borderline cases. On the interpretation proposed for determinacy, every statement corresponding to a theorem of modal system T is a logical truth, and I conjecture that every logical truth on the interpretation corresponds (...) to a theorem of T. the interpretation is extended to predicate logic. A borderline case of a predicate 'F’ is neither determinately F nor determinately not-F. Traditional sorites arguments are seen to fall apart early in their gradual stepwise passage from truth to falsity. (shrink)

Supervaluational theories of vagueness have achieved considerable popularity in the past decades, as seen in eg [5], [12]. This popularity is only natural; supervaluations let us retain much of the power and simplicity of classical logic, while avoiding the commitment to strict bivalence that strikes many as implausible. Like many nonclassical logics, the supervaluationist system SP has a natural dual, the subvaluationist system SB, explored in eg [6], [28].1 As is usual for such dual systems, the classical features of SP (...) (typically viewed as benefits) appear in SB in ‘mirror-image’ form, and the nonclassical features of SP (typically viewed as costs) also appear in SB in ‘mirror-image’ form. Given this circumstance, it can be difficult to decide which of two dual systems is better suited for an approach to vagueness.2 The present paper starts from a consideration of these two approaches— the supervaluational and the subvaluational—and argues that neither of them is well-positioned to give a sensible logic for vague language. §2 presents the systems SP and SB and argues against their usefulness. Even if we suppose that the general picture of vague language they are often taken to embody is accurate, we ought not arrive at systems like SP and SB. Instead, such a picture should lead us to truth-functional systems like strong Kleene logic (K3) or its dual LP. §3 presents these systems, and argues that supervaluationist and subvaluationist understandings of language are better captured there; in particular, that a dialetheic approach to vagueness based on the logic LP is a more sensible approach. §4 goes on to consider the phenomenon of higher-order vagueness within an LP-based approach, and §5 closes with a consideration of the sorites argument itself. (shrink)

This paper discusses Fara's so-called 'Paradox of Higher-Order Vagueness' concerning supervaluationism. In the paper I argue that supervaluationism is not committed to global validity, as it is largely assumed in the literature, but to a weaker notion of logical consequence I call 'regional validity'. Then I show that the supervaluationist might solve Fara's paradox making use of this weaker notion of logical consequence. The paper is discussed by Delia Fara in the same volume.

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)

A number of arguments purport to show that vague properties determine sharp boundaries at higher orders. That is, although we may countenance vagueness concerning the location of boundaries for vague predicates, every predicate can instead be associated with precise knowable cut-off points deriving from precision in their higher order boundaries. I argue that this conclusion is indeed paradoxical, and identify the assumption responsible for the paradox as the Brouwerian principle B for vagueness: that if p then it's determinate that it's (...) not determinate that not p. Other paradoxes which do not appear to turn on B turn instead on some subtle issues concerning the relation between assertion, belief and higher order vagueness. In this paper a theory of assertion, knowledge and logic is outlined which allows one to avoid any kind of higher order precision. A class of realistic models containing counterexamples to B and a number of weakenings of B are introduced and its logic is shown to support vagueness at every order. (shrink)

Paraconsistent approaches have received little attention in the literature on vagueness (at least compared to other proposals). The reason seems to be that many philosophers have found the idea that a contradiction might be true (or that a sentence and its negation might both be true) hard to swallow. Even advocates of paraconsistency on vagueness do not look very convinced when they consider this fact; since they seem to have spent more time arguing that paraconsistent theories are at least as (...) good as their paracomplete counterparts, than giving positive reasons to believe on a particular paraconsistent proposal. But it sometimes happens that the weakness of a theory turns out to be its mayor ally, and this is what (I claim) happens in a particular paraconsistent proposal known as subvaluationism. In order to make room for truth-value gluts subvaluationism needs to endorse a notion of logical consequence that is, in some sense, weaker than standard notions of consequence. But this weakness allows the subvaluationist theory to accommodate higher-order vagueness in a way that it is not available to other theories of vagueness (such as, for example, its paracomplete counterpart, supervaluationism). (shrink)