09-10-2023
Парадокс кучи («Куча») — логический парадокс, сформулированный Евбулидом из Милета (IV век до н. э.)[1], связанный с неопределённостью (англ. vagueness) предиката «быть кучей»[2].
Формулировка парадокса основана на базисной предпосылке, согласно которой одно зёрнышко не образует кучи, и индуктивной предпосылке, по которой добавление одного зернышка к совокупности, кучей не являющейся, несущественно для образования кучи. При принятии этих предпосылок никакая совокупность из сколь угодно большого количества зёрен не будет образовывать кучи, что противоречит представлению о существовании кучи из зёрен.
Известно множество вариаций в формулировке парадокса, кроме позитивной («если к одному зерну добавлять по зёрнышку, то в какой момент образуется куча?»)[3], встречается и негативная формулировка: «удаляя из кучи в 1 млн зёрен по одному зёрнышку, с какого момента она перестаёт быть кучей?»[4]. Парадокс используется как одно из обоснований рассмотрения нечёткой логики[5].
Парадокс кучи.