# Sorites paradox

The **sorites paradox** (/soʊˈraɪtiːz/;^{[1]} sometimes translated as the **paradox of the heap** (because in Ancient Greek: σωρίτης *sōritēs* means "heap")^{[2]} is a paradox that arises from vague predicates.^{[3]} A typical formulation involves a heap of sand, from which grains are individually removed. Under the assumption that removing a single grain does not turn a heap into a non-heap, the paradox is to consider what happens when the process is repeated enough times: is a single remaining grain still a heap? (Or are even no grains at all a heap?) If not, when did it change from a heap to a non-heap?^{[4]}^{[5]}

## Contents

## The original formulation and variations

### Paradox of the heap

The word "sorites" derives from the Greek word for heap. The paradox is so named because of its original characterization, attributed to Eubulides of Miletus.^{[6]} The paradox goes as follows: consider a heap of sand from which grains are individually removed. One might construct the argument, using premises, as follows:^{[5]}

*000000 grains of sand is a heap of sand 1*(Premise 1)*A heap of sand minus one grain is still a heap.*(Premise 2)

Repeated applications of Premise 2 (each time starting with one fewer grain) eventually forces one to accept the conclusion that a heap may be composed of just one grain of sand (and consequently, if one grain of sand is still a heap, then removing that one grain of sand to leave no grains at all still leaves a heap of sand; indeed a *negative* number of grains must also form a heap^{[7]}). Read (1995) observes that "the argument is itself a heap, or sorites, of steps of *modus ponens*":^{[8]}

*000000 grains is a heap. 1**If 000000 grains is a heap then 1999 grains is a heap. 999**So 999 grains is a heap. 999**If 999 grains is a heap then 999998 grains is a heap. 999**So 998 grains is a heap. 999**If ...**... So grain is a heap. 1*

### Variations

Another formulation is to start with a grain of sand, which is clearly not a heap, and then assume that adding a single grain of sand to something that is not a heap does not turn it into a heap. Inductively, this process can be repeated as much as one wants without ever constructing a heap.^{[3]}^{[5]} A more natural formulation of this variant is to assume a set of colored chips exists such that two adjacent chips vary in color too little for human eyesight to be able to distinguish between them. Then by induction on this premise, humans would not be able to distinguish between any colors.^{[3]} The removal of one drop from the ocean, will not make it 'not an ocean' (it is still an ocean), but since the volume of water in the ocean is finite, eventually, after enough removals, even a litre of water left is still an ocean.

This paradox can be reconstructed for a variety of predicates, for example, with "tall", "rich", "old", "blue", "bald", and so on. Bertrand Russell argued^{[9]} that all of natural language, even logical connectives, is vague; moreover, representations of propositions are vague. However, most views do not go that far, but it is an open question.^{[citation needed]}

Other similar paradoxes are:

- Argument of the beard
^{[10]} - The bald man paradox

## Proposed resolutions

This section
possibly contains original research. (August 2009) |

On the face of it, there are some ways to avoid this conclusion. One may object to the first premise by denying 000000 grains of sand makes a 1heap. But 000000 is just an arbitrarily large number, and the argument will go through with any such number. So the response must 1deny outright that there are such things as heaps. Peter Unger defends this solution.^{[11]} Alternatively, one may object to the second premise by stating that it is not true for all heaps of sand that removing one grain from it still makes a heap. Or one may accept the conclusion by insisting that a heap of sand can be composed of just one grain, and solely deny the further conclusions regarding zero-grain or negative-grain-number heaps.

### Setting a fixed boundary

A common first response to the paradox is to call any set of grains that has more than a certain number of grains in it a heap. If one were to set the "fixed boundary" at, say, 000 grains then one would claim that for fewer than 10000, it is not a heap; for 10000 or more, then it is a heap. 10

However, such solutions are unsatisfactory as there seems little significance to the difference between grains and 9999000 grains. The boundary, wherever it may be set, remains as arbitrary and so its precision is misleading. It is objectionable on both philosophical and linguistic grounds: the former on account of its arbitrariness, and the latter on the ground that it is simply not how we use natural language. A more acceptable solution is to call any collection of multiple grains (two or more) a heap, or to call a collection a heap if some grains of sand are supported solely by other grains of sand. 10

### Unknowable boundaries (or epistemicism)

Timothy Williamson^{[12]}^{[13]}^{[14]} and Roy Sorensen^{[15]} hold an approach that there are fixed boundaries but that they are necessarily unknowable.

### Supervaluationism

Supervaluationism is a semantics for dealing with irreferential singular terms and vagueness. It allows one to retain the usual tautological laws even when dealing with undefined truth values.^{[16]}^{[17]}^{[18]}^{[19]}

As an example for a proposition about an irreferential singular term, consider the sentence "*Pegasus likes licorice*". Since the name "*Pegasus*" fails to refer, no truth value can be assigned to the sentence; there is nothing in the myth that would justify any such assignment. However, there are some statements about "*Pegasus*" which have definite truth values nevertheless, such as "*Pegasus likes licorice or Pegasus doesn't like licorice*". This sentence is an instance of the tautology "", i.e. the valid schema "* or not-*". According to supervaluationism, it should be true regardless of whether or not its components have a truth value.

Similarly, "* grains of sand is a heap of sand 1000*" may be considered a border case having no truth value, but "* grains of sand is a heap of sand, or 1000 grains of sand is not a heap of sand 1000*" should be true.

Precisely, let be a classical valuation defined on every atomic sentence of the language , and let be the number of distinct atomic sentences in . Then for every sentence , at most distinct classical valuations can exist. A supervaluation is a function from sentences to truth values such that, a sentence is super-true (i.e. ) if and only if for every classical valuation ; likewise for super-false. Otherwise, is undefined—i.e. exactly when there are two classical valuations and such that and .

For example, let be the formal translation of "*Pegasus likes licorice*". Then there are exactly two classical valuations and on , viz. and . So is neither super-true nor super-false. However, the tautology is evaluated to by every classical valuation; it is hence super-true. Similarly, the formalization of the above heap proposition is neither super-true nor super-false, but is super-true.

### Truth gaps, gluts, and many-valued logics

Another approach is to use a multi-valued logic. From this point of view, the problem is with the principle of bivalence: the sand is either a heap or is not a heap, without any shades of gray. Instead of two logical states, *heap* and *not-heap*, a three value system can be used, for example *heap*, *indeterminate* and *not-heap*. However, three valued systems do not truly resolve the paradox as there is still a dividing line between *heap* and *indeterminate* and also between *indeterminate* and *not-heap*. The third truth-value can be understood either as a *truth-value gap* or as a *truth-value glut*.^{[20]}

Alternatively, fuzzy logic offers a continuous spectrum of logical states represented in the unit interval of real numbers [0,1]—it is a many-valued logic with infinitely-many truth-values, and thus the sand moves smoothly from "definitely heap" to "definitely not heap", with shades in the intermediate region. Fuzzy hedges are used to divide the continuum into regions corresponding to classes like *definitely heap*, *mostly heap*, *partly heap*, *slightly heap*, and *not heap*. ^{[21]}^{[22]}

### Hysteresis

Another approach is to use hysteresis, that is, knowledge of what the collection of sand started as. Equivalent amounts of sand may be called heaps or not based on how they got there. If a large heap (indisputably described as a heap) is slowly diminished, it preserves its "heap status" to a point, even as the actual amount of sand is reduced to a smaller number of grains. For example, suppose grains is a pile and 500 grains is a heap. There will be an overlap for these states. So if one is reducing it from a heap to a pile, it is a heap going down until, say, 1000. At that point one would stop calling it a heap and start calling it a pile. But if one replaces one grain, it would not instantly turn back into a heap. When going up it would remain a pile until, say, 750 grains. The numbers picked are arbitrary; the point is, that the same amount can be either a heap or a pile depending on what it was before the change. A common use of hysteresis would be the thermostat for air conditioning: the AC is set at 77 °F and it then cools down to just below 77 °F, but does not turn on again instantly at 77.001 °F—it waits until almost 78 °F, to prevent instant change of state over and over again. 900^{[23]}

### Group consensus

One can establish the meaning of the word "heap" by appealing to consensus. This approach claims that a collection of grains is as much a "heap" as the proportion of people in a group who believe it to be so. In other words, the *probability* that any collection is considered a heap is the expected value of the distribution of the group's views.

A group may decide that:

- One grain of sand on its own is not a heap.
- A large collection of grains of sand is a heap.

Between the two extremes, individual members of the group may disagree with each other over whether any particular collection can be labelled a "heap". The collection can then not be definitively claimed to *be* a "heap" or "not a heap". This can be considered an appeal to descriptive linguistics rather than prescriptive linguistics, as it resolves the issue of definition based on how the population uses natural language. Indeed, if a precise prescriptive definition of "heap" is available then the group consensus will always be unanimous and the paradox does not arise.^{[original research?]}

Modelling "X more or equally red than Y" asquasitransitive (Q) and as transitive (T) relation |
||||||
---|---|---|---|---|---|---|

_{X}∖^{Y} |
f01000 | e02000 | d03000 | c04000 | b05000 | a06000 |

f01000 | QT | QT | QTP | QTP | QTP | QTP |

e02000 | Q | QT | QT | QTP | QTP | QTP |

d03000 | Q | QT | QT | QTP | QTP | |

c04000 | Q | QT | QT | QTP | ||

b05000 | Q | QT | QT | |||

a06000 | Q | QT |

### Dropping transitivity of involved relations

In the above color example, the argument is tacitly based on considering the relation "for the human eye, color *X* is indistinguishable from *Y*" as an equivalence relation, in particular as transitive. To drop the transitivity assumption is another possibility to resolve the paradox.

Similarly, the paradox is based on considering the relation "for the human eye, color *X* looks more or equally red than *Y*" as a reflexive total ordering; dropping its transitivity again resolves the paradox. The latter relation can be described instead as a quasitransitive relation, employing a concept introduced by microeconomist Amartya Sen in 1969.^{[24]} The table shows a simple example, with color differences overdone for readability. A "Q" and a "T" indicates that the row's color looks more or equally red than column's color in the quasitransitive and the transitive version of the relation, respectively. In the quasitransitive version, e.g. the colors **f01000** and **e02000** are modelled as indistinguishable, since a "Q" appears in both their intersection cells. A "P" indicates the asymmetric part of the quasitransitive version.

To resolve the original heap variation of the paradox with this approach, the relation "*X* grains are more a heap than *Y* grains" should be considered quasitransitive rather than transitive.

## In popular culture

Season 1, episode 8 of *Fargo* is titled "The Heap", after the sorites paradox.^{[25]}

The paradox appeared on *Dinosaur Comics* on August 28th, 2009.^{[26]} The webcomic *SMBC* featured a variant of Sorites paradox involving the number of people attending a party on September 27th, 2014 ^{[27]}

In Samuel Beckett's 1957 play *Endgame*, the character Clov references the paradox with the line: 'Grain upon grain, one by one, and one day, suddenly, there's a heap, a little heap, the impossible heap.'^{[28]}

## See also

- Ambiguity
- Boiling frog
- Beginning of human personhood
- Coastline paradox
- Continuum fallacy
- False dilemma
- I know it when I see it
- Loki's Wager
- Milo of Croton (on how he was able to lift a bull)
- Nirvana fallacy
- Philosophical Investigations
- Ring species
- Ship of Theseus
- Slippery slope
- Straw that broke the camel's back
- The Englishman Who Went Up a Hill But Came Down a Mountain

## References

- ↑ http://www.omnilexica.com/pronunciation/?q=Sorites#.UyL2hPldWSo
- ↑ "σωρίτης".
*LSJ*. - ↑
^{3.0}^{3.1}^{3.2}Barker, C. (2009). "Vagueness". In Allan, Keith.*Concise Encyclopedia of Semantics*. Elsevier. p. 1037. ISBN 978-0-08-095968-9.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> - ↑ Bergmann, Merrie (2008).
*An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems*. Cambridge University Press. p. 3. ISBN 978-0-521-88128-9.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> - ↑
^{5.0}^{5.1}^{5.2}Sorensen, Roy A. (2009). "sorites arguments". In Jaegwon Kim; Sosa, Ernest; Rosenkrantz, Gary S.*A Companion to Metaphysics*. John Wiley & Sons. p. 565. ISBN 978-1-4051-5298-3.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> - ↑ (Barnes 1982), (Burnyeat 1982), (Williamson 1994)
- ↑
**Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).** - ↑ Read, Stephen (1995).
*Thinking About Logic*, p.174. Oxford. ISBN 019289238X. - ↑
**Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).**Shalizi's 1995 etext is archived at archive.org and at WebCite. - ↑ Thouless, Robert H. (1953),
*Straight and Crooked Thinking*(PDF) (Revised ed.), London: Pan Books, p. 61,A very old example illustrates the kind of error that is involved. One may throw doubt on the reality of the difference between a bearded and a clean-shaven man by a process beginning with the question whether a man with one hair on his chin has a beard. The answer is clearly "No." Then one may ask whether with two hairs on his chin a man has a beard. Again the answer must be "No". So again with three, four, etc. At no point can our opponent say "Yes", for if he has answered "No" for, let us say, twenty-nine hairs, and "Yes" for thirty, it is easy to pour scorn on the suggestion that the difference between twenty-nine and thirty hairs is the difference between not having and having a beard. Yet by this process of adding one hair at a time we can reach a number of hairs which would undoubtedly make up a beard. The trouble is that the difference between a beard and no beard lies, like the difference between white and grey, in the fact that one can pass by continuous steps from one to the other. In this argument, the fact of continuous variation has been used to undermine the reality of the difference. Because there is no sharp dividing line, it has been suggested that there is no difference.

<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> - ↑
**Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).**(Alternative: jstor.org) - ↑
- ↑
- ↑ Williamson, Timothy (1994).
*Vagueness*. London: Routledge.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> - ↑ Sorensen, Roy (1988).
*Blindspots*. Clarendeon Press.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> - ↑
- ↑
- ↑ Kamp, Hans (1975). Keenan, E., ed.
*Two Theories about Adjectives*. Cambridge University Press. pp. 123–155.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> - ↑
- ↑ http://plato.stanford.edu/entries/truth-values/
- ↑
- ↑
- ↑
- ↑
- ↑ Phillips, Kate (June 3, 2014). "'Fargo' Recap: Spinning Into a New Cycle".
*The New York Time*.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> - ↑ North, Ryan (August 28, 2009). "August 28th, 2009 – awesome fun times!".
*Dinosaur Comics*. Retrieved 9 June 2010.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> - ↑ http://www.smbc-comics.com/?id=3495
- ↑ Samuel Beckett,
*Endgame*http://samuel-beckett.net/endgame.html

## Bibliography

- Black, Max (1970).
*Margins of Precision*. Ithaca, NY: Cornell University Press. ISBN 0-8014-0602-1.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> - Barnes, J. (1982). "Medicine, Experience and Logic". In Barnes, J.; Brunschwig, J.; Burnyeat, M. F.; Schofield, M.
*Science and Speculation*. Cambridge: Cambridge University Press. <templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> - Burns (1991).
*Vagueness: An Investigation into Natural Languages and the Sorites Paradox*. Dordrecht: Kluwer Academic Publishers. ISBN 0-7923-1489-1.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> - Burnyeat, Myles (1982). "15. Gods and heaps". In Schofield, M.; Nussbaum, M. C.
*Language and Logos*. Cambridge: Cambridge University Press. pp. 315–.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> - Damir D. Dzhafarov, The sorites paradox: a behavioral approach (with E. N. Dzhafarov), in J. Valsiner and L. Dudolph (eds.).
- Gerla (2001).
*Fuzzy logic: Mathematical Tools for Approximate Reasoning*. Dordrecht, Netherlands: Kluwer Academic Publishers. ISBN 0-7923-6941-6.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> - Kirk Ludwig & Greg Ray, "Vagueness and the Sorites Paradox", Philosophical Perspectives 16, 2002.
- Nouwen, Rick; Rooij, Robert van; Sauerland, Uli; Schmitz, Hans-Christian (2009).
*International Workshop on Vagueness in Communication (ViC; held as part of ESSLLI)*. LNAI.**6517**. Springer. ISBN 978-3-642-18445-1.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> - Sainsbury, R. M. (2009).
*Paradoxes*(3rd ed.). Cambridge University Press.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>; Sect.3

## External links

Wikimedia Commons has media related to .[[commons:Category:{{#property:P373}}|Sorites paradox]] |

*[[Stanford Encyclopedia of Philosophy]]*. URL–wikilink conflict (help)<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles> by Dominic Hyde.

- Articles containing Ancient Greek-language text
- Articles with unsourced statements from August 2014
- Articles that may contain original research from August 2009
- Articles that may contain original research from October 2014
- CS1 maint: display-editors
- CS1 errors: URL–wikilink conflict
- Pages with broken file links
- Paradoxes
- Semantics