Файл: Дойч. Структура Реальности.doc

ДЭВИД: Поскольку я читал то, что Поппер имел сказать об ин­дукции, я верю, что он действительно, как и заявлял, решил задачу индукции. Но лишь немногие философы с этим согласны. Почему?

КРИПТО-ИНДУКТИВИСТ: Потому что Поппер никогда не обра­щался к задаче индукции в нашем понимании. То, что он делал, было представлено как критика индуктивизма.Индуктивизм гласил, что су­ществует «индуктивная» форма рассуждения, способная вывести общие теории о будущем и доказать их при наличии свидетельств в виде от­дельных наблюдений, сделанных в прошлом. Он считал, что существует принцип природы,принцип индукции,который гласит что-то вроде «на­блюдения сделанные в будущем, вероятнее всего будут похожи на на­блюдения, сделанные при сходных условиях в прошлом». Были сделаны попытки сформулировать этот принцип так, чтобы он действительно позволил вывести, или доказать, общие теории из отдельных наблю­дений. Все они потерпели неудачу. Критика Поппера, хотя и имевшая влияние среди ученых (особенно в связи с другой его работой, про­ливающей свет на методологию науки), вряд ли была оригинальной. Ошибочность индуктивизма была известна почти со времен его изоб­ретения и уж конечно с начала восемнадцатого века, когда он подверг­ся критике Дэвида Юма. Задача индукции не в том, как доказать или опровергнуть принцип индукции, а скорее в том (считая доказанным его необоснованность), какдоказать любой вывод о будущем, основыва­ясь на прошлых свидетельствах.И прежде чем вы скажете, что в этом нет необходимости ...

ДЭВИД: В этом нет необходимости.

КРИПТО-ИНДУКТИВИСТ: Нет есть. Это-то как раз и раздражает в вас, последователях Поппера: вы отрицаете очевидное. Очевидно, что причина того, что в этот раз вы даже не пытаетесь прыгать с баш­ни, частично состоит в том, что вы считаете оправданнымполагаться на нашу лучшую теорию гравитации инеоправданнымполагаться на некоторые другие теории. (Конечно, под «нашей лучшей теорией гра­витации» в данном случае я имею в виду нечто большее, чем общая от­носительность. Я также подразумеваю сложный набор теорий о таких вещах, как сопротивление воздуха, человеческая психология, упругость бетона и наличие в воздухе спасательных средств).

ДЭВИД: Да, я счел бы оправданным полагаться на такую теорию. В соответствии с методологией Поппера в таких случаях следует пола­гаться на лучшую подтвержденнуютеорию, т.е. на ту, которая подвер­глась самым строгим проверкам и выдержала их, тогда как ее сопер­ники были опровергнуты.

КРИПТО-ИНДУКТИВИСТ: Вы сказали «следует»полагаться на лучшую подтвержденную теорию, но почему, объясните поточнее? По-видимому, потому что в соответствии с Поппером, процесс подтверж­дения доказал теорию в том смысле, что вероятность получения от нее истинных предсказаний выше, чем от других теорий.

ДЭВИД: Ну, не выше, чем от всехдругих теорий, потому что не­сомненно когда-нибудь у нас появятся даже лучшие теории гравита­ции ...

КРИПТО-ИНДУКТИВИСТ: Слушайте. Давайте договоримся не ис­пользовать уловки, не относящиеся к обсуждаемой нами теме. Конечно, когда-нибудь может появиться лучшая теория гравитации, но вы долж­ны решить, чего придерживаться сейчас,сейчас.И имея свидетельства, доступные сейчас, вы выбрали определенную теорию, в соответствии с которой действуете. И вы выбрали ее по критериям Поппера, потому что считаете, что только по этим критериям вероятнее всего выбрать теорию, дающую правильные предсказания.

ДЭВИД: Да.

КРИПТО-ИНДУКТИВИСТ: Итак, подведем итог: вы считаете, что свидетельство, имеющееся у вас в настоящий момент, доказывает пред­сказание, что, спрыгнув с башни, вы погибнете.

ДЭВИД: Нет, не доказывает.

КРИПТО-ИНДУКТИВИСТ: Черт побери, вы противоречите сами себе. Только что вы сказали, что это предсказание доказано.

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

КРИПТО-ИНДУКТИВИСТ: Принимая это во внимание, я повто­ряю, что вся проблема заключается в том, чтобы найти то, что до­казывает предсказание. Это и есть задача индукции. ДЭВИД: Эту задачу и решил Поппер.

КРИПТО-ИНДУКТИВИСТ: Я глубоко изучил труды Поппера, но это для меня новость. И каково же решение? Мне не терпится его услы­шать. Что доказывает предсказание, если не свидетельство? ДЭВИД: Аргумент. КРИПТО-ИНДУКТИВИСТ: Аргумент?

ДЭВИД: Только аргумент способен доказать что-либо и, конечно, условно. Все теоретическое подвержено ошибкам. Но аргумент, тем не менее, иногда может доказать теории. Для этого он и нужен.

КРИПТО-ИНДУКТИВИСТ: Я считаю, что это очередная ваша улов­ка. Вы не можете иметь в виду, что теорию, как и математическую теорему, доказывают с помощью чистогоаргумента¹¹. Свидетельство определенно играет свою роль.

ДЭВИД: Конечно. Это эмпирическая теория, поэтому, в соответ­ствии с научной методологией Поппера решающие эксперименты игра­ют основную роль при выборе теории. Когда конкурирующие теории опровергают, остается только одна теория.

КРИПТО-ИНДУКТИВИСТ: И как следствие этого опровержения и выбора, которые имели место в прошлом, доказывается практическое применение этой теории для предсказания будущего.

ДЭВИД: Полагаю, что так, хотя мне кажется, неверно говорить «как следствие», когда мы не говорим о логической дедукции.

КРИПТО-ИНДУКТИВИСТ: Это уже новый вопрос: какого рода это следствие?Я попытаюсь поймать вас на слове. Вы признаете, что тео­рию доказывают как с помощью аргумента, такис помощью результа­тов экспериментов. Если бы результаты экспериментов были другими, аргумент доказал бы другую теорию. Таким образом, принимаете ли вы, что в этом смысле (да, через аргумент, но я не хочу повторять это условие) результаты прошлых экспериментов доказали предсказание?

ДЭВИД: Да.

КРИПТО-ИНДУКТИВИСТ: Что же в точности было в тех действи­тельных прошлых результатах, доказавших предсказание, в противо­положность другим возможным прошлым результатам, которые точно так же могли доказать противоположное предсказание?

ДЭВИД: Действительные результаты опровергли все конкурирую­щие теории и подтвердили ту теорию, которая преобладает сейчас.

КРИПТО-ИНДУКТИВИСТ: Хорошо. Теперь слушайте вниматель­но, потому что вы только что сказали нечто, ложность чего не только доказуема, но что вы сами считали ложным несколько мгновений то­му назад. Вы говорите, что результаты экспериментов «опровергли все конкурирующие теории». Но вы отлично знаете, что никакой набор ре­зультатов экспериментов не может опровергнуть всех возможных кон­курентов и оставить одну общую теорию. Вы сами сказали, что любой набор прошлых результатов (я цитирую) «согласуется с бесконечным множеством теорий, включая теории, предсказывающие каждый логи­чески возможный результат моего прыжка вниз». Следовательно, пред­почитаемое вами предсказание не былодоказано результатами экспери­ментов, потому что у вашей теории бесконечно много еще не опроверг­нутых конкурентов, которые дают противоположные предсказания.

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

КРИПТО-ИНДУКТИВИСТ: Понятно. Ладно, я принимаю вашу тер­минологию. Но в этой связи (не думаю, что это имеет значение для наших настоящих целей, мне просто любопытно) разве не странное утверждение вы приписываете Попперу о том, что надежность теории зависит от случайности того, какие другиетеории —ложные теории-люди предложили в прошлом, а не только от содержания рассматрива­емой теории и экспериментальных свидетельств?

ДЭВИД: Не совсем так. Даже вы, индуктивисты, говорите о...

КРИПТО-ИНДУКТИВИСТ: Я неиндуктивист!

ДЭВИД: Нет, индуктивист.

КРИПТО-ИНДУКТИВИСТ: Уф! Я повторяю, что приму вашу тер­минологию, если вы настаиваете. Но вы можете точно также назвать меня дикобразом. Называть «индуктивистом» человека, который всего лишь полагает, что необоснованностьиндуктивного рассуждения дает нам нерешенную философскую задачу, —настоящее извращение.

ДЭВИД: Я так не считаю. Я думаю, что основная идея —это то, что определяет и всегда определяло индуктивиста. Но я вижу, что по край­ней мере одного Поппер достиг: слово «индуктивист» стало оскорбитель­ным! В любом случае, я объяснял, почему не так уж странно то, что надежность теории должна зависеть от того, какие ложные теории бы­ли предложены в прошлом. Даже индуктивисты говорят о надежности или ненадежности теории при наличии определенных «свидетельств». Ну а попперианцы могли говорить о лучшей теории, доступной для использования на практике, при наличии определеннойпроблемной си­туации.А самые важные черты проблемной ситуации —это: какие теории и объяснения конкурируют; какие аргументы выдвинуты; ка­кие теории опровергнуты. «Подтверждение» —это не просто принятие победившей теории. Для подтверждения необходимо эксперименталь­ное опровержение конкурирующих теорий. Подтверждающие примеры сами по себе не имеют никакого значения.

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

ДЭВИД: Правильно. Но даже тогда «надежность», которую обеспе­чивает подтверждение, не абсолютна, а лишь относительна по сравне­нию с конкурирующими теориями. То есть, мы ожидаем, что, полага­ясь на подтвержденные теории, мы отберем лучшие из предложенных. Это достаточная основа для действия. Нам не нужна (да мы и не смо­жем обрести) уверенность в том, насколько хорошимбудет предложен­ный порядок действий. Более того, мы всегда можем ошибаться, ну и что? Мы не можем ни использовать еще непредложенные теории, ни исправить те ошибки, которые еще не видим.

КРИПТО-ИНДУКТИВИСТ: Вполне согласен. Я рад, что узнал кое-что о научной методологии. Но теперь (надеюсь, вы не сочтете меня невежливым) я должен еще раз обратить ваше внимание на вопрос, ко­торый я все время задаю. Допустим, что теория прошла весь этот про­цесс. Когда-то у нее были конкуренты. Затем провели эксперименты и опровергли всех ее конкурентов. Но ее не опровергли. Таким образом, она подтвердилась. Что особенного в ее подтверждении, что оправды­вает то, что мы будем полагаться на нее в будущем⁷.

ДЭВИД: Поскольку всех ее конкурентов опровергли, они уже не яв­ляются рационально надежными. Подтвержденная теория —это един­ственная рационально надежная теория.

КРИПТО-ИНДУКТИВИСТ: Но ведь это просто переключает внима­ние с будущей значимости прошлого подтверждения на будущую зна­чимость прошлого опровержения. Остается та же самая задача. Почему экспериментально опровергнутая теория «не является рационально на­дежной»? Неужели всего лишь одно ложное следствие означает, что вся теория не может быть истинной?

ДЭВИД: Да.

КРИПТО-ИНДУКТИВИСТ: Но в отношении будущей применимос­ти теории эта критика логически несущественна. Вероятно, опроверг­нутая теория не может быть универсальноистинной —в частности, она могла не быть истинной в прошлом, когда ее проверяли¹². Но, тем не менее, она могла иметь много истинных следствий и, в частности, могла стать универсально истинной в будущем.

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