D.1 · дефектный парадокс · подтип: Неопределённость понятия
Sorites Paradox
Суть ошибки. «Куча» не прояснена как градуальное понятие
Точная формулировка
Куча в 10 000 песчинок — несомненно куча. Уберём одну — всё ещё куча. Если удаление одной песчинки никогда не превращает кучу в не-кучу, то повторением шага кучей окажется и одна песчинка. Обратный ход: одна песчинка — не куча; добавление одной песчинки кучи не создаёт; значит, и 10 000 — не куча. Форма — математическая индукция: база (10 000 — куча) и шаг (минус одна — статус тот же) приняты, индукция ведёт к абсурду.
Происхождение
Один из древнейших узлов философии. Автор — Евбулид Милетский (IV век до н. э., мегарская школа), которому принадлежат также лжец, лысый и рогатый. Греческое σωρίτης (sōritēs) — от σωρός (sōros), «куча»; латинская форма sorites закрепилась в традиции; второе имя — «аргумент малых различий». Диоген Лаэртский сохранил ответ Хрисиппа, величайшего логика Стои: при приближении к границе он просто замолкал — ἡσυχάζειν (hēsychazein), «сохранял спокойствие». Средневековье занималось insolubilia и считало размытость неточностью языка; Новое время молчаливо ждало, что уточнение терминов её устранит. Перелом — XX век: Рассел («Vagueness», 1923 — «все слова в той или иной степени расплывчаты»), Блэк (1937, функции принадлежности), Заде (1965, нечёткие множества), Уильямсон (1994, эпистемицизм), суперваляционизм Файна. Консенсуса нет по сей день — и это симптом: проблема лежит глубже, чем предполагали участники.
Следствие
Размытость неустранима и вездесуща. Право: «совершеннолетие», «разумная сила», «существенный вред» — суды проводят линии там, где природа их не провела. Наука: ФАО считает лесом покрытие крон от 10%, Индонезия — от 30%, Кот-д’Ивуар — участок впятеро меньше стандарта ООН; разница определений — 6–13% земной поверхности, территория размером с Китай. Этика: когда эмбрион становится человеком, когда боль невыносима. Политика: сдвигая границы «бедности» и «экстремизма», меняют выводы, не меняя фактов. Семья одной структуры: лысый, цветовой спектр, богатство и бедность. Общая форма всюду одна: бинарная классификация приложена к непрерывной реальности.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: куча, песчинки, число, операция удаления по одной, индуктивный шаг. Структура: математическая индукция над понятием «куча». Сигнала пока нет.
Домен 2 — Прояснение: что означают термины? Здесь первый дефект. «Куча» — это что? «Много песчинок» — но «много» размыто; «достаточно для возвышения» — круг; «от 500» — произвол, и тогда одна песчинка отделяет кучу от не-кучи. Это не наше незнание — это свойство понятия: «куча» создана для практической коммуникации и порога не содержит. Грамматика выдаёт её природу: «маленькая кучка», «огромная куча» — понятие сравнительное, допускает степени. Требовать от сравнительного понятия абсолютной границы — требовать, чтобы A было не-A (Тождество). Исключённое третье не задето: закон говорит о высказываниях, а высказывание с размытым термином в пограничном случае не определено — до закона дело не доходит. Сигнал: бинарный вопрос задан градуальному понятию.
Домен 3 — Выбор рамки: адекватен ли инструмент объекту? Второй дефект. Индукция требует строгого шага без исключений и свойства-инварианта. Шаг «n — куча, значит n−1 — куча» — приблизительное обобщение, а не строгая истина; и куча₁₀₀₀ ≠ куча₉₉₉ — при каждом шаге возникает новый объект, чей статус относителен контексту сравнения (куча₅₀₀ — куча рядом с кучей₁₀ и кучка рядом с кучей₁₀₀₀). Индукция маскирует подмену, называя разные скопления одним словом. Сигнал: точный инструмент на размытом понятии.
Домен 4 — Сравнение: родная стихия «кучи» — «больше похоже на кучу», «меньше похоже» — работает исправно; ломается только бинарный вопрос.
Домен 5 — Вывод: при принятых посылках безупречен. Проблема не в выводе.
Домен 6 — Рефлексия: абсурд заключения — сигнал: проверь понятие и инструмент; возврат к доменам 2 и 3.
Диагноз
Домен ошибки: Домен 2 (прояснение) — первичный; Домен 3 (выбор рамки) — вторичный. Тип: дефектный — неопределённость понятия, размытость. Нарушенные законы: Тождество — дважды: в постановке вопроса (от сравнительного понятия требуют абсолютной границы — A обязано стать не-A) и в шаге индукции (разные объекты объявлены «тем же, лишь чуть меньшим»). Суть дефекта: бинарная логика и точная индукция приложены к понятию, созданному градуальным. На триаде E/R/R: «куча» — Роль относительно контекста сравнения, не свойство Элемента; индукция требует свойства-инварианта — и получает роль.
Растворение
Индуктивный шаг неприменим — не ложен, а недостаточно строг: для практики он верен, для математического доказательства — нет, а индукция принимает только строгую истину. Вопрос «когда именно куча перестаёт быть кучей?» требует границы от понятия, созданного без неё, — как вопрос «где именно река становится морем?». И это не изъян понятия: размытость — работающее свойство. «Куча» для муравья — сотни песчинок, для человека — тысячи, для бульдозера — тонны; «толпа» в деревне — двадцать человек, в мегаполисе — тысячи: одно слово калибруется по контексту, и точная граница уничтожила бы эту адаптивность. Институты подтверждают: определения леса разные — и каждое работает для своей цели; точная граница для размытого понятия — инструмент координации, назначаемый конвенцией и честно объявляемый конвенцией.
Возражения и ответы
Эпистемицизм. «Граница существует — мы лишь не знаем, где она». Ответ: понятие создано без границы; никакой анализ и никакой консенсус носителей её не определяет — не по слабости ума, а по устройству понятия. Приписывать «куче» скрытый порог — путать концептуальный инструмент с объектом, который он описывает.
«Классическая логика не работает». Ответ: работает — на точных понятиях. Сорит показывает границу применения логики, не её дефект: молоток хорош, но шуруп им не завернуть. «Число чётно или нечётно» — истинно без исключений; «куча или не куча» — требует сначала уточнить понятие.
Урок
О типах понятий. Бинарные («чётное») и сравнительные («куча», «высокий») устроены по-разному — это различие функций, не иерархия качества. О границах формализации. Точное определение «кучи» не улучшило бы понятие — оно разрушило бы его полезность; формальная логика — мощный инструмент, но не универсальный. О «зависти к точности». Размытость — не неудача, а адаптация: язык создан для координации в непрерывном мире, и размытые понятия — его сильная сторона. О практике. Распознавай тип понятия: размытому не предъявляй требование точности; нужна точность — создай технический термин с определением, и не путай одно с другим.
Родня по механизму
Лысый (второй сорит Евбулида — убыванием вместо накопления), Цветовой спектр (сорит на восприятии), богатство и бедность (та же схема на деньгах), Корабль Тесея (сосед по типу — многозначность вместо размытости).
Машинная проверка. В реестре 46 узел учтён как D1_Sorites, и диагноз зафиксирован в самой записи: поле рассогласования — InstrumentObjectMismatch, «инструмент не по объекту»; категория «дефектный», растворение отводом посылки (defective_46_requires_rejection, счёт defective_count_25 — ParadoxDissolution.v). Карта — Формализация.
Категория: Дефектные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс