Бритва Оккама: как принцип экономии работает и почему им так удобно злоупотреблять

В философии науки простота может означать разные вещи: меньше предполагаемых сущностей, более экономную структуру теории, меньше независимых допущений. Эти достоинства не всегда совпадают. Объяснение бывает коротким благодаря очень сильному предположению, которое пока ничем не поддержано. Спор о том, когда простота служит основанием ожидать истину, остаётся открытым; её роль не сводится к одной лишь экономии времени на проверку. Различия подробно разбирает статья Simplicity в Stanford Encyclopedia of Philosophy ↗.

Представим условную ситуацию: у цветов на подоконнике каждое утро мокрый пол. Одна версия — вода вытекает из треснувшего поддона. Другая — кто-то ночью приносит воду, разливает её, затем прячет ёмкость. Вторая версия требует дополнительных событий, для которых пока нет свидетельств. Это повод сначала осмотреть поддон. Но если поддон цел, а на записи видно, как во время ночного полива воду проливают прямо на пол, первоначальное объяснение нужно пересмотреть.

Здесь есть три отдельных вопроса: какие факты известны, что каждая версия к ним добавляет и какое наблюдение позволит версии различить. Само слово «Оккам» не отвечает ни на один из них.

Уильям Оккам — английский философ, логик и францисканец XIV века. Принцип экономии связан с его философией, но популярная формула «не следует умножать сущности без необходимости» не найдена в его сочинениях в таком буквальном виде. В его рассуждениях есть близкие правила; необходимость вводить дополнительные сущности зависит от того, что требуется объяснить. Исторические формулировки и контекст изложены в академической статье об Оккаме ↗, особенно в разделе об онтологии.

Поэтому привычную фразу лучше обозначать как позднее выражение принципа, а не выдавать за дословную реплику средневекового автора. Для знакомства с идеей этого уточнения достаточно: её ценность не зависит от того, удастся ли найти эффектный афоризм в первоисточнике.

Один понятный современный пример — сравнение статистических моделей. Очень гибкая модель способна точно подогнаться под изученные наблюдения, включая случайные особенности. На новых данных результат может оказаться хуже, чем у менее гибкой модели. Это называют переобучением. Но чрезмерно простая модель тоже может пропускать закономерности. Поэтому оценивают качество на данных, не использованных для подгонки, а не просто выбирают минимум параметров. Различие качества модели на обучающих и новых данных обсуждается в An Introduction to Statistical Learning, § 2.2.1 ↗.

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

Это иллюстрация баланса, а не доказательство универсальной бритвы Оккама. В конкретном исследовании важны способы измерения, устройство модели, качество данных и выбранная мера ошибки.

Вернёмся к подоконнику. Предположим, трещину нашли, но вода появляется и возле другого окна, где поддона нет. Сказать «лишние детали только усложняют картину» — значит отказаться объяснять часть наблюдений. Трещина может объяснять одну лужу, но для второй требуется отдельная проверка.

Подмена возникает, когда экономию предположений превращают в экономию внимания. В первом случае спрашивают, какую работу выполняет каждый элемент объяснения. Во втором оставляют только факты, удобные для выбранной версии.

Полезная проверка: назвать факт, который заставил бы отказаться от объяснения или изменить его. Если любой результат заранее объявляется совместимым с версией, нужно уточнить, чем она помогает различать возможные события. Это вопрос к устройству аргумента, а не повод автоматически отвергать всё сложное. Подробнее о проверке оснований — в разделе «Аргументация».

Простоту объяснения обсуждают через его устройство: что оно предполагает, какие наблюдения учитывает, каких дополнительных условий требует. Удобство зависит и от человека, который его выбирает. Версия может успокаивать, подтверждать обиду или позволять ничего не менять.

Например, знакомый не ответил на сообщение. «Он занят» и «он не хочет общаться» — две короткие фразы, но их длина ничего не говорит о правдоподобии. Важно, сколько прошло времени, о чём шла речь, была ли договорённость ответить и что известно о ситуации. При отсутствии данных разумно оставить несколько возможностей открытыми.

Не стоит механически считать допущения: три бытовые детали не обязательно менее правдоподобны, чем одно чрезвычайное событие. Полезнее выписать, что известно непосредственно, что предполагается и что можно уточнить. Такой список делает неопределённость видимой, хотя не устраняет её.

Бритвой Хэнлона называют совет не спешить объяснять случившееся злым умыслом, если достаточно ошибки или неразумного действия. Формулировка зафиксирована, например, в Jargon File ↗. Это практическая эвристика, а не установленное распределение человеческих мотивов.

Если кто-то прислал неверный файл, сначала можно уточнить, не перепутана ли версия. Однако найденные свидетельства намеренного обмана нельзя исключать ради красивого правила. Неосторожность и злой умысел могут приводить к похожему результату; различать их приходится по обстоятельствам.

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

Она не сообщает неизвестные факты и не позволяет вычислить вероятность события по впечатлению от объяснения. Не заменяет экспертизу там, где непонятны устройство предмета и условия наблюдения. И не гарантирует, что реальная причина окажется единственной: несколько независимых причин могут действовать одновременно.

При этом принцип полезен как требование обосновывать усложнения. Если новая деталь ничего не меняет в объяснении и не поддержана отдельно, стоит спросить, зачем она нужна. Если без неё теряется существенное наблюдение, удалять её лишь ради краткости нет оснований.

Самое простое объяснение всегда верное?

Нет. Простота — один из возможных доводов при сравнении объяснений. Качество данных, охват наблюдений и независимые проверки могут изменить первоначальный выбор.

Можно ли опровергнуть версию, назвав её слишком сложной?

Одного этого недостаточно. Нужно показать, какие допущения не нужны или не обоснованы и какое объяснение справляется с той же задачей лучше. Иначе оценка сложности остаётся впечатлением.

Бритва Оккама запрещает невидимые причины?

Нет. Вопрос в основаниях и объяснительной работе предположения, а не в возможности увидеть предполагаемый объект глазами. Запрет на всё ненаблюдаемое напрямую был бы другим, гораздо более сильным правилом.

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

После результата запись нужно обновить. Если следа нет, это основание искать дальше с учётом условий опыта. Если след появился, трещина получила дополнительную поддержку, но вопрос о втором окне остаётся. Хорошая проверка позволяет сохранить эту разницу, вместо того чтобы объявлять всю историю окончательно разгаданной.

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