Thesorites paradox (/soʊˈraɪtiːz/),[1] sometimes known as theparadox of the heap, is aparadox that results fromvaguepredicates.[2] A typical formulation involves a heap of sand, from which grains are removed individually. With the assumption that removing a single grain does not cause a heap not to be considered a heap anymore, the paradox is to consider what happens when the process is repeated enough times that only one grain remains and if it is still a heap. If not, then the question asks when it changed from a heap to a non-heap.[3]
The wordsorites (Ancient Greek:σωρείτης) derives from the Greek word forheap (Ancient Greek:σωρός).[4] The paradox is so named because of its original characterization, attributed toEubulides of Miletus.[5] The paradox is as follows: consider aheap of sand from whichgrains are removed individually. One might construct the argument from the followingpremises:[3]
Repeated applications of premise 2 (each time starting with one fewer grain) eventually forces one to accept theconclusion that a heap may be composed of just one grain of sand.[6]Read (1995) observes that "the argument is itself a heap, or sorites, of steps ofmodus ponens":[7]
One grain of sand is not considered to be a heap of sand.[8] So the argument, although seeming valid and with plausible premises, has a false conclusion, which makes it a paradox, according to a popular (though not universally accepted) academic definition of "paradox".[9][10][11]
There are many variations of the sorites paradox, some of which allow consideration of the difference between "being" and "seeming", that is, between a question of fact and a question of perception;[2] this may be seen to be relevant when the argument hinges on each change being "imperceptible".
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 cause it to become a heap. Inductively, this process can be repeated as much as one wants without ever constructing a heap.[2][3] 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.[2]
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. The version about baldness, where it is argued that adding a single hair does not make a bald man no longer bald, is known as the "falakros", from the Greek for "bald" (φαλακρός).[12][13]Bertrand Russell argued that all of natural language, even logical connectives, is vague; moreover, representations of propositions are vague.[14]
A formal generalization of the paradoxical sorites argument is as follows:[15]
This formalization is infirst-order logic, where is a predicate and are different subjects to which it may be applied; for each subject, the notation signifies the application of the predicate to, i.e., the proposition that " is". (Jonathan Barnes originally represented each "if, then" proposition using the symbol for thematerial implicationconnective, so his argument originally ended with.)[16]
Jonathan Barnes has discovered the conditions for an argument of this general form to be soritical.[16] First, theseries must be ordered; for example, heaps may be ordered according to number of grains of sand in them, or, in thefalakros version (see§ Variations), heads may be ordered according to the number of hairs on them. Second, thepredicate must besoritical relative to the series, which means: first, that it is, to all appearances, true of, the first item in the series; second, that it is, to all appearances, false of, the last item in the series; and third, that all adjacent pairs of subjects in the series, and, are, to all appearances, so similar as to be indiscriminable in respect of – that is, it must seem that either both of and satisfy, or neither do.
This last condition on the predicate is whatCrispin Wright called the predicate'stolerance of small degrees of change, and which he considered a condition of a predicate's beingvague.[17] As Wright said, supposing that is a concept related to a predicate such that "any object which characterizes may be changed into one which it does not simply by sufficient change in respect of", then " istolerant with respect to if there is also some positive degree of change in respect of insufficient ever to affect the justice with which applies to a particular case."[17]
One mayobject to the first premise by denying that1,000,000 grains of sand make a heap. But1,000,000 is just an arbitrary large number, and the argument will apply with any such number. So the response must deny outright that there are such things as heaps.Peter Unger defends this solution.[18] However,A. J. Ayer repudiated it when presented with it by Unger: "If we regard everything as being composed of atoms, and think of Unger as consisting not of cells but of the atoms which compose the cells, then, asDavid Wiggins has pointed out to me, a similar argument could be used to prove that Unger, so far from being non-existent, is identical with everything that there is. We have only to substitute for the premise that the subtraction of one atom from Unger's body never makes any difference to his existence the premise that the addition of one atom to it never makes any difference either."[19]
A common first response to the paradox is to term any set of grains that has more than a certain number of grains in it a heap. If one were to define the "fixed boundary" at10,000 grains then one would claim that for fewer than10,000, it is not a heap; for10,000 or more, then it is a heap.[20]
Collins argues that such solutions are unsatisfactory as there seems little significance to the difference between9,999 grains and10,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 natural language is used.[21]
Timothy Williamson[22][23][24] and Roy Sorensen[25] claim that there are fixed boundaries but that they are necessarily unknowable.
Supervaluationism is a method for dealing with irreferentialsingular terms andvagueness. It allows one to retain the usualtautological laws even when dealing with undefined truth values.[26][27][28][29]An example of a proposition about an irreferential singular term is the sentence "Pegasus likes licorice".Since the name "Pegasus"fails to refer, notruth 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 such thatn grains of sand is a heap of sand, butn − 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 or1,000 grains of sand is not a heap" as a tautology, i.e. to assign it the valuetrue.[citation needed]
Let be a classicalvaluation defined on everyatomic 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.
Another method is to use amulti-valued logic. In this context, the problem is with theprinciple of bivalence: the sand is either a heap or is not a heap, without any shades of gray. Instead of two logical states,heap andnot-heap, a three value system can be used, for exampleheap,indeterminate andnot-heap. A response to this proposed solution is that three valued systems do not truly resolve the paradox as there is still a dividing line betweenheap andindeterminate and also betweenindeterminate andnot-heap. The third truth-value can be understood either as atruth-value gap or as atruth-value glut.[30]
Alternatively,fuzzy logic offers a continuous spectrum of logical states represented in theunit interval of real numbers [0,1]—it is a many-valued logic with infinitely-many truth-values, and thus the sand transitions gradually 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 likedefinitely heap,mostly heap,partly heap,slightly heap, andnot heap.[31][32] Though the problem remains of where these borders occur; e.g. at what number of grains sand starts beingdefinitely a heap.
Another method, introduced by Raffman,[33] is to usehysteresis, that is, knowledge of what the collection of sand started as. Equivalent amounts of sand may be termed heaps or not based on how they got there. If a large heap (indisputably described as a heap) is diminished slowly, 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,500 grains is a pile and1,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 until750. 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 until900 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 the air to just below 77 °F, but does not activate again instantly when the air warms to 77.001 °F—it waits until almost 78 °F, to prevent instant change of state over and over again.[34]
One can establish the meaning of the wordheap by appealing toconsensus. Williamson, in his epistemic solution to the paradox, assumes that the meaning of vague terms must be determined by group usage.[35] The consensus method typically claims that a collection of grains is as much a "heap" as the proportion of people in agroup who believe it to be so. In other words, theprobability that any collection is considered a heap is theexpected value of the distribution of the group's opinion.
A group may decide that:
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 tobe a "heap" or "not a heap". This can be considered an appeal todescriptive linguistics rather thanprescriptive 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 occur.
| "X more or equally red thanY" modelled as quasitransitive relation ≈ : indistinguishable, > : clearly more red | ||||||
|---|---|---|---|---|---|---|
Y X | f10 | e20 | d30 | c40 | b50 | a60 |
| f10 | ≈ | ≈ | > | > | > | > |
| e20 | ≈ | ≈ | ≈ | > | > | > |
| d30 | ≈ | ≈ | ≈ | > | > | |
| c40 | ≈ | ≈ | ≈ | > | ||
| b50 | ≈ | ≈ | ≈ | |||
| a60 | ≈ | ≈ | ||||
In the economics field ofutility theory, the sorites paradox arises when a person's preferences patterns are investigated.As an example byRobert 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.[36]
Two measures were taken by economists to avoid the sorites paradox in such a setting.
Several kinds of relations were introduced to describe preference and indifference without running into the sorites paradox.Luce definedsemi-orders and investigated their mathematical properties;[36]Amartya Sen performed a similar task forquasitransitive relations.[43]Abbreviating "Peggy likescx more thancy" as"cx >cy", and abbreviating"cx >cy orcx ≈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 definingcx ≈cy if neithercx >cy norcy >cx.Similarly, from a given quasitransitive relation ≥ the indifference relation ≈ can be reconstructed by definingcx ≈cy if bothcx ≥cy andcy ≥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 colorX is said to be more or equally red than a colorY if the table cell in rowX and columnY is not empty. In that case, if it holds a "≈", thenX andY look indistinguishably equal, and if it holds a ">", thenX looks clearly more red thanY. The relation ≥ is the disjoint union of the symmetric relation ≈ and the transitive relation >. Using the transitivity of >, the knowledge of bothf10 >d30 andd30 >b50 allows one to infer thatf10 >b50. However, since ≥ is not transitive, a "paradoxical" inference like "d30 ≥e20 ande20 ≥f10, henced30 ≥f10" is no longer possible. For the same reason, e.g. "d30 ≈e20 ande20 ≈f10, henced30 ≈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 thanY grains" could be considered quasitransitive rather than transitive.
Thecontinuum fallacy (also known as thefallacy of the beard,[44][45]line-drawing fallacy, or decision-point fallacy[46]) is aninformal fallacy related to the sorites paradox. Both fallacies cause one to erroneously reject avagueclaim 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 considereddistinct (or do notexist at all) because between them there exists acontinuum of states.
Strictly, the sorites paradox refers to situations where there are manydiscrete 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) acontinuum of states, such as temperature.
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 simplecounterexample: 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 slight changes 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 slight changes will certify the group's heap status – seefuzzy logic.
This is what I understand by a paradox: an apparently unacceptable conclusion derived by apparently acceptable reasoning from apparently acceptable premises.
| International | |
|---|---|
| National | |
| Other | |
