Eubulides of Miletus (IV-talet f. Kr.) formulerade en logisk paradox förknippad med tvetydigheten i begreppet "hög". Om du lägger till ett korn åt gången, från vilket ögonblick kommer högen att dyka upp, och betyder det att högen är resultatet av att man lägger ett korn?
Ett korn bildar inte en hög och tillsättningen av ett korn till ett aggregat som inte är en hög är inte nödvändigt för bildandet av en hög. Under sådana antaganden kommer inget aggregat av ett godtyckligt stort antal korn att bilda högar, vilket strider mot begreppet existensen av en hög med korn.
En hög med sand består av miljoner sandkorn. Om du tar bort ett sandkorn kommer det fortfarande att vara en hög. Om du tar bort en till kommer det fortfarande att vara ett gäng. Om vi fortsätter att ta bort ett sandkorn tills det finns ett sandkorn kvar, kommer det fortfarande att vara en hög? En fast gräns måste ställas in för lösningen. Om vi antar att 10 000 sandkorn är en hög, så är inte något mindre än detta en hög. Men det verkar inte motiverat att skilja mellan 9 999 och 10 001 sandkorn. Sedan kan du utöka lösningen genom att säga att det finns en viss gräns, men det är inte nödvändigtvis känt.
Paradoxen används som en av motiveringarna för att beakta fuzzy logik.
Kärnan i paradoxen är att kvantitativa förändringar inte leder till kvalitativa förändringar.