D.2 · дефектный парадокс · подтип: Неопределённость понятия
Bald Man Paradox
Суть ошибки. «Лысый» — градуальное понятие без чёткой границы
Точная формулировка
Человек с полной шевелюрой не лыс. Потеря одного волоса лысым не делает. Если потеря одного волоса никогда не меняет статуса, то повторением шага не лыс и человек, потерявший все волосы: лысых не существует. Обратный ход: человек без волос лыс; один волос лысости не отменяет; значит, лыс и человек с полной шевелюрой — волосатых не существует.
Происхождение
Евбулид Милетский, IV век до н. э. — тот же список Диогена Лаэртского, что лжец и сорит. Греческое имя — φαλακρός, phalakros, «лысый». Это парный сорит: вместо песчинок — волосы, вместо накопления — убывание; античность держала обе формы рядом как один аргумент в двух одеждах. Судьба общая с соритом: два тысячелетия на полях логики, в XX веке — в центре дебатов о размытости (Рассел, Заде, Уильямсон — см. разбор сорита).
Следствие
Пара к куче показывает симметрию механизма: сорит работает в обе стороны — накоплением и убыванием, на «много» и на «мало», на любом градуальном признаке с бинарным ярлыком. Практическое потомство — всюду, где градация встречает ярлык: медицина проводит стадии облысения конвенциональной шкалой (и объявляет её конвенцией — честный ход), право проводит возрастные и количественные пороги. Урок тот же, что у кучи, — но именно повторяемость в новом материале и есть вклад лысого: механизм узнаётся независимо от декораций.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: человек, волосы, счёт, операция потери одного, индуктивный шаг. Сигнала пока нет.
Домен 2 — Прояснение: что означают термины? Здесь дефект. «Лысый» — сравнительное понятие без числового порога: «лысеющий», «почти лысый» — грамматика степеней. Любой порог «N волос» произволен, и это свойство понятия, не пробел знания. Требовать от градуального понятия бинарной границы — требовать, чтобы A было не-A (Тождество). Сигнал: бинарный вопрос задан сравнительному понятию.
Домен 3 — Выбор рамки: второй дефект, как в сорите: индукция требует строгого шага и свойства-инварианта — шаг приблизителен, а статус каждого нового состояния относителен контексту сравнения.
Домен 4 — Сравнение: работает исправно («более лысый», «менее лысый»); ломается только «да/нет».
Домен 5 — Вывод: при принятых посылках валиден. Проблема не в выводе.
Домен 6 — Рефлексия: абсурд заключения — возврат к доменам 2 и 3.
Диагноз
Домен ошибки: Домен 2 (прояснение); Домен 3 — вторичный. Тип: дефектный — неопределённость понятия, размытость. Нарушенные законы: Тождество (от градуального понятия требуют бинарной границы; шаг индукции зовёт разные состояния «тем же»). Суть дефекта: точный инструмент на размытом понятии. На триаде E/R/R: «лысый» — Роль по контексту сравнения, поданная как свойство Элемента.
Растворение
Наследует сориту дословно: индуктивный шаг — практическое обобщение, не строгая истина, и индукции не выдерживает; вопрос «сколько волос делает лысым?» требует от понятия того, чего в нём нет по устройству. Полный вывод — включая ответ эпистемицизму и защиту классической логики на её законной территории — в разборе сорита. Где граница практически нужна, её назначают шкалой и объявляют конвенцией — так поступает медицина, и в этом нет парадокса.
Урок
Узнавать сорит в любой одежде: песок, волосы, доллары, пиксели — механизм один, и растворение одно. Смена декораций не создаёт нового парадокса; она проверяет, усвоен ли урок старого.
Родня по механизму
Сорит (каноническая форма — полный разбор там), Цветовой спектр (сорит на восприятии), богатство и бедность (сорит на деньгах).
Машинная проверка. В реестре 46 — D2_BaldMan с тем же диагнозом-полем InstrumentObjectMismatch, что у сорита; категория «дефектный», растворение отводом посылки (defective_46_requires_rejection — ParadoxDissolution.v). Карта — Формализация.
Категория: Дефектные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс