Фальсифицируемость по Попперу: критерий науки

Фальсифицируемость по Попперу - это свойство научного утверждения быть в принципе опровержимым опытом. Карл Поппер предложил её как критерий демаркации: границу, отделяющую науку от метафизики и псевдонауки. Главная мысль проста и контринтуитивна: научной теорию делает не то, что её можно подтвердить, а то, что её можно опровергнуть. Если ни один мыслимый результат наблюдения не способен противоречить теории, она ничего не запрещает, а значит, и ничего не говорит о мире. Ниже разберём, что такое критерий демаркации, потенциальный фальсификатор и эмпирическое содержание, почему смелые теории ценнее осторожных и где студенты чаще всего ошибаются. Чтобы сразу почувствовать, как смелость, точность и иммунизация влияют на научный статус утверждения, покрути калькулятор ниже - он показывает степень фальсифицируемости на шкале и разводит логическую вероятность и эмпирическое содержание.

Что такое критерий демаркации

Критерий демаркации - это правило, по которому утверждение относят к науке или выводят за её пределы. Поппер сформулировал его так: теория научна тогда и только тогда, когда она фальсифицируема, то есть из неё следуют запреты, которые можно проверить наблюдением или экспериментом. Высказывание «завтра здесь либо пойдёт дождь, либо не пойдёт» ничего не запрещает и потому ненаучно: оно истинно при любом исходе. А высказывание «завтра в полдень здесь пойдёт дождь» запрещает сухой полдень - его легко опровергнуть, и именно это делает его научным.

Рассчитать для своей задачи

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

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

Потенциальный фальсификатор

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

Рассчитать для своей задачи

Отсюда вытекает и метод науки по Попперу: не накапливать подтверждения, а выдвигать смелые гипотезы и пытаться их опровергнуть. Теория, выдержавшая серьёзные попытки опровержения, считается подкреплённой (corroborated), но не доказанной. Любое подкрепление временно - следующая проверка может всё изменить.

Эмпирическое содержание и логическая вероятность

Здесь у Поппера парадоксальный, но строгий вывод. Эмпирическое содержание теории - это множество того, что она запрещает. Чем больше теория запрещает, тем больше она говорит о мире и тем легче её проверить. Но чем больше она запрещает, тем меньше её логическая вероятность: смелое точное предсказание сбыться труднее, чем расплывчатое. Поэтому информативность и вероятность связаны обратно.

$\text{содержание} \uparrow \;\Rightarrow\; \text{логическая вероятность} \downarrow \;\Rightarrow\; \text{проверяемость} \uparrow.$

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

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

Иммунизация и ad hoc гипотезы

Самая частая угроза научности - иммунизация: спасение теории от опровержения добавлением оговорок, которые ничего нового не предсказывают. Когда предсказание не сбылось, можно либо признать теорию опровергнутой, либо пристроить вспомогательную гипотезу: «опыт был неточен», «вмешался скрытый фактор», «условия были не те». Такая ad hoc гипотеза допустима, только если она сама добавляет новые проверяемые следствия. Если же она лишь затыкает дыру и снижает фальсифицируемость, теория сползает в псевдонауку.

Рассчитать для своей задачи

Классические примеры самого Поппера - астрология, психоанализ Фрейда и марксистская теория истории в некоторых её версиях: они объясняют любой исход и потому несовместимы ни с каким наблюдением. Сила, которая всё объясняет, по Попперу не достоинство, а порок: теория, которую невозможно опровергнуть никаким мыслимым фактом, лежит вне науки.

Критика фальсификационизма

Строгий фальсификационизм столкнулся с серьёзными возражениями. Тезис Дюэма-Куайна гласит: на опыт мы выставляем не одну гипотезу, а целую связку с вспомогательными допущениями, поэтому опровержение не указывает однозначно, какой именно элемент ложен - всегда можно сохранить ядро, поправив периферию. Томас Кун заметил, что учёные редко бросают теорию после первого же расхождения с опытом: в нормальной науке аномалии терпят, пока не накопится кризис. Имре Лакатос смягчил Поппера до методологии исследовательских программ с защищаемым «твёрдым ядром» и эвристикой вокруг него.

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

Частые ошибки

• Путать фальсифицируемость и ложность. Фальсифицируемость - это опровержимость в принципе, а не то, что теория уже неверна. Опровержимая теория вполне может быть истинной.
• Считать верифицируемость критерием науки. Поппер критиковал именно подтверждаемость: подтверждения легко найти почти для любой теории, научность даёт способность опровергаться.
• Думать, что смелая теория хуже осторожной. Наоборот, смелая теория с низкой логической вероятностью информативнее и научнее, потому что больше запрещает и сильнее рискует.
• Считать всякую оговорку запрещённой. Вспомогательная гипотеза допустима, если добавляет новые проверяемые следствия; ненаучна лишь ad hoc оговорка, которая только снижает фальсифицируемость.
• Принимать фальсификационизм за полную теорию метода. Тезис Дюэма-Куайна и аргументы Куна показывают, что одно расхождение с опытом редко решает судьбу теории.

FAQ

Что такое фальсифицируемость по Попперу простыми словами? Это способность утверждения быть опровергнутым опытом: должно существовать мыслимое наблюдение, несовместимое с теорией. Если такого наблюдения нет в принципе, утверждение ненаучно.

Чем фальсифицируемость отличается от верифицируемости? Верифицируемость - это подтверждаемость опытом, фальсифицируемость - опровержимость. Поппер показал асимметрию: подтвердить всеобщее утверждение окончательно нельзя, а опровергнуть одним контрпримером можно, поэтому критерием науки он сделал именно опровержимость.

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

Коротко

Фальсифицируемость по Попперу - критерий демаркации: научно то, что в принципе опровержимо опытом, то есть имеет потенциальные фальсификаторы. Эмпирическое содержание теории - это всё, что она запрещает; чем больше она запрещает, тем ниже её логическая вероятность и выше проверяемость, поэтому смелые гипотезы ценнее осторожных. Иммунизация ad hoc оговорками снижает фальсифицируемость и уводит теорию в псевдонауку, а тезис Дюэма-Куайна и критика Куна и Лакатоса показывают, где у строгого фальсификационизма проходят границы.