What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to the (...) other, each intermediate stage constituting an overlap in certain proportion of both contraries. Hence, degrees in the possession of a property give rise to simple contradictions. The reason why I have chosen those two questions is that they provide the main philosophical motivation for a particular brand of an infinite valued and paraconsistent logic. I will claim that Classical logic (CL) is not adequate to handle fuzzy situations, and, being deficient, is in need of being expanded to make room for degrees of truth and weak contradictions. One can hardly deny the importance of the debate, since what is ultimately at stake is what the limits of truth, rationality, intelligibility and possibility are. The main disciplines within which the research moves are the philosophy of language, philosophy of logic, and ontology. (shrink)

As far as ‘modern’ logical theories of vagueness are concerned, a main distinction can be drawn between ‘semantical’ ones and ‘pragmatical’ ones. The latter are defended here, because they tend to retake into account important contextual dimensions of the problem abandoned by the former. Their inchoate condition seems not alarming, since they are of surprisingly recent date. This, however, could very well be an accidental explanation. That is, the true reason for it might sooner or later turn out to be (...) bearing exactly on the fundamental human limitations, when it comes to theorizing, that these approaches are urging us to appreciate. (shrink)

Many of our categorization experiences are non-transitive. For some objects a, b and c, a and b can appear indistinguishable, and likewise b and c, but a and c can appear distinguishable. Many categories also appear to be smooth; transitions between cases are not experienced as sharp, but rather as continuous. These two features of our categorization experiences tend to be addressed separately. Moreover, many views model smoothness by making use of infinite degrees. This paper presents a methodological strategy that (...) shows how solving the transitivity problem first can thereby introduce explanatory resources that feed into an account of smoothness without having to make use of infinite degrees. (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)

A person with one dollar is poor. If a person with n dollars is poor, then so is a person with n + 1 dollars. Therefore, a person with a billion dollars is poor. True premises, valid reasoning, a false a conclusion. This is an instance of the Sorites-paradox. (There are infinitely many such paradoxes. A man with an IQ of 1 is unintelligent. If a man with an IQ of n is unintelligent, so is a man with an IQ (...) of n+1. Therefore a man with an IQ of 200 is unintelligent.) Most attempts to solve this paradox reject some law of classical logic, usually the law of bivalence. I show that this paradox can be solved while holding on to all the laws of classical logic. Given any predicate that generates a Sorites-paradox, significant use of that predicate is actually elliptical for a relational statement: a significant token of "Bob is poor" means that Bob is poor compared to x, for some value of x. Once a value of x is supplied, a definite cutoff line between having and not having the paradox-generating predicate is supplied. This neutralizes the inductive step in the associated Sorites argument, and the would-be paradox is avoided. (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)

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 goal of this paper is a comprehensive analysis of basic reasoning patterns that are characteristic of vague predicates. The analysis leads to rigorous reconstructions of the phenomena within formal systems. Two basic features are dealt with. One is tolerance: the insensitivity of predicates to small changes in the objects of predication (a one-increment of a walking distance is a walking distance). The other is the existence of borderline cases. The paper shows why these should be treated as different, though (...) related phenomena. Tolerance is formally reconstructed within a proposed framework of contextual logic, leading to a solution of the Sorites paradox. Borderline-vagueness is reconstructed using certain modality operators; the set-up provides an analysis of higher order vagueness and a derivation of scales of degrees for the property in question. (shrink)

The conclusion of this chapter is that higher-order vagueness is universal: no sentence whatsoever is definitely true, definitely definitely true, definitely definitely definitely true, and so on ad infinitum. The argument, of which there are several versions, turns on the existence of Sorites sequences of possible worlds connecting the actual world to possible worlds where a given sentence is used in such a way that its meaning is very different. The chapter attempts to be neutral between competing accounts of the (...) nature of vagueness and definiteness. (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)

What is knowledge of one's own current, consciously entertained intentional states a form of inner awareness? If so, what form? In this paper I explore the prospects for a quasi-observational account of a certain class of cases where subjects appear to have self-knowledge, namely, the so-called cogito-like cases. In section one I provide a rationale for the claim that we need an epistemology of self-knowledge, and specifically, an epistemology of the cogito-like cases. In section two I argue that contentful properties (...) in such cases have two features in common with observational properties of objects. In section three, I develop a quasi-observational account of self-knowledge for the cogito-like cases by considering various accounts of the nature of observational properties and by applying them to these cases. I conclude by addressing some important objections to the account. (shrink)

In this paper I outline and defend an introspectionist account of authoritative self-knowledge for a certain class of cases, ones in which a subject is both thinking and thinking about a current, conscious thought. My account is distinctive in a number of ways, one of which is that it is compatible with the truth of externalism.

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)

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 thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)

The postulation by the “epistemic” theory of vagueness of a cut-off point between heaps and non-heaps has made it seem incredible. Surely, the critics argue, a vague predicate doesn’t divide the universe into a set and its complement. I argue in response that an objection of a similar kind can be leveled against most theories of vagueness. The only two which avoid it are untenable. The objection is less compelling than it initially seems. However, even when this obstacle is removed, (...) the epistemic theory is not yet vindicated. (shrink)

This paper demarcates a theoretically interesting class of "evaluational adjectives." This class includes predicates expressing various kinds of normative and epistemic evaluation, such as predicates of personal taste, aesthetic adjectives, moral adjectives, and epistemic adjectives, among others. Evaluational adjectives are distinguished, empirically, in exhibiting phenomena such as discourse-oriented use, felicitous embedding under the attitude verb `find', and sorites-susceptibility in the comparative form. A unified degree-based semantics is developed: What distinguishes evaluational adjectives, semantically, is that they denote context-dependent measure functions ("evaluational (...) perspectives")—context-dependent mappings to degrees of taste, beauty, probability, etc., depending on the adjective. This perspective-sensitivity characterizing the class of evaluational adjectives cannot be assimilated to vagueness, sensitivity to an experiencer argument, or multidimensionality; and it cannot be demarcated in terms of pretheoretic notions of subjectivity, common in the literature. I propose that certain diagnostics for "subjective" expressions be analyzed instead in terms of a precisely specified kind of discourse-oriented use of context-sensitive language. I close by applying the account to `find x PRED' ascriptions. (shrink)

Just about every theorist holds that vague terms are context-sensitive to some extent. What counts as ?tall?, ?rich?, and ?bald? depends on the ambient comparison class, paradigm cases, and/or the like. To take a stock example, a given person might be tall with respect to European entrepreneurs and downright short with respect to professional basketball players. It is also generally agreed that vagueness remains even after comparison class, paradigm cases, etc. are fixed, and so this context sensitivity does not solve (...) the problems with vague terms. In this paper, I briefly sketch the main features of my broadly contextualist account of vagueness, that of the late Ruth Manor, and that of Agustín Rayo, showing how the three accounts relate to, and reinforce, each other, noting a seeming difference. A key item used to articulate my own view is David Lewis's notion of conversational score. This is used to track which borderline cases have been called in the course of a conversation. Manor alludes to Lewis's notion of accommodation, a key aspect of the kinematics of conversation, and Rayo invokes Stalnaker's notion of common ground. I'll show how the conversational score could be employed to develop and extend their views, showing how vague terms, as they construe them, are (or can be) deployed in conversation, consistent with both the underlying indeterminacy of the terms and normal communicative goals. To help develop all three views further, I invoke Craige Roberts's notion of Retrievability, a tool developed to show how definites, such as definite descriptions, singular pronouns, and proper names, are deployed in conversation, in a Lewis-style scorekeeping framework. This, I think, is exactly the right way to understand conversations in what Manor calls non-sorities situations and, to invoke my own view, in sorites situations as well. (shrink)

Stewart Shapiro's aim in Vagueness in Context is to develop both a philosophical and a formal, model-theoretic account of the meaning, function, and logic of vague terms in an idealized version of a natural language like English. It is a commonplace that the extensions of vague terms vary with such contextual factors as the comparison class and paradigm cases. A person can be tall with respect to male accountants and not tall with respect to professional basketball players. The main feature (...) of Shapiro's account is that the extensions of vague terms also vary in the course of a conversation, even after the external contextual features, such as the comparison class, are fixed. A central thesis is that in some cases, a competent speaker of the language can go either way in the borderline area of a vague predicate without sinning against the meaning of the words and the non-linguistic facts. Shapiro calls this open texture, borrowing the term from Friedrich Waismann.The formal model theory has a similar structure to the supervaluationist approach, employing the notion of a sharpening of a base interpretation. In line with the philosophical account, however, the notion of super-truth does not play a central role in the development of validity. The ultimate goal of the technical aspects of the work is to delimit a plausible notion of logical consequence, and to explore what happens with the sorites paradox.Later chapters deal with what passes for higher-order vagueness - vagueness in the notions of 'determinacy' and 'borderline' - and with vague singular terms, or objects. In each case, the philosophical picture is developed by extending and modifying the original account. This is followed with modifications to the model theory and the central meta-theorems.As Shapiro sees it, vagueness is a linguistic phenomenon, due to the kinds of languages that humans speak. But vagueness is also due to the world we find ourselves in, as we try to communicate features of it to each other. Vagueness is also due to the kinds of beings we are. There is no need to blame the phenomenon on any one of those aspects. (shrink)

A number of recent accounts for vague terms postulate a kind of context-sensitivity, one that kicks in after the usual ‘external’ contextual factors like comparison class are established and held fixed. In a recent paper, ‘Vagueness without Context Change’: 275–92), Rosanna Keefe criticizes all such accounts. The arguments are variations on considerations that have been brought against context-sensitive accounts of knowledge, predicates of personal taste, epistemic modals, and the like. The issues are well known and there are variety of options (...) available in reply. More important, the arguments rely on an overly narrow conception of context-sensitivity, suggesting that one size fits all. If Keefe’s arguments were cogent, they would tell against the context-sensitivity of just about any expression, beyond the typical indexicals, including the variation of vague terms with comparison class. However, the criticisms raised by Keefe do highlight certain questions that must be answered by an advo... (shrink)

To get to grips with what Shapiro does and can say about higher-order vagueness, it is first necessary to thoroughly review and evaluate his conception of (first-order) vagueness, a conception which is both rich and suggestive but, as it turns out, not so easy to stabilise. In Sections I–IV, his basic position on vagueness (see Shapiro [2003]) is outlined and assessed. As we go along, I offer some suggestions for improvement. In Sections V–VI, I review two key paradoxes of higher-order (...) vagueness, while in Section VII, I explore a possible line of response to such paradoxes given by Keefe [2000]. In Section VIII, I assess whether which Shapiro might adapt Keefe's response to combat both paradoxes. (shrink)

To get to grips with what Shapiro does and can say about higher-order vagueness, it is first necessary to thoroughly review and evaluate his conception of (first-order) vagueness, a conception which is both rich and suggestive but, as it turns out, not so easy to stabilise. In Sections I–IV, his basic position on vagueness (see Shapiro [2003]) is outlined and assessed. As we go along, I offer some suggestions for improvement. In Sections V–VI, I review two key paradoxes of higher-order (...) vagueness, while in Section VII, I explore a possible line of response to such paradoxes given by Keefe [2000]. In Section VIII, I assess whether which Shapiro might adapt Keefe’s response to combat both paradoxes. (shrink)

To get to grips with what Shapiro does and can say about higher-order vagueness, it is first necessary to thoroughly review and evaluate his conception of (first-order) vagueness, a conception which is both rich and suggestive but, as it turns out, not so easy to stabilise. In Sections I–IV, his basic position on vagueness (see Shapiro [2003]) is outlined and assessed. As we go along, I offer some suggestions for improvement. In Sections V–VI, I review two key paradoxes of higher-order (...) vagueness, while in Section VII, I explore a possible line of response to such paradoxes given by Keefe [2000]. In Section VIII, I assess whether which Shapiro might adapt Keefe's response to combat both paradoxes. (shrink)

Block’s, 5–43 1981) anti-behaviourist attack of the Turing Test not only illustrates that the test is a non-sufficient criterion for attributing thought; I suggest that it also exemplifies the limiting case of the more general concern that a machine which has access to enormous amounts of data can pass the Turing Test by simple symbol-manipulation techniques. If the answers to a human interrogator are entailed by the machines’ data, the Turing Test offers no clear criterion to distinguish between a thinking (...) machine and a machine that merely manipulates representations of words and sentences as it is found in contemporary Natural Language Processing models. This paper argues that properties about vagueness are accessible to any human-like thinker but do not normally display themselves in ordinary language use. Therefore, a machine that merely performs simple symbol manipulation from large amounts of previously acquired data – where this body of data does not contain facts about vagueness – will not be able to report on these properties. Conversely, a machine that has the capacity to think would be able to report on these properties. I argue that we can exploit this fact to establish a sufficient criterion of thought. The criterion is a specification of some of the questions that, as I explain, should be asked by the interrogator in a Turing Test situation. (shrink)

Most words in natural language are vague, that is to say, they lack sharp boundaries and, hence, they have (actual or potential) borderline cases, where the word in question neither definitely applies nor definitely fails to apply. Vagueness gives rise to paradoxes, the best known of which is the sorites (concerned with how many grains of sand are needed to make a heap). Besides offering a solution to such paradoxes, a theory of vagueness should systematically describe how the truth conditions (...) of sentences with vague terms are determined; and it should also define the right logical principles for reasoning with such sentences. This article offers an introduction to the main theories of vagueness and to the problems they have to face. (shrink)

Title in English: "Being a certain way without being definitely that way: a problem for supervaluationism". I argue that the supervaluationist theory of vagueness, in its most common version, is committed to a thesis – viz., the incompatibility between being-F and not-being-definitely-F – which is doubtful, unjustified and in conflict with the definition of super-truth as truth in all admissible precisifications of a vague language.

Various arguments have recently been put forward to support the existence of vague or fuzzy objects. Nevertheless, the only possibly compelling argument would support, not the existence of vague objects, but indeterminately existing objects. I argue for the non‐existence of any vague entities—either particulars or properties ‐ in the mind‐independent world. Even so, many philosophers have claimed that to reduce vagueness to semantics is of no avail, since linguistic vagueness betrays semantic incoherence and this is no less a problem than (...) is ontological incoherence. After spelling out why there are fewer essentially vague concepts than usually thought. I claim that only the linguistic competence of the whole speaking community for each word can draw the sharp boundaries for its concept, even if these are unknowable in practice and still leave a precise range of indetermination. This could explain both the existence of boundaries and our non‐removable ignorance of them, fulfilling the intuitions of the epistemic theory of vagueness with the supervaluationist's indeterminacy. (shrink)

Various arguments have recently been put forward to support the existence of vague or fuzzy objects. Nevertheless, the only possibly compelling argument would support, not the existence of vague objects, but indeterminately existing objects. I argue for the non‐existence of any vague entities—either particulars or properties ‐ in the mind‐independent world. Even so, many philosophers have claimed that to reduce vagueness to semantics is of no avail, since linguistic vagueness betrays semantic incoherence and this is no less a problem than (...) is ontological incoherence. After spelling out why there are fewer essentially vague concepts than usually thought. I claim that only the linguistic competence of the whole speaking community for each word can draw the sharp boundaries for its concept, even if these are unknowable in practice and still leave a precise range of indetermination. This could explain both the existence of boundaries and our non‐removable ignorance of them, fulfilling the intuitions of the epistemic theory of vagueness with the supervaluationist's indeterminacy. (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)

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)

It is notoriously difficult to model the range of application of vague predicates relative to a suitable sorites series. In this paper I offer some critical remarks against an interesting view that has received little attention in the literature. According to it, the sharp cut-offs we find in our semantic models are just artifacts of the theory, and, as such, they are harmless. At the end I discuss a contextualist view that, at a cost, may be able to get around (...) the problems related to sharp cut-offs incurred in by other theories of vagueness. Es sumamente difícil modelar el rango de aplicación de predicados vagos relativo a una serie sorites apropiada. En este artículo ofrezco algunos comentarios críticos en contra de una postura interesante que ha recibido poca atención en la literatura. De acuerdo con ella, los cortes precisos que encontramos en modelos semánticos son simplemente artefactos de la teoría, y, como tales, son inofensivos. Al final del artículo discuto una postura contextualista que, no sin sacrificios, podría ser capaz de evadir los problemas relacionados con cortes precisos que otras teorías de la vaguedad poseen. (shrink)

Neutralism is the broad view that philosophical progress can take place when (and sometimes only when) a thoroughly neutral, non-specific theory, treatment, or methodology is adopted. The broad goal here is to articulate a distinct, specific kind of sorites paradox (The Observational Sorites Paradox) and show that it can be effectively treated via Neutralism.

§§3-4 of the Begriffsschrift present Frege’s objections to a dominant if murky nineteenth-century semantic picture. I sketch a minimalist variant of the pre-Fregean picture which escapes Frege’s criticisms by positing a thin notion of semantic content which then interacts with a multiplicity of kinds of truth to account for phenomena such as modality. After exploring several ways in which we can understand the existence of multiple truth properties, I discuss the roles of pointwise and setwise truth properties in modal logic. (...) I argue that thinking of supertruth and determinate truth as setwise truth properties allows an understanding of supervaluationist approaches to vagueness which escapes both Williamson’s objections to and a needless metalinguistic orientation of traditional supervaluationism. (shrink)

According to contextualist accounts, the truth value of a given knowledge ascription may vary with features of the ascriber's context. As a result, the following may be true: "X doesn't know that P but Y says something true in asserting 'X knows that P'". The contextualist must defend his theory in the light of this unpleasant but inevitable consequence. The best way of doing this is to construe the context sensitivity of knowledge ascriptions not as deriving from an alleged indexicality (...) of the word "know" nor from its vagueness or ambiguity, but rather from a distinct semantic feature of the word "know", namely its unspecificity. (shrink)

In §2-4, I survey three extant ways of making sense of indeterminate truth and find each of them wanting. All the later sections of the paper are concerned with showing that the most promising way of making sense of indeterminate truth is via either a theory of truthmaker gaps or via a theory of truthmaking gaps. The first intimations of a truthmaker–truthmaking gap theory of indeterminacy are to be found in Quine (1981). In §5, we see how Quine proposes to (...) solve Unger’s problem of the many via positing the possibility of groundless truth. In §6, I elaborate the truthmaker gap model of indeterminacy first sketched by Sorensen (2001, ch.11) and use it to give a reductive analysis of indeterminate truth. In §7, I briefly assess what kind of formal framework can best express the possibility of truthmaker gaps. In §8, I contrast what I dub ‘the ordinary conception of worldly indeterminacy’ with Williamson’s conception of worldly indeterminacy. In §9, I show how one can distinguish linguistic from worldly indeterminacy on a truthmaker gap conception. In §10, I briefly sketch the relationship between truthmaker gaps and ignorance. In §11, I assess whether a truthmaker gap conception of vagueness is really just a form of epistemicism. In §12, I propose that truthmaker gaps can yield a plausible model of (semantic) presupposition failure. In §13, in response to the worry that a truthmaker gap conception of indeterminacy is both parochial and controversial—since it commits us to an implausibly strong theory of truthmaking—I set forth a truthmaking gap conception of indeterminacy. In §14, I answer the worry that groundless truths, of whatever species, are just unacceptably queer. A key part of this answer is that a truthmaker–truthmaking gap model of indeterminacy turns out to be considerably less queer than any model of indeterminacy which gives up on Tarski’s T-schema for truth (and cognate schemas). (shrink)

Sorensen has argued that one can exploit the vagueness of an ordinary predicate like ‘small’ to induce a sort of vagueness in ‘vague’, by constructing a series of predicates of the form ‘n-small’, where x is n- small if and only if x is small or x n. The resulting ‘Sorensen’ed’ predicates present a Sorites case for ‘vague’ ; hence the vagueness of ‘vague’. Hyde argues that this demonstrates that all vague predicates are higher-order vague. Others doubt whether Sorensen’s series (...) really delivers such a result, claiming Hyde’s argument to be either: unsound, because it misidentifies the true source of vagueness in Sorensen’s Sorites ; invalid, because it fails to generalize to all vague predicates ; or circular, because it presupposes the very thing it tries to prove, namely, higher-order vagueness. This paper contributes to the Sorensen-Hyde vs. Tye-Deas-Hull-Varzi debate by clarifying the relations between vague vagueness and higher-order vagueness. I show how claims of higher-order vagueness are derivable from claims of vague vagueness. This is the missing piece needed to complete Hyde’s argument and overcome the objections presented by Deas, Hull, Tye, and Varzi. I then show how Sorensen’s considerations, once properly generalized, pose more far-reaching consequences about the vagueness of ‘vague’ than either defenders or critics of Hyde’s argument have appreciated. (shrink)

The main thesis of this paper is that we sometimes are disposed to accept false and even jointly inconsistent claims by virtue of our semantic competence, and that this comes to light in the sorites and liar paradoxes. Among the subsidiary theses are that this is an important source of indeterminacy in truth conditions, that we must revise basic assumptions about semantic competence, and that classical logic and bivalence can be upheld in the face of the sorites paradox.

To get to grips with what Shapiro does and can say about higher-order vagueness, it is first necessary to thoroughly review and evaluate his conception of (first-order) vagueness, a conception which is both rich and suggestive but, as it turns out, not so easy to stabilise. In Sections I–IV, his basic position on vagueness (see Shapiro [2003]) is outlined and assessed. As we go along, I offer some suggestions for improvement. In Sections V–VI, I review two key paradoxes of higher-order (...) vagueness, while in Section VII, I explore a possible line of response to such paradoxes given by Keefe [2000]. In Section VIII, I assess whether which Shapiro might adapt Keefe's response to combat both paradoxes. (shrink)

. According to Horgans transvaluationist approach, the robustness that characterizes vague terms is inherently incoherent. He analyzes that robustness into two conceptual poles, individualistic and collectivistic, and ascribes the incoherence to the former. However, he claims vague terms remain useful nonetheless, because the collectivistic pole can be realized with a suitable non-classical logic and can quarantine the incoherence arising out of the individualistic pole. I argue, on the contrary, that the nonclassical logic fails to resolve the difficulty and that the (...) incoherence afflicts Horgans collectivistic pole as well, consequently invalidating the entire transvaluationist approach. An alternative, coherent conception of robustness is suggested. (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)

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)

What is knowledge of one's own current, consciously entertained intentional states a form of inner awareness? If so, what form? In this paper I explore the prospects for a quasi-observational account of a certain class of cases where subjects appear to have self-knowledge, namely, the so-called cogito-like cases. In section one I provide a rationale for the claim that we need an epistemology of self-knowledge, and specifically, an epistemology of the cogito-like cases. In section two I argue that contentful properties (...) in such cases have two features in common with observational properties of objects. In section three, I develop a quasi-observational account of self-knowledge for the cogito-like cases by considering various accounts of the nature of observational properties (specifically, secondary qualities) and by applying them to these cases. I conclude by addressing some important objections to the account. (shrink)

Externalism in the philosophy of mind is threatened by the view that subjects are authoritative with regard to the contents of their own intentional states. If externalism is to be reconciled with first-person authority, two issues need to be addressed: (a) how the non-evidence-based character of knowledge of one's own intentional states is compatible with ignorance of the empirical factors that individuate the contents of those states, and (b) how, given externalism, the non-evidence-based character of such knowledge could place its (...) subject in an authoritative position. This paper endorses a standard strategy for dealing with (a). The bulk of the paper is devoted to (b). The aim is to develop an account of first-person authority for a certain class of intentional states that is capable of explaining (1) why knowledge of one's own intentional states is peculiarly authoritative, and (2) why such authority is compatible with externalism. (shrink)

Does vagueness exclude knowledge? After arguing for an affirmative answer to this question, I consider a fascinating objection. Barnett offers purported counterexamples to the following: Vagueness as to whether p entails that nobody knows whether p. These putative counterexamples, were they successful, would establish that standard accounts of vagueness are mistaken. I defend three central theses: First, whenever it is vague whether p competent speakers would be ambivalent about whether p when considering whether p, and such ambivalence would exclude knowledge (...) of whether p. Second, it is impossible for there to be vagueness regarding which of two polar opposite mental states obtains when only one of such states obtains. Finally, this type of impossibility constitutes evidence for dualism; i.e., the thesis that mental states are neither identical to physical states nor obtain in virtue of the obtaining of physical states. (shrink)

The extensions of vague predicates like ‘is bald’, ‘is tall’, and ‘is a heap’ apparently lack sharp boundaries, and this makes such predicates susceptible to soritical reasoning, i.e. reasoning that leads to some version of the notorious sorites paradox. This essay is concerned with a certain kind of theory of vagueness, according to which the symptoms and puzzles of vagueness should be accounted for in terms of a particular species of context sensitivity exhibited by vague expressions. The basic idea is (...) that the extensions of vague predicates vary with certain contextual factors, and that this fact can explain why they appear to lack sharp boundaries. This kind of view is referred to as contextualism about vagueness. A detailed characterisation of contextualism about vagueness is given in chapter two and three. In chapter two, a generic version of contextualism about vagueness is developed, and some alternative forms of context sensitivity are introduced. In chapter three, the specific contextual factors appealed to by different contextualists are discussed. In chapter four, different contextualist diagnoses of the sorites paradox are considered, and found to be problematic in various ways. It is argued that contrary to what some of its proponents have claimed, contextualism about vagueness is not superior to other comparable theories of vagueness when it comes to explaining the appeal of soritical reasoning. In chapter five, a certain version of the sorites paradox, known as the forced march sorites, is discussed. It is argued that “data” about how speakers would behave in the forced march cannot lend any firm support to contextualism about vagueness. In chapter six, some problems concerning the instability of the contextual factors are considered. One problem is that contextualist diagnoses of the sorites which locate a fallacy of equivocation in the reasoning seem to render non-soritical reasoning fallacious as well. A model for treating this problem is suggested, but on closer consideration, it turns out to be problematic. Moreover, this model is of no help in solving the more general problem that even if classical logic remains valid for vague language on some contextualist views, the instability of the extensions of vague predicates makes it difficult to know when a certain piece of reasoning instantiates a valid argument form. Other difficulties arise with respect to speech reports and belief contents. Chapter seven concludes with a summary and some methodological remarks. (shrink)