Бадья и прожектор: две теории познания
{57}
Цель этой работы — подвергнуть критике широко распространенный взгляд на цели и методы естественных наук и выдвинуть альтернативную точку зрения.
I
Я начну с краткого изложения той точки зрения, которую я собираюсь рассмотреть и которую я буду называть «бадейной теорией науки» (или «бадейной теорией сознания (mind)»). Исходный пункт этой теории — убедительно звучащая доктрина о том, что прежде чем иметь возможность знать или говорить что-либо о мире, мы должны иметь восприятия — чувственный опыт. Как предполагается, из этой доктрины следует, что наше знание, наш опыт состоят либо из накопленных восприятий (наивный эмпиризм), либо из восприятий усвоенных, отсортированных и расклассифицированных (взгляд, которого придерживался Бэкон и — в более радикальной форме — Кант).
У греческих атомистов было довольно примитивное представление об этом процессе. Они считали, что от воспринимаемых нами предметов отрываются атомы, проникающие в наши органы чувств, где они становятся восприятиями, а из этих последних с течением времени собирается воедино [как самособирающаяся головоломка] наше знание о внешнем мире. Значит, согласно этой точке зрения, наше сознание, наш разум (mind) напоминает контейнер — что-то вроде бадьи, в которой собираются восприятия и знание. (Бэкон говорит о восприятиях как о «гроздьях, созревших и налившихся соком», которые надлежит терпеливо и усердно собирать и из которых можно выжать чистое вино знания).
Строгие эмпирики советуют нам как можно меньше вмешиваться в этот процесс накопления знания. Истинное знание — это чистое знание, не запятнанное теми предвзятыми мнениями (prejudices), которые мы слишком склонны добавлять и примешивать к нашим восприятиям; только последние составляют чистый и простой опыт. Результатом этих добавок, этого вмешательства и помех процессу накопления знания являются ошибки. Кант выступил против этой теории — он отрицал, что восприятия когда-либо бывают чистыми, и утверждал, что наш опыт есть результат процесса ассимиляции и преобразования — совокупный продукт чувственных восприятий и определенных ингредиентов, добавляемых нашими сознаниями. Восприятия — это как бы сырой материал, втекающий снаружи в бадью, где он подвергается некоторой (автоматической) переработке — чему-то вроде переваривания, усвоения или, возможно, систематической классификации — чтобы в конце концов превратиться в нечто не столь уж отличное от бэконовского «чистого вина опыта», скажем — в крепленое вино.
Я не думаю, что любой из этих двух взглядов предлагает сколько-нибудь адекватную картину того, что я считаю фактическим процессом приобретения опыта или методом, фактически используемым для исследований и открытий. Конечно, взгляд Канта можно истолковать в таком смысле, что он будет ближе к моей собственной точке зрения, чем чистый эмпиризм. И я, конечно, признаю, что наука невозможна без опыта (только понятие «опыт» нужно рассматривать очень тщательно). Вместе с тем хотя я признаю это, я тем не менее утверждаю, что восприятия вовсе не представляют собой сырой материал, как это получается по «бадейной теории», из которого мы строим то ли «опыт», то ли «науку».
II
В науке решающую роль играет не столько восприятие, сколько наблюдение.Вместе с тем наблюдение — это процесс, в котором мы играем исключительно активную роль.Наблюдение — это восприятие, но только спланированное и подготовленное. Мы не «получаем (have)» наблюдение [как мы можем «получить» чувственное восприятие], а «делаем (make)» его. [Навигатор даже «производит (works)» наблюдение]. Наблюдению всегда предшествует конкретный интерес, вопрос или проблема — короче говоря, нечто теоретическое. В конце концов мы можем любой вопрос перевести в форму гипотезы или предположения, к которой добавлено: «Так ли это? Да или нет?» Таким образом, мы можем утверждать, что любому наблюдению предшествует проблема, гипотеза, или как бы это ни называть — нечто нас интересующее, нечто теоретическое или умозрительное. Вот почему наблюдения всегда избирательны, и вот почему они всегда предполагают нечто вроде принципа отбора.
Прежде чем пристальней рассмотреть намеченные проблемы, я хочу сделать — в виде отступления — несколько замечаний биологического характера. Хотя они и не задуманы как основа или даже как один из аргументов в пользу моего основного тезиса, который я собираюсь сформулировать несколько дальше, они, возможно, помогут преодолеть или обойти некоторые возражения против этого основного тезиса и тем самым облегчить его понимание.
III
Мы знаем, что все живые существа, даже самые примитивные реагируют на определенные раздражители или стимулы. Эти реакции — специфические; это значит, что для каждого организма (и для каждого типа организмов) число возможных реакций ограничено. Мы можем сказать, что каждый организм от рождения обладает определенным множеством возможных реакций или определенным предрасположением (disposition) реагировать тем или иным образом. Это множество предрасположений может меняться с возрастом организма (может быть, отчасти под воздействием чувственных впечатлений или восприятий) или может оставаться постоянным; так или иначе, мы можем принять, что в любой данный момент жизни организм снабжен таким множеством возможностей и предрасположений реагировать, и что это множество образует то, что можно назвать внутренним состоянием организма [в данный момент].
От этого внутреннего состояния организма зависит, как будет он реагировать на внешнее окружение. Вот почему физически тождественные стимулы могут в разное время вызывать разные реакции, а физически разные стимулы могут приводить к одинаковым реакциям.
Мы будем говорить, что организм «учится на опыте», только если его предрасположения реагировать меняются с течением времени и если у нас есть основания полагать, что эти изменения не зависят полностью от врожденных изменений [развития] в состоянии организма, но также и от меняющегося состояния его внешней среды. (Это необходимое, хотя и не достаточное условие для утверждения, что организм учится на опыте). Другими словами, мы будем рассматривать процесс, в ходе которого организм учится, как некоторого рода изменение, или модификацию, его предрасположений реагировать, а не - в отличие от бадейной теории —- как (упорядоченное, классифицированное или ассоциированное) накопление следов в памяти, оставленных восприятиями, ушедшими в прошлое.
Эти модификации предрасположений организма реагировать, образующие процесс обучения, тесно связаны с важным понятием «ожидания»("expectation"), а также с понятием «обманутого ожидания»("disappointed expectation"). Мы можем определить ожидание как предрасположение реагировать или как подготовку к реакции,приспособленную к некоторому состоянию окружающей среды [или предвосхищающую это состояние], которому еще предстоит наступить. Это определение (characterization) кажется более адекватным, чем то, которое описывает ожидание в терминах состояний сознания, потому что многие из наших ожиданий мы осознаем только тогда, когда они обманываются, оставаясь неосуществленными. Примером может служить ситуация, когда мы натыкаемся на неожиданную для нас ступеньку лестницы: именно неожиданность появления ступеньки заставляет нас осознать тот факт, что мы ожидали встретить на этом месте ровную поверхность. Такие разочарования заставляют нас корректироватьнашу систему ожиданий. Процесс обучения в значительной части состоит из таких корректировок, то есть из устранения, отказа от некоторых [обманутых] ожиданий.
IV
Вернемся теперь к проблеме наблюдения. Наблюдение всегда предполагает наличие некоторой системы ожиданий. Эти ожидания можно сформулировать в форме вопросов. В этом случае наблюдение будет использоваться для получения либо подтверждающего, либо корректирующего ответа на сформулированное ожидание.
Мой тезис, согласно которому вопрос или гипотеза должны предшествовать наблюдению, может на первый взгляд показаться парадоксальным, однако теперь мы можем видеть, что в предположении, согласно которому ожидания, то есть предрасположения действовать, должны предшествовать любому наблюдению и, собственно говоря, любому восприятию, нет ничего парадоксального: ведь определенные предрасположенности (propensities) или диспозиции реагировать врождены всем организмам, тогда как восприятия и наблюдения, очевидно, не являются врожденными. И хотя восприятия и в еще большей степени наблюдения играют важную роль в процессе изменения наших диспозиций, или предрасположенностей к реакциям, некоторые из этих диспозиций или предрасположенностей должны, конечно, присутствовать до этого, иначе нечего будет изменять.
Эти рассуждения биологического характера ни в коем случае не следует понимать как свидетельство того, что я занимаю бихевиористскую позицию. Я не отрицаю, что восприятия, наблюдения и другие состояния сознания имеют место, но я приписываю им совсем не ту роль, которую они должны играть согласно бадейной теории. Не следует рассматривать эти биологические рассуждения и как образующие некое исходное допущение, на базе которого будут строиться мои аргументы. Вместе с тем я надеюсь, что эти рассуждения будут способствовать лучшему пониманию моих аргументов. То же можно сказать и о рассуждениях, которые я собираюсь изложить и которые тесно связаны с только что высказанными биологическими рассуждениями.
В любой момент нашего донаучного или научного развития мы живем в центре того, что я обычно называю «горизонтом ожиданий»("horizon of expectations"). Под этим термином я понимаю совокупность всех наших ожиданий — как бессознательных, так и сознательных и даже, возможно, даже явно высказанных на каком-то языке. У животных и у младенцев тоже есть свои, разнообразные и различные горизонты ожиданий, хотя, несомненно, на более низком уровне осознанности, чем, скажем, у ученого, чей горизонт ожиданий в значительной степени состоит из сформулированных на определенном языке теорий или гипотез.
Различные горизонты ожиданий отличаются друг от друга, конечно, не только большей или меньшей осознанностью, но и своим содержанием. Однако во всех этих случаях горизонт ожиданий играет роль системы координат: только их включение в эту систему придает нашим переживаниям, действиям и наблюдениям смысл (meaning) или значение (significance).
В частности, наблюдения в этой системе координат выполняют очень специфическую функцию. При определенных обстоятельствах они могут даже разрушить всю эту систему, если придут в столкновение с некоторыми ожиданиями. В таком случае их воздействие на наш горизонт ожиданий подобно взрыву бомбы. Этот взрыв может заставить нас перестроить, построить заново весь горизонт наших ожиданий. Иначе говоря, нам может потребоваться скорректировать наши ожидания и заново состыковать их друг с другом в нечто подобное согласованному целому. Мы можем сказать, что в этом случае наш горизонт ожиданий поднимается на более высокий уровень и перестраивается на этом более высоком уровне и что таким образом мы выходим на новую стадию эволюции нашего опыта — стадию, на которой те из наших ожиданий, что не были затронуты взрывом, так или иначе встраиваются в новый горизонт, тогда как те части горизонта, что пострадали при взрыве, приводятся в порядок и перестраиваются. Причем это надо делать так, чтобы возмущающие наблюдения больше не воспринимались как разрушительные, но интегрировались со всеми остальными нашими наблюдениями. Если нам удастся такая перестройка, это будет означать, что мы создали то, что обычно называют объяснением наблюдаемых нами событий [событий, приведших к взрыву и поставивших перед нами проблему].
Что же касается вопроса о временном отношении между наблюдением, с одной стороны, и горизонтом ожиданий или теорий, с другой стороны, то мы вполне можем допустить, что новое объяснение или новая гипотеза, как правило, следует во времени за теминаблюдениями, которые разрушили предшествующий горизонт ожиданий и таким образом послужили для нас побудительным стимулом к попытке нового объяснения. Это не следует понимать в том смысле, что наблюдения, как правило, предшествуют ожиданиям или гипотезам. Наоборот, каждому наблюдению предшествуют ожидания или гипотезы, конкретней — те ожидания, которые образуют горизонт ожиданий, придающий этим наблюдениям их значимость. Только так могут они достичь статуса подлинных наблюдений.
Этот вопрос — что раньше, гипотеза (Я) или наблюдение (О)? — напоминает, конечно же, другой знаменитый вопрос — что было раньше: курица (Я) или яйцо (О)? Оба вопроса разрешимы. Бадейная теория утверждает, что [так же, как примитивная форма яйца (О) — одноклеточный организм — предшествует курице (Я)] наблюдение (О) всегда предшествует любой гипотезе (Я). Дело в том, что бадейная теория рассматривает гипотезу как возникающую из наблюдений путем обобщения, ассоциации или классификации. В противоположность этому мы теперь можем сказать, что гипотеза (или ожидание, или теория, или как бы это ни называть) предшествует наблюдению, даже хотя наблюдение, опровергающее определенную гипотезу, может стимулировать некоторую новую (и тем самым по времени более позднюю) гипотезу.
Все это относится, в частности, и к формированию научных гипотез. Ведь только из гипотез узнаем мы о том, какого рода наблюдения нам надо делать, на что направлять наше внимание, чем интересоваться. Таким образом, гипотеза становится нашим проводником и ведет нас к новым результатам наблюдений.
Эту точку зрения я называю «прожекторной теорией»(в противовес «бадейной теории»).[Согласно прожекторной теории, наблюдения вторичны по отношению к гипотезам]. Наблюдения, однако, играют важную роль как проверки, испытания,которые должна пройти гипотеза в ходе ее [критического] рассмотрения. Если гипотеза не выдерживает этого испытания, если наблюдения ее фальсифицируют, то нам следует поискать другую гипотезу. В это случае новая гипотеза будет следовать во времени за теми наблюдениями, которые привели к фальсификации и отвержению прежней гипотезы, но сделала эти наблюдения интересными и релевантными,имеющими отношение к делу, и в целом привела к тому, что мы вообще их предприняли, именно более ранняя, старая [и теперь уже отвергнутая] гипотеза.
При таком подходе наука явно выступает как прямое продолжение донаучной работы по «ремонту» наших горизонтов ожиданий. Наука никогда не начинает на голом месте; ее никогда неЛьзя назвать свободной от предположений, ибо в любой момент она предполагает некоторый горизонт ожиданий — так сказать, вчерашний горизонт ожиданий. Сегодняшняя наука строится на вчерашней науке [так что она есть порождение вчерашнего прожектора], а вчерашняя наука, в свою очередь, основана на науке предыдущего дня. А самые старые научные теории построены на донаучных мифах, а эти последние, в свою очередь, на еще более старых ожиданиях. Онтогенетически (то есть с точки зрения развития отдельного организма) мы таким путем возвращаемся назад, к ожиданиям новорожденного младенца; филогенетически же (с точки зрения эволюции рода, филума) мы добираемся до ожиданий одноклеточного организма. (Здесь нет опасности порочного бесконечного регресса — хотя бы потому, что любой организм рождается с каким-тогоризонтом ожиданий). От амебы до Эйнштейна как бы только один шаг.
Ну, а если наука развивается именно так, то каков тот характерный шаг, что отмечает переход от до-науки к науке?
V
Первые шаги эволюции чего-то подобного научному методу можно обнаружить примерно на стыке шестого и пятого столетий до нашей эры в древней Греции. Что же там произошло? Что было нового в этой эволюции? Чем отличались новые идеи от традиционных мифов, которые пришли с Востока и, как мне кажется, подсказали многие из предположений, имевших решающее значение для этих новых идей?
Среди древних вавилонян и греков, так же как и среди маорийцев Новой Зеландии — да собственно, по-видимому, среди всех народов, измышлявших космологические мифы, — рассказывались сказки, в которых речь шла о начале всех вещей и в которых пытались понять или объяснить устройство Вселенной в терминах истории ее происхождения. Эти рассказы стали частью традиции и сохранялись в особых школах. Традиция вообще часто отдается на попечение особому, избранному классу людей — жрецам или знахарям, которые ревниво ее охраняют. Хранимые рассказы меняются лишь очень понемногу — в основном благодаря искажениям при передаче, недопониманию, а иногда благодаря добавлению новых мифов, придуманных пророками или поэтами.
Так вот, то, что было новым в греческой философии, что было добавлено ко всему только что описанному, состояло, кажется мне, не столько в замене мифов чем-то более «научным», сколько в новом отношении (attitude) к мифам. А то, что их характер стал с этого времени меняться, кажется мне просто следствием этого нового отношения.
Новое отношение, которое я имею в виду, — это критическое отношение. На месте догматической передачи учения [при которой основная задача состоит в сохранении аутентичной традиции] мы обнаруживаем критическое обсуждение передаваемого учения. Некоторые люди начинают задавать о нем вопросы: они сомневаются в достоверности (trustworthiness) этого учения — в его истинности.
Сомнения и критика существовали, конечно, и до этой стадии. Новым здесь, однако, является то, что сомнение и критика теперь становятся частью традиции философской школы. Традиционное сохранение догмы сменяется традицией более высокого порядка: на месте традиционной теории — на месте мифа — мы видим традицию критики теорий (которые на первых порах сами мало отличаются от мифов). И только в ходе критического обсуждения происходит обращение к наблюдению как к свидетелю.
Вряд ли случайно, что Анаксимандр, ученик Фалеса, разработал теорию, которая явно и осознанно расходилась с теорией его учителя, и что Анаксимен, ученик Анаксимандра, столь же сознательно расходится с доктриной своего учителя. Единственным объяснением этого может быть то, что основатель школы сам призывал своих учеников критиковать его теорию и что они превратили эту новую критическую установку (attitude) своего учителя в новую традицию.
Интересно, что это, насколько мне известно, имело место только один раз. Более ранняя пифагорейская школа была, несомненно, школой старого типа — ее традиция не включала критической установки, а ограничивалась задачей сохранения того, чему учил основатель. Нет сомнения, что только влияние критической школы ионийцев ослабило позднее жесткость традиции пифагорейской школы и таким образом проложило путь философскому и научному методу критики.
Вряд ли можно привести лучшую иллюстрацию критической установки древнегреческой философии, чем знаменитые строки Ксенофана:
Это не просто критический вызов — это высказано с полным осознанием и владением критической методологией.
Так что мне кажется, что именно традиция критики составляет то, что в науке ново и что для нее характерно. Вместе с тем мне кажется, что задача, которую ставит себе наука [то есть объяснение мира], и основные идеи, которые она при этом использует, были взяты без какого бы то ни было разрыва из донаучного мифотворчества.
VI
В чем состоит задача науки? Этим вопросом я заканчиваю предварительное рассмотрение биологических и исторических тенденций и перехожу собственно к логическому анализу науки.
Задача науки отчасти теоретическая — объяснение,отчасти практическая — предсказание и техническое приложение. Я попытаюсь показать, что обе эти цели в некотором смысле представляют собой два разные аспекта одной и той же деятельности.
Сначала я рассмотрю понятие (idea) объяснения.
Часто можно слышать, что объяснение есть сведение неизвестного к известному, но нам редко сообщают, как это делается. Во всяком случае, такое понятие (notion) объяснения — это не то, которое когда-либо использовалось в действительной практике объяснений в науке. Если мы обратимся к истории науки, чтобы посмотреть, какого рода объяснения использовались и признавались удовлетворительными в то или иное время, то мы обнаружим совсем другое понятие объяснения.
Я изложил краткий очерк этой истории (не истории понятия (concept) объяснения, а истории практики объяснений) сегодня утром на философском семинаре (см. примечание * на с. 320). К сожалению, недостаток времени не позволяет мне подробно остановиться сейчас на этом вопросе. Вместе с тем я хочу все же упомянуть здесь один общий результат. В ходе исторического развития науки в качестве приемлемых рассматривалось много разных способов и видов объяснения, но у всех них была одна общая черта: различные способы объяснения все состояли в логической дедукции — дедукции, заключением которой было объясняемое, или экспликант — формулировка того, что требовалось объяснить, а посылками — объясняющее, или экспликанс (формулировка объясняющих законов и начальных условий). Основное изменение, имевшее место в истории науки, состояло в отказе от некоторых неявных требований, предъявлявшихся к характеру объясняющего (что оно должно усваиваться интуитивно, что оно должно быть самоочевидным и т.д.), — требований, оказавшихся несовместимыми с некоторыми другими требованиями, ключевое значение которых становилось все яснее с течением времени, в частности с требованием независимой проверяемости объясняющего[которое составляет посылки, то есть самую сердцевину объяснения].
Таким образом, объяснение всегда есть дедуктивный вывод объясняемого из определенных посылок, называемых объясняющим.
Вот несколько мрачноватый пример, который я привожу просто для иллюстрации.
Обнаружена дохлая крыса, и мы хотим узнать, что с ней случилось. Объясняемоеможно сформулировать так: «Эта крыса недавно сдохла». Это объясняемоенам определенно известно —- соответствующий факт лежит перед нами во всей своей голой реальности. Если мы хотим объяснить его, мы должны испробовать какие-то предположительные или гипотетические объяснения (как это делают авторы детективных рассказов), иначе говоря — объяснения, которые вводят нечто нам неизвестноеили, во всяком случае, гораздо менее известное. Этим нечто может быть, например, гипотеза, что крыса сдохла от большой дозы крысиного яда. Эта гипотеза полезна, поскольку, во-первых, помогает нам сформулировать объясняющее,из которого можно дедуктивно вывести объясняемое,а во-вторых, она подсказывает нам некоторое количество независимых проверок — тестов объясняющего, совершенно не зависящих от того, истинно или нет объясняемое.
Однако объясняющее —которым является наша гипотеза — не состоит из одного только высказывания «Эта крыса съела приманку, содержавшую большую дозу крысиного яда», потому что из этого высказывания самого по себе нельзя дедуктивно вывести объясняемое.Нам придется использовать в качестве объясняющегодва разные типа посылок — общие (universal) законы и начальные условия. В нашем случае общий закон можно сформулировать так: «Если крыса съест по крайней мере 8 гран крысиного яда, она умрет не позднее, чем через пять минут». (Единичное) начальное условие (сформулированное в виде единичного высказывания) может быть таким: «Эта крыса съела по крайней мере 18 гран крысиного яда более пяти минут назад». Из этих двух посылок вместе мы теперь действительно можем дедуктивно заключить, что эта крыса недавно сдохла [а это и есть наше объясняемое].
Конечно, все это может показаться очевидным, однако обратите внимание на один из моих тезисов — на тезис, согласно которому того, что я назвал «начальными условиями»[то есть условиями, относящимися к данному отдельному случаю], никогда не бывает достаточно для объяснения, так что нам всегда нужен еще и какой-то общий закон. Ну, а этот тезис далеко не является очевидным — напротив, с ним часто не соглашаются. Я даже подозреваю, что большинство из вас склонны были бы принять такое замечание, как «эта крыса съела крысиного яду», за вполне достаточное объяснение ее смерти даже без добавления к нему явной формулировки общего закона, относящегося к воздействию крысиного яда. Но предположим на мгновение, что мы живем в мире, в котором все (в том числе и все крысы), съевшие изрядное количество химикалии, называемой «крысиным ядом», будут чувствовать себя особенно хорошо и весело всю предстоящую неделю. Если бы имел место такой общий закон, было ли бы высказывание «Эта крыса съела крысиного яду» столь же приемлемым в качестве объяснения крысиной смерти? Очевидно, нет.
Итак, мы получили важный результат, который часто упускают из виду, — что всякое объяснение, использующее только единичные начальные условия, остается само по себе недостаточным, ему нужен, помимо них, еще хотя бы один общий закон,пусть даже он в некоторых случаях бывает настолько общеизвестен, что все опускают его как избыточный.
Подытожим сказанное. Мы выяснили, что объяснение есть дедуктивный вывод следующего рода:
VII
Возникает вопрос: все ли объяснения, имеющие такую структуру, удовлетворительны!Является ли, например, наше объяснение смерти крысы тем, что она поела крысиного яду, удовлетворительным объяснением? Мы не знаем: проверка может показать, что крыса умерла от чего угодно, но не от крысиного яда.
Если кто-нибудь из наших друзей отнесется к нашему объяснению скептически и спросит: «Откуда ты знаешь, что эта крыса поела яду?», явно недостаточно будет ответить ему: «Да как ты можешь в этом сомневаться, ты же видишь, что она сдохла?». Действительно, любое основание, которое мы могли бы привести в поддержку нашей гипотезы, должно отличаться от объясняемогои не зависеть от него. Если в качестве свидетельства в пользу нашей гипотезы мы можем только повторить само объясняемое,мы почувствуем, что наше объяснение описывает круг и потому совершенно неудовлетворительно.Если же мы сможем ответить: «Проанализируй содержимое ее желудка, и ты обнаружишь много яда», и если это предсказание (которое является новым, то есть не вытекает из одного только объясняемого)окажется истинным, мы сможем считать наше объяснение по крайней мере достаточно хорошей гипотезой.
Здесь, однако, надо кое-что добавить. Дело в том, что наш скептически настроенный друг может усомниться и в истинности общего закона. Он может, например, сказать: «Хорошо, пусть эта крыса съела определенное химическое соединение, но почему она должна была от этого сдохнуть?» Опять-таки мы не должны отвечать: «Но разве ты не видишь, что она сдохла? Это как раз и показывает, как опасно есть это вещество». Ведь такое объяснение снова было бы круговым и неудовлетворительным. Чтобы сделать его удовлетворительным, мы должны были бы подвергнуть общий закон проверкам, независимым от нашего объясняемого.
На этом можно было бы считать мой анализ формальной схемы объяснения законченным, но я добавлю еще несколько замечаний по поводу очерченной мной общей схемы объяснения.
Прежде всего выскажу одно соображение по поводу понятий причины и действия. Положение вещей, описываемое единичными начальными условиями,можно назвать «причиной»,а положение вещей, описываемое объясняемым — «действием». Мне кажется, однако, что этих терминов, обремененных ассоциациями, связанными с историей их употребления, стоило бы избегать. Если же мы все-таки хотим употреблять их, нам следует помнить, что они приобретают смысл только по отношению к некоторой теории или общему закону. Именно эта теория или этот закон образуют логическую связьмежду причиной и действием, так что высказывание "A есть причина B" надо анализировать следующим образом: «Существует теория T, которая могла и была независимо проверена, и из которой — вместе с независимо проверенным описанием Анекоторой специфической ситуации — мы можем дедуктивно вывести описание В другой специфической ситуации». (То обстоятельство, что существование такой логическойсвязи между «причиной» и «действием» предполагается самим использованием этих терминов, не учитывалось многими философами, включая Юма).
VIII
Задача науки не сводится к поиску чисто теоретических объяснений. Она имеет и свои практические стороны — формулирование предсказаний, а также технические приложения. И то и другое можно анализировать с помощью той же логической схемы, которую мы использовали для анализа объяснений.
(1) Вывод предсказаний.В то время как при поиске объяснений нам дано — или известно — объясняемое и требуется найти подходящее объясняющее, при выводе предсказаний мы движемся в обратном направлении. В этом случае дана или предполагается известной (быть может, из учебников) теория, а также специфические начальные условия (известные или предполагаемые известными из наблюдений). Найти же требуется логические заключения, которые пока что нам не известны из наблюдений. Это — предсказания. В данном случае место объясняемого E в нашей логической схеме занимает предсказание P.
(2) Технические приложения. Рассмотрим задачу строительства моста, который должен удовлетворить определенным практическим требованиям, изложенным в перечне спецификаций. На этот раз нам даны спецификации 5, описывающие определенное положение вещей, а именно мост, который должен быть построен (5 — это спецификации заказчика, сформулированные до и отличные от спецификаций архитектора). Далее, нам даны релевантные физические теории (включая некоторые практические правила (rules of thumb)). А найти требуется определенные начальные условия, которые могут быть реализованы технически и которые имеют такую природу, что из них, взятых вместе с теорией, можно логически вывести требуемые спецификации. Так что в этом случае место E в нашей схеме занимают S [330](Добавлено при переводе на английский язык). Этот анализ не следует понимать в том смысле, что технолог или инженер занимается только «применением» теорий, предоставляемых ему чистым ученым. Напротив, технолог и инженер постоянно сталкиваются с проблемами, которые надо решать. Эти проблемы имеют разную степень абстрактности, но обычно имеют, хотя бы отчасти, теоретический характер. Пытаясь решить их, технолог или инженер, как и все остальные, используют метод предположений, проб, проверок, опровержения и устранения ошибок. Это очень хорошо объясняется на р. 43 книги Дж. Т.Дэвиса «Научный подход» (Davies J. Т. The Scientific Approach, 1965) — книги, в которой можно найти много хороших примеров приложения и иллюстраций прожекторной теории науки.
.
Теперь понятно, почему с логической точки зрения и вывод предсказаний, и техническое применение научных теорий можно рассматривать как простое обращение (инверсия) базовой схемы научного объяснения.
Мы еще, однако, не истощили использования нашей схемы — она может служить и для анализа процедуры проверки объясняющего. Процедура проверки, или тестирования, состоит в том, чтобы вывести из объясняющего некоторое предсказание Р и сравнить его с фактически наблюдаемой ситуацией. Если предсказание не согласуется с наблюдаемой ситуацией, это показывает, что объясняющее ложно — оно фальсифицируется. В этом случае мы все еще не знаем, то ли ложна общая теория, то ли начальные условия описывают ситуацию, не соответствующую реальному положению вещей — а тогда ложны начальные условия. [Конечно, вполне может оказаться, что ложны как теория, так и начальные условия].
Фальсификация предсказания показывает, что объясняющее ложно, но обратное не верно: грубая и опасная ошибка — думать, что мы можем интерпретировать «верификацию» предсказания как «верификацию» объясняющего или хотя бы какой-то его части. Дело в том, что истинное предсказание вполне можно корректным образом вывести из ложного объясняющего. Большое заблуждение также рассматривать каждую «верификацию» предсказания как что-то вроде практического подкрепления (corroboration) объясняющего: правильней было бы сказать, что в качестве подкреплений объясняющего — и тем самым входящей в него теории, можно рассматривать только такие «верификации» предсказаний, которые [в отсутствии соответствующей теории] являются «неожиданными». Это значит, что предсказание можно использовать для подкрепления теории, только если его сопоставление с данными наблюдения может рассматриваться как серьезная попытка проверить объясняемое — как серьезная попытка опровергнуть его. [«Рискованное»] предсказание такого рода может быть названо «релевантным с точки зрения проверки теории». В конце концов достаточно очевидно, что успешная сдача экзамена может дать представление о качествах студента, только если этот экзамен достаточно серьезен, и что можно устроить такой экзамен, который легко выдержит даже самый слабый студент.
В добавление ко всему этому наша логическая схема позволяет нам, напоследок, проанализировать разницу между задачами теоретического и исторического объяснения.
Теоретик заинтересован в том, чтобы находить и проверять общие законы. В ходе их проверки он использует другие законы самого разного рода (многие из них — совершенно неосознанно), так же как и разнообразные начальные условия.
Историка же интересует нахождение описаний положения дел в определенных конечных, специфических пространственно-временных областях — то есть то, что я назвал специфическими начальными условиями — и проверка, или испытание, их адекватности и точности. Для такого рода проверок он использует, в дополнение к другим специфическим начальным условиям, всякого рода общие законы — обычно достаточно очевидные, — входящие в его горизонт ожиданий, хотя, как правило, он не осознает, что использует их. В этом он похож на теоретика. [Тем не менее, разница между ними очень заметна: она состоит в различии между их интересами, проблемами, в различии того, что каждый из них считает проблематичным].
В виде логической схемы [подобной использованным нами ранее] образ действий теоретика можно представить следующим образом:
U0 означает здесь общий закон, общую гипотезу, являющуюся предметом рассмотрения. Она не изменяется в течение всех проверок и используется — вместе с различными законами U 1 , U 2 ,... и различными начальными условиями I1,I2,... — Для вывода различных предсказаний P1,P2,..., которые можно было бы сопоставлять с актуальными наблюдаемыми фактами.
Образ действий историка можно представить следующей схемой:
Здесь I0 есть историческая гипотеза, историческое описание, которое должно быть испытано или проверено. Оно остается без изменения в продолжение всех проверок, и оно сочетается с различными (в основном очевидными) законами U 1 , U 2 ,... и с соответствующими начальными условиями I1,I2,... для вывода различных предсказаний P1,P2,... и т.д.
Обе эти схемы, конечно, в высшей степени идеализированы и упрощены.
IX
Ранее я попытался показать, что объяснение будет удовлетворительным,только если входящие в него общие законы, его теорию, можно проверять независимо от объясняемого. Это означает, что любая удовлетворительная объяснительная теория должна всегда утверждать нечто большее,чем то, что уже содержится в объясняемых,которые первоначально побудили нас ее выдвинуть. Другими словами, удовлетворительные теории должны в принципе выходить за пределы тех эмпирических ситуаций, которые их породили, в противном случае они, как мы видели, будут давать только объяснения, содержащие логический круг.
Это — методологический принцип, находящийся в прямом противоречии со всякими позитивистскими и наивно эмпиристскими [или индуктивистскими] тенденциями. Это — принцип, требующий, чтобы мы осмеливались выдвигать дерзкие гипотезы, по возможности открывающие новые области для наблюдения, а не те осторожные обобщения «данных» наблюдений, которые [со времен Бэкона] остаются идолом всех наивных эмпириков.
Наша точка зрения, состоящая в том, что задача науки — выдвигать объяснения или (что приводит по существу к той же логической ситуации) создавать теоретические основы для предсказаний и других приложений теорий, эта наша точка зрения привела нас к методологическому требованию, чтобы наши теории были проверяемыми. Однако существуют степени проверяемости. Некоторые теории проверяемы лучше, чем другие. Если мы ужесточим наше методологическое требование и будем стремиться к все лучше и лучше проверяемым теориям, то мы придем к следующему методологическому принципу — или формулировке задачи науки — [неосознанное] принятие которого в прошлом может рациональным образом объяснить очень многие события в истории науки: оно объяснит их как шаги в сторону выполнения задачи науки. (В то же самое время оно дает нам формулировку задачи науки, которая определяет, что в науке следует считать прогрессом, ибо в противоположность большинству других видов человеческой деятельности — в том числе искусству и музыке — в науке действительно есть такая вещь, как прогресс.
Анализ и сравнение степеней проверяемости различных теорий показывает, что проверяемость теории возрастает вместе со степенью ее определенности или точности (precision).
Ситуация достаточно проста. Вместе со степенью общности теории расширяется область тех событий, относительно которых теория может делать предсказания, а тем самым и область возможных фальсификаций теории. Однако теория, которую легче фальсифицировать, является в то же время и лучше проверяемой.
Подобную же ситуацию мы обнаружим, если рассмотрим степени определенности или точности теории. Точное высказывание легче опровергнуть, чем неопределенное, а потому его можно лучше проверить. Это соображение позволяет нам также объяснить требование — чтобы качественные высказывания везде, где возможно, заменялись на количественные — нашим принципом возрастания степени проверяемости теорий. (На этом пути можно также объяснить роль, которую в проверке теорий играет измерение: это средство становится все более важным по мере прогресса науки, но его не следует использовать [как это часто делают] в качестве характерного признака науки или построения теорий вообще. Мы не должны игнорировать тот факт, что процедуры измерения начали использоваться лишь на довольно поздней стадии развития некоторых наук и что даже сейчас они используются не во всех науках, и мы не должны забывать о том, что всякое измерение зависит от определенных теоретических допущений).
X
Хорошим примером из истории науки, иллюстрирующим мою точку зрения, может служить переход от теорий Кеплера и Галилея к теории Ньютона.
Что этот переход не имеет ничего общего с индукцией и что теорию Ньютона нельзя рассматривать как обобщение двух упомянутых предшествовавших ей теорий, можно видеть из того несомненного [и важного] факта, что теория Ньютона противоречит обеим этим теориям. Так, законы Кеплера нельзя дедуктивно вывести из законов Ньютона [хотя часто утверждалось, что их можно таким образом вывести и даже что законы Ньютона можно дедуктивно вывести из законов Кеплера]: законы Кеплера можно получить из законов Ньютона только приближенно, приняв [ложное] допущение, будто массы различных планет пренебрежимо малы по сравнению с массой Солнца. Аналогично, галилеев закон свободного падения тел нельзя дедуктивно вывести из теории Ньютона — напротив, он ей противоречит. Только приняв [ложное] допущение, будто общая длина всех падений пренебрежимо мала по сравнению с земным радиусом, мы сможем приближенно вывести закон Галилея из теории Ньютона.
Это, конечно, показывает, что теория Ньютона не может быть обобщением, полученным путем индукции [или дедукции], но что это — новая гипотеза, которая может указать путь к фальсификации прежних теорий: она может осветить и указать путь к тем областям, в которых, согласно новой теории, прежние теории уже не способны давать хорошие приближения. (В случае Кеплера — это область теории возмущений, а в случае Галилея — это теория переменных ускорений, поскольку, согласно Ньютону, ускорение силы тяжести изменяется обратно пропорционально квадрату расстояний).
Если бы теория Ньютона добилась только объединения законов Кеплера с законами Галилея, она была бы всего только круговым объяснением этих законов, а потому неудовлетворительной как объяснение. Однако ее способность освещения дальнейшего пути развития науки и ее сила убеждения состояли именно в ее способности пролить свет на путь к независимым проверкам, ведущий нас к [успешным] предсказаниям, которые были несовместимы с предшествующими теориями. Это был путь к новым эмпирическим открытиям.
Теория Ньютона служит примером попытки объяснить некоторые прежние теории меньшей степени общности — попытки, которая не только привела к некоторого рода объединению этих прежних теорий, но в то же время и к их фальсификации (и к их корректировке посредством ограничения или определения той области, в пределах которой они являются верными (valid) с хорошим приближением). Чаще, пожалуй, встречается другой случай — сначала фальсифицируется старая теория, а затем возникает новая как попытка объяснить как частичный успех старой теории, так и ее неудачу.
XI
В связи с моим анализом понятия (или, скорее, практики) объяснения кажется существенным еще один момент. От Декарта [а может быть еще и от Коперника] до Максвелла большинство физиков пытались объяснять все вновь обнаруживаемые отношения с помощью механических моделей, то есть они пытались свести эти отношения к законам толчков и давления, с которыми мы знакомы по повседневному обращению с физическими вещами — вещами, принадлежащими к области «физических тел среднего размера». Декарт сделал из этого нечто вроде программы для всех наук: он даже требовал, чтобы мы ограничивались моделями, оперирующими исключительно с толчками или давлением. Первое поражение эта программа понесла в связи с успехом теории Ньютона, но это поражение (которое было большим огорчением для Ньютона и всего его поколения) скоро было забыто, и сила притяжения была допущена в программу на равных правах с толчками и давлением. Максвелл тоже первоначально пытался разработать свою теорию электромагнитного поля в виде механической модели эфира, но в конце концов он отказался от этой попытки. После этого механические модели утратили большую часть своей значимости; остались только уравнения, изначально предназначенные для описания механической модели эфира. [Их интерпретировали как описание некоторых немеханических свойств эфира].
С этим переходом от механической к абстрактной теории была достигнута та стадия развития науки, на которой от объяснительной теории практически не требуется ничего, кроме возможности ее независимой проверки; мы готовы работать с теориями, которые на интуитивном уровне можно представлять посредством диаграмм, таких как рисунки [или посредством «изобразимых» или «визуализуемых» механических моделей], если их можно получить, — это дает нам «конкретные» теории; если же такие изображения нельзя получить, мы готовы работать с «абстрактными» математическими теориями [которые, однако, могут быть вполне «доступными пониманию» в том смысле, который я рассматривал в другом месте ].
Наш общий анализ понятия объяснения, конечно, не может быть затронут неудачей любого конкретного изображения или модели. Он применим ко всевозможным абстрактным теориям в той же мере, что и к механическим или иным моделям. Собственно говоря, с нашей точки зрения модели — не что иное, как попытки объяснить новые законы в терминах старых законов, которые уже проходили проверку [вместе с допущениями относительно типичных начальных условий, или наличия типичной структуры — то есть модели в более узком смысле]. Модели часто играют важную роль при распространении и совершенствовании теорий, но необходимо отличать новую модель в рамках старых теоретических допущений от новой теории — то есть от новой системы теоретических допущений.
XII
Я надеюсь, что некоторые из моих формулировок, которые в начале этой лекции могли показаться вам надуманными (far-fetched) или даже парадоксальными, уже не кажутся вам такими.
Нет дороги, ни царской и никакой другой, с необходимостью ведущей от «данного» множества конкретных фактов к какому-то общему закону. То, что мы называем «законами» — это просто гипотезы, или предположения, которые всегда образуют часть некоторой более крупной системы теорий [собственно говоря, всего нашего горизонта ожиданий] и которые, следовательно, невозможно проверять по отдельности. Прогресс науки состоит в пробах, в устранении ошибок и в дальнейших пробах, руководимых опытом, приобретенным в ходе предшествующих проб и ошибок. Никакую теорию никогда нельзя считать абсолютно надежной; любая теория может стать проблематичной, сколь бы хорошо подкрепленной она ни казалась сейчас. Никакая научная теория не является священной и неприкосновенной, стоящей выше критики. Это часто забывали, особенно в прошлом столетии, когда на нас производили такое впечатление часто повторявшиеся и действительно великолепные подкрепления некоторых механических теорий, что эти теории в конце концов стали считаться несомненно истинными. Бурное развитие физики в нашем веке научило нас лучше в этом разбираться, и мы теперь увидели, что задача ученого — подвергать свою теорию все новым и новым проверкам и что никакую теорию нельзя объявлять окончательной. Проверка состоит в том, что берут теорию, подлежащую проверке, и комбинируют ее со всевозможными видами начальных условий, а также с другими теориями, а затем сопоставляют получившиеся предсказания с действительностью. Если это приводит к обманутым ожиданиям, к опровержениям, то нам приходится перестраивать нашу теорию.
Обманутые ожидания, с которыми мы в такой надежде подходили к действительности, играют в этой процедуре очень важную роль. Ее можно сравнить с опытом слепого, который дотрагивается до препятствия или натыкается на него, и благодаря этому узнает о его существовании. Только через фальсификацию наших предположений мы на самом деле соприкасаемся с «действительностью». Только обнаружение и устранение наших ошибок и составляет тот «позитивный» опыт, которого мы набираемся у действительности.
Конечно, всегда возможно спасти фальсифицированную теорию с помощью дополнительных гипотез [таких как гипотеза эпициклов]. Однако это — не путь прогресса в науке. Подобающей реакцией на фальсификацию будет поиск новых теорий, которые, похоже, обещают нам лучшее овладение (grasp) фактами. Наука заинтересована не в том, чтобы оставить за собой последнее слово, если это означает закрыть наши умы перед фальсифицирующим опытом, а в том, чтобы учиться на опыте, то есть учиться на наших ошибках.
Есть способ так формулировать научные теории, чтобы они особенно ясно указывали на возможность своей собственной фальсификации: мы можем формулировать их в виде запретов [или отрицательных высказываний о существовании], например таких, как: «Не существует закрытой физической системы, в одной части которой энергия менялась бы так, что в другой части системы не происходили бы компенсирующие изменения» (первый закон термодинамики), или: «Не существует машины, эффективной на 100 %» (второй закон). Можно показать, что общие высказывания и отрицательные высказывания о существовании логически эквивалентны. Это дает возможность формулировать указанным образом — то есть как запреты — все общие законы. Однако, эти запреты адресованы только технологам, а не ученым. Они говорят технологу, как он должен действовать, если не хочет тратить силы понапрасну. Для ученого же эти запреты — вызов проверить их и попытаться их фальсифицировать; они стимулируют его попытаться открыть такие положения вещей, которые они запрещают или отрицают.
Итак, мы дошли до того места, с которого можем видеть науку как великолепное приключение человеческого духа. Это — изобретение все новых теорий и неустанное исследование их способности проливать свет на наш опыт. Принципы научного прогресса очень просты. Они требуют, чтобы мы отказались от древней идеи, будто мы можем достичь несомненности [или даже высокой степени «вероятности» в смысле исчисления вероятностей] научных высказываний и теорий (идеи, выросшей из связи науки с магией, а ученого с чародеем). Цель ученого — открывать не абсолютную несомненность, а все лучшие и лучшие теории [или изобретать все более и более мощные прожектора], способные подвергаться все более и более суровым проверкам [и тем самым выводить нас на все новый опыт и освещать его для нас]. И это, конечно, значит, что наши теории должны быть фальсифицируемыми: наука развивается через их фальсификацию.