Abstract
If grains of sand are added, one by one, to a growing collection of sand on an otherwise empty table, there will eventually be a "heap" of sand on the table. It seems impossible, however, to specify the precise point at which the collection becomes a heap. One grain of sand is certainly not a heap of sand. Does two grains comprise a heap? Can the collection be called a heap at three grains, at 10 grains, or at 500 grains? The commonly used term "heap" is vague -- there is no clear line, which demarcates the heaps from the non-heaps. The difficulty presented by this vagueness becomes clear when we examine the sorites paradox, a very old philosophical problem, which is centered around the premise that the term "heap" has no precise definition. If it is impossible to specify exactly which objects are heaps and which objects are not heaps, how do we continue to use the term with such impunity? Is it possible for a system of logic to model the use of vague terms, if their application is often "neither true nor false," or, "only a matter of interpretation?" How are we to understand the role of vagueness within language?