Карл Поппер - Объективное знание. Эволюционный подход

• Название: Объективное знание. Эволюционный подход
• Автор: Карл Поппер
• Издательство: Эдиториал УРСС
• Жанр: Философия
• Год: 2002
• ISBN: 5-8360-0327-0

Книга выдающегося философа и логика XX века Карла Раймунда Поп-пера «Объективное знание» вышла первым изданием в 1972, вторым — исправленным и дополненным, с которого сделан русский перевод, в 1979 г.

В ряду сочинений Поппера она занимает особое место: это — третья, после «Логики научного исследования» (1934, 1959) и «Предположений и опровержений» (1963), его классическая работа по философии, теории познания и логике науки. В ней подводятся итоги предшествующих исследований Поп-пером проблем индукции, фальсификационизма, критического рационализма, правдоподобности научных теорий и др., а также излагаются полученные к моменту ее написания результаты его разработок теории трех миров, роли понятия «истина» в философии науки, проблем эволюционной эпистемологии и т.д. Последние проблемы были в центре внимания Поппера до конца его жизни.

В русском переводе этой книги публикуется «Послесловие к русскому изданию Объективного знания», написанное одним из учеников, соавторов и ближайших друзей Карла Поппера Дэвидом Миллером.

---

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

(2) Истина. Доктор Сьюзен Хаак [1976] в статье, названной «Истинно ли то, что говорят о Тарском?», требует меня к ответу за интерпретацию теории истины Тарского (в настоящей книге и в других местах) как теории соответствия. На вопрос, поставленный в названии ее статьи, она отвечает смелым утверждением: «...Тарский не представляет свою теорию как теорию соответствия» (Haack [1976], р. 324). Мой ответ будет состоять просто из двух кратких цитат из Тарского. Первая — со второй страницы фундаментальной работы Тарского «Понятие истины в формализованных языках»[348]. Тарский говорит в ней о своей собственной работе: «Я замечу только, что во всей этой работе я буду заботиться только о том, чтобы правильно понять (grasp) интенции, заложенные в так называемом классическом понятии истины („истинно — соответствует действительности") в противопоставлении, например, ее утилитарному пониманию („истинно — полезно в некотором отношении")». Вторая цитата из Тарского — находится на четвертой странице его работы «Основания научной семантики» — еще более откровенна[349]: «Мы рассматриваем истинность предложения как его 'соответствие действительности'».

Поэтому я думаю, что вопрос о порицании доктором Хаак правдивости моих оценок теории Тарского можно считать исчерпанным. Хотя Тарский и представлял свою теорию как теорию соответствия, он отрицал, что из нее можно вывести какие-либо реалистические или иные метафизические заключения. Я первым использовал теорию Тарского в поддержку метафизического реализма в 1956 году[350]. Конечно, я не приписывал Тарскому эту точку зрения[351], но я сказал (в 1956 году), что «в классической теории истины, или теории соответствия, по умолчанию принято» называть положение вешей «реальным» ("real"), если описывающее его высказывание истинно.

(3) Сравнение содержаний. Я часто доказывал (argued), что прогресс науки происходит в результате соревнования теорий, а также что самые интересные из наших теорий в типичном случае противоречат своим предшественницам (см. главу 5 настоящей книги). Поэтому нам нужны какие-то средства, с помощью которых мы могли бы сравнивать содержания, или объяснительную силу, таких теорий. В настоящей книге (см. с. 58-60) я высказал предположение, что в качестве основы для такого сравнения мы могли бы использовать вопросы, на которые способны ответить конкурирующие теории. (И я также предположил, что мы могли бы использовать для этой цели то, что я назвал проблемным содержанием теорий[352]). Иначе говоря, я предположил, что мы можем проводить сравнение интересующих нас теорий по отношению к нашим проблемам — проблемам, которые способны решить эти теории.

Эти мои предположения, как было показано, оказались неудовлетворительными. К сожалению, в различных важных местах я говорил о «всех» вопросах, на которые может ответить та или другая теория, однако Дэвид Миллер, Адольф Грюнбаум и Джон Уоткинс указали на контрпримеры. Вместе с тем на уме у меня была попытка преодолеть трудности сравнения содержаний, релятивизируя содержание (как и простоту — см. мою книгу [1976(a)], р. 240-242, прим. 24), то есть рассматривая его по отношению к релевантным для нас проблемам — к тем проблемам, которые практикующий ученый считал бы релевантными[353].

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

Дэвид Миллер и Адольф Грюнбаум подчеркнули трудность сравнения содержаний. Когда предшествующая теория корректируется более новой теорией, должны существовать решающие эксперименты, для которых предшествующая и последующая теории предсказывают разные результаты (будем называть эти результаты, соответственно, с и не-с). Так вот, как указывает Миллер ([1975(a)], р. 165), вопрос «истинно ли с-или-u?» будет неразрешимым в рамках новой теории, если неразрешимо и ведь в рамках новой теории, из которой следует не-с, с-или-u будет эквивалентно и.Таким образом, существует вопрос на который дает ответ прежняя теория, но не дает ответа новая. Конечно, Дэвид Миллер признает, что вопрос «истинно ли с-или-u?» может не иметь никакого научного интереса,

Адольф Грюнбаум (Grunbaum [1976(a)]) также представил несколько примеров проблем, возникающих в предшествующей теории (теории Ньютона), но не в ее преемнице (теории Эйнштейна). Однако, хотя критика Пзюнбаума и затрагивает некоторые мои ранние формулировки, я не думаю, что здесь есть какая-то важная проблема по существу. Действительно мы можем сказать, что на все поставленные им проблемы у позднейшей теории есть полный ответ, отличный от того, который дает предшествующая теория, хотя он может быть ни «да», ни «нет». Ответом будет: «Этот вопрос не возникает». (Допустимость такого ответа должна быть оговорена явно).

Итак, хотя нам и не следует преуменьшать трудностей, мне все-таки кажется, что мы не должны позволять им запугать себя. Я думаю, что существует вполне ясный смысл, в котором мы можем сказать, что законы Кеплера объяснены (и скорректированы — см. главу 5) теорией тяготения Ньютона; что существует вполне ясный смысл, в котором мы можем сказать, что теория Кеплера менее общая и имеет меньшую объяснительную силу или меньшее информативное содержание, чем теория Ньютона, и что отношение, аналогичное отношению между теориями Кеплера и Ньютона, имеет место между теориями тяготения Ньютона и Эйнштейна. Я говорю, что существует этот вполне ясный смысл, хотя и признаю, что мне не удалось сделать его явным.

Нам хотелось бы иметь возможность при рассмотрении отношений между некоторой теорией, такой как теория Кеплера, и ее преемницей, такой как теория Ньютона, утверждать нечто вроде следующего. Теория-преемница в большинстве случаев будет: (1) иметь по крайней мере такую же степень общности или универсальности, как и ее предшественница, в том смысле, что она будет охватывать по крайней мере ту же область научно интересных проблем, что и ее предшественница. Кроме того, она будет либо (2) приложима к ситуациям, о которых ее предшественница сказать ничего не может, либо (3) исправит некоторые из ошибок предшествующей теории, либо — что предпочтительнее — будет выполнять и (2), и (3), а значит (1), (2) и (3) вместе. (Более того, одна и та же теория-преемница может превзойти сразу несколько предшествующих теорий и объединить их — собственно говоря, так обычно и бывает).

Трудность связана с условием (3): если две теории противоречат друг другу, то, как ясно показывает пример Миллера, новая теория будет отвечать не на все те вопросы, на которые может ответить предшествующая ей теория. Моя ошибка состояла в том, что употребленные мною формулировки наводили на мысль, что она должна отвечать на все эти вопросы.

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

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

Джон Уоткинс в частном сообщении продемонстрировал мне недостаточность этой конкретной релятивизации. Его возражение можно изложить так.

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