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

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

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

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

ДЭВИД: Я очень сильно в этом сомневаюсь.

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

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

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

ДЭВИД: Потому что ваша теория, в отличие от моей, не дает объ­яснений своим предсказаниям.

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

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

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

ДЭВИД: Точно.

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

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

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

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

КРИПТО-ИНДУКТИВИСТ: Это я принимаю.

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

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

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

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

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

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

ДЭВИД: Это действительно так.

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

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

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

ДЭВИД: Это открыл не я.

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

ДЭВИД: Я не думаю, что он говорил именно так. А если и говорил, то на самом деле не имел это в виду.

КРИПТО-ИНДУКТИВИСТ: Что?

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

КРИПТО-ИНДУКТИВИСТ: Вы заявляете, что понимаете теорию Поппера лучше самого Поппера?

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