Формула Винни-Пуха

Краткое определение

«Формула Винни-Пуха» (ФПВД) — мнемоническое имя для формулы поиска наилучшего объяснения: L = Ф × П × В × Д, где Ф — фоновые данные, П — простота, В — вероятность, Д — диапазон возможных объяснений; всё это работает только при удержании цели рассуждения. Это упрощённая, операциональная версия байесовского рассуждения, заимствованная корпусом у аналитического философа Ричарда Суинберна и привязанная к мультфильму про Винни-Пуха как к дидактическому примеру. Формула не порождает мысль, а проверяет её: она отсекает ветки в дереве гипотез сверху вниз, выступая «оборотной стороной монетки» к НСОВ, которая работает снизу вверх — от наблюдения к выводу.

Тезисы корпуса

• Формула состоит из четырёх множителей плюс цель: «фоновые данные базовое сконструированы самое простое объяснение самое вероятное диапазон возможных объяснений и цель рассуждения». Без удержания цели сито не работает.
• Это алгоритм отсечения веток, применяемый рекурсивно: каждый прошедший проверку шаг становится фоновыми данными для следующего — «по сути формула есть алгоритм выбора веток на каждом шагу», и далее «мы берем этот базовый аргумент, уже принимаем за фоновые знания и движемся к следующему».
• Назначение — перепроверка длинных цепочек и научных гипотез, а не порождение умозаключений: > «Формула Винни-Пуха не имеет никакого отношения к этому искусству. Она существует для перепроверки качества этого рассуждения».
• ФПВД и НСОВ — парные инструменты: НСОВ восходит от наблюдения к выводу, ФПВД нисходит от диапазона к одной ветке; одно без другого не ходит.
• Прикладной режим — построение и проверка версий в детективной/аналитической работе: введение новых субъектов оправдано, если это «самым простым самым вероятным и в диапазоне» объяснением наблюдаемых данных,.
• В споре формула работает как первое правило определения вещи: большинство конфликтов — это игнорирование фоновых данных при определении предмета разговора.

Соседние понятия

Главная граница — между порождением мысли и её проверкой. Корпус настойчиво отделяет ФПВД от «искусства мысли» как такового: > «Многие люди прекрасно рассуждают понятия не имея о формуле Винни-Пуха». Формула — инструмент аудита, а не двигатель.

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

Второе различение — между базовыми и сконструированными фоновыми данными: первые приходят с миром, вторые наращиваются в ходе самого рассуждения, превращая ФПВД в обучающийся фильтр. Третье — между диапазоном и целью: диапазон задаёт пространство возможностей, цель — направление просеивания; без цели формула вырождается в перебор.

Линия наследования

Прямой источник, названный самим корпусом, — Ричард Суинберн и его байесовская реконструкция вывода о наилучшем объяснении: «формула поиска наилучшего объяснения выведена великим английским аналитическим философом… которого зовут Ричард Суинбер». Через Суинберна корпус подключается к традиции inference to the best explanation (Гилберт Хармон, Питер Липтон) и к самой теореме Байеса как формальному предку. Дидактическая оболочка — советский мультфильм «Винни-Пух» (Хитрук, по А. А. Милну): сцена с пчёлами и шариком разыгрывается как пошаговая работа формулы. На дальнем плане — бритва Оккама, задающая нормативный приоритет простоте, и шерлок-холмсовская модель версии, к которой формула регулярно прилагается в материале занятий.