Сначала я скажу здесь еще несколько слов о проблеме демаркации и о моем решении.
(1) Как мне пришло в голову с самого начала, проблема демаркации была не проблемой различения между наукой и метафизикой, а скорее проблемой различения науки и псевдонауки. В то время я совсем не интересовался метафизикой. Только позднее я расширил мой «критерий демаркации» до метафизики.
(2) Моя главная идея в 1919 году состояла в следующем: если кто-то предлагает научную теорию, то он должен, как Эйнштейн, ответить на вопрос: «При каких условиях я признаю мою теорию неприемлемой?» Иначе говоря, какие мыслимые факты я принимаю в качестве опровержений или фальсификаций моей теории?
(3) Я был шокирован тем фактом, что марксисты (центральный тезис которых состоял в том, что они были учеными-обществоведами) и психоаналитики всех мастей могли интерпретировать любое мыслимое событие как верификацию их теорий. Это, в соединении с моим критерием демаркации, привело меня к воззрению, что только неудавшаяся попытка опровержения может считаться «верификацией».
(4) Я по-прежнему поддерживаю (2). Но когда немного позже я пытался ввести идею фальсифицируемости (или проверяемости, или опровержимости) теории как критерия демаркации, то скоро обнаружил, что любая теория может быть «иммунизирована» (этот превосходный термин придумал Ганс Альберт)[39] от критики. Если мы допускаем такую иммунизацию, любая теория становится нефальсифицируемой. Таким образом, мы должны исключить по крайней мере некоторые иммунизации.
С другой стороны, я также понимал, что мы должны исключать не все иммунизации, и даже не все те, которые были введены в качестве вспомогательных ad hoc гипотез. Например, наблюдаемые движения Урана можно рассматривать как фальсификацию теории Ньютона. Вместо этого была введена вспомогательная гипотеза ad hoc о наличии внешней планеты, иммунизировавшая теорию. Это обернулось удачей, так как вспомогательная гипотеза была проверяемой и успешно выдержала проверку.
Все это указывает не только то, что некоторая степень догматизма может быть плодотворной, но и то, что, логически говоря, фальсифицируемость или проверяемость не может считаться очень жестким критерием. Позднее, в «Логике научного открытия», я коснулся этого вопроса очень подробно. Я ввел идею степеней проверяемости, которая тесно связана с идеей (степеней) содержания, и оказалась на удивление плодотворной: рост содержания стал критерием того, следует ли нам принимать на пробу вспомогательную гипотезу.
Несмотря на то, что все это было ясно изложено в моей «Логике научного открытия» 1934 года издания, вокруг моих взглядов сложилось много легенд[40]. (Они в ходу и сейчас.) Во-первых, что я ввел фальсифицируемость как критерий смысла, а не как критерий демаркации. Во-вторых, будто я не знал, что всегда существует возможность иммунизации, и поэтому проглядел тот факт, что, поскольку все теории могут быть спасены от фальсификации, то ни одну из них нельзя назвать просто «фальсифицируемой». Иначе говоря, в этих легендах мои собственные результаты стали поводом для отрицания моего подхода[41].
(5)В качестве подведения итогов можно показать на примерах, как разные типы теоретических систем относятся к процедурам проверяемости (или фальсифицируемости) и иммунизации.
(a) Существуют метафизические теории чисто экзистенциального характера (они специально обсуждаются в «Предположениях и опровержениях»)[42].
(b) Существуют теории типа психоаналитических теорий Фрейда, Адлера и Юнга или сходных с ними (довольно смутных) астрологических мифов[43].
Ни (а), ни (b) не являются фальсифицируемыми или проверяемыми.
(c) Существует то, что можно назвать «немудреными» теориями типа «Все лебеди белые» или гелиоцентрического «Все звезды, кроме планет, движутся по кругам». Сюда можно включить и законы Кеплера (хотя они во многих смыслах весьма мудреные). Эти теории фальсифицируемы, хотя, конечно, фальсификации можно избежать: иммунизация возможна всегда. Однако такое избегание обычно бывает нечестным: оно может состоять, скажем, в отрицании того, что черный лебедь это лебедь или что он черный или что не-кеплеров-ская планета является планетой.
39
39 Cp. Hans Albert,
(Добавлено при правке корректуры.) Дэвид Миллер обратил мое внимание на примеч. 1 на стр. 560 в статье Артура Папа Arthur Pap, «Reduction Sentences and Dispositional Concepts» in
41
41 Для гораздо более полного обсуждения см. главы 2, 3 и 5 моих «Ответов моим критикам».
42