Представьте, что перед вами настоящая куча песка, состоящая из 10 000 песчинок. Любой скажет, что это «куча». Теперь уберём одну песчинку. 9 999 песчинок. Всё ещё куча, верно? Уберём ещё одну. 9 998 песчинок. Это тоже всё ещё куча.

Давайте продолжим эту операцию. Удаление всего одной песчинки не должно превращать «кучу» в «не-кучу». Однако если бесконечно повторять эту логику, в конце концов останется всего одна песчинка.

Является ли одна песчинка «кучей»?

Разумеется, никто не назовёт одну песчинку «кучей». Но ведь мы ни разу не отвергли предпосылку: «если убрать одну песчинку, куча остаётся кучей». Где-то логика дала сбой, но на какой именно песчинке куча перестала быть кучей?

Это и есть «Парадокс кучи (Парадокс соритес)», восходящий к древнегреческому философу Евбулиду, жившему в IV веке до нашей эры.

Логическая структура

Этот парадокс можно выразить в форме следующего силлогизма:

Посылка 1: Совокупность из 10 000 песчинок является «кучей». Посылка 2: Если из кучи убрать одну песчинку, она по-прежнему остаётся «кучей». Вывод: Следовательно, одна песчинка тоже является «кучей».

Каждая посылка в отдельности звучит вполне убедительно. Однако многократное применение посылки 2 приводит к очевидно ложному выводу.

Почему этот парадокс неразрешим

Суть парадокса кучи заключается в том, что слово «куча» по своей природе является неопределённым. Для «кучи» не существует чёткого определения (порогового значения), указывающего, «сколько песчинок и более составляют кучу». Такие понятия называются «нечёткими предикатами (vague predicates)».

Наш повседневный язык переполнен подобными неопределёнными словами.

• «Высокий» — это от скольких сантиметров? Человек ростом 180 см — «высокий». А если убрать 1 мм? Ещё 1 мм?
• «Богатый» — это от какой суммы активов? 10 миллиардов иен — это «богатый». А если убрать 1 иену?
• «Лысый» — это от скольких волос и менее? 0 волос — «лысый». А если вырастет 1 волос?

Все эти примеры имеют точно такую же структуру, как и парадокс кучи.

Подходы философов

1. Эпистемический подход (граница существует)

Этот подход утверждает, что «на самом деле между кучей и не-кучей существует чёткая граница, просто человек не способен её распознать». Например, 5 837 песчинок — это куча, а 5 836 — уже нет, и такая точная граница существует, но мы не можем её знать.

С логической точки зрения это элегантно, но интуитивно многие чувствуют в этой позиции что-то неестественное.

2. Нечёткая логика (градуированные значения истинности)

В классической логике есть только два варианта — «истина или ложь», но в нечёткой логике значение может принимать любую величину от 0 до 1.

Например:

• 10 000 песчинок: «степень кучности = 1,0 (полностью куча)»
• 5 000 песчинок: «степень кучности = 0,7»
• 100 песчинок: «степень кучности = 0,1»
• 1 песчинка: «степень кучности = 0,0 (полностью не-куча)»

Этот метод практичен, но полностью парадокс не устраняет. Ведь возникает новая неопределённость: «В чём разница между степенью кучности 0,7 и 0,699?»

3. Суперваллюационизм (Supervaluationism)

В рамках этого подхода для слова «куча» одновременно рассматриваются все возможные разумные границы. Если при всех границах объект признаётся «кучей» — это «определённо куча»; если при всех — «не-кучей» — это «определённо не-куча»; а область, где мнения расходятся, считается «неопределённой».

Влияние на современное общество

Парадокс кучи — это не просто словесная игра; он порождает серьёзные проблемы в реальном мире права и политики.

• Возраст совершеннолетия: В 17 лет и 364 дня человек — «ребёнок», а в 18 лет и 0 дней — «взрослый». Что принципиально меняется за один день?
• Черта бедности: Если доход на 1 иену ниже порогового значения — «бедность», а на 1 иену выше — «не бедность».
• Экологические нормы: Если выбросы загрязняющих веществ превышают норму на 0,001 мг — это незаконно. Ровно по норме — законно.

Человеческий язык и мышление по своей природе содержат неопределённость, и, возможно, сама попытка разделить мир на чёткие бинарные противоположности изначально обречена на неудачу. Парадокс кучи — это парадокс, указывающий на фундаментальные пределы человеческого разума, который уже более 2400 лет не даёт покоя философам.