Предположения и опровержения Рост научного знания


Исходное знание и рост науки



бет37/53
Дата30.11.2016
өлшемі6,99 Mb.
#2904
1   ...   33   34   35   36   37   38   39   40   ...   53

4. Исходное знание и рост науки

  1. XV


Тот, кто принимает участие в плодотворном критическом обсуждении некоторой проблемы, часто опирается, хотя и неосознанно, на две вещи: на признание всеми участниками дискуссии общей цели — достижение истины или по крайней мере приближение к истине — и на значительный объем общепризнанного исходного знания (background knowledge). Это, конечно, не означает, что каждая из двух данных предпосылок является неизбежным базисом любой дискуссии или что эти пред-

397


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

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

Во время обсуждения некоторой проблемы мы всегда (хотя бы временно) принимаем в качестве непроблематичных различного рода вещи: для данного времени и для обсуждения определенной частной проблемы они образуют то, что я называю нашим исходным знанием. Лишь немногие части этого исходного знания будут казаться нам во всех контекстах абсолютно непроблематичными, но любая отдельная часть его в любое время может быть подвергнута сомнению, в частности, если мы подозреваем, что некритическое принятие именно этой части обусловило возникновение некоторых наших трудностей. Вместе с тем почти вся значительная часть исходного знания, которую мы постоянно используем в любом неформальном обсуждении, по практическим основаниям необходимо будет оставаться бесспорной, и ошибочная попытка поставить под вопрос все, т.е. начать с нуля, легко может привести к крушению критических споров. (Если мы должны начать с того места, с которого начал Адам, то я не вижу причин, в силу которых мы можем продвинуться дальше того, что удалось сделать Адаму.) (398:)

        1. XVI


То, что мы, как правило, в любой данный момент принимаем большую часть традиционного знания без доказательств (а почти все наше знание является традиционным), не создает затруднений для фальсификациониста, или фаллибилиста. Он не принимает этого исходного знания — ни как установленного, ни как несомненного, ни как вероятного. Он знает, что даже временное его признание является рискованным, и подчеркивает, что каждая часть его открыта для критики, хотя бы и постепенной. Мы никогда не можем быть уверены в том, что подвергнем сомнению именно то, что нужно, но так как мы не ищем несомненности, это не имеет значения. Следует обратить внимание на то, что последнее утверждение является моим ответом на холистскую точку зрения Куайна относительно эмпирических проверок. Куайн сформулировал эту точку зрения (со ссылкой на Дюгема), утверждая, что наши высказывания относительно внешнего мира предстают перед судом чувственного опыта не индивидуально, а только как единое целое21. Следует признать, что часто мы можем проверить лишь значительную часть теоретической системы, а иногда только всю систему в целом, и в этих случаях требуется подлинная изобретательность для того, чтобы определить, какие части этой системы ответственны за фальсификацию. Этот момент я подчеркивал, также со ссылкой на Дюгема, уже с давних пор22. Хотя этот аргумент может сделать верификацио-ниста скептиком, он не может оказать влияния на тех, кто все наши теории считает лишь догадками.

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

399

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



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

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


        1. XVII


Характерная особенность ситуации, в которой находится ученый, состоит в том, что мы постоянно что-то добавляем к нашему исходному знанию. Даже если мы отбрасываем некоторую его часть, то другие части, тесно связанные с отброшенной, сохраняются. Например, хотя мы и считаем опровергнутой теорию Ньютона, т.е. систему его идей и вытекающую из нее формальную дедуктивную систему, мы можем все-таки признать в качестве части нашего исходного знания приблизительную истинность ее количественных формул в границах определенной области.

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

Серьезная эмпирическая проверка всегда состоит в попытке найти опровержение, контрпример. В поисках контрпримера мы должны использовать наше исходное знание, так как в первую очередь всегда пытаемся опровергнуть самые рискованные предсказания, «наиболее неправдоподобные... следствия» (что уже видел Пирс23). Это означает, что мы всегда ищем в наиболее вероятных типичных местах наиболее вероятные типичные контрпримеры — наиболее вероятные в том смысле, что в свете нашего исходного знания мы ожидаем их найти. Если теория выдерживает много таких проверок, то по истечении некоторого времени благодаря включению результатов проверок в наше исходное знание может не остаться таких областей (в свете нашего нового исходного знания), в которых мы с высокой степенью вероятности могли бы надеяться встретить контрпример. Это означает, что степень строгости наших проверок уменьшается. И это объясняет также, почему часто повторяющиеся проверки больше не рассматриваются как значительные или строгие: существует нечто похожее на закон уменьшения обращения к повторяющимся проверкам (в проти-

401


воположность тем проверкам, которые в свете нашего исходного знания являются проверками нового вида и, следовательно, все еще могут сохранять свое значение). Эти факты характерны для познавательных ситуаций, и их часто описывали, в частности, Джон Мейнард Кейнс и Эрнст Нагель, как трудные для объяснения в рамках индуктивистской теории науки. Для нас же здесь нет никаких трудностей. Посредством аналогичного анализа познавательной ситуации мы можем даже объяснить, почему по истечении некоторого времени теория, добивающаяся больших успехов, всегда становится менее эмпирической. И тогда могут высказать предположение (как это сделал Пуанкаре относительно теории Ньютона) о том, что данная теория является не чем иным, как рядом неявных определений или соглашений. Это предположение будет справедливо до тех пор, пока мы вновь не начнем прогрессировать и, опровергнув эту теорию, не дадим нового обоснования ее эмпирического характера. (De mortuis nil nisi bene*: раз теория опровергнута, ее эмпирический характер не подлежит сомнению и обнаруживается с полной ясностью.)
      1. 5. Три требования к росту знания

        1. XVIII


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

Какова общая проблемная ситуация, в которой находится ученый? Перед ученым стоит научная проблема: он хочет найти новую теорию, способную объяснить определенные экспериментальные факты, а именно, факты, успешно объясняемые прежними теориями, факты, которых эти теории не могли объяснить, и факты, с помощью которых они были в дей-

* О мертвых ничего, кроме хорошего (лат.). — Примеч. ред.

402


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

Однако этого еще не достаточно. И если меня спросят: «Чего же вы хотите еще?» — я отвечу, что имеется еще очень много вещей, которых я хочу или которые, как мне представляется, требуются логикой общей проблемной ситуации, в которой находится ученый, и задачей приближения к истине. Здесь я ограничусь обсуждением трех таких требований.

Первое требование таково. Новая теория должна исходить из простой, новой, плодотворной и объединяющей идеи относительно некоторой связи или отношения (такого, как гравитационное притяжение), существующего между до сих пор не связанными вещами (такими, как планеты и яблоки), или фактами (такими, как инерционная и гравитационная массы), или новыми «теоретическими сущностями» (такими, как поля и частицы). Это требование простоты несколько неопределенно и, по-видимому, его трудно сформулировать достаточно ясно. Кажется, однако, что оно тесно связано с мыслью о том, что наши теории должны описывать структурные свойства мира, т.е. с мыслью, которую трудно развить, не впадая в регресс в бесконечность. (Это обусловлено тем, что любая идея об особой структуре мира, если речь не идет о чисто математической структуре, уже предполагает наличие некоторой универсальной теории; например, объяснение законов химии посредством интерпретации молекул как структур, состоящих из атомов или субатомных частиц, предполагает идею универсальных законов, управляющих свойствами и поведением атомов или частиц.) Однако одну важную составную часть идеи простоты можно анализировать логически. Это идея проверяемости24, которая приводит нас непосредственно к нашему второму требованию.

Во-вторых, мы требуем, чтобы новая теория была независимо проверяема15. Это означает, что независимо от объясне-

403

ния всех фактов, которые была призвана объяснить новая теория, она должна иметь новые и проверяемые следствия (предпочтительно следствия нового рода), она должна вести к предсказанию явлений, которые до сих не наблюдались.



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

Если наше второе требование выполнено, то новая теория будет представлять собой потенциальный шаг вперед независимо от исхода ее новых проверок. Действительно, она будет лучше проверяема, чем предшествующая теория: это обеспечивается тем, что она объясняет все факты, объясняемые предыдущей теорией, и вдобавок ведет к новым проверкам, достаточным, чтобы подкрепить ее.

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

И все-таки я убежден в том, что хорошая теория должна удовлетворять еще и третьему требованию. Оно таково: теория должна выдерживать некоторые новые и строгие проверки.


        1. XIX


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

404


«формальными требованиями».) Выполнение же или невыполнение третьего требования можно обнаружить лишь путем эмпирической проверки новой теории. (Оно является «материальным требованием», требованием эмпирического успеха.)

Вместе с тем очевидно, что третье требование не может быть необходимым в том же самом смысле, в котором необходимы два предыдущих. Эти требования необходимы для решения вопроса о том, имеем ли мы вообще основания считать, что обсуждаемая теория может рассматриваться как серьезный кандидат для эмпирической проверки или, иными словами, для решения вопроса о том, является ли она интересной и многообещающей теорией. Однако некоторые из наиболее интересных и замечательных теорий, когда-либо выдвинутых, были опровергнуты при первой же проверке. А почему бы и нет? Даже самая многообещающая теория может рухнуть, если она делает предсказания нового рода. Примером может служить прекрасная теория Бора, Крамерса и Слэтера26, выдвинутая в 1924 году, которая в качестве интеллектуального достижения была почти равна квантовой теории атома водорода, предложенной Бором в 1913 году. К сожалению, она почти сразу же была опровергнута фактами — благодаря совпадению экспериментов Боте и Гейгера27. Это показывает, что даже величайший физик не может с уверенностью предвидеть тайны природы: его творение может быть только догадкой, и нельзя считать виной ни его самого, ни построенной им теории, если она была опровергнута. Даже теория Ньютона была в конце концов опровергнута, и мы вправе надеяться на достижение успеха в опровержении и улучшении каждой новой теории. И если теория опровергается в конце ее длительной жизни, то почему бы это не могло случиться в начале ее существования? Вполне можно сказать, что если теория опровергается после шести месяцев своего существования, а не после шести лет или шести столетий, то это обусловлено лишь исторической случайностью.

Опровержения часто рассматривались как неудача ученого или по крайней мере созданной им теории. Следует подчерк-

405


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

Даже если новая теория нашла раннюю смерть (как это случилось с теорией Бора, Крамерса и Слэтера), она не должна быть забыта; следует помнить о ее привлекательности, и история должна засвидетельствовать нашу благодарность ей за то, что она завещала нам новые и, может быть, еще не объясненные экспериментальные факты и вместе с ними новые проблемы, за то, что она служила прогрессу науки в течение своей плодотворной, хотя и краткой жизни.

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

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

406

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



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


Ранее я считал, что наука остановилась бы в своем развитии и потеряла свой эмпирический характер, если бы она перестала получать опровержения. Теперь мы видим, что по очень похожим причинам наука должна была бы остановиться в своем развитии и потерять свой эмпирический характер, если бы она перестала получать также и верификации новых предсказаний, т.е. если бы мы могли создавать только такие теории, которые выполняли бы два первых наших требования и не выполняли третье. Допустим, нам удалось создать непрерыв-

407


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

Я утверждаю, что в этом случае мы должны были бы почувствовать, что создали последовательность таких теорий, которые, несмотря на возрастающую степень проверяемости, являются ad hoc и нисколько не приближают нас к истине. Действительно, такое чувство было бы вполне оправданным: вся эта последовательность теорий вполне может оказаться последовательностью теорий ad hoc. Если согласиться с тем, что теория может быть теорией ad hoc, если она не является независимо проверяемой экспериментами нового рода, а только объясняет ранее известные факты, в том числе и те, которые опровергли ее предшественниц, то ясно, что сама по себе независимая проверяемость теории не может гарантировать, что она не является теорией ad hoc. Это становится еще более ясным, если заметить, что любую теорию ad hoc можно посредством тривиальной уловки сделать независимо проверяемой, если при этом не требовать, чтобы она выдержала эти независимые проверки: нужно лишь тем или иным образом связать ее (конъюнктивно) с любым проверяемым, но еще не проверенным фантастическим предсказанием ad hoc события, которое, по нашему мнению (или по мнению писателя-фантаста), может произойти.

Таким образом, наше третье требование, подобно второму, нужно для того, чтобы устранить тривиальные теории и теории ad hoc19. Однако оно необходимо и по более серьезным причинам.

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

408

жем чувствовать потребность в поддержании нашей веры в то, что мы способствуем прогрессу). Однако отсюда вовсе не следует, будто мы стремимся создавать теории таким образом, чтобы они были превзойдены.



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

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

409

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


        1. XXI


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

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

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

410


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

(2) Второе основание: если наша цель состоит в увеличении правдоподобности наших теорий или в стремлении приблизиться к истине, то мы должны стремиться не только уменьшить ложное содержание наших теорий, но и увеличить их истинное содержание.

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

Я имею в виду случаи, в которых нет опровержения. Ни теория Кеплера, ни теория Галилея не были опровергнуты до появления теории Ньютона: последний лишь пытался объяснить их, исходя из более общих предположений, и таким образом объединить две ранее не связанные области исследования. То же самое можно сказать о многих других теориях: система Птолемея не была опровергнута к тому времени, когда Коперник создал свою систему; и, хотя приводящий в смущение эксперимент Майкельсона—Морли был поставлен до Эйнштейна, он был успешно объяснен Лоренцем и Фитцджеральдом.

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

411


содержание) там, где старые теории давали ложные следствия (т.е. имели ложное содержание).

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

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

(3) Аналогичное утверждение, подчеркивающее важность решающих проверок, можно высказать, не апеллируя к стремлению увеличить степень правдоподобности теории и опираясь лишь на мой старый аргумент — на потребность сделать проверки наших объяснений независимыми30. Потребность в этом есть результат роста знания — результат включения того, что было новым и проблематичным, в наше исходное знание, что постепенно приводит, как мы уже отмечали, к потере объяснительной силы нашими теориями.

Таковы мои основные аргументы.

        1. XXII


Наше третье требование можно разделить на две части: во-первых, от хорошей теории мы требуем, чтобы она была успешной в некоторых новых предсказаниях; во-вторых, мы требуем, чтобы она не была опровергнута слишком скоро, т.е. прежде, чем она добьется явного успеха. Оба требования звучат довольно странно. Первое — потому, что логическое взаи-

412


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

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

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

413


щую не просто хорошие инструменты исследования, но подлинные объяснения.

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

Теперь я кратко суммирую наши результаты относительно эпистемологических концепций двух групп философов, которые я здесь рассматривал, — верификационистов и фальсифи-кационистов.

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

414

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


      1. Приложение. По-видимому, ложное, однако формально высоковероятное неэмпирическое утверждение


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

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

Мой пример представляет собой следующую чисто экзистенциальную теорию:

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

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

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

Я думаю, однако, что эта путаница возникает не по моей вине. Я также согласен с тем, что данное экзистенциальное утверждение является ложным, но с моей точки зрения это ложное метафизическое утверждение. Если же кто-то считает его эмпирическим, то почему, спрашиваю я, он полагает, будто оно ложно? Эмпирически оно неопровержимо. Никакое реальное наблюдение не способно обосновать его ложности. Отсутствуют эмпирические основания для признания его ложным.

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

Теория вероятностей говорит даже больше: в ней легко доказать не только то, что эмпирическое свидетельство никогда не может опровергнуть почти логически истинного экзистенциального утверждения, но и то, что оно не способно даже уменьшить его вероятность11. (Его вероятность может быть уменьшена только такой информацией, которая «почти логи-

416


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

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

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

Это показывает, что, как я и настаивал в течение долгого времени, не стоит некритически соглашаться с тем, что термины «эмпирический» и «правильно построенный» (или «осмысленный») совпадают. И положение нельзя улучшить за счет некритического предположения о том, что в качестве критерия эмпирического характера утверждений или теорий может выступать вероятность или вероятностная «подтверждаемость», ибо — как было показано выше — неэмпирическое и по всей видимости ложное утверждение может обладать высокой степенью вероятности. (417:)


      1. Примечания автора


1 См., в частности, мою «Нищету историцизма» и гл. 16 данной книги.

2 Обсуждение степени проверяемости, эмпирического содержания, подкрепляемости и подкрепления см. в «Логике научного открытия», разд. 31—46, 82—85, а также новое приложение *ix, в котором рассматривается также вопрос о степени объяснительной силы теории и проведено сравнение теорий Эйнштейна и Ньютона в этом отношении (в прим. 7 на с. 401). В дальнейшем я иногда буду говорить о проверяемости и т.п. как о «критерии прогресса», не вдаваясь в подробности, рассмотренные в моей книге.

3 См., например, J.C. Harsanyi, Popper's Improbability Criterion for the Choice of Scientific Hypotheses, Philosophy, 35, 1960, pp. 332ff Между прочим, я не предлагаю никакого «критерия» для выбора научных гипотез: любой выбор — это рискованная догадка. Более того, выбор теоретика сам является гипотезой, которая в лучшем случае заслуживает лишь последующего критического обсуждения (а не простого принятия).

4 См., в частности, приложение *ix к моей «Логике научного открытия».

5 К пониманию этого я пришел под влиянием д-ра Дж. Агасси, который в 1956 году убедил меня, что стремление к законченным дедуктивным системам представляет собой пережиток длительного господства ньютоновских идей (и поэтому, могу я добавить, платоновской и евклидовой традиции). О более радикальных воззрениях Агасси см. далее, примеч. 31.

6 Сравни этот и два следующих абзаца с моей «Нищетой историцизма», разд. 28 и гл. 1 и 16 настоящей книги.

7 См. «Логика научного открытия», разд. 84 и «Открытое общество», т. 1, с. 369—374.

8 См. Витгенштейн Л. Логико-философский трактат, 4.0141, а также 2.161, 2.17, 2.223, 3.11.

9 См. его замечательную работу Erkenntnislehre, 2nd edn., 1925, pp. 56—57.

10 См. «Введение» к этой книге «Об источниках знания и невежества».

11 См. мое «Введение» и гл. 5 выше.

12 См. анализ «второй точки зрения» (названной «инструментализмом») в гл. 3 выше.

13 См. статью Альфреда Тарского «Семантическое понятие истины» в Philosophy and Phenom. Research, 4, 1943—4, pp. 34Iff., особенно разд. 21. — Русский перев.: Тарский А. Семантическая концепция истины и основания семантики. — Аналитическая философия: становление и развитие. М., 1998, с. 90—129.

14 См. номер журнала, упомянутый в предыдущем прим., с. 279 и с. 336.

15 См. работу Карнапа «Логические основания вероятности», 1950, с. 177, а также мою «Логику научного открытия», разд. 84.

418


16 Из книги: Busch W. Schein und Sein, 1909 (см. с. 28 издания Insel, 1952). Мое внимание к этому стихотворению привлекло исследование моего покойного друга Джулиуса Крафта о Буше как философе, опубликованное в работе Erziehung und Politik (Essays for Minna Specht, 1960, s. 262). В моем переложении четверостишие стало, может быть, более детским, чем хотел Буш.

17 Сходные опасения выражает Куайн, когда критикует Пирса за использование идеи приближения к истине, см.: W.V. Quine, Word and Object, New York, 1960, p. 23.

18 Это определение логически оправдывается той теоремой, что в отношении «эмпирической части» логического содержания сравнение эмпирического и логического содержаний всегда будет приводить к одним и тем же результатам. Интуитивно это определение оправдывается тем соображением, что высказывание а говорит о мире нашего опыта тем больше, чем больше возможных случаев оно исключает (или запрещает). О базисных высказываниях см. также Приложения к данной книге.

19 Слово «eoikota» в этом фрагменте чаще всего переводят как «вероятно» или «правдоподобно». Например, Кранц в «Дильс—Кранц. Фрагменты досократиков», 6-е изд., переводит его выражением «wahrscheinlicheinleuchtend», т.е. «вероятно». Данный отрывок он истолковывает следующим образом: «Это упорядочение мира (или мировой порядок) я постараюсь разъяснить вам во всех его частях как нечто вероятное или правдоподобное». При переводе выражений «(вполне) близко к истине» или «(вполне) похоже на истину» я иногда поддавался влиянию приведенной выше строчки из Ксенофана, а также работы Рейнгардта «Пар-менид», на которую ссылается Виламовиц. См. также раздел 7 «Введения» к данной книге; цитату из предисловия Осиандра к труду Коперника в разд. 1 гл. 3, разд. XII гл. 5 и прил. 6.

20 Между прочим, это справедливо как для абсолютной р(а), так и для относительной р(а, Ь) вероятности; существуют соответствующие понятия абсолютной и относительной правдоподобности.

21 См.: W.V. Quine, From a Logical Point of View, 1953, p. 41.

22 См. мою «Логику научного открытия», особенно разд. 19—22, а также гл. 3, текст к прим. 28 настоящей книги.

23 См.: Collected Papers of CS. Peirce, vol. VII, 7.182 и 7.2Я6. Этой ссылкой я обязан У.Б. Галли (см. Philosophy, 35, 1960, с. 67f и аналогичной — Д. Райнину.

24 См. «Логика научного открытия», разд. 31—46. Позднее я подчеркивал (в лекциях) необходимость релятивизировать сравнение простоты по отношению лишь к тем гипотезам, которые конкурируют между собой как решения определенной проблемы или множества проблем. Несмотря на то что идея простоты интуитивно связана с идеей единства системы, возникающей из одного интуитивного представления о данных фактах, ее нельзя анализировать, опираясь (419:) на малочисленность гипотез. Каждую (конечно, аксиоматизированную) теорию можно сформулировать в виде одного высказывания и, по-видимому, для каждой теории и для любого числа п теорий существует некоторое множество из п независимых аксиом, хотя не обязательно «органических» в том смысле, в каком использовали это понятие представители польской логической школы.

25 О понятии независимой проверки см. мою статью: The Aim of Science, Ratio, 1, 1957.

26 См.: Philosophical Magazine, 47, 1924, pp. 785ff.

27 См.: Zeitschrift fur Physik, 32, 1925, pp. 63ff.

28 На такие «новые» предсказания и их философское значение я обращал внимание в гл. 3.

29 Д-р Ежи Гедимин (в статье A Generalization of the Refutability Postulate, Studia Logica, 10, 1960, pp. 103ff) сформулировал общий методологический принцип эмпиризма, гласящий, что различные правила научного метода не должны допускать того, что он называет «диктаторской стратегией», т.е. они должны исключать ту возможность, что мы всегда будем выигрывать игру, разыгрываемую в соответствии с этими правилами. Природа должна быть способна хотя бы иногда наносить нам поражения. Если опустить наше третье требование, то мы всегда можем выиграть, и при построении «хороших» теорий нам вообще не нужно принимать в рассмотрение Природу: умозрительные спекуляции относительно тех ответов, которые может дать Природа на наши вопросы, не будут играть никакой роли в нашей проблемной ситуации, которая всегда будет полностью детерминирована только нашими прошлыми неудачами.

30 См., в частности, мою статью The Aim of Science, Ratio, 1, 1957.

31 Верификационисты могут считать, что проведенное обсуждение того, что я назвал третьим требованием, совершенно излишне, так как в ходе этого обсуждения защищается то, что никем не оспаривается. Фальсификационисты относятся к этому иначе, и лично я чрезвычайно признателен д-ру Агасси, который обратил мое внимание на то, что ранее я никогда не проводил ясного различия между вторым и третьим требованиями. Поэтому именно благодаря ему я говорю об этом здесь столь подробно. Следует упомянуть, однако, что, как объяснил мне Агасси, он не согласен со мной относительно третьего требования, которое он не может принять, так как рассматривает его как рецидив верификационистского способа мышления. (См. также его статью в Australasian Journal of Philosophy, 39, 1961, в которой он выражает свое несогласие на с. 90.) Я допускаю, что здесь есть некоторая струя верификационизма, однако мне кажется, что в данном случае мы должны примириться с ней, если не хотим склониться к одной из форм инструментализма, рассматривающего теории просто как инструменты исследования.

32 Это следствие «принципа стабильности» исчисления вероятностей; см. теорему (26) из разд. V моей статьи Creative and Non-Creative Definitions in the Calculus of Probability, Synthese, 15, 1963, п. 2, pp. 167ff. (420:) (421:)


  1. Достарыңызбен бөлісу:
1   ...   33   34   35   36   37   38   39   40   ...   53




©engime.org 2024
әкімшілігінің қараңыз

    Басты бет