Eubulides of Miletus (IV århundre f. Kr.) formulerte et logisk paradoks assosiert med tvetydigheten i begrepet "heap". Hvis du legger til ett korn om gangen, fra hvilket øyeblikk vil haugen vises, og betyr det at haugen er resultatet av å tilsette ett korn?
Ett korn danner ikke en haug, og tilsetningen av ett korn til et aggregat som ikke er en haug, er ikke essensielt for dannelsen av en haug. Under slike forutsetninger vil ingen samling av et vilkårlig stort antall korn danne hauger, noe som motsier begrepet eksistensen av en haug med korn.
En haug med sand består av millioner av sandkorn. Hvis du fjerner ett sandkorn, vil det fortsatt være en haug. Hvis du fjerner en til, vil det fortsatt være en haug. Hvis vi fortsetter å fjerne ett sandkorn til det er ett sandkorn igjen, vil det fortsatt være en haug? Det må settes en fast grense for løsningen. Hvis vi antar at 10.000 sandkorn er en haug, vil ikke noe mindre enn dette være en haug. Men det virker ikke berettiget å skille mellom 9.999 og 10.001 sandkorn. Da kan du utvide løsningen ved å si at det er en viss grense, men det er ikke nødvendigvis kjent.
Paradokset brukes som en av begrunnelsene for å vurdere uklar logikk.
Essensen av paradokset er at kvantitative endringer ikke fører til kvalitative endringer.
