On two standard views of vagueness, vagueness as to whether Harry is bald entails that nobody knows whether Harry is bald—either because vagueness is a type of missing truth, and so there is nothing to know, or because vagueness is a type of ignorance, and so even though there is a truth of the matter, nobody can know what that truth is. Vagueness as to whether Harry is bald does entail that nobody clearly knows that Harry is bald and that (...) nobody clearly knows that Harry is not bald. But it does not entail that nobody knows that Harry is bald or that nobody knows that Harry is not bald. Hence, the two standard views of vagueness are mistaken. (shrink)

The paper discusses some ways in which vagueness and its phenomena may be thought to impose certain limits on our knowledge and, more specifically, may be thought to bear on the traditional philosophical idea that certain domains of facts are luminous, i.e., roughly, fully open to our view. The discussion focuses on a very influential argument to the effect that almost no such interesting domains exist. Many commentators have felt that the vagueness unavoidably inherent in the description of the facts (...) that are best candidates for being luminous plays an illicit role in such argument. The paper centres around the idea that vagueness brings with itself the prima facie plausibility of soritical principles. Using the diagnostics of sharpenings, it is first pointed out that, despite certain considerations to the contrary, the margin‐for‐error principle required by the anti‐luminosity argument may well derive all of its plausibility from an underlying soritical principle. The notion of confidence that is relevant to the argument is then isolated and sharply distinguished from the notion of subjective probability. Against this background, it is argued that the reasoning about confidence involved in the argument in favour of the problematic margin‐for‐error principle is fallacious in the same way in which sorites reasoning is. This reveals the possibility of having reliable knowledge even at the penumbral limit with falsity, a possibility for which a concrete formal model is constructed. The model in turn permits a deeper appreciation of the role played in the dialectic by the distinction between confidence and subjective probability as well as by confidence requirements on knowledge. It is concluded that careful heeding of vagueness and its phenomena, far from forcing new and surprising limits on our knowledge, actually removes one of the main barriers – unreliability – often thought to stand in its way. (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)

According to the naive theory of vagueness, the vagueness of an expression consists in the existence of both positive and negative cases of application of the expression and in the non- existence of a sharp cut-off point between them. The sorites paradox shows the naive theory to be inconsistent in most logics proposed for a vague language. The paper explores the prospects of saving the naive theory by revising the logic in a novel way, placing principled restrictions on the transitivity (...) of the consequence relation. A lattice-theoretical framework for a whole family of “tolerant logics” is proposed and developed. Particular care is devoted to the relation between the salient features of the formal apparatus and the informal logical and semantic notions they are supposed to model. A suitable non-transitive counterpart to classical logic is defined. Some of its properties are studied, and it is eventually shown how an appropriate regimentation of the naive theory of vagueness is consistent in such a logic. (shrink)

This paper addresses three problems: the problem of formulating a coherent relativism, the Sorites paradox and a seldom noticed difficulty in the best intuitionistic case for the revision of classical logic. A response to the latter is proposed which, generalised, contributes towards the solution of the other two. The key to this response is a generalised conception of indeterminacy as a specific kind of intellectual bafflement-Quandary. Intuitionistic revisions of classical logic are merited wherever a subject matter is conceived both as (...) liable to generate Quandary and as subject to a broad form of evidential constraint. So motivated, the distinctions enshrined in intuitionistic logic provide both for a satisfying resolution of the Sorites paradox and a coherent outlet for relativistic views about, e.g., matters of taste and morals. An important corollary of the discussion is that an epistemic conception of vagueness can be prised apart from the strong metaphysical realism with which its principal supporters have associated it, and acknowledged to harbour an independent insight. (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)

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)

Using a quantified propositional logic involving the operators it is known that and it is possible to know that, we formalize various interesting philosophical claims involved in the realism debate. We set out inferential rules for the epistemic modalities, ranging from ones that are obviously analytic, to ones that are epistemologically more substantive or even controversial. Then we investigate various aporias for the realism debate. These are constructively inconsistent triads of claims from our list: a claim expressing some sort of (...) common ground in the debate; a characteristically anti-realist thesis about truth and knowability; and a characteristically realist thesis about determinacy of truth value. Various patterns of reductio proof for these inconsistent triads are generated, so as to display their variety. The reductio proofs use only the inferential rules set out earlier. The philosophical utility of each aporia for the anti-realist is then assessed. This involves consideration of the acceptability of the premiss expressing common ground; the strength and plausibility of the anti-realist premiss; the strength of the realist premiss that is the ultimate target of the reductio; and the analytic status of the inferential rules applied within the proof. (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)

In The Things We Mean I argue that there exist such things as the things we mean and believe, and that they are what I call pleonastic propositions. The first two chapters offer an initial motivation and articulation of the theory of pleonastic propositions, and of pleonastic entities generally. The remaining six chapters bring that theory to bear on issues in the theory of content: the existence and nature of meanings; knowledge of meaning; the meaning relation and compositional semantics; the (...) relation between content-involving facts and underlying physical facts; vagueness and indeterminacy; conditionals; normative discourse; and the role of propositional content in explanation, prediction, and knowledge acquisition. (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.

This paper examines the mind and language of an omniscient being from a supervaluationist perspective. Two questions hall receive special attention. How ought the supervaluationist explicate the concept of omniscience? And what ought the supervaluationist expect an omniscient speaker to say about a Sorites series?

Most of us, tacitly or explicitly, embrace a more or less Cartesian conception of our epistemic condition. According to such a conception, "what we have to go on" in learning about the world is, on the one hand, that which is a priori accessible to us, and, on the other, the inner experiences - visual imagery, tactile sensations, recollective episodes and so on - that pop into our Carte- sian theaters. One of the central themes of Knowledge and its Limits (...) is that this picture is fundamentally wrong. Williamson suggests that we should embrace the thesis that our body of evidence at a given time is all and only that which we know. Call this the "E=K thesis." If the E=K thesis is correct, then what we have to go on is both more and less than the Cartesian picture would suggest: more because its domain extends outwards in space, and for- wards and backwards in time; less because that which is unknown about our experiential life is excluded. In what follows, I shall identify and briefly discuss a number of themes connected to the E=K thesis. (shrink)

Most of us, tacitly or explicitly, embrace a more or less Cartesian conception of our epistemic condition. According to such a conception, “what we have to go on”in learning about the world is, on the one hand, that which is a priori accessible to us, and, on the other, the inner experiences—visual imagery, tactile sensations, recollective episodes and so on—that pop into our Cartesian theaters. One of the central themes of Knowledge and its Limits is that this picture is fundamentally (...) wrong. Williamson suggests that we should embrace the thesis that our body of evidence at a given time is all and only that which we know. Call this the “E=K thesis.”If the E=K thesis is correct, then what we have to go on is both more and less than the Cartesian picture would suggest: more because its domain extends outwards in space, and forwards and backwards in time; less because that which is unknown about our experiential life is excluded. In what follows, I shall identify and briefly discuss a number of themes connected to the E=K thesis. (shrink)

This paper presents a partial analysis of perceptual knowledge, an analysis that will, I hope, lay a foundation for a general theory of knowing. Like an earlier theory I proposed, the envisaged theory would seek to explicate the concept of knowledge by reference to the causal processes that produce (or sustain) belief. Unlike the earlier theory, however, it would abandon the requirement that a knower's belief that p be causally connected with the fact, or state of affairs, that p.

This paper presents some difficulties for Timothy Williamson's epistemicist view of vagueness and for an argument he gives in its defense. First, I claim that the argument, which uses the notion of an "omniscient speaker", is question-begging. Next, I argue that some presumably true scientific hypotheses, which postulate certain relations between everyday vague predicates and scientific predicates, make the central theses of epistemicism highly implausible. Finally, I show that the "margin for error principles" used by Williamson to explain away the (...) kind of ignorance conjectured by epistemicism lead to new sorites-like arguments with unacceptable conclusions. (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.

Are there questions for which 'there is no determinate fact of the matter' as to which answer is correct? Most of us think so, but there are serious difficulties in maintaining the view, and in explaining the idea of determinateness in a satisfactory manner. The paper argues that to overcome the difficulties, we need to reject the law of excluded middle; and it investigates the sense of 'rejection' that is involved. The paper also explores the logic that is required if (...) we reject excluded middle, with special emphasis on the conditional. There is also discussion of higher order indeterminacy (in several different senses) and of penumbral connections; and there is a suggested definition of determinateness in terms of the conditional and a discussion of the extent to which the notion of determinateness is objective. And there are suggestions about a unified treatment of vagueness and the semantic paradoxes. (shrink)

I motivate and briefly sketch a linguistic theory of vagueness, on which the notion of indeterminacy is understood in terms of the conventions of language: a sentence is indeterminate iff the conventions of language either forbid asserting it and forbid asserting its negation, under the circumstances, or permit asserting either. I then consider an objection that purports to show that if this theory (or, as far as I can see, any other theory of vagueness that deserved the label "linguistic" were (...) true, there would be no such thing as indeterminacy. I respond to this objection by arguing on independent grounds against its main premise, the widely-accepted claim that if it is indeterminate whether P, no human being knows whether P. I defend an alternative view according to which, when it is indeterminate whether P, it is often also indeterminate whether we know that P. (shrink)

Such a conception, says Dummett, will form "a base camp for an assault on the metaphysical peaks: I have no greater ambition in this book than to set up a base ...

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.

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)

There is a constant temptation in philosophy to postulate a realm of phenomena in which nothing is hidden from us. Rene Descartes thought that one's own mind is such a realm. Ludwig Wittgenstein' enlarged the realm to everything that is of interest to philosophy. That they explained this special feature in very different ways hardly needs to be said; what is remarkable is their agreement on our possession of a cognitive home in which everything lies open to our view. Much (...) of our thinking – for example, in the physical sciences – must operate outside this home, in alien circumstances. The claim is that not all our thinking could be like that. (shrink)

N. B. Prof Williamson is now based at the Faculty of Philosophy, University of Oxford.