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

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

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

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

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

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

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

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

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

354

Что соглашение не обязательно подразумевает произвольность, я доказывал в моей книге [1977(c)], vol.1, р. 64. Хайек (Hayek [1978], р. И), ссылаясь на этот мой текст, напомнил слова Юма (Hume [1888], р. 484) (рус. перевод — с. 634), что правила могут быть «искусственными»,но не обязательно в силу этого «произвольными».

355

См. мою статью [1976(b)], особ, раздел 4.

Возможны и другие способы релятивизации, в том числе некоторые, относимые к росту проблемных ситуаций T ₁и T ₂. (См. главу 4 настоящей книги.) Новая проблемная ситуация возникает из старой в рамках схемы типа Р ₁– >TT->EE->Р ₂. Новая проблемная ситуация, таким образом, состоит из P ₁и P ₂: она будет сравнима с прежней и притом богаче ее.

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

356

Некоторые важные критические замечания принадлежат Дэвиду Миллеру, а также Павлу Тихи — см. работы, перечисленные в прим. 2 к данному Приложению; см. также мою статью [1976(b)].

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

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

357

Как я теперь это понимаю, основной моей ошибкой была неспособность сразу же увидеть, что мою «Теорему об истинностном содержании» [1966] можно распространить и на ложностное содержание: если содержание ложного высказывания апревосходит содержание высказывания Ь,то истинностное содержание апревосходит истинностное содержание Ь,и то же самое верно и для ложностного содержания.

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

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

358

См., например, его [1977].

359

См. мою статью [1976(b)]. Быть может, предложение Дэвида Миллера следовало бы усилить, релятивизируя булевы классы к ответам на релевантные проблемы.

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

360

См. гл. 2, разд. 33, с. 103-105.

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

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

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

361

См. настоящую книгу, с. 54, первый абзац раздела 7 гл. 2; с. 60, последний абзац раздела 8, и с. 100.