D.19 · дефектный парадокс · подтип: Ошибка в рассуждении
Masked Man
Суть ошибки. «Знать» — интенсиональный контекст
Точная формулировка
«— Знаешь ли ты этого человека под покрывалом? — Нет. — Но это твой отец. Выходит, ты не знаешь собственного отца». Общая форма: ты знаешь A; A есть B; ты не знаешь B — значит, знаешь и не знаешь одного и того же человека. Античная версия — «Электра»: она знает брата Ореста и не знает закутанного пришельца, который и есть Орест.
Происхождение
Евбулид Милетский — «Электра» и «Закутанный» в списке семи уловок у Диогена Лаэртского, рядом с лжецом и рогатым. Из всех Евбулидовых узлов у этого — самое теоретичное потомство. Фреге («О смысле и значении», 1892) построил на той же механике семантику: «утренняя звезда» и «вечерняя звезда» именуют одну Венеру, но тождество их — астрономическое открытие, а не трюизм, — значит, имена несут сверх предмета ещё и смысл, способ данности. Куайн дал явлению имя — референциальная непрозрачность: контексты «знает», «верит», «ищет» не пропускают подстановку кореферентных имён. Эпистемическая логика оформила развод строго (знание de dicto и de re). Досталось и метафизике: классическое возражение Декартову доводу «в теле могу сомневаться, в мысли не могу — значит, мысль не тело» состоит ровно в том, что это замаскированный человек в философской одежде.
Следствие
Узел завещал логике границу закона подстановки. Тождественные вещи неразличимы — но «знает», «верит», «хочет», «ищет» говорят не о голой вещи, а о вещи под описанием: из «знаю A» и «A = B» не следует «знаю B», пока само тождество A = B не известно знающему. Практическое поле необъятно: свидетель опознаёт «человека в капюшоне», не опознавая соседа; должник «ищет кредитора», не ища человека, стоящего рядом; полвека споров о том, что «знал» ли субъект, — в праве, разведке, эпистемологии — упираются в индекс описания. И главный урок для метафизики: различие в том, как нечто дано мышлению, не доказывает различия в том, что дано, — антидот к целому классу быстрых доказательств нетождества.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: знающий, один человек под двумя описаниями («отец», «человек под покрывалом»), предикат «знать», тождество описаний. Сигнал: один предикат бегает между разными данностями.
Домен 2 — Прояснение: что означают термины? Здесь дефект. «Знать» двоится: быть знакомым с человеком — и распознавать его под данным видом. «Не знаю закутанного» значит «не распознаю, кто под покрывалом», а не «не знаком с тем, кто под ним». Сверх того, вывод молча пользуется подстановкой B вместо A внутри «знает» — а она законна лишь при посылке «знающий знает, что A = B», которой нет: незнание этого тождества и есть вся сцена. Сигнал: интенсиональный контекст взят как прозрачный.
Домен 3 — Выбор рамки: второй слой: экстенсиональная логика — инструмент для контекстов, где важен лишь предмет; здесь контекст установки, где важен способ данности. Инструмент не по объекту.
Домен 4 — Сравнение: не задействован.
Домен 5 — Вывод: форма подстановки безупречна — в экстенсиональных контекстах; сюда она перенесена без права. Проблема в переносе, не в форме.
Домен 6 — Рефлексия: «знает и не знает» — сигнал: индексируй описанием; возврат к домену 2.
Диагноз
Домен ошибки: Домен 2 (прояснение). Тип: дефектный — ошибка в рассуждении: подстановка тождественных в интенсиональном контексте. Нарушенные законы: Тождество — тонко: закон о вещах цел; сломано обращение с ним — тождество вещей выдано за тождество представлений, тогда как «знать» относится к представлению; Непротиворечие не задето вовсе: «знает под одним описанием» и «не знает под другим» — разные отношения, противоречия нет. Суть дефекта: знание берёт объект под Ролью (описанием), а вывод подменяет Роль, сохраняя Элемент, — и выдаёт смену роли за противоречие в знании. На триаде E/R/R — ровно это.
Растворение
Индексация описанием делает всю работу. Электра знакома с Орестом — и не распознаёт Ореста под покрывалом: «знает(брата)» и «не знает(закутанного)» — два отношения к двум данностям одного человека; сложить их в противоречие можно, лишь стерев индексы. Строгая форма развода: внутри «знает» подстановка по A = B требует посылки «знает, что A = B» — здесь она не просто отсутствует, её отсутствие и составляет сюжет: узнавание отца под покрывалом было бы открытием, как Гесперус = Фосфорус для астронома. Оттого же падает и метафизическая версия: «могу сомневаться в X, не могу в Y» описывает данности мышлению, не вещи, — различие описаний не доказывает различия вещей. Домашняя эпистемология закрепляет основание формально: знание определено на представлениях, не на голых объектах (тип Representation и связка знания в src/foundation/KnowledgeTruthLadder.v — знание живёт на настройке представления, потому и индексируется им).
Урок
Об установках. «Знать», «верить», «искать» — отношения к представлению; подстановка имён внутри них законна лишь при известном тождестве. О мнимых противоречиях. «Знает и не знает» — проверь индексы: чаще всего это два отношения, а не одно противоречивое. О быстрых доказательствах нетождества. Из различия данностей не следует различие вещей: прежде чем разводить сущности, проверь, не разводишь ли описания.
Родня по механизму
Рогатый (сосед по арсеналу Евбулида: там контрабанда в пресуппозиции, тут — в подстановке), Парадокс телепортации (критерий узнавания личности — онтологическая сторона того же вопроса), пара «утренняя/вечерняя звезда» (потомок-теория у Фреге), возражение Декартову дуализму (метафизическая одежда узла), Лжец (семья Евбулида — но там подлинный структурный узел).
Машинная проверка. В реестре 46 — D19_MaskedMan: поле ConceptualAmbiguity, уровень L2_Operations, категория «дефектный», растворение отводом посылки (defective_46_requires_rejection, all_46_dissolvable — ParadoxDissolution.v). Опора основания — знание как отношение к представлению: src/foundation/KnowledgeTruthLadder.v. Карта — Формализация.
Категория: Дефектные парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс