КРИТЕРИЙ ФАЛЬСИФИЦИРУЕМОСТИ

Исследование начинается с проблем, а чтобы их решить, нужны гипотезы. Выдвинутые гипотезы подлежат проверке путем извлечения из них следствий и анализа того, что они дают. По характеру следствий мы судим, подтверждается гипотеза или нет. Другими словами, даны проблема P и теория Т, предложенная как решение проблемы. Мы говорим: если Т верна, должны следовать p₁, р₂, р₃..., подтверждающие эту теорию. Их отсутствие будет свидетельствовать об обратном.

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

666 Поппер

ненаучна. Заметим, что иной раз метафизическая на сегодня теория завтра может стать научной, так метафизика атомизма времен Демокрита в эпоху Ферми стала научной теорией.

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

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

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

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