The sorites paradox (//; sometimes known as the paradox of the heap) is a paradox that arises from vague predicates. 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? If not, when did it change from a heap to a non-heap?
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. 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:
- 1,000,000 grains of sand is a heap of sand (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. Read (1995) observes that "the argument is itself a heap, or sorites, of steps of modus ponens":
- 1,000,000 grains is a heap.
- If 1,000,000 grains is a heap then 999,999 grains is a heap.
- So 999,999 grains is a heap.
- If 999,999 grains is a heap then 999,998 grains is a heap.
- So 999,998 grains is a heap.
- If ...
- ... So 1 grain is a heap.
Then tension between small changes and big consequences gives rise to the Sorites Paradox...There are many variations...[some of which allow] consideration of the difference between being...(a question of fact) and seeming...(a question of perception).
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. 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.
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 that all of natural language, even logical connectives, is vague; moreover, representations of propositions are vague.
The continuum fallacy (also called the fallacy of the beard, line-drawing fallacy or decision-point fallacy) is an informal fallacy closely related to the Sorites paradox. Both fallacies cause one to erroneously reject a vague claim simply because it is not as precise as one would like it to be. Vagueness alone does not necessarily imply invalidity. The fallacy is the argument that two states or conditions cannot be considered distinct (or do not exist at all) because between them there exists a continuum of states.
Narrowly speaking, the Sorites paradox refers to situations where there are many discrete states (classically between 1 and 1,000,000 grains of sand, hence 1,000,000 possible states), while the continuum fallacy refers to situations where there is (or appears to be) a continuum of states, such as temperature – is a room hot or cold? Whether any continua exist in the physical world is the classic question of atomism, and while both Newtonian physics and quantum physics model the world as continuous, there are some proposals in quantum gravity, such as loop quantum gravity, that suggest notions of continuous length break down at the Planck length, and thus what appear to be continua may simply be as-yet undistinguishable discrete states.
As an example, if a person (Fred) has no beard, one more day of growth will not cause him to have a beard. Therefore, if Fred is clean-shaven now, he can never grow a beard (for it is absurd to think that he will have a beard some day when he did not have it the day before).
For the purpose of the continuum fallacy, one assumes that there is in fact a continuum, though this is generally a minor distinction: in general, any argument against the sorites paradox can also be used against the continuum fallacy. One argument against the fallacy is based on the simple counterexample: there do exist bald people and people who are not bald. Another argument is that for each degree of change in states, the degree of the condition changes slightly, and these "slightly"s build up to shift the state from one category to another. For example, perhaps the addition of a grain of rice causes the total group of rice to be "slightly more" of a heap, and enough "slightly"s will certify the group's heap status – see fuzzy logic.
This section has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)(Learn how and when to remove this template message)
On the face of it, there are some ways to avoid this conclusion. One may object to the first premise by denying 1,000,000 grains of sand makes a heap. But 1,000,000 is just an arbitrarily large number, and the argument will go through with any such number. So the response must deny outright that there are such things as heaps. Peter Unger defends this solution. 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.
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, 10,000 grains then one would claim that for fewer than 10,000, it is not a heap; for 10,000 or more, then it is a heap.
However, such solutions are unsatisfactory as there seems little significance to the difference between 9,999 grains and 10,000 grains. The boundary, wherever it may be set, remains 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 second response attempts to find a fixed boundary that reflects common usage of a term. For example, a dictionary may define a "heap" as "a collection of things thrown together so as to form an elevation." This requires there to be enough grains that some grains are supported by other grains. Thus, adding one grain atop a single layer produces a heap, and removing the last grain above the bottom layer destroys the heap.
Unknowable boundaries (or epistemicism)
This section needs expansion. You can help by adding to it. (July 2016)
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. 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.
By admitting sentences without defined truth values, supervaluationism avoids adjacent cases where n grains of sand is a heap of sand, but n-1 grains is not; for example, "1,000 grains of sand is a heap" may be considered a border case having no defined truth value. Nevertheless, supervaluationism is able to handle a sentence like "1,000 grains of sand is a heap, or 1,000 grains of sand is not a heap" as a tautology, i.e. to assign it the value 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 multi-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.
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.  Though the problem remains of where these borders occur; e.g. at what number of grains sand starts being 'definitely' a heap.
Another approach, introduced by Raffman, 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 500 grains is a pile and 1,000 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, 750. 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, 900 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.
This article possibly contains original research. (October 2014) (Learn how and when to remove this template message)
One can establish the meaning of the word "heap" by appealing to consensus. Williamson, in his epistemic solution to the paradox, assumes that the meaning of vague terms must be determined by group usage. The consensus approach typically 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.
Resolutions in utility theory
|"X more or equally red than Y"|
modelled as quasitransitive relation
≈ : indistinguishable, > : clearly more red
In the economics field of utility theory, the Sorites paradox arises when a person's preferences patterns are investigated. As an example by Robert Duncan Luce, it is easy to find a person, say Peggy, who prefers in her coffee 3 grams (that is, 1 cube) of sugar to 15 grams (5 cubes), however, she will usually be indifferent between 3.00 and 3.03 grams, as well as between 3.03 and 3.06 grams, and so on, as well as finally between 14.97 and 15.00 grams.
Two measures were taken by economists to avoid the Sorites paradox in such a setting.
- Comparative, rather than positive, forms of properties are used. The above example deliberately does not make a statement like "Peggy likes a cup of coffee with 3 grams of sugar", or "Peggy does not like a cup of coffee with 15 grams of sugar". Instead, it states "Peggy likes a cup of coffee with 3 grams of sugar more than one with 15 grams of sugar".
- Economists distinguish preference ("Peggy likes ... more than ...") from indifference ("Peggy likes ... as much as ... "), and do not consider the latter relation to be transitive. In the above example, abbreviating "a cup of coffee with x grams of sugar" by "cx", and "Peggy is indifferent between cx and cy" as "cx ≈ cy", the facts c3.00 ≈ c3.03 and c3.03 ≈ c3.06 and ... and c14.97 ≈ c15.00 do not imply c3.00 ≈ c15.00.
Several kinds of relations were introduced to describe preference and indifference without running into the Sorites paradox. Luce defined semi-orders and investigated their mathematical properties; Amartya Sen performed a similar task for quasitransitive relations. Abbreviating "Peggy likes cx more than cy" as "cx > cy", and abbreviating "cx > cy or cx ≈ cy" by "cx ≥ cy", it is reasonable that the relation ">" is a semi-order while ≥ is quasitransitive. Conversely, from a given semi-order > the indifference relation ≈ can be reconstructed by defining cx ≈ cy if neither cx > cy nor cy > cx. Similarly, from a given quasitransitive relation ≥ the indifference relation ≈ can be reconstructed by defining cx ≈ cy if both cx ≥ cy and cy ≥ cx. These reconstructed ≈ relations are usually not transitive.
The table to the right shows how the above color example can be modelled as a quasi-transitive relation ≥. Color differences overdone for readability. A color X is said to be more or equally red than a color Y if the table cell in row X and column Y is not empty. In that case, if it holds a "≈", then X and Y look indistinguishably equal, and if it holds a ">", then X looks clearly more red than Y. The relation ≥ is the disjoint union of the symmetric relation ≈ and the transitive relation >. Using the transitivity of >, the knowledge of both f10 > d30 and d30 > b50 allows one to infer that f10 > b50. However, since ≥ is not transitive, a "paradoxical" inference like "d30 ≥ e20 and e20 ≥ f10, hence d30 ≥ f10" is no longer possible. For the same reason, e.g. "d30 ≈ e20 and e20 ≈ f10, hence d30 ≈ f10" is no longer a valid inference. Similarly, to resolve the original heap variation of the paradox with this approach, the relation "X grains are more a heap than Y grains" could be considered quasitransitive rather than transitive.
- "Sorites". Omnilexica.
- Barker, C. (2009). "Vagueness". In Allan, Keith (ed.). Concise Encyclopedia of Semantics. Elsevier. p. 1037. ISBN 978-0-08-095968-9.
- Sorensen, Roy A. (2009). "sorites arguments". In Jaegwon Kim; Sosa, Ernest; Rosenkrantz, Gary S. (eds.). A Companion to Metaphysics. John Wiley & Sons. p. 565. ISBN 978-1-4051-5298-3.
- Bergmann, Merrie (2008). An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems. New York, NY: Cambridge University Press. p. 3. ISBN 978-0-521-88128-9.
- (Barnes 1982), (Burnyeat 1982), (Williamson 1994)
- Dolev, Y. (2004). "Why Induction Is No Cure For Baldness". Philosophical Investigations. 27 (4): 328–344. doi:10.1111/j.1467-9205.2004.t01-1-00230.x.
- Read, Stephen (1995). Thinking About Logic, p.174. Oxford. ISBN 019289238X.
- Russell, Bertrand (June 1923). "Vagueness". The Australasian Journal of Psychology and Philosophy. 1 (2): 84–92. doi:10.1080/00048402308540623. ISSN 1832-8660. Retrieved November 18, 2009. Shalizi's 1995 etext is archived at archive.org and at WebCite.
- David Roberts: Reasoning: Other Fallacies Archived 2008-09-15 at the Wayback Machine
- Thouless, Robert H. (1953), Straight and Crooked Thinking (PDF) (Revised ed.), London: Pan Books, p. 61
- Unger, Peter (1979). "There Are No Ordinary Things". Synthese. 41 (2): 117–154. doi:10.1007/bf00869568. JSTOR 20115446. S2CID 46956605.
- Collins 2018, p. 32.
- Collins 2018, p. 35.
- "heap". Wiktionary. Accessed 2017-01-02.
- Williamson, Timothy (1992). "Inexact Knowledge". Mind. 101 (402): 218–242. doi:10.1093/mind/101.402.217. JSTOR 2254332.
- Williamson, Timothy (1992). "Vagueness and Ignorance". Supplementary Proceedings of the Aristotelian Society. Aristotelian Society. 66: 145–162. doi:10.1093/aristoteliansupp/66.1.145. JSTOR 4106976.
- Williamson, Timothy (1994). Vagueness. London: Routledge .
- Sorensen, Roy (1988). Blindspots. Clarendon Press. ISBN 9780198249818.
- Fine, Kit (Apr–May 1975). "Vagueness, Truth and Logic" (PDF). Synthese. 30 (3/4): 265–300. doi:10.1007/BF00485047. JSTOR 20115033. S2CID 17544558. Archived from the original (PDF) on 2015-06-08.
- van Fraassen, Bas C. (1966). "Singular Terms, Truth-Value Gaps, and Free Logic" (PDF). Journal of Philosophy. 63 (17): 481–495. doi:10.2307/2024549. JSTOR 2024549.
- Kamp, Hans (1975). Keenan, E. (ed.). Two Theories about Adjectives. Cambridge University Press. pp. 123–155.
- Dummett, Michael (1975). "Wang's Paradox" (PDF). Synthese. 30 (3/4): 301–324. doi:10.1007/BF00485048. JSTOR 20115034. S2CID 46956702. Archived from the original (PDF) on 2018-04-17.
- "Truth Values". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. 2018.
- Zadeh, L. A. (1965). "Fuzzy Sets". Information and Control. 8 (3): 338–353. doi:10.1016/s0019-9958(65)90241-x.
- Goguen, J. A. (1969). "The Logic of Inexact Concepts". Synthese. 19 (3–4): 325–378. doi:10.1007/BF00485654. JSTOR 20114646. S2CID 46965639.
- Raffman, Diana (2014). Unruly Words: A Study of Vague Language. OUP. pp. 136ff. doi:10.1093/acprof:oso/9780199915101.001.0001. ISBN 9780199915101.
- Raffman, D. (2005). "How to understand contextualism about vagueness: reply to Stanley". Analysis. 65 (287): 244–248. doi:10.1111/j.1467-8284.2005.00558.x. JSTOR 3329033.
- Collins 2018, p. 33.
- Robert Duncan Luce (Apr 1956). "Semiorders and a Theory of Utility Discrimination" (PDF). Econometrica. 24 (2): 178–191. doi:10.2307/1905751. JSTOR 1905751. Here: p.179
- Wallace E. Armstrong (Mar 1948). "Uncertainty and the Utility Function". Economic Journal. 58 (229): 1–10. doi:10.2307/2226342. JSTOR 2226342.
- Peter C. Fishburn (May 1970). "Intransitive Individual Indifference and Transitive Majorities". Econometrica. 38 (3): 482–489. doi:10.2307/1909554. JSTOR 1909554.
- Alan D. Miller; Shiran Rachmilevitch (Feb 2014). Arrow's Theorem Without Transitivity (PDF) (Working paper). University of Haifa. p. 11.
- The comparative form was found in all economics publications investigated so far. Apparently it is entailed by the object of investigations in utility theory.
- Wallace E. Armstrong (Sep 1939). "The Determinateness of the Utility Function". Economic Journal. 49 (195): 453–467. doi:10.2307/2224802. JSTOR 2224802.
- According to Armstrong (1948), indifference was considered transitive in preference theory,:2 the latter was challenged in 1939 for this very reason,:463 and succeeded by utility theory.
- Sen, Amartya (1969). "Quasi-transitivity, rational choice and collective decisions". The Review of Economic Studies. 36 (3): 381–393. doi:10.2307/2296434. JSTOR 2296434. Zbl 0181.47302.
- Barnes, J. (1982). "Medicine, Experience and Logic". In Barnes, J.; Brunschwig, J.; Burnyeat, M. F.; Schofield, M. (eds.). Science and Speculation. Cambridge: Cambridge University Press.
- Black, Max (1970). Margins of Precision. Ithaca, NY: Cornell University Press. ISBN 978-0-8014-0602-7.
- Burns, Linda Claire (1991). Vagueness: An Investigation into Natural Languages and the Sorites Paradox. Dordrecht: Kluwer Academic Publishers. ISBN 978-0-7923-1489-9.
- Burnyeat, Myles (1982). "15. Gods and heaps". In Schofield, M.; Nussbaum, M. C. (eds.). Language and Logos. Cambridge: Cambridge University Press. pp. 315–.
- Collins, Rory (2018). "On the Borders of Vagueness and the Vagueness of Borders" (PDF). Vassar College Journal of Philosophy. 5: 30–44. Retrieved 21 June 2018.
- Dzhafarov, Ehtibar N.; Dzhafarov, Damir D. (2013). "The Sorites Paradox: A Behavioral Approach" (PDF). In Rudolph, Lee (ed.). Qualitative Mathematics for the Social Sciences: Mathematical Models for Research on Cultural Dynamics. pp. 105–136. doi:10.4324/9780203100806. ISBN 9780415444828.
- Gerla (2001). Fuzzy logic: Mathematical Tools for Approximate Reasoning. Dordrecht, Netherlands: Kluwer Academic Publishers. ISBN 978-0-7923-6941-7.
- Ludwig, Kirk; Ray, Greg (2002). "Vagueness and the Sorites Paradox". Philosophical Perspectives. 16: 419–461. JSTOR 3840922.
- 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.
- Oms, Sergi; Zardini, Elia, eds. (2019). The Sorites Paradox. Cambridge University Press.
- Sainsbury, R. M. (2009). Paradoxes (3rd ed.). Cambridge University Press.; Sect.3
|Look up sorites in Wiktionary, the free dictionary.|
|Wikimedia Commons has media related to Sorites paradox.|
- Zalta, Edward N. (ed.). "Sorites Paradox". Stanford Encyclopedia of Philosophy. by Dominic Hyde.
- Sandra LaFave: Open and Closed Concepts and the Continuum Fallacy