Фальсифицируемость как критерий демаркации

Критерий демаркации, присущий индуктивной логике, то есть позитивистская догма значения, равносилен требованию, что все высказывания в эмпирической науке (или все высказывания, «имеющие значение») должны обладать качеством, которое давало бы возможность определить их истинность или ложность. Мы будем говорить, что этот критерий требует их «полной разрешимости». А это означает, что рассматриваемые высказывания должны быть таковы, чтобы было логически возможным их и верифицировать, и фальсифицировать. В соответствии с этим Шлик заявляет: «...подлинное высказывание должно допускать полную верификацию»¹. Вайсман еще более четко формулирует эту позицию: «Если не существует никакого возможного способа определить, истинно ли данное высказывание, то это высказывание вообще не имеет значения, так как значение высказывания есть не что иное, как метод его верификации»².

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

¹ Schlick M. Die Kausalität in der gegenwärtigen Physik // Naturwissenschaften, 1931, Bd. 19, H. 7, S. 150.

² Waismann F. Logische Analyse der Wahrscheinlichkeitsbegriff // Erkenntnis, 1930/1931, Bd. 1, H. 3, S. 229.

*^l Конечно, при этом я не имею в виду так называемую «математическую индукцию». Я отрицаю лишь существование индукции в так называемых «индуктивных науках», иначе говоря, отрицаю существование «индуктивных процедур» и «индуктивных выводов».

*² В своей книге «Логический синтаксис языка» Р. Карнап признал (со ссылкой на мою критику), что именно в этом позитивистами допущена ошибка (см.: Carnap R. Logische Syntax der Sprache. Wien, Springer, 1934; английский перевод: The Logical Syntax of Language. London, Paul Trench, 1937, p. 321). В другой своей публикации он пошел еще дальше, согласившись с тем, что универсальные законы не только «удобны», но и «существенны» для науки (Carnap R. Testability and Meaning // Philosophy of Science, 1937, v. 4, N 1, p. 27). Однако в своей индуктивистской книге (Carnap R. Logical Foundations of Probability. Chicago, University of Chicago Press, 1950) он возвращается к позиции, весьма сходной с той, которая послужила объектом моей критики. Установление нулевой вероятности универсальных законов (Carnap R. Logical Foundations of Probability, p. 511) заставляет его заявить (ibid., p. 575), что, хотя их и не обязательно изгонять из науки, тем не менее наука вполне может обходиться без них.

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

(В соответствии с этим критерием высказывание «Завтра здесь будет дождь или завтра здесь дождя не будет» нельзя считать эмпирическим просто потому, что его нельзя опровергнуть, тогда как высказывание «Завтра здесь будет дождь» следует считать эмпирическим.)

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

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

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

*³ Обращаю внимание на то, что я предлагаю считать фальсифицируемость критерием демаркации, а не критерием значения. Идею использования значения в качестве критерия демаркации я резко критиковал уже в разделе 4 и буду вновь это делать — в еще более резкой форме — в разделе 9. Поэтому мнение, что я предлагаю фальсифицируемость в качестве критерия значения, является чистейшим мифом (в то же время некоторые попытки опровержения моей теории основываются именно на этом мифе). Критерий фальсифицируемости выделяет два вида полностью осмысленных высказываний: фальсифицируемые и нефальсифицируемые. Она проводит, таким образом, разделительную линию внутри осмысленного языка, а не вне его. См. также Приложение *1 к настоящей книге и главу I моего Postscript, в частности разделы *17 и *19, и мою книгу: Popper K. R. Conjectures and Refutations. The Growth of Scientific Knowledge. London Routledge and Kegan Paul, 1963, ch. 1 и 11.

³ Сходные идеи можно также найти, например, у Ф. Франка (Frank Ph. Das Kausalität und ihre Grenzen. 1931, ch. I, § 10, S. 15 и след.) и у В. Дубислава (Dubislav W. Die Definition. Leipzig, Meiner, 1931, S. 100 и след.). См. также примечание 1 к разделу 4.

из логической формы универсальных высказываний*⁴. Дело в том, что универсальные высказывания никогда не выводимы из сингулярных высказываний, но последние могут противоречить им. Следовательно, посредством чисто дедуктивных выводов (с помощью modus tollens классической логики) возможно переходить от истинности сингулярных высказываний к ложности универсальных. Такое рассуждение, приводящее к утверждению ложности универсальных высказываний, представляет собой единственный вид выводов чисто дедуктивного типа, который идет, так сказать, в «индуктивном направлении», то есть от сингулярных высказываний к универсальным.

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

Я вынужден признать справедливость такой критики, но это вовсе не принуждает меня отказаться считать фальсифицируемость критерием демаркации. В дальнейшем (в разделе 20 и далее) я собираюсь предложить концепцию, согласно которой эмпирический метод следует характеризовать как метод, который исключает как раз те способы игнорирования фальсификации, которые, по вполне справедливым замечаниям моих воображаемых оппонентов, являются логически возможными. Моя концепция подразумевает, что главной характеристикой эмпирического метода является то, что он подвергает систему, подлежащую проверке, фальсификации всеми возможными способами. Цель этого метода — вовсе не спасение несостоятельных систем, а, наоборот, отбор той из них, которая наиболее приспособлена к выживанию по сравнению с другими. Это достигается тогда, когда рассматриваемые системы участвуют в жесточайшей борьбе за выживание.

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

*⁴ Более подробное обсуждение этой асимметрии можно найти в разделе *22 моего Postscript.

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