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)

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)

Most of our knowledge is inexact, and known by us to be so. An example of such known inexactness will be described in some detail. The description seems to entail a contradiction. However, the paradoxical reasoning rests on an assumption. It will be suggested that the description is correct and this assumption false. Its failure will be explained by means of a picture of inexact knowledge in which the notion of a margin for error is central. This picture suggests diagnoses (...) of other paradoxical arguments: Surprise Examinations, backwards inductions about Iterated Prisoner's Dilemma, and the Heap. (shrink)

Researchers have begun to explore animals' capacities for uncertainty monitoring and metacognition. This exploration could extend the study of animal self-awareness and establish the relationship of self-awareness to other-awareness. It could sharpen descriptions of metacognition in the human literature and suggest the earliest roots of metacognition in human development. We summarize research on uncertainty monitoring by humans, monkeys, and a dolphin within perceptual and metamemory tasks. We extend phylogenetically the search for metacognitive capacities by considering studies that have tested less (...) cognitively sophisticated species. By using the same uncertainty-monitoring paradigms across species, it should be possible to map the phylogenetic distribution of metacognition and illuminate the emergence of mind. We provide a unifying formal description of animals' performances and examine the optimality of their decisional strategies. Finally, we interpret animals' and humans' nearly identical performances psychologically. Low-level, stimulus-based accounts cannot explain the phenomena. The results suggest granting animals a higher-level decision-making process that involves criterion setting using controlled cognitive processes. This conclusion raises the difficult question of animal consciousness. The results show that animals have functional features of or parallels to human conscious cognition. Remaining questions are whether animals also have the phenomenal features that are the feeling/knowing states of human conscious cognition, and whether the present paradigms can be extended to demonstrate that they do. Thus, the comparative study of metacognition potentially grounds the systematic study of animal consciousness. Key Words: cognition; comparative cognition; consciousness; memory monitoring; metacognition; metamemory; self-awareness; uncertainty; uncertainty monitoring. (shrink)

Stephen Schiffer presents a groundbreaking account of meaning and belief, and shows how it can illuminate a range of crucial problems regarding language, mind, knowledge, and ontology. He introduces the new doctrine of 'pleonastic propositions' to explain what the things we mean and believe are. He discusses the relation between semantic and psychological facts, on the one hand, and physical facts, on the other; vagueness and indeterminacy; moral truth; conditionals; and the role of propositional content in information acquisition and explanation. (...) This radical new treatment of meaning will command the attention of everyone who works on fundamental questions about language, and will attract much interest from other areas of philosophy. (shrink)

It is widely supposed that one family of sorites paradoxes, perhaps the most perplexing versions of the puzzle, owe at least in part to the nontransitivity of perceptual indiscriminability. To a first approximation, perceptual indiscriminability is the relationship obtaining among objects (stimuli) that appear identical in some perceptual respect—for example hue, or pitch, or texture. Indiscriminable objects look the same, or sound the same, or feel the same. Received wisdom has it that there are or could be series of objects (...) _o__1…_o__n in which _o_₁ and _o_₂ are indiscriminable, _o_₂ and _o_3 are indiscriminable, etc., and _o_n-1 and_ o_n are indiscriminable, but _o_1 and _o_n are discriminably different. For example, there could be a series of colored patches so ordered that each patch looks the same in hue as its immediate neighbors but the whole progresses from a clear case of red to a clear case of orange. On the assumption that an observational word like ‘red’ applies to both if to either of a pair of perceptually indiscriminable items, the absurd conclusion of the sorites comes into view. Crispin Wright explains. (shrink)

The well-known argument of Frederick Fitch, purporting to show that verificationism (= Truth implies knowability) entails the absurd conclusion that all the truths are known, has been disarmed by Dorothy Edgington''s suggestion that the proper formulation of verificationism presupposes that we make use of anactuality operator along with the standardly invoked epistemic and modal operators. According to her interpretation of verificationism, the actual truth of a proposition implies that it could be known in some possible situation that the proposition holds (...) in theactual situation. Thus, suppose that our object language contains the operatorA — it is actually the case that ... — with the following truth condition: vA iff w0, wherew 0 stands for the designated world of the model — the actual world. Then we can formalize the verificationist claim as follows. (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)

I distinguish two broad approaches to vagueness that I call "robust" and "wimpy". Wimpy construals explain vagueness as robust (i.e., does not manifest arbitrary precision); that standard approaches to vagueness, like supervaluationism or appeals to degrees of truth, wrongly treat vagueness as wimpy; that vagueness harbors an underlying logical incoherence; that vagueness in the world is therefore impossible; and that the kind of logical incoherence nascent in vague terms and concepts is benign rather than malignant. I describe some implications for (...) logic, semantics, and metaphysics. (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)

I argue that, contrary to widespread philosophical opinion, phenomenal indiscriminability is transitive. For if it were not transitive, we would be precluded from accepting the truisms that if two things look the same then the way they look is the same and that if two things look the same then if one looks red, so does the other. Nevertheless, it has seemed obvious to many philosophers (e.g. Goodman, Armstrong and Dummett) that phenomenal indiscriminability is not transitive; and, moreover, that this (...) non-transitivity is straightforwardly revealed to us in experience. I show this thought to be wrong. All inferences from the character of our experience to the non-transitivity of indiscriminability involve either a misunderstanding of continuity, a mistaken interpretation of the idea that we have limited powers of discrimination, or tendentious claims about what our experience is really like; or such inferences are based on inadequately supported premisses, which though individually plausible are jointly implausible. (shrink)

Let us say that the proposition that p is transparent just in case it is known that p, and it is known that it is known that p, and it is known that it is known that it is known that p, and so on, for any number of iterations of the knowledge operator ‘it is known that’. If there are transparent propositions at all, then the claim that any man with zero hairs is bald seems like a good candidate. (...) We know that any man with zero hairs is bald. And it also does not seem completely implausible that we know that we know it, and that we know that we know that we know it, and so on. (shrink)

This paper supersedes an ealier version, entitled "A Non-Standard Semantics for Inexact Knowledge with Introspection", which appeared in the Proceedings of "Rationality and Knowledge". The definition of token semantics, in particular, has been modified, both for the single- and the multi-agent case.

Can we turn the screw on counter-examples to the KK principle (that if one knows that P, one knows that one knows that P)? The idea is to construct cases in which one knows that P, but the epistemic status for one of the proposition that one knows that P is much worse than just one’s not knowing it. Of course, since knowledge is factive, there can’t be cases in which one knows that P and knows that one doesn’t know (...) that P (we can’t strengthen ¬KKp to K¬Kp)! If we can construct such cases, we may be able to use them to understand some puzzling epistemic phenomena. (shrink)

It is taken for granted in much of the literature on vagueness that semantic and epistemic approaches to vagueness are fundamentally at odds. If we can analyze borderline cases and the sorites paradox in terms of degrees of truth, then we don’t need an epistemic explanation. Conversely, if an epistemic explanation suffices, then there is no reason to depart from the familiar simplicity of classical bivalent semantics. I question this assumption, showing that there is an intelligible motivation for adopting a (...) many-valued semantics even if one accepts a form of epistemicism. The resulting hybrid view has advantages over both classical epistemicism and traditional many-valued approaches. (shrink)