D.17 · дефектный парадокс · подтип: Ошибка в рассуждении
Horned Man
Суть ошибки. Эквивокация: «не потерял» предполагает «имел»
Точная формулировка
«Что ты не терял, то имеешь. Рогов ты не терял. Следовательно, у тебя есть рога». Обе посылки собеседник охотно принимает — первая звучит трюизмом, вторая бесспорна, — и силлогизм честной формы вручает ему рога.
Происхождение
Евбулид Милетский, IV век до н. э., — тот же мегарский арсенал, что лжец, куча и лысый; Диоген Лаэртский перечисляет «Рогатого» среди семи его диалектических уловок. В отличие от лжеца, судьба у рогатого скромная и показательная: античность быстро разобрала механизм — стоики оттачивали на нём теорию пресуппозиции высказывания, — и узел ушёл из парадоксов в учебники, став каноническим образцом софизма: рассуждения, чья убедительность построена на спрятанном дефекте. В каталоге он держит эту границу: рядом с подлинными узлами — экспонат о том, как немного нужно, чтобы форма вывода понесла ложь.
Следствие
Рогатый — предок целого семейства приёмов с зарытой посылкой. Прямой наследник — нагруженный вопрос: «перестал ли ты бить своего отца?» — любой ответ подтверждает спрятанное «бил»; та же механика — в риторике («когда вы наконец признаете очевидное?»), в опросах с встроенным допущением, в договорных формулировках, принимающих спорное за данное. Логике узел завещал понятие пресуппозиции: у высказывания есть не только то, что оно утверждает, но и то, что оно молча предполагает, — и согласие со сказанным не есть согласие с предположенным. Разница между «ложно» и «не имеет предпосылки» позже вырастет в целую теорию (от стоиков до споров об определённых дескрипциях).
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: большая посылка («не терял — значит имеешь»), малая («рогов не терял»), вывод. Форма силлогизма исправна. Сигнал: вывод абсурден при безобидных посылках — где-то контрабанда.
Домен 2 — Прояснение: что означают термины? Здесь дефект. «Не терял» двоится. Сильное чтение: имел и сохранил — тогда большая посылка истинна, но малая («рогов не терял» в смысле «имел и сохранил») ложна и никем не принята. Слабое чтение: просто не случалось терять — в том числе потому, что не имел вовсе; тогда малая посылка истинна, но большая ложна: из «не случалось терять» не следует «имеешь». Истинность посылок держится на разных чтениях — вместе они истинны никогда. Сигнал: эквивокация — термин меняет смысл между посылками.
Домен 3 — Выбор рамки: не задействован — дефект чисто словесный.
Домен 4 — Сравнение: не задействован.
Домен 5 — Вывод: форма безупречна — и в этом весь замысел: софизм прячет дефект посылок за честной формой. Проблема не в форме.
Домен 6 — Рефлексия: абсурдный вывод при «очевидных» посылках — сигнал: ищи двоящийся термин; возврат к домену 2.
Диагноз
Домен ошибки: Домен 2 (прояснение). Тип: дефектный — ошибка в рассуждении: эквивокация. Нарушенные законы: Тождество — «не терял» обязано означать одно и то же в обеих посылках, а означает разное; средний термин силлогизма двоится — силлогизм о четырёх терминах. Суть дефекта: большая посылка контрабандой вносит пресуппозицию «имел»; согласие с трюизмом выдаётся за согласие с допущением. На триаде E/R/R: Правило вывода получает под одним именем два разных Элемента — подмена Элемента при исправном Правиле.
Растворение
Развести чтения — и софизм рассыпается на глазах. «Что имел и не терял, то имеешь» — истинно, но тогда вторая посылка обязана звучать «рога имел и не терял», чего никто не утверждал. «Чего не случалось терять, то имеешь» — ложно: не терял я и трона Португалии. Ни в одном чтении обе посылки не истинны разом — вывод не получает опоры ни в одном мире. Ответ собеседнику оттачивался веками и укладывается в строку: «не терял» верно лишь о том, что имел; о рогах вопрос имения и есть спорный — вы вложили заключение в посылку. Тот же ход разоружает нагруженный вопрос: не «да» и не «нет», а отвод пресуппозиции — «вопрос предполагает то, чего не было». Урок стоиков при этом честен: механизм пресуппозиции сам по себе не порок — язык всегда предполагает больше, чем утверждает; порок — провозить через пресуппозицию спорное.
Урок
О среднем термине. Проверяй, что термин, связывающий посылки, означает одно и то же в обеих: эквивокация превращает силлогизм в четырёхтерминный — форма цела, связи нет. О пресуппозициях. Согласие со сказанным — не согласие с предположенным; услышав трюизм, спроси, что он молча вносит. О честной форме. Безупречная форма — не сертификат вывода: софизмы селятся в посылках; потому проверка начинается с Домена 2, а не с Домена 5.
Родня по механизму
Нагруженный вопрос («перестал ли ты бить отца?» — прямой наследник), эквивокация и подмена термина в каталоге ошибок (словесное семейство), Два конверта (та же подмена в арифметической одежде: буква вместо слова), Парадокс лошадей (сосед по подтипу: дефект, спрятанный в шаге рассуждения).
Машинная проверка. В реестре 46 — D17_HornedMan: поле ConceptualAmbiguity (двоение термина), категория «дефектный», растворение отводом посылки (defective_46_requires_rejection, all_46_dissolvable — ParadoxDissolution.v). Именного разбора нет — дефект эксплицируется разводом чтений. Карта — Формализация.
Категория: Дефектные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс