Парадокс кучи — логический парадокс, сформулированный Евбулидом из Милета (IV век до н. э.), связанный с неопределённостью предиката «быть кучей». 12

Суть парадокса в том, что невозможно точно определить, в какой момент одно зёрнышко становится кучей или, наоборот, когда куча перестанет быть кучей, если удалять из неё по одному зёрну. 4

Формулировка парадокса основана на базисной предпосылке, согласно которой одно зёрнышко не образует кучи, и индуктивной предпосылке, по которой добавление одного зёрнышка к совокупности, кучей не являющейся, несущественно для образования кучи. 1 При принятии этих предпосылок никакая совокупность из сколь угодно большого количества зёрен не будет образовывать кучи, что противоречит представлению о существовании кучи из зёрен. 1