Фаллибилизм против фальсификационизма

Лакатос Имре

Например, представим, что открыта радиозвезда с системой спутников, вращающихся вокруг нее. Проверка теории тяготения на этой планетарной системе, безусловно, представляла бы большой интерес. Допустим, что обсерватория Джодрел Бэнк получила ряд пространственно-временных координат планет, входящих в эту систему, которые несовместимы с данной теорией. Можно рассматривать эти данные как множество потенциальных фальсификаторов. Конечно, эти базисные предложения не являются наблюдениями в прямом смысле, но их можно считать “наблюдениями” в кавычках. Ведь этими предложениями описываются положения планет, не доступные ни человеческому глазу, ни оптическим инструментам. Их истинностные значения зависят от определенной “экспериментальной техники”. Последняя же основывается на применении хорошо подкрепленной радиооптической теории. Назвать такие предложения “наблюдательными” - не более, чем манера речи; в данном контексте это означает только то, что при проверке теории тяготения методологический фальсификационист относится к радиооптике как к “исходному знанию”, некритически. Для этого вида методологического фальсификационизма характерна необходимость принятия решений, которыми проверяемая теория отграничивается от непроблематичного исходного знания. [42] (Все это очень похоже на то, как Галилей “наблюдал” спутники Юпитера. Как было верно замечено уже современниками Галилея, он опирался

на оптическую теорию, которая, если и существовала, то во всяком случае была и менее подкреплена, и даже менее разработана, чем нынешняя радиооптика. С другой стороны, когда зрительные ощущения человека называют “наблюдениями”, это означает только то, что мы “полагаемся” на сомнительную психологическую теорию человеческого зрения. [43] )

42

 Такое разграничение играет какую-то роль в первом и в четвертом типах решений методологического фальсификациониста

43

 Интересное обсуждение этой темы можно найти у Фейерабенда [57]

Это говорит о том, что конвенциональный элемент, как он понимается в данном контексте, позволяет считать теорию “наблюдательной” (в методологическом смысле). [44] Аналогично, конвенциональный элемент присутствует в решении вопроса, какое значение истинности должно быть приписано базисному предложению, принятому уже после того, как мы решили, какую теорию использовать как “наблюдательную”. Единичное наблюдение может быть случайным результатом простой ошибки. Чтобы уменьшить риск, методологический фальсификационист рекомендует принять меры безопасности. Простейшая из них состоит в том, чтобы повторять эксперименты (сколько раз - это дело соглашения), другая мера - “усиливать” потенциальные фальсификаторы “хорошо подкрепленными фальсифицирующими гипотезами”. [45]

44

 Можно спросить не лучше ли было бы отказаться от терминологии натуралистического фальсификационизма и окрестить “наблюдательные” теории “пробными теориями”?

45

 См. [161], гл. 22. Многие философы как-то просмотрели важное замечание Поппера о том, что базисное предложение не может ничего опровергнуть без помощи хорошо подкрепленной фальсифицирующей гипотезы.

Методологический фальсификационист также принимает во внимание, что фактически такого рода соглашения приобретают институциональный характер и одобряются научным сообществом; какие фальсификаторы “принимаются”, а какие нет, зависит от вердикта ученых-экспериментаторов. [46]

Именно так методологический фальсификационист устанавливает свой “эмпирический базис”. (Кавычки ставятся специально, чтобы подчеркнуть “ироническое звучание” этого термина. [47] ) Такой “базис” вряд ли соответствует критериям джастификационизма, в нем нет ничего доказательно обоснованного - этот термин означает “сваи, забитые в болото”. [48]

46

 См. [161], гл. 30; [русск. перев., с 145].

47

 См. [161], р. 387

48

 [161], гл. 30, 29, [русск. перев., с. 148]

Конечно, если теория приходит в столкновение с таким “эмпирическим базисом”, она может быть названа “фальсифицированной”, но “фальсификация” здесь не означает опровержения. Методологическая “фальсификация” сильно отличается от догматической фальсификации. Если теория фальсифицирована в смысле догматического фальсификациониста, это значит, что она ложна; но “фальсифицированная теория” все же может быть истинной. Если мы вслед за “фальсификацией” еще и “элиминируем” теорию, то вполне можем элиминировать истинную теорию или сохранить ложную (это как раз то, что должно вызвать праведный гнев у старомодного джастификациониста).

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

Поэтому методологический фальсификационист призывает: “Чтобы заставить метод отбора посредством элиминации работать и обеспечить выживание только самых добротных теорий, надо создать для них условия суровой борьбы за жизнь”. [49] Раз теория фальсифицирована, она должна элиминироваться, несмотря на связанный с этим риск: “мы работаем с теориями только до тех пор, пока они не падают под проверками”. [50] С методологической точки зрения, элиминация должна быть окончательной: “в общем случае интерсубъективно проверяемую фальсификацию мы считаем окончательной... Подкрепляющая оценка, совершаемая в более поздний период времени…, может заменить позитивную степень подкрепления негативной, но не наоборот”. [51] Выбраться из ложной колеи можно лишь с помощью эксперимента, который “помогает нам сойти с дороги, которая ведет в тупик”. [52]

49

 [159], р. 134; [русск. перев. № 10, с. 44]. В других работах Поппер подчеркивает, что его метод не может «гарантировать» выживание сильнейшим. Естественный отбор может ошибаться: сильнейшие могут гибнуть, а монстры — выживать.

50

 См. [155].

51

 [161], гл. 82; [русск. перев., с. 213].

52

 Там же, с. 214.

В отличие от догматического фальсификациониста, методологический фальсификационист различает простое отбрасывание и опровержение. [53] Он - фаллибилист, но его фаллибилизм не ослабляет его критический запал: подверженные ошибкам высказывания он превращает в “базис”, чтобы продолжать свою твердую политику. На этом основании он предлагает новый критерий демаркации: только те теории, то есть высказывания, не являющиеся “предложениями наблюдения”,

которые запрещают определенные “наблюдаемые” состояния объектов и поэтому могут быть “фальсифицированы” и отброшены, являются “научными”. Другими словами, теория является “научной” (или “приемлемой”), если она имеет “эмпирический базис”. В этом критерии четко видна разница между догматическим и методологическим фальсификационизмом. [54]

53

 В отличие от догматической фальсификации (опровержения), эта “фальсификация” представляет собой прагматическую, методологическую идею. Но что же она означает? Ответ Поппера, с которым я не согласен, заключается в следующем: методологическая “фальсификация” указывает на “необходимость замены фальсифицированных гипотез лучшими гипотезами” ([161], р. 87; [русск. перев., с. 116]). Это хорошо иллюстрирует тот процесс, который описан мной в [92], когда критическая дискуссия изменяет исходную проблему, но оставляет старую терминологию. Побочным результатом оказывается изменение значений терминов.

54

 Критерий демаркации догматического фальсификациониста: теория “научна”, если она имеет эмпирический базис.

Методологический критерий демаркации куда более либерален, чем догматический. Методологический фальсификационизм раскрывает перед критицизмом новые горизонты: гораздо больше теорий квалифицируются как “научные”. Мы уже видели, что “наблюдательных” (в кавычках) теорий больше, чем наблюдательных (без кавычек), и, следовательно, “базисных” (в кавычках) предложений больше, чем базисных (без кавычек). [55]

Кроме того, вероятностные теории тоже могут теперь квалифицироваться как “научные”: хотя они не фальсифицируемы, они легко превращаются в “фальсифицируемые” посредством принятия добавочного решения (третьего типа). Это решение ученый может принять, уточнив некоторые правила отбрасывания, которые могут сделать статистически интерпретированное подтверждение “несовместимым” с вероятной теорией. [56]

55

 Между прочим, Поппер [161] не совсем четко фиксирует этот момент. Он пишет: “Конечно, можно интерпретировать понятие наблюдаемое событие в психологическом смысле. Однако я использую это понятие в таком смысле, который позволяет заменить его на понятие “событие, характеризующееся положением и движением макроскопических физических тел” ([161], гл. 28; [русск. перев., с. 137]). Например, мы можем признать позитрон, проходящий через камеру Вильсона в момент t₀, наблюдаемым событием, хотя сам позитрон имеет отнюдь не макроскопическую природу.

56

 См. [161], гл. 68. Действительно, методологический фальсификационизм является философской основой некоторых из наиболее интересных направлений в современной статистике. Подход Неймана – Пирсона полностью основывается на методологическом фальсификационизме. См. также [27], гл. VI. (К сожалению, Брейсуэйт истолковывает попперовский критерий демаркации как водораздел между осмысленными и неосмысленными, а не между научными и не-научными высказываниями.)

Но даже эти три решения недостаточны для “фальсификации” теории, которая не может объяснить что-либо “наблюдаемое” без ограничения ceteris paribus. Никакого конечного числа “наблюдений” не достаточно, чтобы “фальсифицировать” такую теорию. Однако, если это так, то можно ли разумно защищать методологию, которая претендует “интерпретировать законы природы и теории как… высказывания, которые частично разрешимы, то есть они - по логическим основаниям - не верифицируемы, но асимметричным образом только фальсифицируемы. . .”? [57] Как можем мы интерпретировать теории, подобные теории тяготения и динамике Ньютона, в терминах “частичной разрешимости”? [58] Как в таких случаях, не кривя душой, пытаться “избавиться от ложных теорий - найти в теории слабые места, чтобы отвергнуть ее, если она в результате проверки оказывается фальсифицированной”? [59] Как мы можем включить их в сферу рациональной дискуссии?

57

 [153] [русск. перев., с. 237].

58

 Там же, с. 238.

59

 [159], р. 133; [русск. перев. № 10, с. 44].

Методологический фальсификационист решает эту проблему, принимая новое решение (четвертого типа): когда мы проверяем теорию вместе с ограничением ceteris paribus и находим, что эта конъюнкция опровергнута, мы должны решить, считать ли это опровержение также и опровержением специфической теории.

Например, можно принять “аномалию” перигелия Меркурия как опровержение конъюнкции из трех элементов - теории Ньютона, известных граничных условии и ограничения ceteris paribus - N₃. Затем “сурово” проверить граничные условия [60] и, может быть, перевести их в ранг “непроблематичного исходного знания”. Из этого будет следовать, что опровергнута иная конъюнкция, уже из двух элементов - теории Ньютона и ограничения ceteris paribus - N₂. Теперь надо принимать главное решение: снести и ограничение ceteris paribus в общий котел “непроблематического исходного знания”. Это тоже можно сделать, если ограничение ceteris paribus хорошо подкреплено.

60

 Обсуждение этого важного понятия попперовской методологии см. в [93], р. 397 и далее.

Что означает “суровая” проверка ограничения ceteris paribus? Надо предположить, что существуют другие факторы, воздействующие на данное событие, определить эти факторы и проверить конкретные допущения о них. Если многие из этих допущений опровергнуты, ограничение ceteris paribus может считаться хорошо подкрепленным.

Но если принято решение о “приемлемости” ограничения ceteris paribus, то это влечет за собой очень рискованные последствия. Если это входит в “исходное знание”, то предложения, описывающие перигелий Меркурия, рассматриваются уже не как эмпирический базис N₂, а как эмпирический базис самой теории Ньютона, и, следовательно, то, что было простой “аномалией”, становится решающим свидетельством против N₁, ее фальсификацией. (Некое событие, описываемое предложением А, можно назвать “аномалией по отношению к теории Т”, если А - потенциальный фальсификатор конъюнкции Т и ограничения ceteris paribus; но то же предложение становится потенциальным фальсификатором самой теории Т, если принято решение считать ограничение ceteris paribus частью “непроблематического исходного знания”.)