The first part of the chapter surveys some of the main ways in which the Sorites Paradox has figured in arguments in practical philosophy in recent decades, with special attention to arguments where the paradox is used as a basis for criticism. Not coincidentally, the relevant arguments all involve the transitivity of value in some way. The second part of the chapter is more probative, focusing on two main themes. First, I further address the relationship between the Sorites (...) Paradox and the main arguments discussed in the first part, by elucidating in what sense they rely on (something like) tolerance principles. Second, I briefly discuss the prospect of rejecting the respective principles, aiming to show that we can do so for some of the arguments but not for others. The reason is that in the latter cases the principles do not function as independent premises in the reasoning but, rather, follow from certain fundamental features of the relevant scenarios. I also argue that not even adopting what is arguably the most radical way to block the Sorites Paradox – that of weakening the consequence relation – suffices to invalidate these arguments. (shrink)

A sorites argument is a symptom of the vagueness of the predicate with which it is constructed. A vague predicate admits of at least one dimension of variation (and typically more than one) in its intended range along which we are at a loss when to say the predicate ceases to apply, though we start out confident that it does. It is this feature of them that the sorites arguments exploit. Exactly how is part of the subject of (...) this paper. The majority of philosophers writing on vagueness take it to be a kind of semantic phenomenon. If we are right, they are correct in this assumption, which is surely the default position, but they have not so far provided a satisfactory account of the implications of this or a satisfactory diagnosis of the sorites arguments. Other philosophers have urged more exotic responses, which range from the view that the fault lies not in our language, but in the world, which they propose to be populated with vague objects which our semantics precisely reflects, to the view that the world and language are both perfectly in order, but that the fault lies with our knowledge of the properties of the words we use (epistemicism). In contrast to the exotica to which some philosophers have found themselves driven in an attempt to respond to the sorites puzzles, we undertake a defense of the commonsense view that vague terms are semantically vague. Our strategy is to take fresh look at the phenomenon of vagueness. Rather than attempting to adjudicate between different extant theories, we begin with certain pre-theoretic intuitions about vague terms, and a default position on classical logic. The aim is to see whether (i) a natural story can be told which will explain the vagueness phenomenon and the puzzling nature of soritical arguments, and, in the course of this, to see whether (ii) there arises any compelling pressure to give up the natural stance. We conclude that there is a simple and natural story to be told, and we tell it, and that there is no good reason to abandon our intuitively compelling starting point. The importance of the strategy lies in its dialectical structure. Not all positions on vagueness are on a par. Some are so incredible that even their defenders think of them as positions of last resort, positions to which we must be driven by the power of philosophical argument. We aim to show that there is no pressure to adopt these incredible positions, obviating the need to respond to them directly. If we are right, semantic vagueness is neither surprising, nor threatening. It provides no reason to suppose that the logic of natural languages is not classical or to give up any independently plausible principle of bivalence. Properly understood, it provides us with a satisfying diagnosis of the sorites argumentation. It would be rash to claim to have any completely novel view about a topic so well worked as vagueness. But we believe that the subject, though ancient, still retains its power to inform and challenge us. In particular, we will argue that taking seriously the central phenomenon of predicate vagueness—the “boundarylessness” of vague predicates—on the commonsense assumption that vagueness is semantic, leads ineluctably to the view that no sentences containing vague expressions (henceforth ‘vague sentences’) are truth-evaluable. This runs counter to much of the literature on vagueness, which commonly assumes that, though some applications of vague predicates to objects fail to be truth-evaluable, in clear positive and negative cases vague sentences are unproblematically true or false. It is clarity on this, and related points, that removes the puzzles associated with vagueness, and helps us to a satisfying diagnosis of why the sorites arguments both seem compelling and yet so obviously a bit of trickery. We give a proof that semantically vague predicates neither apply nor fail-to-apply to anything, and that consequently it is a mistake to diagnose sorites arguments, as is commonly done, by attempting to locate in them a false premise. Sorites arguments are not sound, but not unsound either. We offer an explanation of their appeal, and defend our position against a variety of worries that might arise about it. The plan of the paper is as follows. We first introduce an important distinction in terms of which we characterize what has gone wrong with vague predicates. We characterize what we believe to be our natural starting point in thinking about the phenomenon of vagueness, from which only a powerful argument should move us, and then trace out the consequences of accepting this starting point. We consider the charge that among the consequences of semantic vagueness are that we must give up classical logic and the principle of bivalence, which has figured prominently in arguments for epistemicism. We argue there are no such consequences of our view: neither the view that the logic of natural languages is classical, nor any plausible principle of bivalence, need be given up. Next, we offer a diagnosis of what has gone wrong in sorites arguments on the basis of our account. We then present an argument to show that our account must be accepted on pain of embracing (in one way or another) the epistemic view of “vagueness”, i.e., of denying that there are any semantically vague terms at all. Next, we discuss some worries that may arise about the intelligibility of our linguistic practices if our account is correct. We argue none of these worries should force us from our intuitive starting point. Finally, we cast a quick glance at other forms of semantic incompleteness. (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.

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)

When you and I seriously argue over whether a man of seventy is old enough to count as an "old man", it seems that we are appealing neither to our own separate standards of oldness nor to a common standard that is already fixed in the language. Instead, it seems that both of us implicitly invoke an ideal, shared standard that has yet to be agreed upon: the place where we ought to draw the line. As with other normative standards, (...) it is hard to know whether such borderlines exist prior to our coming to agree on where they are. But epistemicists plausibly argue that they must exist whether we ever agree on them or not, as this provides the only logically acceptable response to the sorites paradox. This paper argues that such boundaries do typically exist as hypothetical ideals, but not as determinate features of the present actual world. There is in fact no general solution to the paradox, but attention to practice in resolving vague disagreements shows that its instances can be dealt with separately, as they arise, in many reasonable ways. (shrink)

Smarandache Hypothesis states that there is no speed limit of anything, including light and particles. While the idea is quite simple and based on known hypothesis of quantum mechanics, called Einstein-Podolski-Rosen paradox, in reality such a superluminal physics seems still hard to accept by majority of physicists. Here we review some experiments to support superluminal physics and also findings to explain Smarandache Quantum Paradoxes and Quantum Sorites Paradox. We also touch briefly on new experiment on magneton, supporting SubQuantum (...) Kinetic Model of Electron. (shrink)

The solution to the Sorites Paradox is discussed.

Gender is both indeterminate and multifaceted: many individuals do not fit neatly into accepted gender categories, and a vast number of characteristics are relevant to determining a person's gender. This article demonstrates how these two features, taken together, enable gender to be modeled as a multidimensional sorites paradox. After discussing the diverse terminology used to describe gender, I extend Helen Daly's research into sex classifications in the Olympics and show how varying testosterone levels can be represented using a (...) class='Hi'>sorites argument. The most appropriate way of addressing the paradox that results, I propose, is to employ fuzzy logic. I then move beyond physiological characteristics and consider how gender portrayals in reality television shows align with Judith Butler's notion of performativity, thereby revealing gender to be composed of numerous criteria. Following this, I explore how various elements of gender can each be modeled as individual sorites paradoxes such that the overall concept forms a multidimensional paradox. Resolving this dilemma through fuzzy logic provides a novel framework for interpreting gender membership. (shrink)

The presentation of the “dual picture of vagueness” in my earlier work is supplemented here with a number of additional considerations. I emphasize how the picture lends itself naturally to treatments of the contribution of a typical degree adjective to propositional content and to truth conditions. A number of reasonable refinements of the picture are presented, especially concerning occasions of use of a degree adjective in which a class containing a sorites series is somehow involved in content fixing, but (...) in such a way that an extension ultimately gets fixed for the predicate. I also develop the observation that standard theories of the logical and semantic paradoxes rely on the idea that the content-fixing mechanisms for the paradoxical expressions work well in general but fail in some localized cases, and that while standard theories of the sorites paradox are clearly not based on this idea at all, the dual theory is fully based on the idea. Next, I offer a few remarks on some recent theories of vagueness and the sorites that are broadly in the spirit of the dual picture, emphasizing the aspects where the latter compares favorably against those recent theories. Finally, the question whether the dual theory is statable with truth according to the theory itself is considered in more detail than in my earlier presentation. (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)

On some accounts of vagueness, predicates like “is a heap” are tolerant. That is, their correct application tolerates sufficiently small changes in the objects to which they are applied. Of course, such views face the sorites paradox, and various solutions have been proposed. One proposed solution involves banning repeated appeals to tolerance, while affirming tolerance in any individual case. In effect, this solution rejects the reasoning of the sorites argument. This paper discusses a thorny problem afflicting this approach (...) to vagueness. In particular, it is shown that, on the foregoing view, whether an object is a heap will sometimes depend on factors extrinsic to that object, such as whether its components came from other heaps. More generally, the paper raises the issue of how to count heaps in a tolerance-friendly framework. (shrink)

Problems for 'precise replacements' as a way out of sorites paradoxes.

Vagueness does not necessarily come in with vague predicates, nor need it be expressed by them , but undoubtedly 'vague predicates' are traditionally in the focus of main stream discussions of vagueness. In her current modal logic presentation and discussion of the Sorites paradox Susanne Bobzien[1] lists among the properties of a Sorites series a rather weak modal tolerance principle governing the 'grey zone' containing the borderline cases of the Sorites series, which later proves crucial for her (...) solution of the Sorites paradox by use of epistemic interpreted modal operators in 1st order modal logic. We suggest (for different research interest) instead a non-modal description of the switch in the grey zone (respecting tolerance), by resort to similarity sequences, thus getting tangent to two other areas of research in the field. Let's say -any way- the Sorites paradox vanishes, the Sorites series does not. (shrink)

What I hope to show here is that the costs of taking sorites arguments seriously, in particular the costs with respect to hopes for precise replacement are significantly greater than proponents of sorites arguments have estimated.

Noniterative approaches to the sorites paradox accept single steps of soritical reasoning, but deny that these can be combined into valid chains of soritical reasoning. The distributed sorites is a puzzle designed to undermine noniterative approaches to the sorites paradox, by deriving an inconsistent conclusion using only single steps, but not chains, of soritical reasoning. This paper shows how a dialetheist version of the noniterative approach, the strict-tolerant approach, also solves the distributed sorites paradox, at no (...) further cost, by accepting the inconsistent conclusion. (shrink)

I defend the hypothesis that the semantic paradoxes, the paradoxes about collections, and the sorites paradoxes, are all paradoxes of reference fixing: they show that certain conventionally adopted and otherwise functional reference-fixing principles cannot provide consistent assignments of reference to certain relevant expressions in paradoxical cases. I note that the hypothesis has interesting implications concerning the idea of a unified account of the semantic, collection and sorites paradoxes, as well as about the explanation (...) of their “recalcitrance”. I also note that it does not necessarily imply that one should not expect the sometimes hoped for “unique” solution to a paradox of these kinds. (shrink)

Counterfactuals are somewhat tolerant. Had Socrates been at least six feet tall, he need not have been exactly six feet tall. He might have been a little taller—he might have been six one or six two. But while he might have been a little taller, there are limits to how tall he would have been. Had he been at least six feet tall, he would not have been more than a hundred feet tall, for example. Counterfactuals are not just tolerant, (...) then, but bounded. This paper presents a surprising paradox: If counterfactuals are tolerant and bounded, then we can prove a flat contradiction using natural rules of inference. Something has to go then. But what? (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)

John Rawls’s difference principle says that we should change our economy if doing so is better for the worst-off group, on the condition that certain basic rights are secured. This paper presents a kind of case that challenges the principle. If we modify the principle to cope with the challenge, we open the way to a Sorites paradox.

By pooling together exhaustive analyses of certain philosophical paradoxes, we can prove a series of fascinating results regarding philosophical progress, agreement on substantive philosophical claims, knockdown arguments in philosophy, the wisdom of philosophical belief, the epistemic status of metaphysics, and the power of philosophy to refute common sense. As examples, this Element examines the Sorites Paradox, the Liar Paradox, and the Problem of the Many – although many other paradoxes can do the trick too.

Paradoxes and their Resolutions is a ‘thematic compilation’ by Avi Sion. It collects in one volume the essays that he has written in the past (over a period of some 27 years) on this subject. It comprises expositions and resolutions of many (though not all) ancient and modern paradoxes, including: the Protagoras-Euathlus paradox (Athens, 5th Cent. BCE), the Liar paradox and the Sorites paradox (both attributed to Eubulides of Miletus, 4th Cent. BCE), Russell’s paradox (UK, 1901) and (...) its derivatives the Barber paradox and the Master Catalogue paradox (also by Russell), Grelling’s paradox (Germany, 1908), Hempel's paradox of confirmation (USA, 1940s), and Goodman’s paradox of prediction (USA, 1955). This volume also presents and comments on some of the antinomic discourse found in some Buddhist texts (namely, in Nagarjuna, India, 2nd Cent. CE; and in the Diamond Sutra, date unknown, but probably in an early century CE). (shrink)

One of the hardest problems in philosophy, one that has been around for over two thousand years without generating any significant consensus on its solution, involves the concept of vagueness: a word or concept that doesn't have a perfectly precise meaning. There is an argument that seems to show that the word or concept simply must have a perfectly precise meaning, as violently counterintuitive as that is. Unfortunately, the argument is usually so compressed that it is difficult to see why (...) exactly the problem is so hard to solve. In this article I attempt to explain just why it is that the problem – the sorites paradox – is so intractable.Export citation. (shrink)

Sergio Tenenbaum and Diana Raffman contend that ‘vague projects’ motivate radical revisions to orthodox, utility-maximising rational choice theory. Their argument cannot succeed if such projects merely ground instances of the paradox of the sorites, or heap. Tenenbaum and Raffman are not blind to this, and argue that Warren Quinn’s Puzzle of the Self-Torturer does not rest on the sorites. I argue that their argument both fails to generalise to most vague projects, and is ineffective in the case of (...) the Self-Torturer itself. (shrink)

A Wittgensteinian Way with Paradoxes examines how some of the classic philosophical paradoxes that have so puzzled philosophers over the centuries can be dissolved. Read argues that paradoxes such as the Sorites, Russell’s Paradox and the paradoxes of time travel do not, in fact, need to be solved. Rather, using a resolute Wittgensteinian ‘therapeutic’ method, the book explores how virtually all apparent philosophical paradoxes can be diagnosed and dissolved through examining their conditions of arising; (...) to loosen their grip and therapeutically liberate those philosophers suffering from them (including oneself). The book contrasts such paradoxes with real, ‘lived paradoxes’: paradoxes that are genuinely experienced outside of the philosopher’s study, in everyday life. Thus Read explores instances of lived paradox (such as paradoxes of self-hatred and of denial of other humans’ humanity) and the harm they can cause, psychically, morally or politically. These lived paradoxes, he argues, sometimes cannot be dissolved using a Wittgensteinian treatment. Moreover, in some cases they do not need to be: for some, such as the paradoxical practices of Zen Buddhism (and indeed of Wittgenstein himself), can in fact be beneficial. The book shows how, once philosophers’ paradoxes have been exorcized, real lived paradoxes can be given their due. (shrink)

‘Puzzles’, ‘word games’, ‘logical anomalies’, whatever we call them, they perplex us and challenge our familiar patterns of reasoning. One of these puzzles, among many others, originated from the mind of an ancient Megarian logician, Eubulides of Miletus, and endures to the modern day.1 Its name, ‘sorites’, can be traced to the Greek word soros, meaning ‘heap.’ The answer to whether one grain of sand ‘is a heap’ or ‘is not a heap’ seems quite simple: it is not a (...) heap. However, as we add grains to the one, at what future point does the non-heap become a heap? Our decision is fraught with uncertainty. Are the objects or the language we are using to describe them vague? In academic philosophy, the ancient Greek puzzle has gained the status of a paradox, as philosophers apply stoic and modern logic to these propositions considered to have vague predicates. The current debate has developed quite serious and wide-ranging implications, such as whether sorites issues provide adequate grounds for abandoning our standard ontology (or our understanding of what really exists), 2 and (germinating into another discipline) whether vagueness in the language of legal rules can generate disagreement as to whether there are right answers to questions of law. 3 Several unique solutions to the paradox have been proposed, yet all suffer from specific inadequacies that might, upon further reflection, disappear in the event that we endeavour to produce a synthesis. When we say that we are attempting to derive a synthesis, we seek to combine elements of two solutions for the sake of creating a new (and hopefully, though not necessarily, a better) one. The paradox of the sorites, or ‘the heap’, appeals to us because it challenges our assumption that we may categorically describe clear cases and their negations, yet fail to distinguish the borderline ones. I will demonstrate that some combinations of solutions are easy fits while others are extremely weak and awkward as attempts at resolving the paradox. Nonetheless, the process of synthesis produces three noteworthy combinations. (shrink)

In his paper ‘The possibility of vagueness’ (Fine in Synthese 194(10):3699–3725, 2017), Kit Fine proposes a new logic of vagueness, CL, that promises to provide both a solution to the sorites paradox and a way to avoid the impossibility result from Fine (Philos Perspect 22(1):111–136, 2008). The present paper presents a challenge to his new theory of vagueness. I argue that the possibility theorem stated in Fine (Synthese 194(10):3699–3725, 2017), as well as his solution to the sorites paradox, (...) fail in certain reasonable extensions of the language of CL. More specifically, I show that if we extend the language with any negation operator that obeys reductio ad absurdum, we can prove a new impossibility result that makes the kind of indeterminacy that Fine takes to be a hallmark of vagueness impossible. I show that such negation operators can be conservatively added to CL and examine some of the philosophical consequences of this result. Moreover, I demonstrate that we can define a particular negation operator that behaves exactly like intuitionistic negation in a natural and unobjectionable propositionally quantified extension of CL. Since intuitionistic negation obeys reductio, the new impossibility result holds in this propositionally quantified extension of CL. In addition, the sorites paradox resurfaces for the new negation. (shrink)

On swizzle sticks, sorites paradoxes, and precise replacements.

In his essay ‘“Wang’s Paradox”’, Crispin Wright proposes a solution to the Sorites Paradox (in particular, the form of it he calls the ‘Paradox of Sharp Boundaries’) that involves adopting intuitionistic logic when reasoning with vague predicates. He does not give a semantic theory which accounts for the validity of intuitionistic logic (and the invalidity of stronger logics) in that area. The present essay tentatively makes good the deficiency. By applying a theorem of Tarski, it shows that intuitionistic logic (...) is the strongest logic that may be applied, given certain semantic assumptions about vague predicates. The essay ends with an inconclusive discussion of whether those semantic assumptions should be accepted. (shrink)

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing (...) with the so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

[Author's note: I am posting this dissertation since it may be of interest to some people working on vagueness and related topics. It does not represent my current views on the topic. I have never attempted to publish any of this work, though I hope some day to return to it.] -/- Philosophers have devoted a lot of attention to vagueness in recent years, but there is still no general consensus about how to resolve the Sorites paradox. Timothy Williamson‘s (...) epistemic view, which claims that our vague terms have unknown sharp boundaries, is the most popular and most controversial current account. No one has shown exactly what is wrong the epistemic view and no one has provided a satisfying alternative to it. These two projects – articulating what is wrong with the epistemic view, and providing a plausible alternative – are the primary goals of this dissertation. -/- Additionally, I survey ordinary intuitions that underlie Sorites paradoxes, and I note how these intuitions inform, and are informed by, a number of deeper philosophical debates in metaphysics, epistemology, philosophy of language, and ethics. In part, this serves as an explanation of why the Sorites paradox has remained so difficult to resolve. -/- The most common objection to the epistemic view – that it provides an unsatisfactory account of the connection between meaning and use – has not been successful in undermining the view. My own objection is a metaphysical, and not a semantic, objection: the epistemic view fails to provide the best explanation of what objects and properties exist. Instead, an eliminativist account of macro-level objects and properties, according to which there are no mountains and there is no property of being lavender-colored, is a better metaphysical account than one that claims that there are mountains and color properties that have sharp boundaries. -/- Of course, this eliminativist view is intuitively unappealing, and to show how statements in ordinary language can in some way be taken to be true, I introduce the normative choice account. According to this view, although non-normative facts about linguistic behavior and about the external world do not determine a precise reference for our terms, our choices may do so. I claim that this provides all that is needed for there to be semantic normativity. First, we are still guided in our choices to some extent by psychological tendencies, and second, there are resources in semantic deliberation to respond to aberrant uses of language. (shrink)

This essay is concerned with six linguistic moves that we commonly make, each of which is considered in turn. These are: stating rules of representation; representing things categorically; mentioning expressions; saying truly or falsely how things are; saying vaguely how things are; and stating rules of rules of representation. A common-sense view is defended of what is involved in our doing each of these six things against a much more sceptical view emanating from the idea that linguistic behavior is fundamentally (...) messy. Both the fifth move and the sixth move involve vague concepts, and much of the essay is concerned with developing an approach to various problems and puzzles that attach to such concepts, most notably the sorites paradoxes. (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)

Strict finitism is the position that only those natural numbers exist that we can represent in practice. Michael Dummett, in a paper called Wang’s Paradox, famously tried to show that strict finitism is an incoherent position. By using the Sorites paradox, he claimed that certain predicates the strict finitist is committed to are incoherent. More recently, Ofra Magidor objected to Dummett’s claims, arguing that Dummett fails to show the incoherence of strict finitism. In this paper, I shall investigate whether (...) Magidor is successful in preventing Dummett from proving the incoherence of strict finitism. Though not all the counterarguments Magidor presents are successful, she does in the end manages to corner Dummett. There remains a small opportunity for Dummett to insist on the incoherence of strict finitism, but this is a very small opening. The final conclusion of this paper is that Dummett cannot logically prove the incoherence of strict finitism, even though not all hope is lost. (shrink)

Many philosophers think that common sense knowledge survives sophisticated philosophical proofs against it. Recently, however, Bryan Frances (forthcoming) has advanced a philosophical proof that he thinks common sense can’t survive. Exploiting philosophical paradoxes like the Sorites, Frances attempts to show how common sense leads to paradox and therefore that common sense methodology is unstable. In this paper, we show how Frances’s proof fails and then present Frances with a dilemma.

I show that the Lottery Paradox is just a version of the Sorites, and argue that this should modify our way of looking at the Paradox itself. In particular, I focus on what I call “the Cut-off Point Problem” and contend that this problem, well known by Sorites scholars, ought to play a key role in the debate on Kyburg’s puzzle. Very briefly, I show that, in the Lottery Paradox, the premises “ticket n°1 will lose”, “ticket n°2 will (...) lose”… “ticket n°1000 will lose” are equivalent to soritical premises of the form “~(the winning ticket is in {…, (tn)}) ⊃ ~(the winning ticket is in {…, tn, (tn + 1)})” (where “⊃” is the material conditional, “~” is the negation symbol, “tn” and “tn + 1” are “ticket n°n” and “ticket n°n + 1” respectively, and “{}” identify the elements of the lottery tickets’ set. The brackets in “(tn)” and “(tn + 1)” are meant to point out that in the antecedent of the conditional we do not always have a “tn” (and, as a result, a “tn + 1” in the consequent): consider the conditional “~(the winning ticket is in {}) ⊃ ~(the winning ticket is in {t1})”). As a result, failing to believe, for some ticket, that it will lose comes down to introducing a cut-off point in a chain of soritical premises. In this paper I explore the consequences of the different ways of blocking the Lottery Paradox with respect to the Cut-off Point Problem. A heap variant of the Lottery Paradox is especially relevant for evaluating the different solutions. One important result is that the most popular way out of the puzzle, i.e., denying the Lockean Thesis, becomes less attractive. Moreover, I show that, along with the debate on whether rational belief is closed under classical logic, the debate on the validity of modus ponens should play an important role in discussions on the Lottery Paradox. -/- . (shrink)

ABSTRACT: This paper argues that the so-called paradoxes of higher-order vagueness are the result of a confusion between higher-order vagueness and the distribution of the objects of a Sorites series into extensionally non-overlapping non-empty classes.

I propose that the meanings of vague expressions render the truth conditions of utterances of sentences containing them sensitive to our interests. For example, 'expensive' is analyzed as meaning 'costs a lot', which in turn is analyzed as meaning 'costs significantly greater than the norm'. Whether a difference is a significant difference depends on what our interests are. Appeal to the proposal is shown to provide an attractive resolution of the sorites paradox that is compatible with classical logic and (...) semantics. (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)

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)

One well known approach to the soritical paradoxes is epistemicism, the view that propositions involving vague notions have definite truth values, though it is impossible in principle to know what they are. Recently, Paul Horwich has extended this approach to the liar paradox, arguing that the liar proposition has a truth value, though it is impossible to know which one it is. The main virtue of the epistemicist approach is that it need not reject classical logic, and in particular (...) the unrestricted acceptance of the principle of bivalence and law of excluded middle. Regardless of its success in solving the soritical paradoxes, the epistemicist approach faces a number of independent objections when it is applied to the liar paradox. I argue that the approach does not offer a satisfying, stable response to the paradoxes—not in general, and not for a minimalist about truth like Horwich. (shrink)

ABSTRACT: Recently a bold and admirable interpretation of Chrysippus’ position on the Sorites has been presented, suggesting that Chrysippus offered a solution to the Sorites by (i) taking an epistemicist position1 which (ii) made allowances for higher-order vagueness. In this paper I argue (i) that Chrysippus did not take an epistemicist position, but − if any − a non-epistemic one which denies truth-values to some cases in a Sorites-series, and (ii) that it is uncertain whether and how (...) he made allowances for higher-order vagueness, but if he did, this was not grounded on an epistemicist position. (shrink)

In Vagueness and Contradiction (2001), Roy Sorensen defends and extends his epistemic account of vagueness. In the process, he appeals to connections between vagueness and semantic paradox. These appeals come mainly in Chapter 11, where Sorensen offers a solution to what he calls the no-no paradox—a “neglected cousin” of the more famous liar—and attempts to use this solution as a precedent for an epistemic account of the sorites paradox. This strategy is problematic for Sorensen’s project, however, since, as we (...) establish, he fails to resolve the semantic pathology of the no-no paradox. (shrink)

The Consequence Argument is the classic argument for the incompatibility of determinism and our ability to do otherwise. Daniel C. Dennett objects that the Consequence Argument suffers from the same error as a clearly unconvincing argument that there are no mammals. In this paper, I argue that these arguments do not suffer from the same error. The argument that there are no mammals is unconvincing as it takes the form of a sorites, whereas the Consequence Argument does not. Accordingly, (...) Dennett's objection misses its mark. (shrink)

There is a trade-off between specificity and accuracy in existing models of belief. Descriptions of agents in the tripartite model, which recognizes only three doxastic attitudes—belief, disbelief, and suspension of judgment—are typically accurate, but not sufficiently specific. The orthodox Bayesian model, which requires real-valued credences, is perfectly specific, but often inaccurate: we often lack precise credences. I argue, first, that a popular attempt to fix the Bayesian model by using sets of functions is also inaccurate, since it requires us to (...) have interval-valued credences with perfectly precise endpoints. We can see this problem as analogous to the problem of higher order vagueness. Ultimately, I argue, the only way to avoid these problems is to endorse Insurmountable Unclassifiability. This principle has some surprising and radical consequences. For example, it entails that the trade-off between accuracy and specificity is in-principle unavoidable: sometimes it is simply impossible to characterize an agent’s doxastic state in a way that is both fully accurate and maximally specific. What we can do, however, is improve on both the tripartite and existing Bayesian models. I construct a new model of belief—the minimal model—that allows us to characterize agents with much greater specificity than the tripartite model, and yet which remains, unlike existing Bayesian models, perfectly accurate. (shrink)

This paper intends to further the understanding of the formal properties of (higher-order) vagueness by connecting theories of (higher-order) vagueness with more recent work in topology. First, we provide a “translation” of Bobzien's account of columnar higher-order vagueness into the logic of topological spaces. Since columnar vagueness is an essential ingredient of her solution to the Sorites paradox, a central problem of any theory of vagueness comes into contact with the modern mathematical theory of topology. Second, Rumfitt’s recent topological (...) reconstruction of Sainsbury’s theory of prototypically defined concepts is shown to lead to the same class of spaces that characterize Bobzien’s account of columnar vagueness, namely, weakly scattered spaces. Rumfitt calls these spaces polar spaces. They turn out to be closely related to Gärdenfors’ conceptual spaces, which have come to play an ever more important role in cognitive science and related disciplines. Finally, Williamson’s “logic of clarity” is explicated in terms of a generalized topology (“locology”) that can be considered an alternative to standard topology. Arguably, locology has some conceptual advantages over topology with respect to the conceptualization of a boundary and a borderline. Moreover, in Williamson’s logic of clarity, vague concepts with respect to a notion of a locologically inspired notion of a “slim boundary” are (stably) columnar. Thus, Williamson’s logic of clarity also exhibits a certain affinity for columnar vagueness. In sum, a topological perspective is useful for a conceptual elucidation and unification of central aspects of a variety of contemporary accounts of vagueness. (shrink)

Abstract. The aim of this paper is to present a topological method for constructing discretizations (tessellations) of conceptual spaces. The method works for a class of topological spaces that the Russian mathematician Pavel Alexandroff defined more than 80 years ago. Alexandroff spaces, as they are called today, have many interesting properties that distinguish them from other topological spaces. In particular, they exhibit a 1-1 correspondence between their specialization orders and their topological structures. Recently, a special type of Alexandroff spaces was (...) used by Ian Rumfitt to elucidate the logic of vague concepts in a new way. According to his approach, conceptual spaces such as the color spectrum give rise to classical systems of concepts that have the structure of atomic Boolean algebras. More precisely, concepts are represented as regular open regions of an underlying conceptual space endowed with a topological structure. Something is subsumed under a concept iff it is represented by an element of the conceptual space that is maximally close to the prototypical element p that defines that concept. This topological representation of concepts comes along with a representation of the familiar logical connectives of Aristotelian syllogistics in terms of natural settheoretical operations that characterize regular open interpretations of classical Boolean propositional logic. In the last 20 years, conceptual spaces have become a popular tool of dealing with a variety of problems in the fields of cognitive psychology, artificial intelligence, linguistics and philosophy, mainly due to the work of Peter Gärdenfors and his collaborators. By using prototypes and metrics of similarity spaces, one obtains geometrical discretizations of conceptual spaces by so-called Voronoi tessellations. These tessellations are extensionally equivalent to topological tessellations that can be constructed for Alexandroff spaces. Thereby, Rumfitt’s and Gärdenfors’s constructions turn out to be special cases of an approach that works for a more general class of spaces, namely, for weakly scattered Alexandroff spaces. This class of spaces provides a convenient framework for conceptual spaces as used in epistemology and related disciplines in general. Alexandroff spaces are useful for elucidating problems related to the logic of vague concepts, in particular they offer a solution of the Sorites paradox (Rumfitt). Further, they provide a semantics for the logic of clearness (Bobzien) that overcomes certain problems of the concept of higher2 order vagueness. Moreover, these spaces help find a natural place for classical syllogistics in the framework of conceptual spaces. The crucial role of order theory for Alexandroff spaces can be used to refine the all-or-nothing distinction between prototypical and nonprototypical stimuli in favor of a more fine-grained gradual distinction between more-orless prototypical elements of conceptual spaces. The greater conceptual flexibility of the topological approach helps avoid some inherent inadequacies of the geometrical approach, for instance, the so-called “thickness problem” (Douven et al.) and problems of selecting a unique metric for similarity spaces. Finally, it is shown that only the Alexandroff account can deal with an issue that is gaining more and more importance for the theory of conceptual spaces, namely, the role that digital conceptual spaces play in the area of artificial intelligence, computer science and related disciplines. Keywords: Conceptual Spaces, Polar Spaces, Alexandroff Spaces, Prototypes, Topological Tessellations, Voronoi Tessellations, Digital Topology. (shrink)

I discuss some problems faced by the meaning‐inconsistency view on the liar and sorites paradoxes which I have elsewhere defended. Most of the discussion is devoted to the question of what a defender of the meaning‐inconsistency view should say about semantic competence.

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and (...) account thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)