ЖАНРЫ

Язык, онтология и реализм
Шрифт:

В 1950-е годы увлечение научным реализмом становится поистине философской модой, но продолжается оно недолго. К началу 1960-х годов в философии науки сформировалось новое направление — так называемая историцистская школа, связанная с именами Н. Р. Хэнсона, Т. Куна, И. Лакатоса, П. Фейерабенда и др. Между представителями этого направления, стоявшими на позициях инструментализма в трактовке статуса теоретических объектов, и научными реалистами разгорелась широкая дискуссия. Наступление на научный реализм усилилось в 1970-е годы в связи с неопрагматистским «поворотом» в аналитической философии, а в 1980-е годы, когда стало набирать силу социологическое направление в философии науки, многие сочли, что против научного реализма выдвинуты настолько серьезные аргументы, что они окончательно его похоронили. Так, американский философ науки А. Файн объявил, что «реализм мертв», сославшись к тому же на то, что «последние два поколения ученых-физиков отвернулись от реализма и тем не менее вполне успешно занимаются наукой без него» [Fine, 1984, p. 83]. С этим выводом вряд ли можно согласиться. Хотя начиная с 1980-х годов ряды сторонников научного реализма среди философов науки действительно поредели, но попытки защитить и последовательно обосновать эту позицию вовсе не прекратились [139] , а главное, для многих исследователей — взять, к примеру, философию сознания [140] — научный реализм остается «рабочей гипотезой».

139

См., напр.: [McMullin, 1992; Psillos, 1999; Niiniluoto, 1999].

140

Здесь можно в подтверждение сослаться на Патрицию и Пола Черчлендов, Фреда Дрецке, Рут Милликен и др.

Обратимся, однако, к вопросу о том, что же понимают под реализмом представители рассматриваемого направления. Как правило, при характеристике научного реализма отмечается, что он соединяет в себе два аспекта: онтологический и эпистемологический. Как онтологический тезис, он утверждает, что постулируемые зрелыми научными теориями объекты имеют реальное, независимое от сознания существование. Как эпистемологический тезис, он утверждает, что научные теории являются описаниями изучаемой (наблюдаемой и ненаблюдаемой) области, которые могут быть охарактеризованы как истинные или ложные. Как бы ни были велики расхождения научных реалистов в отношении онтологического тезиса (т. е. расхождения в решении таких вопросов, как: являются ли постулируемые теориями объекты элементами реальности как таковой или элементами особым образом «интерпретированного» опыта; существует ли вообще независимая от сознания реальность; что является критерием существования теоретических объектов и т. п.), однако главным пунктом их разногласий стал эпистемологический вопрос об истине. В этом нет ничего удивительного, так как без ответа на этот вопрос онтологический тезис становится просто метафизическим допущением.

Что касается истины, то научные реалисты не только подчеркивают наличие истинностного значения у теоретических утверждений, но многие из них высказываются в пользу корреспондентной теории, согласно которой предложение истинно, если оно соответствует реальному положению дел или факту. По их мнению, без понятия истины невозможно понять сущность науки, структуру, динамику развития и цель научной деятельности. Вместе с тем научные реалисты отмечают, что наука не может обладать полной и окончательной истиной; такая истина — лишь идеал, к которому наука будет постоянно стремиться, обладая на каждом этапе «приблизительно» или «относительно» истинными теориями. «Центральное ядро науки наших дней, — пишет Смарт, — находится где-то вблизи истины. Историческое явление смены теорий не должно ослеплять нас до такой степени, чтобы мы не могли признать, что огромная совокупность научных представлений, скорее всего, никогда не будет отброшена, например, что вода содержит атомы водорода (или атомы одного из его изотопов) и кислорода, что прозрачность стекла частично обусловлена его некристаллической структурой, что свет — это электромагнитное явление, что гравитационное поле вблизи массивного тела приблизительно выражается обратно-квадратичным законом, что звезды образуют галактики, что некоторые известняки когда-то были материалом, из которого состояли панцири морских животных и т. п.» [Smart, 1987, p. 181] [141] . Безусловно, понятие приближения к истине является довольно расплывчатым, поэтому, чтобы придать ему более точный смысл, многие научные реалисты стремятся развить и усовершенствовать попперовскую идею правдоподобия.

141

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

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

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

Критики корреспондентной теории истины главный ее недостаток видят в концептуальной непроясненности отношения соответствия и понятия факта, которому должна соответствовать наша мысль. Во-первых, совсем не тривиальным является вопрос о том, что же представляет собой факт или реальное положение дел, о котором говорится в корреспондентной теории. На первый взгляд, кажется очевидным, что факты принадлежат миру, но если это так, то имеет смысл спросить, где в мире мы могли бы их обнаружить. Далеко не все факты допускают пространственную локализацию, с ними нельзя вступать в причинное взаимодействие. Может быть, тогда факты — это истинные суждения? Как писал по этому поводу П. Стросон, «факты есть то, что утверждения (когда они истинны) утверждают. Они не являются тем, о чем утверждения говорят» [Strawson, 1964, p. 44]. Но такое истолкование также не согласуется с нашими представлениями о фактах: например, суждения можно приписывать людям, а факты — нет. Этот «неуловимый» статус фактов подтолкнул некоторых философов к скептическим выводам. Так, по мнению Дэвидсона, «нет ничего интересного или ценного, чему истинные предложения могли бы соответствовать» [Davidson, 1990, p. 303]. Другие философы делают иной вывод: «…факты не являются независимыми от мышления и не могут быть таковыми, ибо они… несут концептуальную нагрузку. Мы можем признать фактуальными только те аспекты нашего опыта, которые мы узнаем и интерпретируем посредством наших понятий» [O'Connor, 1975, p. 67]. Этот аспект корреспондентной теории истины находит отражение и в семантической теории истины Тарского. Как известно, в этой теории предложение, истинность которого устанавливается, формулируется в объектном языке, а его условия истинности формулируются в метаязыке. Поскольку может возникнуть вопрос и об истинности предложений метаязыка, то для ответа на этот вопрос строится еще один метаязык, для которого первый метаязык выступает в качестве объектного и т. д. Каждый новый метаязык в принципе означает принятие новой концептуализации. Отсюда следует, что каждый раз устанавливается соответствие не между языком и не затронутой никакой концептуализацией и независимой от сознания реальностью, а между двумя языками. Из сказанного нетрудно сделать вывод, что у человека нет доступа к реальности, как она есть сама по себе, а потому любые ссылки на нее при рассуждении об истине выглядят как простая «метафизическая» уловка.

К этому же выводу ведут и попытки придать более точный смысл отношению соответствия. Истолкование соответствия как определенного изоморфизма между структурой высказываний и структурой фактов, предложенное Расселом и ранним Витгенштейном в их концепциях логического атомизма, со всей очевидностью продемонстрировало, что соответствие устанавливается между онтологически «однородными» сущностями: Рассел трактует факты как истинные суждения, а у Витгенштейна предложение является лингвистическим фактом, имеющим с изображаемым им — другим — фактом общую логическую форму. Если же соответствие понимается как чисто конвенциональное отношение, как это имеет место в варианте корреспондентной теории истины Дж. Остина, то оно характеризуется через принадлежность предложения, описывающего некоторое конкретное положение дел, к типу предложений, которые используются для описания вида ситуаций, включающего данное конкретное положение дел. Сам факт, что эти и аналогичные им попытки эксплицировать понятие соответствия в терминах других известных нам отношений были признаны неудачными, только усиливает впечатление о его таинственности и непостижимости.

Особую остроту эта проблема приобретает в случае теоретических положений науки, эмпирическая проверка которых носит довольно сложный и опосредованный характер. Во-первых, в этом случае сопоставлять с «реальностью» можно только определенные следствия из теорий, а во-вторых, эта «реальность» представляет собой совокупность научных фактов, результатов экспериментов, измерений и наблюдений и т. п., которые, как стало принято говорить, являются «теоретически нагруженными». Тезис о теоретической нагруженности эмпирических фактов занимает важное место во второй группе аргументов, выдвинутых против реалистического истолкования истины. Его считают важным свидетельством зависимости процедуры эмпирической проверки теорий от самих теорий. Действительно, если в интерпретацию эмпирических фактов, выступающих для теории в качестве проверочных, включается сама проверочная теория, то возникает порочный круг, который «создает очевидные препятствия для реконструкции экспериментальной проверки теории как эффективно действующего и независимого критерия оценки и сравнения теорий» [Мамчур, 2004, с. 64]. Этот тезис, который в 1960-е годы главным образом использовался для обоснования отсутствия в науке некоего общего базиса в виде теоретически нейтрального языка наблюдения, в дальнейшем стал расцениваться как важный довод, опровергающий возможность установления истинности теорий в ходе их эмпирической проверки, поскольку такое «соответствие» теории фактам не говорит в пользу их истинности.

Еще один серьезный аргумент, выдвигаемый против научных реалистов, опирается на тезис о недоопределенности теорий эмпирическими данными. Этот тезис был сформулирован У. В. О. Куайном при решении проблемы выбора теории, однако к аналогичной идее обращались многие критики реализма в науке и до Куайна, например П. Дюгем, А. Пуанкаре, Г. Рейхенбах и др., поэтому этот аргумент приобрел уже статус классического. Согласно этому аргументу, если две теории имеют в качестве своих следствий одни и те же подтверждаемые эмпирические данные, будучи «эмпирически эквивалентными», то они не имеют различий и в эпистемическом отношении, получая одинаково хорошую поддержку со стороны этих данных. Следовательно, у нас нет серьезных оснований признавать истинной какую-либо одну из этих теорий. Американский философ науки Л. Лаудан назвал поэтому этот вывод «эгалитарным тезисом» [Laudan, 1996, p. 33]. Поскольку у любой теории, опирающейся на данные наблюдения, могут быть несовместимые с ней, но эмпирически эквивалентные ей соперницы, отсюда следует, что ни одна теория не может с полным правом считаться истинной. Тезис о недоопределенности теорий данными находит некоторое подтверждение в истории науки. Так, нередко эмпирически эквивалентными бывают сменяющие друг друга теории, выражающие прямо противоположные взгляды на одну и ту же совокупность эмпирических фактов. В некоторых случаях, как, например, в случае волновой квантовой механики Шрёдингера и матричной квантовой механики Гейзенберга, такими теориями оказываются интерпретации, построенные с использованием различных математических формализмов. Но главным доводом в пользу этого тезиса для критиков научного реализма служит то обстоятельство, что для любой теории в принципе возможно построить эмпирически эквивалентную ей соперницу. Поскольку из любой теории наблюдаемые следствия выводятся с помощью вспомогательных допущений, то всегда можно подобрать такие вспомогательные допущения, которые бы позволили приспособить теорию к любым «неподатливым» данным (это обосновывается известным тезисом Дюгема — Куайна). Отсюда следует, что для любой совокупности данных и для любых двух конкурирующих теорий T и T' имеются подходящие вспомогательные допущения такие, что в соединении с ними T' будет эмпирически эквивалентна T, которая использует свои вспомогательные средства. Это означает, что никакие эмпирические данные не позволят нам провести эпистемического различия между любыми двумя конкурирующими теориями.

Из современных противников научного реализма этот аргумент наиболее активно использует американский философ науки Бас ван Фраассен, разрабатывающий концепцию «конструктивного эмпиризма». С его точки зрения, целью науки являются не истинные теории (так как эта цель, в силу факта недоопределенности теории данными, недостижима), а «эмпирически адекватные» теории. Поскольку две эмпирически эквивалентные теории являются в равной мере эмпирически адекватными, ван Фраассен полагает, что, если мы решаем выбрать какую-то одну из них, наше решение опирается не на эпистемические основания, а на прагматические. При выборе теории учитываются такие ее достоинства, как простота, экономность, возможности объяснения и т. п. Эти достоинства являются прагматическими, поскольку они, по мнению Фраассена, не имеют отношения к истинности теории и не могут служить разумными основаниями для ее принятия.

По мнению критиков научного реализма, спасти реалистическое понятие истины не помогут ни ссылки на ее приблизительный характер, ни свидетельства эмпирической успешности науки. По словам Дж. Уоррола, «почему мы должны доверять тому, что современная наука говорит нам о некотором аспекте базисной структуры вселенной, если наука так часто меняла свое мнение об этой базисной структуре в прошлом?» [Worral, 1982, p. 216]. История науки не дает никаких оснований полагать, что сущности, постулируемые новейшими научными теориями для объяснения наблюдаемых явлений, не будут отброшены в результате некоторой будущей научной революции, как это уже случалось не раз, и поэтому мы не вправе считать их такими же реальными, как растения, животные, камни и т. д. М. Хессе считает, что здесь должен быть применен «принцип отсутствия привилегий»: «…наши собственные научные теории следует считать так же подверженными радикальным концептуальным изменениям, как и прошлые теории» [Hesse, 1976, p. 264]. Л. Лаудан обобщил это возражение в виде аргумента, получившего название «пессимистическая (мета)индукция» [Laudan, 1984]. Согласно этому аргументу, надежность реалистического объяснения успешности науки разрушается самой историей науки. Поскольку история науки знает немало теорий, которые в течение долгих периодов времени были эмпирически успешными, но в конечном счете оказались ложными, то методом индукции отсюда можно заключить, что и наши нынешние успешные теории, вероятно, являются ложными или, по крайней мере, они с большей вероятностью являются ложными, чем истинными. Следовательно, эмпирическая успешность научной теории не гарантирует, что теория является приблизительно истинной; иными словами, между эмпирической успешностью и приблизительной истинностью теорий нет связи, которая бы позволила нам использовать одну для объяснения другой. В конечном счете это означает, что нельзя говорить о каком бы то ни было сохранении референции научных терминов при их переходе из одной теории в другую, а стало быть, и о какой-либо устойчивости в описании наукой глубинных структур реальности. В поддержку своего вывода Лаудан привел список теорий, которые когда-то считались эмпирически успешными и плодотворными, но впоследствии были признаны ложными, назвав этот список «историческим гамбитом».

Поделиться с друзьями: