A central concept for information retrieval is that of similarity. Although an information retrieval system is expected to return a set of documents most relevant to the query word(s), it is often described as returning a set of documents most similar to the query. The authors argue that in order to reason with similarity we need to model the concept of discriminating power. They offer a simple topological notion called resolution space that provides a rich mathematical framework for reasoning with (...) limited discriminating power, avoiding the vagueness paradox. (shrink)

According to anti-atomism, we represent color properties (e.g., red) in virtue of representing color relations (e.g., redder than). I motivate anti-atomism with a puzzle involving a series of pairwise indistinguishable chips. I then develop two versions of anti-atomism.

One thousand stones, suitably arranged, might form a heap. If we remove a single stone from a heap of stones we still have a heap; at no point will the removal of just one stone make sufficient difference to transform a heap into something which is not a heap. But, if this is so, we still have a heap, even when we have removed the last stone composing our original structure. So runs the Sorites paradox. Similar paradoxes can be constructed (...) with any predicate which, like 'heap', displays borderline vagueness. Although I have frequently heard it said that there is no completely credible and satisfying dissolution of the paradoxes of the Sorites family; and although there is no possible approach to dissolution which has not been at least partially explored, philosophers continue glibly to use vague language as though it were entirely unproblematic. Since no argument has ever been produced which would justify our ignoring the para~doxes, this situation is extremely unsatisfactory. (shrink)

Is there an interesting relation between the Preface paradox and the Sorites paradox that might be used to illuminate either or both of those paradoxes and the phenomena of rationality and vagueness with which they, respectively, are bound up? In particular, if we consider the analogy alongside a familiar response to the Preface Paradox that employs degrees of belief, does this give any support to the thought that we should adopt some kind of degree-theoretic treatment of vagueness and the sorites? (...) This chapter argues that it does not; indeed exploring the disanalogies contributes to a case against such a treatment of vagueness more generally. Among other views, it considers Edgington’s account of vagueness that employs a probabilistic structure of “verities”. It then contends that appeal to the framework of supervaluationism yields a better guide to reasoning in vague language than the degree-theoretic treatment can sustain. (shrink)

Can identity itself be vague? Can there be vague objects? Does a positive answer to either question entail a positive answer to the other? In this paper we answer these questions as follows: No, No, and Yes. First, we discuss Evans’s famous 1978 argument and argue that the main lesson that it imparts is that identity itself cannot be vague. We defend the argument from objections and endorse this conclusion. We acknowledge, however, that the argument does not by itself establish (...) either that there cannot be vague objects or that there cannot be identity statements that are indeterminate for ontic reasons. And we further acknowledge that it does not by itself establish that there cannot be identity statements that are indeterminate in virtue of the existence of vague objects. We then go on to argue that, despite this, one who believes in vague objects cannot endorse Evans’s argument. To establish this we offer supplementary arguments that show that if vague objects exist then identity is vague, and that if identity is vague then vague objects exist. Finally we draw attention to an argument parallel to that of Evans’s, but safer, which can be employed against the putative ontic indeterminacy in identity of vague objects which can be differentiated by identity-free properties. (shrink)

This book proposes a new solution to the problem of vagueness. There are several different ways of addressing this problem and no clear agreement on which one is correct. The author proposes that it should be understood as the problem of explaining vague predicates in a way that systematizes six intuitions about the phenomenon and satisfies three criteria of adequacy for an ideal theory of vagueness. The third criterion, which is called the “criterion of precisification”, is the most controversial one. (...) It is based on the intuition that a predicate is vague only if it is imprecise. The author considers some different definitions of linguistic imprecision, proposing that a predicate is imprecise if and only if there is no sharp boundary between objects to which its application yields some particular truth-value and objects to which its application does not yield that truth-value. The volume critically reviews the current theories of vagueness and proposes a new one, the Theory of Vagueness as Arbitrariness, which defines a vague predicate as an arbitrary predicate that must be precisified in order to contribute to a sentence that has truth-conditions. The main advantages of this theory over the current alternatives are that it satisfies all three criteria and systematizes the relevant intuitions. (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)

Dummett's objections to the coherence of the strict finitist philosophy of mathematics are thus, at the present time at least, ill-taken. We have so far no definitive treatment of Sorites paradoxes; so no conclusive ground for dismissing Dummett's response — the response of simply writing off a large class of familiar, confidently handled expressions as semantically incoherent. I believe that cannot be the right response, if only because it threatens to open an unacceptable gulf between the insight into his own (...) understanding available to a philosophically reflective speaker and the conclusions available to one confined to observing the former's linguistic practice; for an observer of our linguistic practice could never justifiably arrive at the conclusion that ‘red’, ‘child’, etc., are governed by inconsistent rules. But the Sorites is not the subject of this paper. The points I hope to have made plausible are: that a generalized intuitionist position cannot be so much as formulated and that even a most local intuitionism, argued for the special case of arithmetic, is hard pressed effectively to stabilize and defend itself; that strict finitism remains the natural outcome of the anti-realism which Dummett has propounded by way of support for the intuitionist philosophy of mathematics; that it is powerfully buttressed by the ideas of the latter Wittgenstein on rule-following; and that there is no extant compelling reason to suppose that its involvement with predicates of surveyability calls its coherence into question. The correct philosophical assessment of strict finitism, and its proper mathematical exegesis, remain absolutely open, almost virgin issues. This is not a situation which philosophers of mathematics should tolerate very much longer. (shrink)

Un argument en faveur de l'infaillibilité a priori est considéré puis rejeté. Il s'agit de critiquer un argument de type cartésien visant à fonder la connaissance de soi sur un type privilégié de rapport épistémique. On montre que plusieurs catégories d'énoncés psychologiques à la première personne ne peuvent donner lieu à un tel savoir infaillible. La discussion culmine sur l'examen du Cogito. Il est démontré que le philosophe cartésien ne peut savoir a priori qu'il pense puisqu'il ne peut savoir a (...) priori que chaque inscription en lui de la forme verbale « Je pense » constitue un acte intentionnel de penser.An argument favourable to a priori infallibility is considered and then rejected. Specifically, it is a cartesian argument which purports to justify infallible self-knowledge on the basis of a special epistemic access. Many first person psy- chological sentences are shown to be defective in this respect. The discussion culminates with an examination of the Cogito. It is shown that the cartesian philosopher cannot claim to know a priori that he is thinking since he does not know a priori that all inscriptions in himself of the verbal form "I think" constitute an intentional act of thinking. (shrink)

The intransitivity of matching sensible qualities of color isa threat not only to the sense-data theory, but to allrealist theories of sensible qualities, including thecurrent leading realist theory: representationalism.I save representationalism from this threat by way ofa novel yet empirically plausible hypothesis about theintrospective classification of sensible qualities of color.I argue that due to limitations of the visual system's abilityto extract fine-grained information about color fromthe environment, introspective classification of sensiblequalities of color is sensitive to features of context.I finish by (...) arguing for the superiority of mysolution over two alternative solutions: one by NelsonGoodman, the other by C.L. Hardin. (shrink)

In natural language we rarely use relation-words with more than three argument places. This paper studies one systematic device, rooted in natural language, by which relations of greater adicity can be expressed. It is based on a higher-order relation between 1-place, 2-place, and 4-place relations (and so on) of which the relation between the positive and comparative degrees of a predicate is a special case. Two formal languages are presented in this connection, one of which represents the language of communication (...) and the other the contextual information against which the first language is interpreted. A semantical theory is described, which treats the two languages in an interdependent way. Logical consequence is non-compact. Connections with issues about vagueness are made. (shrink)

This paper attempts to clarify the meaning and significance of "qualitative confirmation". The need to do so is related to the fact that, without such a conceptualization, a large portion of the human sciences are relegated to a less than scientific status. Accordingly, "qualitative confirmation" is viewed as a proper subset of traditional confirmation theory. To establish such a case, a general Hempelian framework is utilized, but it is supplemented with two additional levels of confirmation. It is concluded that the (...) final test for adequacy of such confirmation must rest on a subjective probability notion. (shrink)

Taking a series of colour patches, starting with one that clearly looks red, and making each so similar in colour to the previous one that it looks the same as it, we appear to be able to show that a yellow patch looks red. I ask whether phenomenal sorites paradoxes, such as this, are subject to a unique kind of solution that is unavailable in relation to other sorites paradoxes. I argue that they do not need such a solution, nor (...) do they succumb to one. In particular, I reject the claim made by Fara and Raffman that looks the same is a transitive relation, which would allow us to solve phenomenal sorites paradoxes by denying the possibility of the required kind of sorites series. (shrink)

Je m'attache dans le présent article à élaborer la construction d'une classe générale de concepts, qui intègre notamment un certain nombre de contraires polarisés d'usage courant. Le point de départ de cette construction ne réside pas dans des concepts usuels, lexicalisés, c'est-à-dire pour lesquels il existe un mot correspondant dans le langage courant propre à une langue donnée. A l'inverse, la démarche qui préside à la construction de la présente classe de concepts consiste dans une définition abstraite de cette dernière, (...) sans considération du fait que les concepts correspondants soient ou non lexicalisés. Une fois une telle construction réalisée, on est alors à même de vérifier que les concepts ainsi construits correspondent effectivement à des concepts lexicalisés, alors que d'autres ne peuvent être mis en correspondance avec aucun mot du langage courant. Finalement, la présente construction permet de proposer une taxinomie de concepts qui constitue une alternative à celle basée sur le carré sémiotique (semiotic square) défini par Greimas. (shrink)

This paper is about two puzzles, or two versions of a single puzzle, which deserve to be called paradoxes, and develops some apparatus in terms of which the apparently conflicting principles which generate the puzzles can be rendered consistent. However, the apparatus itself is somewhat controversial: the puzzles are modal ones, and the resolution to be advocated requires the adoption of a counterpart theoretic semantics of essentially the kind proposed by David Lewis, which in turn requires qualified rejection of certain (...) modal theses about identity which are valid in S5. (shrink)

The delicate point in the formalistic position is to explain how the non-intuitionistic classical mathematics is significant, after having initially agreed with the intuitionists that its theorems lack a real meaning in terms of which they are true (S. C. Kleene, 1952).

This unique anthology of new, contributed essays offers a range of perspectives on various aspects of ontic vagueness. It seeks to answer core questions pertaining to onticism, the view that vagueness exists in the world itself. The questions to be addressed include whether vague objects must have vague identity, and whether ontic vagueness has a distinctive logic, one that is not shared by semantic or epistemic vagueness. The essays in this volume explain the motivations behind onticism, such as the plausibility (...) of mereological vagueness and indeterminacy in quantum mechanics and they offer various arguments both for and against ontic vagueness; onticism is also compared with other, competing theories of vagueness such as semanticism, the view that vagueness exists only in our linguistic representation of the world. Gareth Evans’s influential paper of 1978, “Can There Be Vague Objects?” gave a simple but cogent argument against the coherence of ontic vagueness. Onticism was subsequently dismissed by many. However, in recent years, researchers have become aware of the logical gaps in Evans’s argument and this has triggered a new wave of interest in onticism. Onticism is now widely regarded as at least a coherent view. Reflecting this growing consensus, the present anthology for the first time puts together essays that are focused on onticism and its various facets and it fills in the lacuna in the literature on vagueness, a much-discussed subject in contemporary philosophy. (shrink)