Логика открытия или психология исследования?

Но сэр Карл описывает как "фальсификацию" и "опровержение" то, что происходит, когда попытка изменить теорию терпит неудачу, и это первый из ряда взаимосвязанных тезисов, которые опять-таки поражают меня своей крайней странностью. И "фальсификация" и "опровержение" - антонимы "доказательства". Они взяты главным образом из логики и формальной математики; цепочки выводов, в которых они применяются, заканчиваются выражением "что и требовалось доказать"; употребление этих терминов подразумевает способность принудить к согласию любого члена соответствующего профессионального сообщества. Никто из членов этого коллектива, однако, уже не нуждается в том, чтобы ему сообщали, что там, где целая теория или часто даже один закон науки поставлены на карту, аргументы редко бывают такими неоспоримыми. Все эксперименты могут быть оспорены либо с точки зрения их релевантности, либо с точки зрения их точности. Все теории могут быть изменены с помощью ухищрений ad hoc, не переставая при этом быть теми же самыми теориями. Важно, что это так и должно быть, поскольку научное знание часто растет путем проблематизации наблюдений или подгонки теорий. Проблематизация и подгонка - обычная составная часть нормального исследования в эмпирической науке, и подгонки во всяком случае играют доминирующую роль также и в неформальной математике. Блестящий анализ допустимых реакций на опровержения в математике, проведенный И.Лакатосом, дает самые убедительные аргументы против наивно-фальсификационистской позиции²⁸. Сэр Карл, конечно, не наивный фальсификационист. Он знает все только что сказанное, и подчеркивает это с самого начала своей научной карьеры. Давным-давно, в "Логике научного открытия", например, он писал: "Фактически окончательного опровержения теории вообще нельзя провести, так как всегда возможно заявить, что экспериментальные результаты ненадежны или что расхождения, которые, мол, существуют между данной теорией и экспериментальными результа-

33

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

Если бы предметом его забот была исключительно демаркация, то проблемы, возникающие из-за недостижимости окончательного опровержения, были бы менее трудны и, вероятно, устранимы. Ведь демаркация может быть достигнута посредством одного только синтаксического критерия³⁰. Точка зрения сэра Карла, сообразно этому, состояла бы — и, вероятно, состоит сейчас — в том, что теория научна тогда и только тогда, когда предложения наблюдения, в особенности отрицания отдельных экзистенциальных высказываний, могут быть логически выведены из нее, возможно, будучи связаны с фоновым знанием, наличие которого должно иметься в виду. Трудности (к которым я вскоре перейду), возникающие при решении вопроса, подтверждают ли результаты опытов какой-то отдельной лаборатории некоторые отдельные предложения наблюдения, в таком случае исчезают. Не исключено (хотя основания для этого не так очевидны), что столь же серьезные трудности при решении вопроса, может ли какое-то предложение наблюдения, выведенное из аппроксимативного (например, математизированного) варианта теории, рассматриваться как следствие теории как таковой, эти трудности могут быть устранены тем же путем. Проблемы, подобные этим, принадлежат скорее не к синтаксису, а к прагматике или семантике языка, в котором сформулирована теория, следовательно, они не играют роли в определении ее статуса как науки. Чтобы быть наукой, теории необходимо быть фальсифицируемой только предложениями наблюдения, а не самим реальным наблюдением. Отношение между высказываниями, в отличие от отношений между высказыванием и наблюдением, может стать окончательным опровержением, известным из логики и математики.

Я уже называл причины (см. сноску 29), а ниже еще остановлюсь на них, по которым я сомневаюсь в том, что научные теории могут

34

без существенных изменений быть сформулированы таким образом, который допускает чисто синтаксические суждения, которых требует вариант критерия, предлагаемого сэром Карлом. Но даже если бы это было возможно, эти реконструированные теории дали бы основу только для его критерия демаркации, а не для логики познания, так тесно с ним связанной. Последняя, однако, представляет собой предмет постоянной заботы сэра Карла, и его мнение на этот счет совершенно ясно. "Задача логики познания, - пишет он, - ...состоит исключительно в исследовании методов, используемых при тех систематических проверках, которым следует подвергнуть любую новую идею, если она, конечно, заслуживает серьезного отношения к себе"³¹. Результат такого исследования, продолжает он, — методологические правила или конвенции, подобные следующему: "Если некоторая гипотеза была выдвинута, проверена и доказала свою устойчивость, ее нельзя устранять без "достаточных оснований". "Достаточным основанием", к примеру, может быть замена данной гипотезы на другую, лучше проверяемую гипотезу или фальсификация одного из следствий рассматриваемой гипотезы"³².

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

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

35

мое событие как подтверждающий, или фальсифицирующий, или же индифферентный по отношению к теории случай? Если некий общий закон фальсифицируем, то для его проверки требуется: чтобы проверить генерализацию (х) f(х), применяя его к константе a, мы должны иметь возможность определить, находится ли а в области переменной x и имеет ли место f (a) То же самое предположение даже еще более явно в критерии verisimilitude [правдоподобия], разработанном недавно сэром Карлом. Он требует, чтобы мы сперва вывели всю совокупность логических следствий из теории и затем выбирали из них при помощи фонового знания все истинные и все ложные следствия". В конце концов, мы должны так поступать: если полагать, что критерий verisimilitude должен служить как метод при выборе теории. Ни одна из этих задач, однако, не будет выполнена, пока теория не будет полностью логически проработана и пока термины, с помощью которых она соотносится с природой, не определены таким способом, который был бы достаточен для того, чтобы устанавливать их применимость в каждом отдельном случае. Однако на практике ни одна научная теория не отвечает этим строгим требованиям, и многие доказывали, что теория перестала бы быть полезной, если бы отвечала им³⁴. Я сам некогда ввел термин "парадигма", чтобы подчеркнуть зависимость научного исследования от конкретных примеров, благодаря которым наводятся мосты там, где в противном случае зияли бы пропасти, разделяющие содержание теорий и их применения. Здесь я не могу останавливаться на соответствующей аргументации. Но один короткий пример, хотя он на время отвлечет ход наших рассуждений, может оказаться даже более полезным.

Мой пример будет иметь вид некой  совокупности элементарного научного знания. Это знание о лебедях, и  чтобы выделить его соответствующие  данному моменту характеристики, мне придется задать три вопроса: (а) Как много человек может знать о лебедях, чтобы не применять обобщения типа "Все лебеди белые"? (b) При каких обстоятельствах и с какими последствиями такие обобщения представляют собой нечто добавочное к тому, что уже известно без них? (с) При каких обстоятельствах обобщение отвергается, будучи уже сделанным? Постановкой таких вопросов я пытаюсь выразить мысль, согласно которой — хотя логика есть мощное и в конечном счете существенное орудие научного исследования - можно иметь полноценное знание в формах, к которым логика вряд ли применима. Одновременно с этим я покажу, что логическая проработка не является ценностью сама по себе и должна применяться только тогда и до той степени, когда и в какой степени этого требуют обстоятельства.

36

Представьте себе, что вы видели и смогли запомнить десять птиц, которые с большой вероятностью идентифицируются как лебеди; кроме того вы подобным же образом знакомы с утками, гусями, голубями, чайками и т.д., а также знаете о том, что каждый из этих типов образует вид. Этот вид вам уже знаком в качестве наблюдаемого множества сходных объектов, достаточно значимого и достаточно дискретного, чтобы иметь общевидовое название. Точнее, хотя я здесь упрощаю больше, чем того требует идея, вид — это множество, элементы которого более подобны друг другу, чем элементам других видов³⁵. Опыт поколений к настоящему моменту подтвердил, что все наблюдаемые объекты относятся к тому или иному виду. То есть, он показал, что население мира разделено (хотя и не раз и навсегда) на четко различаемые категории. Предполагается, что в чувственно воспринимаемых промежутках между этими категориями вообще нет никаких объектов.

То, что вы узнали о лебедях путем  сопоставления их с образцами, очень  подобно тому, что дети впервые  узнают о собаках и кошках, столах и стульях, мамах и папах. Точно определить границы и содержания этого, разумеется невозможно, тем не менее, это — полнонравное знание. Будучи выведенным из наблюдения, оно может быть опровергнуто следующим наблюдением, но пока этого не произошло, оно дает основу для рационального действия. При виде птицы, очень похожей на лебедей, которых вы уже знаете, вы с полным основанием можете предположить, что этот экземпляр питается той же пищей, что и другие, и может с ними скрещиваться. Поскольку доказано, что лебеди представляют собой вид, никакая из птиц, которые очень похожи на лебедей по своему внешнему облику, не будет иметь совершенно иных характеристик при ближайшем рассмотрении. Конечно, вы можете располагать неверной информацией о естественном составе вида лебедей. Но это может быть обнаружено опытным путем, например, при открытии ряда животных (заметим, что требуется более, чем один экземпляр), свойства которых заполняют пробел между лебедями и, скажем, гусями с едва заметными интервалами³⁶. Однако, пока это не случилось, вы будете многое знать о лебедях, хотя и не будете вполне уверены, что именно вы знаете или что такое лебедь.

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

37

обобщения, до тех пор пока для  него не будет особых причин. Возможно, например, вы должны описать лебедя человеку, которому нельзя непосредственно  предъявить экземпляр этой птицы. Без сверхчеловеческой осторожности как с вашей стороны, так и со стороны вашего слушателя, ваше описание приобретет силу обобщения; часто это составляет проблему для таксономиста. Или, возможно, вы обнаружили серых птиц, которые в прочих отношениях выглядят как лебеди, но едят другую пищу и обладают дурным характером. Вы можете в этом случае прибегнуть к обобщению, чтобы избегнуть ошибки. Или вы можете найти более теоретическую причину для того, чтобы думать, что обобщение имеет смысл. Например, вы можете наблюдать, что представители других видов имеют ту же окраску Такая спецификация этого факта, которое допускает применение эффективных логических приёмов к тому, что вы знаете, может дать вам возможность больше узнать о животных вообще или об их размножении.

А теперь, после того, как вы сделали  обобщение, что вы будете делать, если встретите черную птицу, которая  по всем прочим признакам выглядит точно как лебедь? Почти то же, полагаю я, как если бы вы до сих  пор вообще не отваживались на обобщения. Вы тщательно исследуете птицу, как внешне, так, возможно, и внутренне, чтобы найти другие признаки, отличающие данный экземпляр от ваших образцов. Это исследование будет чрезвычайно долгим и основательным, если у вас есть теоретические основания считать, что цвет характеризует естественный вид, или если вы сами лично глубоко заинтересованы в том, чтобы получить это обобщение. Весьма вероятно, что исследование выявит другие различия и вы объявите об открытии нового вида. Или, может быть, вам не удастся найти такие признаки, и тогда вы сможете объявить, что обнаружен черный лебедь. Наблюдение, однако, не может заставить вас сделать фальсифицируемое обобщение, и вы время от времени терпели бы неудачу, если бы оно могло это сделать. Теоретические соображения могут навести вас на мысль, что цвет сам по себе достаточен для того, чтобы выделить вид: птица — не лебедь, поскольку она черная. Или вы можете просто отложить этот вопрос до того, как будут обнаружены и исследованы другие экземпляры. Только если вы ранее отважились на полное определение "лебедя", которое точно определит свою применимость по отношению к любому мыслимому объекту, вы можете быть логически вынуждены отменить свое обобщение³⁷. И зачем вам предлагать такое определение? Оно не могло бы выполнять когнитивную функцию и подвергло бы вас большому риску³⁸. Риск, конеч-