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 professionalbasketball 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 ofthe 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)

The term fuzzy logic is used in this paper to describe an imprecise logical system, FL, in which the truth-values are fuzzy subsets of the unit interval with linguistic labels such as true, false, not true, very true, quite true, not very true and not very false, etc. The truth-value set, , of FL is assumed to be generated by a context-free grammar, with a semantic rule providing a means of computing the meaning of each linguistic truth-value in as a (...) fuzzy subset of [0, 1].Since is not closed under the operations of negation, conjunction, disjunction and implication, the result of an operation on truth-values in requires, in general, a linguistic approximation by a truth-value in . As a consequence, the truth tables and the rules of inference in fuzzy logic are (i) inexact and (ii) dependent on the meaning associated with the primary truth-value true as well as the modifiers very, quite, more or less, etc. (shrink)

Vagueness provides the first comprehensive examination of a topic of increasing importance in metaphysics and the philosophy of logic and language. Timothy Williamson traces the history of this philosophical problem from discussions of the heap paradox in classical Greece to modern formal approaches such as fuzzy logic. He illustrates the problems with views which have taken the position that standard logic and formal semantics do not apply to vague language, and defends the controversial realistic view that vagueness is a kind (...) of ignorance--that there really is a grain of sand whose removal turns a heap into a non-heap, but we cannot know which one it is. (shrink)

This investigation joins recent research on problems with ambiguity in two fields, argumentation and computing. In argumentation, there is a concern with fallacies arising from ambiguity, including equivocation and amphiboly. In computing, the development of agent communication languages is based on conversation policies that make it possible to have information exchanges on the internet, as well as other forms of dialogue like persuasion and negotiation, in which ambiguity is a problem. Because it is not possible to sharply differentiate between problems (...) arising from ambiguity and those arising from vagueness, obscurity and indeterminacy, some study of the latter is included. The semantic web is based on what are called ontologies, or systems of classification of concepts, shown to be useful tools for dealing with these problems. (shrink)

This investigation joins recent research on problems with ambiguity in two fields, argumentation and computing. In argumentation, there is a concern with fallacies arising from ambiguity, including equivocation and amphiboly. In computing, the development of agent communication languages is based on conversation policies that make it possible to have information exchanges on the internet, as well as other forms of dialogue like persuasion and negotiation, in which ambiguity is a problem. Because it is not possible to sharply differentiate between problems (...) arising from ambiguity and those arising from vagueness, obscurity and indeterminacy, some study of the latter is included. The semantic web is based on what are called ontologies, or systems of classification of concepts, shown to be useful tools for dealing with these problems. (shrink)

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)

Timothy Williamson, in various places, has put forward an argument that is supposed to show that denying bivalence is absurd. This paper is an examination of the logical force of this argument, which is found wanting.

According to what I will call a contextualist solution to the sorites paradox, vague terms are context-sensitive, and one can give a convincing dissolution of the sorites paradox in terms of this context-dependency. The reason, according to the contextualist, that precise boundaries for expressions like “heap” or “tall for a basketball player” are so difficult to detect is that when two entities are sufficiently similar (or saliently similar), we tend to shift the interpretation of the vague expression so that if (...) one counts as falling in the extension of the property expressed by that expression, so does the other. As a consequence, when we look for the boundary of the extension of a vague expression in its penumbra, our very looking has the effect of changing the interpretation of the vague expression so that the boundary is not where we are looking. This accounts for the persuasive force of sorites arguments. (shrink)

Roy Sorenson offers a unique exploration of an ancient problem: vagueness. Did Buddha become a fat man in one second? Is there a tallest short giraffe? According to Sorenson's epistemicist approach, the answers are yes! Although vagueness abounds in the way the world is divided, Sorenson argues that the divisions are sharp; yet we often do not know where they are. Written in Sorenson'e usual inventive and amusing style, this book offers original insight on language and logic, the way world (...) is, and our understanding of it. (shrink)

In VAGUENESS AND DEGREES OF TRUTH, Nicholas Smith develops a new theory of vagueness: fuzzy plurivaluationism. -/- A predicate is said to be VAGUE if there is no sharply defined boundary between the things to which it applies and the things to which it does not apply. For example, 'heavy' is vague in a way that 'weighs over 20 kilograms' is not. A great many predicates -- both in everyday talk, and in a wide array of theoretical vocabularies, from law (...) to psychology to engineering -- are vague. -/- Smith argues, based on a detailed account of the defining features of vagueness, that an accurate theory of vagueness must involve the idea that truth comes in degrees. The core idea of degrees of truth is that while some sentences are true and some are false, others possess intermediate truth values: they are truer than the false sentences, but not as true as the true ones. Degree-theoretic treatments of vagueness have been proposed in the past, but all have encountered significant objections. In light of these, Smith develops a new type of degree theory. Its innovations include a definition of logical consequence that allows the derivation of a classical consequence relation from the degree-theoretic semantics, a unified account of degrees of belief and their relationships with degrees of truth and subjective probabilities, and the incorporation of semantic indeterminacy -- the view that vague statements need not have unique meanings -- into the degree-theoretic framework. -/- As well as being essential reading for those working on vagueness, Smith's book provides an excellent entry-point for newcomers to the area -- both from elsewhere in philosophy, and from computer science, logic and engineering. It contains a thorough introduction to existing theories of vagueness and to the requisite logical background. (shrink)

One common criticism of deflationism is that it does not have the resources to explain defective discourse. This problem is especially pressing for someone like Robert Brandom, who not only endorses deflationist accounts of truth, reference, and predication, but also refuses to use representational relations to explain content and propositional attitudes. To address this problem, I suggest that Brandom should explain defective discourse in terms of what it is to treat some portion of discourse as defective. To illustrate this strategy, (...) I present an extension of his theory of content and use it to provide an explanation of confusion. The result is a theory of confusion based on Joseph Camp's recent treatment. The extension of Brandom's theory of content involves additions to his account of scorekeeping that allow members of a discursive practice to accept different standards of inferential correctness. (shrink)

One common criticism of deflationism is that it does not have the resources to explain defective discourse (e.g., vagueness, referential indeterminacy, confusion, etc.). This problem is especially pressing for someone like Robert Brandom, who not only endorses deflationist accounts of truth, reference, and predication, but also refuses to use representational relations to explain content and propositional attitudes. To address this problem, I suggest that Brandom should explain defective discourse in terms of what it is to treat some portion of discourse (...) as defective. To illustrate this strategy, I present an extension of his theory of content and use it to provide an explanation of confusion. The result is a theory of confusion based on Joseph Camp’s recent treatment. The extension of Brandom’s theory of content involves additions to his account of scorekeeping that allow members of a discursive practice to accept different standards of inferential correctness. (shrink)

Using print ads and recognizing the role of visual images in argument (Groarke) and the presence of arguments in ads (Slade), this paper argues that the work of argumentation theorists from Aristotle to van Eemeren and Grootendorst can be used to support the thesis that ads are arguments. I cite as evidence definitions, demarcations, delineations, and descriptions of argument put forth by leading scholars in the field of argumentation. This includes Aristotle, Informal Logic, Toulmin (Claim, Data, Warrant, Backing, Qualifier, Rebuttal), (...) Johnson and Blair (argument as “reasons or evidence as grounds or support for an opinion”), Gilbert (Multi-Modal Argumentation), and van Eemeren and Grootendorst (argumentation as a social activity and pragma-dialectics). I show how, although just fitting a particular advertisement to someone’s definition does not mean that all ads are arguments, nevertheless, the fact that we can find in an ad all these elements from this variety of scholars over time, leaves us reasonably secure in stating that an ad is indeed an argument. Since my argument would be the same for practically any ad, I am using only one ad. I do, however, use the kind of ad that is least likely to seem to be an argument: an ad with few words, an ad which is mostly visual. If I can show how even an almost entirely visual ad can be analyzed as an argument using the terms of all these scholars of argumentation, I will maintain that most ads could be analyzed in the same way. (shrink)

In Contradiction advocates and defends the view that there are true contradictions, a view that flies in the face of orthodoxy in Western philosophy since Aristotle. The book has been at the center of the controversies surrounding dialetheism ever since its first publication in 1987. This second edition of the book substantially expands upon the original in various ways, and also contains the author’s reflections on developments over the last two decades. Further aspects of dialetheism are discussed in the companion (...) volume, Doubt Truth to be a Liar, also published by Oxford University Press in 2006. (shrink)

Timothy Williamson, in various places, has put forward an argument that is supposed to show that denying bivalence is absurd. This paper is an examination of the logical force of this argument, which is found wanting.

A speaker often decides whether or not to saysomething based on his assessment of the impact itwould have on his hearer's beliefs. If he thinks itwould bring them more in line with the truth, he saysit; otherwise he does not. In this paper, I developa model of these judgments, focusing specifically onthose of vague sentences. Under the simplifyingassumption that an utterance only conveys a speaker'sapplicability judgments, I present a Bayesian model ofan utterance's impact on a hearer's beliefs. Fromthis model I (...) derive a model of a speaker's judgment ofwhether or not an utterance would be informative. Iillustrate it with several examples of judgments ofvague and non-vague sentences. For instance, I showthat it models the common judgment that assertingeither ``George is tall'' or ``George is not tall'' wouldbe misleading if George were borderline tall, butasserting ``George is tall and he isn't tall'' would notbe. (shrink)

This paper investigates the way that linguistic expressions influence vagueness, focusing on the interpretation of the positive (unmarked) form of gradable adjectives. I begin by developing a semantic analysis of the positive form of ‘relative’ gradable adjectives, expanding on previous proposals by further motivating a semantic basis for vagueness and by precisely identifying and characterizing the division of labor between the compositional and contextual aspects of its interpretation. I then introduce a challenge to the analysis from the class of ‘absolute’ (...) gradable adjectives: adjectives that are demonstrably gradable, but which have positive forms that relate objects to maximal or minimal degrees, and do not give rise to vagueness. I argue that the truth conditional difference between relative and absolute adjectives in the positive form stems from the interaction of lexical semantic properties of gradable adjectives—the structure of the scales they use—and a general constraint on interpretive economy that requires truth conditions to be computed on the basis of conventional meaning to the extent possible, allowing for context dependent truth conditions only as a last resort. (shrink)

One of the few points of agreement to be found in mainstream responses to the logical and semantic problems generated by vagueness is the view that if any modification of classical logic and semantics is required at all then it will only be such as to admit underdetermined reference and truth-value gaps. Logics of vagueness including many valued logics, fuzzy logics, and supervaluation logics all provide responses in accord with this view. The thought that an adequate response might require the (...) recognition of cases of overdetermination and truth value gluts has few supporters. This imbalance lacks justification. As it happens, Jaskowski's paraconsistent discussive logic-a logic which admits truth value gluts-can be defended by reflecting on similarities between it and the popular supervaluationist analysis of vagueness already in the philosophical literature. A simple dualisation of supervaluation semantics results in a paraconsistent logic of vagueness based on what has been termed subvaluational semantics. (shrink)

This paper addresses theoretical problems arising from the vagueness of language terms, and intuitions of the vagueness of the concepts to which they refer. It is argued that the central intuitions of prototype theory are sufficient to account for both typicality phenomena and psychological intuitions about degrees of membership in vaguely defined classes. The first section explains the importance of the relation between degrees of membership and typicality (or goodness of example) in conceptual categorization. The second and third section address (...) arguments advanced by Osherson and Smith (1997), and Kamp and Partee (1995), that the two notions of degree of membership and typicality must relate to fundamentally different aspects of conceptual representations. A version of prototype theory—the Threshold Model—is proposed to counter these arguments and three possible solutions to the problems of logical selfcontradiction and tautology for vague categorizations are outlined. In the final section graded membership is related to the social construction of conceptual boundaries maintained through language use. (shrink)

There are many examples in the literature that suggest that indistinguishability is intransitive, despite the fact that the indistinguishability relation is typically taken to be an equivalence relation (and thus transitive). It is shown that if the uncertainty perception and the question of when an agent reports that two things are indistinguishable are both carefully modeled, the problems disappear, and indistinguishability can indeed be taken to be an equivalence relation. Moreover, this model also suggests a logic of vagueness that seems (...) to solve many of the problems related to vagueness discussed in the philosophical literature. In particular, it is shown here how the logic can handle the sorites paradox. (shrink)

This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.

We motivate and formalize the idea of sameness by default: two objects are considered the same if they cannot be proved to be different. This idea turns out to be useful for a number of widely different applications, including natural language processing, reasoning with incomplete information, and even philosophical paradoxes. We consider two formalizations of this notion, both of which are based on Reiter’s Default Logic. The first formalization is a new relation of indistinguishability that is introduced by default. We (...) prove that the corresponding default theory has a unique extension, in which every two objects are indistinguishable if and only if their non-equality cannot be proved from the known facts. We show that the indistinguishability relation has some desirable properties: it is reflexive, symmetric, and, while not transitive, it has a transitive “flavor.” The second formalization is an extension (modification) of the ordinary language equality by a similar default: two objects are equal if and only if their non-equality cannot be proved from the known facts. It appears to be less elegant from a formal point of view. In particular, it gives rise to multiple extensions. However, this extended equality is better suited for most of the applications discussed in this paper. (shrink)

Most speakers experience unclarity about the application of predicates like tall and red to liminal cases. We formulate alternative psychological hypotheses about the nature of this unclarity, and report experiments that provide a partial test of them. A psychologized version of the ‘vagueness-as-ignorance’ theory is then advanced and defended.

Sorensen here offers a unified solution to a large family of philosophical puzzles and paradoxes through a study of "blindspots": consistent propositions that cannot be rationally accepted by certain individuals even though they might by true.