Антология мировой философии. В 4 т. Т. 3. М.: Мысль, 1969. С. 549-586.

Поппер Карл Раймунд (1902 – 1994) – британский философ, логик и социолог, один из крупнейших мыслителей ХХ века. Работал в Вене, в Новой Зеландии, с 1946 – в Лондоне. Свою философскую концепцию критического рационализма разрабатывал путем преодоления логического позитивизма. Его идеи стали исходными для постпозитивизма, где важнейшей стала идея роста (развития) знания. Поппер подверг резкой критике марксистскую концепцию общественного развития. Вместе с тем сформулировал целый ряд продуктивных идей: о сущности и опасности тоталитаризма, о социальной технологии и социальной инженерии, о фундаментальной роли экономической организации общества для всех его институтов, о специфике социального познания и его методов.

Основные сочинения: «Нищета историцизма», «Открытое общество и его враги», «Логика и рост научного знания» (1959).

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

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

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

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

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

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

[Фальсифицируемость и фальсификация]

Для всякого подлинного высказывания должна существовать логическая возможность как его (окончательной) эмпирической верификации, так и его (окончательной) эмпирической фальсификации.

Если отказаться от этого допущения, то становится возможным простое разрешение того противоречия, которое образует проблему индукции. Мы можем вполне последовательно интерпретировать законы природы и теории как подлинные высказывания, которые частично разрешимы, то есть они – по логическим основаниям – не верифицируемы, но асимметричным образом только фальсифицируемы: это высказывания, проверяемые путем систематических попыток их фальсификации.

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

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

Таким образом, признание односторонне разрешимых высказываний позволяет нам решить не только проблему индукции (заметим, что существует лишь один тип умозаключения, осуществляемого в индуктивном направлении, а именно – дедуктивный modus tollens), но также более фундаментальную проблему демаркации – ту проблему, которая породила почти все другие проблемы эпистемологии. Наш критерий фальсифицируемости с достаточной точностью отличает теоретические системы эмпирических наук от систем метафизики (а также от конвенционалистских и тавтологических систем), не утверждая при этом бессмысленности метафизики (в которой, с исторической точки зрения, можно усмотреть источник, породивший теории эмпирических наук).

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

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

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

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