В соответствии со сказанным теория познания, в
задачи которой входит анализ метода или процедур,
характерных для эмпирической науки, может быть пред-
ставлена как теория эмпирического метода — теория
того, что обычно называется «опытом».
6. Фальсифицируемость как критерий демаркации
Критерий демаркации, присущий индуктивной логи-
ке, то есть позитивистская догма значения, равносилен
требованию, что все высказывания в эмпирической на-
уке (или все высказывания, «имеющие значение») долж-
ны обладать качеством, которое давало бы возможность
определить их истинность или ложность. Мы будем го-
ворить, что этот критерий требует их «окончательной
разрешимости». А это означает, что рассматриваемые
высказывания должны быть таковы, чтобы было логи-
чески возможным их и верифицировать, и фальсифици-
ровать. В соответствии с этим Шлик заявляет: «...по-
длинное высказывание должно допускать окончатель-
ную верификацию» [86, с. 150]. Вайсман еще более
четко формулирует эту позицию: «Если не существует
никакого возможного способа определить, истинно ли
данное высказывание, то это высказывание вообще не
имеет значения, так как значение высказывания есть не
что иное, как метод его верификации» [89, с. 229].
С моей точки зрения, индукции*
19
вообще не суще-
ствует. Поэтому выведение теорий из сингулярных вы-
сказываний, «верифицированных опытом» (что бы это
ни означало), логически недопустимо. Следовательно,
теории никогда эмпирически не верифицируемы. Если
мы хотим избежать позитивистской ошибки, заключаю-
щейся в устранении в соответствии с нашим критерием
демаркации теоретических систем естествознания*
20
, то
нам следует выбрать такой критерий, который позво-
лял бы допускать в область эмпирической науки даже
такие высказывания, верификация которых невозможна.
*
19
Конечно, я при этом не имею в виду так называемую «ма-
тематическую индукцию». Я лишь отрицаю существование индукции
в так называемых «индуктивных науках», иначе говоря, отрицаю
существование «индуктивных процедур» и «индуктивных выводов».
*
20
В своей книге [15, с. 321] Карнап признал (со ссылкой на
мою критику), что именно в этом позитивистами допущена ошибка.
В [16] он пошел даже дальше, согласившись с тем, что универсаль-
ные законы не только «удобны», но и «существенны» для науки
62
Вместе с тем я, конечно, признаю некоторую систему
эмпирической, или научной, только в том случае, если
имеется возможность опытной ее проверки. Исходя из
этих соображений, можно предположить, что не вери-
фицируемость, а фальсифицируемость системы следует
рассматривать в качестве критерия демаркации*
21
.
Это означает, что мы не должны требов'ать. возмож-
ности выделить некоторую научную систему раз и на-
всегда в положительном смысле, но обязаны потребо-
вать, чтобы она имела такую логическую форму, кото-
рая позволяла бы посредством эмпирических проверок
выделить ее в отрицательном смысле: эмпирическая си-
стема должна допускать опровержение путем опыта
22
.
(В соответствии с этим критерием высказывание
«Завтра здесь будет дождь или завтра здесь дождя не
будет» нельзя считать эмпирическим просто потому,
что его нельзя опровергнуть, тогда как высказывание
«Завтра здесь будет дождь» следует считать эмпириче-
ским.)
Против предложенного критерия демаркации можно
выдвинуть различные возражения. Прежде всего, вполне
может показаться неверным, что науку, которая, как
полагают, дает нам позитивную информацию, следует
характеризовать как систему, удовлетворяющую отри-
цательному требованию типа опровержимости. Однако
в разд. 31—46 я покажу, что это возражение весьма
легковесно, поскольку количество позитивной инфор-
[16, с. 27]. Однако в своей индуктивистской книге [17] он возвращает-
ся к позиции, весьма сходной с той, которая послужила объектом
нашей критики. Установление нулевой вероятности универсальных
законов [17, с. 511] заставляет его заявить [17, с. 575], что, хотя их
и необязательно изгонять из науки, тем не менее наука вполне мо-
жет обходиться без них.
*
21
Обращаю внимание на то, что я предлагаю считать фальси-
фицируемость критерием демаркации, а не критерием значения.
Идею использования значения в качестве критерия демаркации я
резко критиковал уже в разд. 4 и буду вновь это делать — в еще
более резкой форме — в разд. 9. Поэтому мнение, что я предлагаю
фальсифицируемость в качестве критерия значения, является чи-
стейшим мифом (в то же время некоторые попытки опровержения
моей теории основываются именно на таком мифе). Фальсифицируе-
мость выделяет два вида полностью осмысленных высказываний:
фальсифицируемые и нефальсифицируемые. Она проводит, таким
образом, разделительную линию внутри осмысленного языка, а не
отделяют его от неосмысленного языка.
22
Сходные идеи можно также найти, например, у Франка
126, гл. I, § 10] и у Дубислава [22, с. 100]. См. также прим. 6 выше.
63