Some issues raised by the notion of surveyability and how it is represented mathematically are explored. Wright considers the sense in which the positive integers are surveyable and suggests that their structure will be a weakly finite, but weakly infinite, totality. One way to expose the incoherence of this account is by applying Wittgenstein's distinction between intensional and extensional to it. Criticism of the idea of a surveyable proof shows the notion's lack of clarity. It is suggested that this concept (...) should be replaced by that of a feasible operation, as strict finitism aims to understand the boundaries of legitimate mathematical knowledge. (shrink)

JSTOR is a not-for-profit organization founded in 1995 to build trusted digital archives for scholarship. We work with the scholarly community to preserve their work and the materials they rely upon, and to build a common research platform that promotes the discovery and use of these resources. For more information about JSTOR, please contact support@jstor.org.

I develop a solution to the Sorites Paradox, according to which a concatenation of valid arguments need not itself be valid. I specify which chains of valid arguments are those that do not preserve validity: those that pass the vague boundary between cases where the relevant concept applies and cases where that concept does not apply. I also develop various criticisms of this solution and show why they fail; basically, they all involve a petitio at some stage. I criticise the (...) conviction that if every short argument in a long concatenated argument is valid, so is the long argument: it is, I argue, the result of an unjustified generalisation from the case of arguments that do not employ vague concepts (as in mathematics) to arguments that do employ them. My approach is Wittgensteinian in its “leaving everything as it is,” in its claiming that the “beginning” has been searched too far back (see paper's epigraph) and in its claim that the paradox was generated by a misapplication of a partial picture of the behaviour of arguments. I conclude my paper by comparing and contrasting my approach to the few precedents found in the vagueness literature and by answering a few additional objections that were raised there. (shrink)

In philosophy of logic and elsewhere, it is generally thought that similar problems should be solved by similar means. This advice is sometimes elevated to the status of a principle: the principle of uniform solution. In this paper I will explore the question of what counts as a similar problem and consider reasons for subscribing to the principle of uniform solution.

This paper considers a generalisation of the sorites paradox, in which only topological notions are employed. We argue that by increasing the level of abstraction in this way, we see the sorites paradox in a new, more revealing light—a light that forces attention on cut-off points of vague predicates. The generalised sorites paradox presented here also gives rise to a new, more tractable definition of vagueness.

Doris Olin's Paradox is a very helpful book for those who want to be introduced to the philosophical treatment of paradoxes, or for those who already have knowledge of the general area and would like to have a helpful resource book.

The past twenty or so years have seen the sorites paradox receive a good deal of philosophical air-time. Yet, in what is surely a sign of a good puzzle, no consensus has emerged. It is perhaps a good time to stop and take stock of the current status of the sorites paradox. My main contention is that the proposals offered to date as ways of blocking the paradox are seriously deficient, and hence there is, at present, no acceptable solution to (...) the sorites. In the final section I argue that, although vagueness is the source of the threat to modus ponens engendered by the sorites, it is also vagueness that protects modus ponens from clear counterexample. (shrink)

We develop a mathematical theory for comparative sorites, considered in terms of a system mapping pairs of stimuli into a binary response characteristic whose values supervene on stimulus pairs and are interpretable as the complementary relations 'are the same' and 'are not the same' (overall or in some respect). Comparative sorites is about hypothetical sequences of stimuli in which every two successive elements are mapped into the relation 'are the same', while the pair comprised of the first and the last (...) elements of the sequence is mapped into 'are not the same'. Although soritical sequences of this kind are logically possible, we argue that their existence is grounded in no empirical evidence and show that it is excluded by a certain psychophysical principle proposed for human comparative judgements in a context unrelated to soritical issues. We generalize this principle to encompass all conceivable situations for which comparative sorites can be formulated. (shrink)

An abstract mathematical theory is presented for a common variety of soritical arguments, treated here in terms of responses of a system, say, a biological organism, a gadget, or a set of normative linguistic rules, to stimuli. Any characteristic of the system's responses which supervenes on stimuli is called a stimulus effect upon the system. Classificatory sorites is about the identity of or difference between the effects of stimuli that differ 'only microscopically'. We formulate the classificatory sorites on arguably the (...) highest possible level of generality and show that the 'paradox' is dissolved on grounds unrelated to vague predicates or other linguistic issues traditionally associated with it. If stimulus effects are properly defined (i.e., they are uniquely determined by stimuli), and if the space of the stimuli is endowed with appropriate (not necessarily metric) closeness and connectedness properties, then this space must contain points in every vicinity of which, 'however small', the stimulus effect is not constant. The effects can only be 'tolerant' to very small differences between stimuli if the closeness structure that is used to define very close stimuli does not render the space of stimuli appropriately connected: in this case the 'paradox' cannot be formulated. Nor can it be formulated if the response properties considered are not true effects, i.e., if they do not supervene on stimuli. (shrink)

I provide an intuitive, semantic account of a new logic forcomparisons (CL), in which atomic statements are assigned both aclassical truth-value and a ``how much'''' value or extension in the range [0, 1]. The truth-value of each comparison is determinedby the extensions of its component sentences; the truth-value ofeach atomic depends on whether its extension matches a separatestandard for its predicate; everything else is computed classically. CL is less radical than Casari''s comparative logics, in that it does not allow for (...) the formation of comparative statements out of truth-functional molecules. I argue that CL provides a betteranalysis of comparisons and predicate vagueness than classicallogic, fuzzy logic or supervaluation theory. CL provides a modelfor descriptions of the world in terms of comparisons only. Thesorites paradox can be solved by the elimination of atomic sentences. (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)

I begin by highlighting the importance of the step size in the induction step of the sorites paradox. A careful analysis reveals that the step size can be characterised as a proper instance of the concept very small . After having accurately described the structure of sorites-susceptible predicates, I argue that the structure of the induction step in the Sorites Paradox is inherently circular. This circularity emerges in the structure of Wang's paradox and also of the classical variations of the (...) paradox with the young, bald, etc. predicates. (shrink)

Perception represents colors inexactly. This inexactness results from phenomenally manifest noise, and results in apparent violations of the transitivity of perceptual indiscriminability. Whether these violations are genuine depends on what is meant by 'transitivity of perceptual indiscriminability'.

The ancient sorites paradox is traditionally attributed to Eubulides, a contemporary of Aristotle and a member of the Megarian school, who is also credited with inventing the liar paradox. The sorites paradox figures centrally in most discussions of vagueness in philosophy and in logic. In my view, it has profound implications for metaphysics and semantics, as well as for logic. In this paper I will briefly explain why I think so, in a way that draws upon my other [1] writings (...) on vagueness. The paper also will constitute a brief, opinionated, overview of the.. (shrink)

A recent article by Jeff Kochan contains a discussion of modus ponens that among other thing alleges that the paradox of the heap is a counterexample to it. In this note I show that it is the conditional major premise of a modus ponens inference, rather than the rule itself, that is impugned. This premise is the contrapositive of the inductive step in the principle of mathematical induction, confirming the widely accepted view that it is the vagueness of natural language (...) predicates, not modus ponens , that is challenged by Sorites. (shrink)

The sorites paradox is the name given to a class of paradoxical arguments, also known as little by little arguments, which arise as a result of the indeterminacy surrounding limits of application of the predicates involved. For example, the concept of a heap appears to lack sharp boundaries and, as a consequence of the subsequent indeterminacy surrounding the extension of the predicate ‘is a heap’, no one grain of wheat can be identified as making the difference between being a heap (...) and not being a heap. Given then that one grain of wheat does not make a heap, it would seem to follow that two do not, thus three do not, and so on. In the end it would appear that no amount of wheat can make a heap. We are faced with paradox since from apparently true premises by seemingly uncontroversial reasoning we arrive at an apparently false conclusion. (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)

Colin Howson argues that (1) my sociologistic reliabilism sheds no light on the objectivity of epistemic content, and that (2) sorites does not threaten the reliability of modus ponens . I reply that argument (1) misrepresents my position, and that argument (2) is beside the point.

“Where psychoanalysis has failed, syllogism is sure to succeed. Tell me more about what’s been troubling you.” “Well, there’s my job.” “Yes?” “I’m an I.R.S. auditor.” “Ahh. And what would you most like to be?” “I’ve always wanted to be an orthodontist—nothing beats orthodontia.” “Let’s reflect on this. You’ll agree that auditing is better than nothing.” “That’s certainly true.” “And you have just granted that nothing is better than orthodontia.” “Yes.” “It follows, therefore, that auditing is better than orthodontia.” “That (...) makes me fell a little better. I’m starting to see the value of this therapy.” “Indeed, at five hundred dollars a session, it’s a bargain.” “Are you nuts?” “It’s really a negligible sum.” “Not to an I.R.S. auditor.” “If I charged you merely one dollar, you’d agree that that was a negligible amount.” “Yes, of course, but—” “And if you were to take a negligible amount and add a single dollar, you’d be left with a negligible sum, wouldn’t you?” “Well, yes, I suppose so.”. (shrink)

Call an argument a ‘happy sorites’ if it is a sorites argument with true premises and a false conclusion. It is a striking fact that although most philosophers working on the sorites paradox find it at prima facie highly compelling that the premises of the sorites paradox are true and its conclusion false, few (if any) of the standard theories on the issue ultimately allow for happy sorites arguments. There is one philosophical view, however, that appears to allow for at (...) least some happy sorites arguments: strict finitism in the philosophy of mathematics. My aim in this paper is to explore to what extent this appearance is accurate. As we shall see, this question is far from trivial. In particular, I will discuss two arguments that threaten to show that strict finitism cannot consistently accept happy sorites arguments, but I will argue that (given reasonable assumptions on strict finitistic logic) these arguments can ultimately be avoided, and the view can indeed allow for happy sorites arguments. (shrink)

In this ingenious and powerfully argued book Tim Maudlin sets out a novel account of logic and semantics which allows him to deal with certain notorious paradoxes which have bedevilled philosophical theories of truth. All philosophers interested in logic and language will find this a stimulating read.

The theory of consciousness proposed by O'Brien & Opie is open to the Sorites paradox, for it defines a consciousness system internally in terms of computationally relevant units which add up to consciousness only if sufficient in number. The Sorites effect applies on the assumed level of features.

It is generally agreed that vague predicates like ‘red’, ‘rich’, ‘tall’, and ‘bald’, have borderline cases of application. For instance, a cloth patch whose color lies midway between a definite red and a definite orange is a borderline case for ‘red’, and an American man five feet eleven inches in height is (arguably) a borderline case for ‘tall’. The proper analysis of borderline cases is a matter of dispute, but most theorists of vagueness agree at least in the thought that (...) borderline cases for vague predicate ‘ ’ are items whose satisfaction of ‘ ’ is in some sense unclear or problematic: it is unclear whether or not the patch is red, unclear whether or not the man is tall.1 For example, Lynda Burns cites a widespread view as holding that borderline cases “are not definitely within the positive or negative extension of the predicate. … Border- line cases are seen as falling within a gap between the cases of definite application of the predicate and cases of definite application of its negation” (1995, 30). Michael Tye writes that the “concept of a border- line case is the concept of a case that is neither definitely in nor defi- nitely out” (1994b, 18). (shrink)

Supervaluational theories of vagueness have achieved considerable popularity in the past decades, as seen in eg [5], [12]. This popularity is only natural; supervaluations let us retain much of the power and simplicity of classical logic, while avoiding the commitment to strict bivalence that strikes many as implausible. Like many nonclassical logics, the supervaluationist system SP has a natural dual, the subvaluationist system SB, explored in eg [6], [28].1 As is usual for such dual systems, the classical features of SP (...) (typically viewed as benefits) appear in SB in ‘mirror-image’ form, and the nonclassical features of SP (typically viewed as costs) also appear in SB in ‘mirror-image’ form. Given this circumstance, it can be difficult to decide which of two dual systems is better suited for an approach to vagueness.2 The present paper starts from a consideration of these two approaches— the supervaluational and the subvaluational—and argues that neither of them is well-positioned to give a sensible logic for vague language. §2 presents the systems SP and SB and argues against their usefulness. Even if we suppose that the general picture of vague language they are often taken to embody is accurate, we ought not arrive at systems like SP and SB. Instead, such a picture should lead us to truth-functional systems like strong Kleene logic (K3) or its dual LP. §3 presents these systems, and argues that supervaluationist and subvaluationist understandings of language are better captured there; in particular, that a dialetheic approach to vagueness based on the logic LP is a more sensible approach. §4 goes on to consider the phenomenon of higher-order vagueness within an LP-based approach, and §5 closes with a consideration of the sorites argument itself. (shrink)

The paradox of the Unexpected Hanging, related prediction paradoxes, and the Sorites paradoxes all involve reasoning about ordered collections of entities: days ordered by date in the case of the Unexpected Hanging; men ordered by the number of hairs on their heads the case of the bald man version of the Sorites. The reasoning then assigns each entity a value that depends on the previously assigned value of one of the neighboring entities. The final result is paradoxical because it conflicts (...) with the obviously correct, commonsensical value. The paradox is due to the serial procedure of assigning a value based on the newly assigned value of the neighbor. An alternative procedure is to assign each value based only on the original values of neighbors - a parallel procedure. That procedure does not give paradoxical answers. (shrink)

Epistemicists say there is a last positive instance in a sorites sequence-we just cannot know which is the last. Timothy Williamson explains that knowledge requires a margin for error and this ensures that the last heap will not be knowable as a heap. However, there is a class of disjunctive predicates for which knowledge at the thresholds is possible. They generate sorites paradoxes that cannot be diagnosed with the margin for error principle.

Can God create a stone too heavy for him to lift? Can time have a beginning? Which came first, the chicken or the egg? Riddles, paradoxes, conundrums--for millennia the human mind has found such knotty logical problems both perplexing and irresistible. Now Roy Sorensen offers the first narrative history of paradoxes, a fascinating and eye-opening account that extends from the ancient Greeks, through the Middle Ages, the Enlightenment, and into the twentieth century. When Augustine asked what God was doing before (...) He made the world, he was told: "Preparing hell for people who ask questions like that." A Brief History of the Paradox takes a close look at "questions like that" and the philosophers who have asked them, beginning with the folk riddles that inspired Anaximander to erect the first metaphysical system and ending with such thinkers as Lewis Carroll, Ludwig Wittgenstein, and W.V. Quine. Organized chronologically, the book is divided into twenty-four chapters, each of which pairs a philosopher with a major paradox, allowing for extended consideration and putting a human face on the strategies that have been taken toward these puzzles. Readers get to follow the minds of Zeno, Socrates, Aquinas, Ockham, Pascal, Kant, Hegel, and many other major philosophers deep inside the tangles of paradox, looking for, and sometimes finding, a way out. Filled with illuminating anecdotes and vividly written, A Brief History of the Paradox will appeal to anyone who finds trying to answer unanswerable questions a paradoxically pleasant endeavor. (shrink)

In this paper I offer a counterexample to the so called vagueness argument against restricted composition. This will be done in the lines of a recent suggestion by Trenton Merricks, namely by challenging the claim that there cannot be a sharp cut-off point in a composition sequence. It will be suggested that causal powers which emerge when composition occurs can serve as an indicator of such sharp cut-off points. The main example will be the case of a heap. It seems (...) that heaps might provide a very plausible counterexample to the vagueness argument if we accept the idea that four grains of sand is the least number required to compose a heap—the case has been supported by W. D. Hart. My purpose here is not to put forward a new theory of composition, I only wish to refute the vagueness argument and point out that we should be wary of arguments of its form. (shrink)

The principle of stability now says that if sentence ϕ is true/false in a model M, then ϕ has to stay true/false if M is getting more precise. Formally, let M = D, I be a refinement of M = D, I . Then it has to be the case that for all ϕ: (i) If VM(ϕ) = 1, then VM (ϕ) = 1. (ii) If VM(ϕ) = 0, then VM (ϕ) = 0.

A persistent argument against the transitivity assumption of rational choice theory postulates a repeatable action that generates a significant benefit at the expense of a negligible cost. No matter how many times the action has been taken, it therefore seems reasonable for a decision-maker to take the action one more time. However, matters are so fixed that the costs of taking the action some large number of times outweigh the benefits. In taking the action some large number of times on (...) the grounds that the benefits outweigh the costs every time, the decision-maker therefore reveals intransitive preferences, since once she has taken it this large number of times, she would prefer to return to the situation in which she had never taken the action at all. We defend transitivity against two versions of this argument: one in which it is assumed that taking the action one more time never has any perceptible cost, and one in which it is assumed that the cost of taking the action, though (sometimes) perceptible, is so small as to be outweighed at every step by the significant benefit. We argue that the description of the choice situation in the first version involves a contradiction. We also argue that the reasoning used in the second version is a form of similarity-based decision-making. We argue that when the consequences of using similarity-based decision-making are brought to light, rational decision-makers revise their preferences. We also discuss one method that might be used in performing this revision. (shrink)

A slippery slope argument is an argument to this twofold effect. First, that if a policy or practice P is permitted, then we lack the dialectical resources to demonstrate that a similar policy or practice P* is not permissible. Since P* is indeed not permissible, we should not endorse policy or practice P. At the heart of such arguments is the idea of dialectical impotence, the inability to stop the acceptance of apparently small deviations from a heretofore secure policy or (...) practice from leading to apparently large and unacceptable deviations. Using examples of analogical arguments and sorites arguments I examine this phenomenon in the context of collapsing taboos. (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 (such as ‘borderline’ and ‘definitely’) 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 (zeroth-order) “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)

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)