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

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

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

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

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

---

Я считаю этот пример более интересным и более важным, чем примеры и Миллера, и Грюнбаума, поскольку он не чисто формален. Вместе с тем на него можно ответить разными способами. Один из них состоит в следующем.

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

Мы можем испробовать и другие способы справиться с трудностью, указанной Уоткинсом. Мы можем релятивизировать релевантные для нас проблемы к фоновому знанию, неявно предполагаемому теориями Кеплера и Ньютона. При фоновом допущении Кеплера, что массы планет несущественны или пренебрежимы для данной проблемы, теории Кеплера и Ньютона дают одни и те же результаты, поскольку при таком допущении проблема становится для Ньютона просто суперпозицией двух задач об одном теле. А при (ньютоновском) допущении, что массы планет существенны, но неизвестны, теория Ньютона приводит к только что упомянутой бесконечной конъюнкции.

Говоря в общем, я не думаю, что должен существовать единственный предпочтительный способ выбора проблемного базиса для релятивизации.

Этот аргумент, конечно, представляет собой всего лишь интуитивный набросок, но мне кажется, что стоит изучить вопрос о том, не можем ли мы, при помощи тех или иных подходящих соглашений[354] о релевантности, сравнивать проблемное содержание разных теорий по отношению к (в какой-то мере определяемому соглашением) перечню тех видов (kinds) проблем, которые мы согласились считать релевантными[355].

Возможны и другие способы релятивизации, в том числе некоторые, относимые к росту проблемных ситуаций T1 и T2. (См. главу 4 настоящей книги.) Новая проблемная ситуация возникает из старой в рамках схемы типа Р1→TT→EE→Р2. Новая проблемная ситуация, таким образом, состоит из P1 и P2: она будет сравнима с прежней и притом богаче ее.

(4) Правдоподобность (verisimilitude). Мою теорию правдоподобности критиковали очень сурово[356], и я сразу же должен признать, что предложенное мной «определение правдоподобности» ошибочно. Есть серьезная ошибка и в интуитивных эвристических соображениях, которые привели меня к этому определению.

Теперь я хочу скорректировать[357] эти интуитивные эвристические соображения следующим образом.

Интуитивно кажется, что высказывание Ь ближе к истине, чем высказывание а, если и только если (1) (релятивизированное) истинностное содержание Ь превосходит истинностное содержание а и (2) некоторые ложные следствия из а (предпочтительно все, признанные опровергнутыми, и — еще предпочтительнее — некоторые кроме них) не выводимы из Ь, но замещены их отрицаниями.

В этой эвристической формулировке мы должны рассматривать термин «содержание» или «истинностное содержание» как пересмотренное (релятивизированное) в духе, намеченном в разделе (3) настоящего Приложения.

Наряду с данным наброском скорректированной эвристической идеи истинностного содержания, имеется, по-видимому, еще один подход, исследуемый в настоящее время Дэвидом Миллером[358]: он принимает (булево) расстояние теории (дедуктивного множества высказываний) от (дедуктивно замкнутого) множества истинных высказываний за «расстояние от истины»[359]. Нечто в определенном смысле противоположное этому можно было бы принять за правдоподобность. Более того, можно было бы ввести меры на этих множествах (поскольку булево расстояние есть множество).

Последовательность теорий, таких как К (три закона Кеплера), N (ньютоновская теория тяготения) и E (теория Эйнштейна), по-моему, достаточно хорошо иллюстрируют то, что понимается под увеличением объяснительной силы и информативного содержания — и если все более суровые испытания последующих теорий дадут позитивные результаты, то я считал бы, что эти позитивные результаты составляют аргументы в пользу предположения, что это не случайно, а вызвано возросшей правдоподобностью[360].

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

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

Конечно, моя общая позиция включает тезис, что «в эмпирической науке мы никогда не можем иметь достаточно веские аргументы для притязания на то, что мы на самом деле достигли истины» (см. с. 64 настоящей книги). Вместе с тем я считаю, что у нас могут быть весомые аргументы для того, чтобы предпочесть одну из конкурирующих теорий другой с точки зрения нашей цели — найти истину или приблизиться к истине. Так что я считаю, что у нас могут быть весомые аргументы для того, чтобы предпочесть — хотя бы на время — теорию T1 теории T2 с точки зрения ее правдоподобности. Я мог в том или другом месте[361] высказаться несколько неосторожно, но сейчас я сформулировал то, что готов защищать.

Везде, где я говорю (как на с. 64 настоящей книги), что у нас есть основания полагать, что мы добились продвижения вперед, я говорю, конечно, не на фактуальном языке-объекте наших теорий (скажем, T1 или T2), и не заявляю — на метаязыке, — что Т2 фактически ближе к истине, чем Т1. Скорее я даю оценку состояния обсуждения этих теорий, в свете которого Т2 представляется более предпочтительной, чем Т1, с точки зрения нацеленности на истину.

(5) Решающие эксперименты в физике. Логический анализ идей, используемых в методологии науки, — предмет интересный и важный, и я уверен, что он приведет к новым и интересным прозрениям (insights). Вместе с тем нам не следует позволять обескураживать себя отрицательным результатам — таким, как еще один очень интересный результат Дэвида Миллера, создающий ситуацию, аналогичную ситуации с парадоксом Рассела[362]. Этот результат состоит в том, что если одна ложная теория Т1 дает лучшие метрические приближения, чем Т2, к истинным (или к измеряемым) значениям по крайней мере двух параметров, то всегда можно преобразовать эти теории в логически эквивалентные им теории, которые должны будут получить противоположную оценку по отношению к другому множеству параметров, определимому в терминах первого множества (причем эта определимость взаимная).

Доказательство Дэвида Миллера можно изложить следующим образом. Следующие два множества (i) и (ii) из двух уравнений каждое взаимно выводимы и следовательно эквивалентны:

(I):

x = q - 2p,

y = 2q - 3p,

(II):

p = y - 2x,

q= 2у - 3х.

Если любые два из этих четырех значений «даны» («даны» как истинные или как измеренные), то остальные два можно вычислить. Примем x = 0; у = 1; p = 1; q = 2 либо за истинные, либо за измеренные значения (либо и то, и другое).

Пусть из теории Т1 вытекает, что

x = 0,100, у = 1,000.

Пусть из теории T2 вытекает, что

x = 0,150, у = 1,225.

Тогда кажется, что Т1 по точности превосходит Т2. Однако если мы рассчитаем параметры p и q,вытекающие из Т1 и Т2, мы получим противоположный результат: из Т2 вытекает р = 0,925 и q = 2,000, так что Т2 кажется более точной, чем Т1, из которой следует, что p = 0,800 и q = 1,700.