Индукция on kenji.blog

Изумруды зеленые или цвета «гру»? Новая загадка индукции Гудмена

Thu, 10 Sep 2026 21:00:00 +0900

Мы предсказываем «будущее» на основе «прошлого опыта». «Солнце вчера взошло на востоке, поэтому и завтра оно взойдет на востоке». «Все изумруды, которые мы видели до сих пор, были зелеными, поэтому следующий выкопанный изумруд тоже будет зеленым».

Такое рассуждение называется «индукцией» и является основой всей науки. Однако в 1955 году философ Нельсон Гудмен придумал странную концепцию цвета, чтобы показать, что эта индукция имеет фундаментальный недостаток. Это парадокс «гру» (Grue).

Определение нового цвета «гру» (Grue)

Гудмен определил новое свойство (цвет) под названием «гру» (Grue), образованное из слов «зеленый» (Green) и «синий» (Blue), следующим образом.

Определение гру (Grue): Объект является «гру», если при наблюдении до определенного момента времени $t$ (например, 1 января 2030 года) он «зеленый» (Green), а при наблюдении после момента времени $t$ он «синий» (Blue).

$$ \text{Grue} = \begin{cases} \text{Green} & (\text{Время} < t) \\ \text{Blue} & (\text{Время} \ge t) \end{cases} $$

Согласно этому определению, прямо сейчас (до момента $t$) зеленый изумруд в вашей руке одновременно является и «зеленым», и цвета «гру».

Почему это парадокс?

Парадокс возникает, когда мы пытаемся предсказать будущее. Все изумруды, которые человечество наблюдало до сих пор, были «зелеными». Следовательно, используя индукцию, мы предсказываем следующее:

Гипотеза А: «Все изумруды — ‘зеленые’»

Но подождите-ка. Поскольку изумруды, наблюдавшиеся до сих пор, были до момента времени $t$, они все должны были быть и цвета «гру». Следовательно, на основе точно тех же данных наблюдений можно сделать следующее предсказание:

Гипотеза Б: «Все изумруды — цвета ‘гру’»

Если следовать правилам индукции, то все прошлые наблюдения поддерживают гипотезу Б с «совершенно одинаковой силой», с какой они поддерживают гипотезу А.

graph TD A["Прошлые наблюдения: Все изумруды были зелеными"] -->|Одновременно| B["Прошлые наблюдения: Все изумруды были цвета 'гру'"] A --> C["Индуктивное предсказание А: Будущие изумруды тоже будут 'зелеными'"] B --> D["Индуктивное предсказание Б: Будущие изумруды тоже будут цвета 'гру'"] C --> E["Останутся зелеными и после момента t"] D --> F["Станут 'синими' после момента t!"] style C fill:#4CAF50,stroke:#333,color:#fff style D fill:#2196F3,stroke:#333,color:#fff style F fill:#F44336,stroke:#333,color:#fff,stroke-width:2px

Станут ли изумруды синими?

Если гипотеза Б верна, то в тот момент, когда наступит время $t$, все изумруды в мире должны будут одновременно стать «синими» (согласно определению «гру»).

Мы интуитивно думаем: «Такого абсурда не может быть. Гипотеза Б — это неестественная игра слов, и Гипотеза А (зеленый) определенно более правильная».

Однако вопрос Гудмена лежит гораздо глубже. «Зеленый» и цвет «гру» — обе гипотезы полностью соответствуют прошлым данным, так почему же мы считаем обоснованным только предсказание «зеленого» и отвергаем предсказание «гру»? Каково «логическое основание» для этого?

Вызов «Единообразию природы»

Чтобы избежать этой проблемы, на ум приходит такое возражение: «Мы должны использовать простые понятия, такие как ‘зеленый’, и не должны использовать сложные понятия, включающие время, такие как ‘гру’».

Однако Гудмен, наоборот, показал, что если определить цвет «блин» (Bleen: синий до момента $t$, а затем зеленый), то само понятие «зеленый» станет зависимым от времени сложным понятием: «гру до момента $t$, а затем блин». Иными словами, то, какое слово считать «базовым», является лишь нашей языковой привычкой.

Парадокс Гудмена «гру» (новая загадка индукции) доказал, что научные теории определяются не просто объективными данными, а сильно зависят от того, «какую концептуальную структуру (язык) мы используем, чтобы вычленить часть мира».

В контексте ИИ и машинного обучения этот парадокс по-прежнему имеет важное значение и сегодня — как проблема «переобучения» (overfitting) и «предвзятости» (bias), когда даже при одинаковых данных для обучения предсказания относительно будущего могут совершенно измениться в зависимости от «структуры модели (на какие признаки обращается внимание)».

Может ли синее яблоко доказать, что «вороны черные»? Парадокс воронов Гемпеля

Thu, 10 Sep 2026 21:00:00 +0900

Как ученые доказывают теории? Обычно они используют «индукцию», метод наблюдения за миром и сбора данных. Например, если бы вы хотели доказать гипотезу «все вороны черные», вы бы наблюдали за воронами по всему миру и подтверждали бы одну за другой, что они черные.

Однако в 1940-х годах логик Карл Гемпель указал на странную логическую лазейку, скрытую в этом, казалось бы, очевидном научном методе. Это парадокс воронов Гемпеля (Hempel’s Ravens), который гласит, что «просто увидев синее яблоко или красные туфли, вы получаете доказательство того, что ‘вороны черные’».

Подмена логики: Магия контрапозиции

Чтобы понять утверждение Гемпеля, нам нужно вспомнить концепцию «контрапозиции», которая изучается в школьном курсе математики.

В логике, если некое утверждение «Если A, то B» истинно, его контрапозиция «Если не B, то не A» также должна быть истинной (это называется логической эквивалентностью).

Гипотеза $H_1$: «Все вороны черные (Если это ворона, то она черная)»

Давайте возьмем контрапозицию этой гипотезы $H_1$. Она звучит так: «Если не черное, то не ворона».

Гипотеза $H_2$: «Все нечерные предметы не являются воронами»

Согласно правилам логики, $H_1$ и $H_2$ имеют совершенно одинаковое значение (эквивалентны). Если доказано одно, автоматически доказано и другое.

Доказать ворон, не видя их

Итак, чтобы подтвердить гипотезу $H_1$ (вороны черные), с каждой найденной черной вороной достоверность (доказательство) гипотезы немного усиливается. С этим согласятся все.

Однако, поскольку $H_1$ и $H_2$ означают одно и то же, нахождение доказательства для гипотезы $H_2$ (нечерные предметы не являются воронами) также должно стать прямым доказательством для гипотезы $H_1$.

Тогда что же является доказательством $H_2$? Все, что вам нужно сделать, это найти «что-то, что не является черным и не является вороной».

Допустим, на столе лежит «синее яблоко». Оно не черное и не ворона. Следовательно, это доказательство в поддержку $H_2$.
В шкафу лежат «красные туфли». Они также не черные и не вороны. Это доказательство $H_2$.
По небу плывет «белое облако». Это также доказательство $H_2$.

Поскольку доказательство $H_2$ имеет ту же ценность, что и доказательство $H_1$, логически можно сделать следующий странный вывод.

«Чем больше синих яблок и красных туфель мы наблюдаем в комнате, тем больше доказывается правильность гипотезы о том, что ‘все вороны черные’»

graph TD A["Утверждение H1: Все вороны черные"] <-->|Логическая эквивалентность (Контрапозиция)| B["Утверждение H2: Нечерные предметы не являются воронами"] C["Наблюдение: Черная ворона"] -->|Является доказательством для| A D["Наблюдение: Синее яблоко"] -->|Является доказательством для| B D -.->|Следовательно, это тоже должно быть доказательством?| A style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style B fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style C fill:#2196F3,stroke:#333,color:#fff style D fill:#FF9800,stroke:#333,color:#fff

Почему это противоречит интуиции?

Ни один орнитолог в мире не станет более уверенным в том, что «вороны черные», посмотрев на синее яблоко. Почему же наш здравый смысл отвергает это, если с логической точки зрения это должно быть абсолютно верно?

В мире философии и статистики предложено несколько подходов к этому парадоксу.

1. Байесовское решение (Разница в количестве информации)

Наиболее сильное возражение с точки зрения современной статистики (байесовской вероятности) фокусируется на разнице в «силе доказательства (количестве информации)».

В мире существует подавляющее большинство «нечерных предметов» по сравнению с «черными предметами», и астрономически больше «не ворон», чем «ворон».

Когда вы видите синее яблоко, оно, безусловно, служит доказательством того, что «все вороны черные», но его доказательная ценность (величина увеличения вероятности) бесконечно близка к нулю. Подтверждение одного из бесчисленных «нечерных предметов» в огромной вселенной увеличивает вероятность того, что «ворона черная», настолько же, насколько удаление одной песчинки из пустыни влияет на саму пустыню. С другой стороны, прямое нахождение одной черной вороны имеет подавляюще бóльшую доказательную ценность.

Иными словами, байесовское решение заключается в том, что хотя логически «синее яблоко является доказательством», на практике «его доказательная ценность равна нулю, поэтому его можно игнорировать».

2. Ограничения «комнатной орнитологии»

Этот парадокс подчеркивает, на какой хрупкой основе зиждется сама суть науки — «индукция (выведение общих законов из наблюдений)». Полагаясь только на логическую эквивалентность, становится возможной «комнатная орнитология», когда можно проверять любые законы вселенной (например, «все лебеди белые» или «все инопланетяне не зеленые»), просто наблюдая за хламом в своей комнате, даже не выходя на улицу.

Вороны Гемпеля — это очень интересный парадокс, который показывает, что слова «доказательство» и «подтверждение», которые мы используем бессознательно, не могут быть полностью охвачены правилами чистой символической логики.