N.8 · не-парадокс · подтип: Проблема подтверждения
Raven Paradox
Суть ошибки. Показывает проблему индуктивного подтверждения
Точная формулировка
Гипотеза: «все вороны черны». Она логически эквивалентна своей контрапозиции: «всё нечёрное — не ворон». Наблюдение чёрного ворона подтверждает первую; наблюдение зелёного яблока — нечёрного предмета, не являющегося вороном, — подтверждает вторую. Но эквивалентные гипотезы подтверждается одним и тем же. Вывод: зелёное яблоко подтверждает, что все вороны черны. Орнитология — не выходя из кухни.
Происхождение
Карл Гемпель, «Studies in the Logic of Confirmation» (1945) — узел построен как стресс-тест теории подтверждения. Формальный источник конфликта точен: критерий Никода (гипотезу «все F суть G» подтверждают наблюдения F, оказавшихся G) сталкивается с условием эквивалентности (эквивалентные гипотезы подтверждаются одинаково) — вместе они и выдают яблоко-орнитолога. Сам Гемпель предложил принять вывод: да, подтверждает — интуиция протестует зря. Байесовская линия (Гуд, Мэки и далее) уточнила, почему протест и правомерен, и неправомерен разом: подтверждение есть, но исчезающе малое. Гуд добавил жемчужину («белый ботинок — ложный след», 1967): при особых составах мира и процедурах выборки наблюдение может значить что угодно — вплоть до опровержения; подтверждение — не свойство предмета, а свойство того, как он попал в поле зрения. Сосед по цеху — «новая загадка индукции» Гудмена.
Почему это не парадокс
Логика цела: контрапозиция безупречна, эквивалентные гипотезы действительно подтверждаются одним и тем же. Конфликт — между двумя чтениями слова «подтверждает»: качественным («повышает вероятность» — хоть на волос) и бытовым («ощутимо свидетельствует»). Яблоко подтверждает гипотезу — качественно, на величину порядка обратной мощности класса нечёрных предметов, то есть на ничто; чёрный ворон — на величину порядка обратной мощности класса воронов, несоизмеримо большую. Ожидание меряет подтверждение бинарно и потому слышит «яблоко доказывает про воронов»; счёт меряет весами — и смешное исчезает: да, на эпсилон. Дефект — в ожидании; асимметрия живёт не в логике, а в размерах классов.
Доменный анализ
Домен 1 — Распознавание: что дано? Компоненты: гипотеза, контрапозиция, два наблюдения (ворон, яблоко), отношение подтверждения. Сигнал: свидетельство приходит из класса, о котором гипотеза молчит громче всего.
Домен 2 — Прояснение: что означают термины? Здесь дефект ожидания. «Подтверждает» градуировано — это приращение вероятности, у него есть величина; бинарное чтение стирает величину и уравнивает яблоко с вороном. Сигнал: квант против количества — родня лотерейного порога.
Домен 3 — Выбор рамки: бинарная рамка подтверждения не по объекту; честная рамка — весовая: свидетельство весит по классу, из которого взято.
Домен 4 — Сравнение: решающее сравнение — мощностей: нечёрных предметов необозримо больше, чем воронов; веса наблюдений соотносятся как обратные мощности.
Домен 5 — Вывод: и контрапозиция, и байесовский счёт безупречны. Проблема не в выводе.
Домен 6 — Рефлексия: смех над «орнитологией по яблокам» — сигнал о величине, не о факте; и второй сигнал, гудовский: спроси, какой процедурой наблюдение добыто — могла ли она вообще встретить ворона.
Диагноз
Категория: не-парадокс — проблема подтверждения: контринтуитивная правда о его арифметике. Место дефекта: ожидание — бинаризация градуированного подтверждения и слепота к весам классов. Нарушенных законов нет: эквивалентность контрапозиции — работа Тождества, и она цела. На триаде E/R/R: гипотеза — Правило над классами Элементов; вес свидетельства задаётся мощностью класса, из которого оно взято; интуиция читает Правило подтверждения без весов — и получает яблоко, равное ворону.
Разрешение
Принять вывод — с точным весом. Байесовский набросок: в мире из миллиона нечёрных предметов и тысячи воронов зелёное яблоко поднимает вероятность гипотезы на величину порядка миллионной доли, чёрный ворон — порядка тысячной: оба подтверждают, подтверждают неравно, и «парадокс» — это удивление от эпсилона, прочитанного как ноль или как единица. Малый мир выправляет интуицию: в комнате десять предметов, гипотеза «все вороны здесь черны»; перебрать всё нечёрное и не найти ворона — честное доказательство: контрапозитив работает в полную силу, когда класс обозрим, — стратегия «проверяй нечёрное» смешна не логически, а экономически: в большом мире это самый дорогой путь. Поправка Гуда завершает: подтверждает не предмет, а выборка — случайное яблоко из корзины яблок не подтверждает ничего, ибо не могло встретить ворона; вес имеет лишь наблюдение, которое могло опровергнуть гипотезу и не опровергло. Это попперовский стержень, добытый из смешного примера: информативность проверки равна её риску.
Урок
О градуированном подтверждении. «Подтверждает» — величина, не галочка; спор о «подтверждает ли яблоко» — спор кванта с количеством. О весах классов. Свидетельство весит по классу происхождения — тот же третий член, что базовая частота в диагностике. О выборке. Подтверждает лишь то, что могло опровергнуть: процедура добычи наблюдения — часть его веса. О смехе. Абсурдность примера — часто сигнал о величине эффекта, не о его отсутствии; проверь порядок, прежде чем смеяться над фактом.
Родня по механизму
Ложноположительные (веса классов — базовые частоты), Лотерея и Предисловие (бинаризация градуированного — семейный мотив категории), «новая загадка индукции» Гудмена (сосед по цеху подтверждения), фальсифицируемость Поппера (риск как мера информативности).
Машинная проверка. В реестре 46 — N8_Raven: категория NonParadox; статус категории формализован (nonparadox_46_not_paradox, nonparadox_count_8 — ParadoxDissolution.v), общий свод — all_46_dissolvable и total_paradoxes_46. Весовое ядро (обратные мощности классов над Q) — шестой и последний кандидат вероятностной шестёрки для ветки «Вероятность» (см. Формализация).
Категория: Не-парадоксы · Каталог: Каталог парадоксов · Концепт: Парадокс