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

Автор книги: Карл Поппер

сообщить о нарушении

Текущая страница: 31 (всего у книги 35 страниц)

VII

Возникает вопрос: все ли объяснения, имеющие такую структуру, удовлетворительны!Является ли, например, наше объяснение смерти крысы тем, что она поела крысиного яду, удовлетворительным объяснением? Мы не знаем: проверка может показать, что крыса умерла от чего угодно, но не от крысиного яда.

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

Здесь, однако, надо кое-что добавить. Дело в том, что наш скептически настроенный друг может усомниться и в истинности общего закона. Он может, например, сказать: «Хорошо, пусть эта крыса съела определенное химическое соединение, но почему она должна была от этого сдохнуть?» Опять-таки мы не должны отвечать: «Но разве ты не видишь, что она сдохла? Это как раз и показывает, как опасно есть это вещество». Ведь такое объяснение снова было бы круговым и неудовлетворительным. Чтобы сделать его удовлетворительным, мы должны были бы подвергнуть общий закон проверкам, независимым от нашего объясняемого.

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

Прежде всего выскажу одно соображение по поводу понятий причины и действия. Положение вещей, описываемое единичными начальными условиями,можно назвать «причиной»,а положение вещей, описываемое объясняемым – «действием».Мне кажется, однако, что этих терминов, обремененных ассоциациями, связанными с историей их употребления, стоило бы избегать. Если же мы все-таки хотим употреблять их, нам следует помнить, что они приобретают смысл только по отношению к некоторой теории или общему закону. Именно эта теория или этот закон образуют логическую связьмежду причиной и действием, так что высказывание "A есть причина B "надо анализировать следующим образом: «Существует теория T, которая могла и была независимо проверена, и из которой – вместе с независимо проверенным описанием Анекоторой специфической ситуации – мы можем дедуктивно вывести описание Вдругой специфической ситуации». (То обстоятельство, что существование такой логическойсвязи между «причиной» и «действием» предполагается самим использованием этих терминов, не учитывалось многими философами, включая Юма [329] 329
  (Добавлено при переводе на английский язык). Впервые я высказал эти замечания о понятиях «причины» и «действия» в разделе 12 моей книги «Logik der Forschung» («The Logic of Scientific Discovery»). См. также мои книги: «Poverty of Historicism», pp. I22f. (рус. перевод – «Нищета историцизма». М., 1993, с. 140-142), «Open Society and Its Enemies» (рус. перевод – «Открытое общество и его враги». М., 1992, особенно прим. 7 к гл.25), и статью: Popper К. Я.What can Logic do for Philosophy? // Aristotelian Society, Supplementary Volume, 22, 1948, pp. 145 и далее.


[Закрыть]).

VIII

Задача науки не сводится к поиску чисто теоретических объяснений. Она имеет и свои практические стороны – формулирование предсказаний, а также технические приложения. И то и другое можно анализировать с помощью той же логической схемы, которую мы использовали для анализа объяснений.

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

(2)  Технические приложения.Рассмотрим задачу строительства моста, который должен удовлетворить определенным практическим требованиям, изложенным в перечне спецификаций. На этот раз нам даны спецификации 5, описывающие определенное положение вещей, а именно мост, который должен быть построен (5 – это спецификации заказчика, сформулированные до и отличные от спецификаций архитектора). Далее, нам даны релевантные физические теории (включая некоторые практические правила (rules of thumb)). А найти требуется определенные начальные условия, которые могут быть реализованы технически и которые имеют такую природу, что из них, взятых вместе с теорией, можно логически вывести требуемые спецификации. Так что в этом случае место  Eв нашей схеме занимают S [330] 330
  (Добавлено при переводе на английский язык). Этот анализ не следует понимать в том смысле, что технолог или инженер занимается только «применением»теорий, предоставляемых ему чистым ученым. Напротив, технолог и инженер постоянно сталкиваются с проблемами, которые надо решать.Эти проблемы имеют разную степень абстрактности, но обычно имеют, хотя бы отчасти, теоретический характер. Пытаясь решить их, технолог или инженер, как и все остальные, используют метод предположений, проб, проверок, опровержения и устранения ошибок. Это очень хорошо объясняется на р. 43 книги Дж. Т.Дэвиса «Научный подход» (Davies J. Т.The Scientific Approach, 1965) – книги, в которой можно найти много хороших примеров приложения и иллюстраций прожекторной теории науки.


[Закрыть].

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

Мы еще, однако, не истощили использования нашей схемы – она может служить и для анализа процедуры проверки объясняющего.Процедура проверки, или тестирования, состоит в том, чтобы вывести из объясняющегонекоторое предсказание Ри сравнить его с фактически наблюдаемой ситуацией. Если предсказание не согласуется с наблюдаемой ситуацией, это показывает, что объясняющееложно – оно фальсифицируется. В этом случае мы все еще не знаем, то ли ложна общая теория,то ли начальные условияописывают ситуацию, не соответствующую реальному положению вещей – а тогда ложны начальные условия. [Конечно, вполне может оказаться, что ложны как теория, так и начальные условия].

Фальсификация предсказания показывает, что объясняющееложно, но обратное не верно: грубая и опасная ошибка – думать, что мы можем интерпретировать «верификацию» предсказания как «верификацию» объясняющегоили хотя бы какой-то его части. Дело в том, что истинное предсказание вполне можно корректным образом вывести из ложного объясняющего.Большое заблуждение также рассматривать каждую«верификацию» предсказания как что-то вроде практического подкрепления (corroboration) объясняющего:правильней было бы сказать, что в качестве подкреплений объясняющего– и тем самым входящей в него теории, можно рассматривать только такие «верификации» предсказаний, которые [в отсутствии соответствующей теории] являются «неожиданными». Это значит, что предсказание можно использовать для подкрепления теории, только если его сопоставление с данными наблюдения может рассматриваться как серьезная попытка проверить объясняемое– как серьезная попытка опровергнуть его. [«Рискованное»] предсказание такого рода может быть названо «релевантным с точки зрения проверки теории» [331] 331
  Релевантное предсказание в некотором смысле соответствует «испытанию кислотой», или experimentum crucis:чтобы предсказание P могло быть релевантным испытанию теории T ,мы должны иметь возможность сформулировать такое предсказание P',которое не противоречит начальным условиям и остальной части нашего горизонта ожиданий (допущениям, теориям и т. п.) на данный момент, не считая T и которое в сочетании с начальными условиями и с остальной частью нашего горизонта ожиданий противоречит P.Вот что мы имеем в виду, когда говорим, что Р(= Е)должно быть (в отсутствии T )«неожиданным».


[Закрыть]. В конце концов достаточно очевидно, что успешная сдача экзамена может дать представление о качествах студента, только если этот экзамен достаточно серьезен, и что можно устроить такой экзамен, который легко выдержит даже самый слабый студент [332] 332
  Опытные экзаменаторы могут счесть, что слово «легко» здесь несколько нереалистично. Как сказал однажды, размышляя вслух, председатель государственной экзаменационной комиссии в Вене: «Если студент на экзамене на вопрос „Сколько будет 5 плюс 7?" отвечает „восемнадцать", мы ставим ему проходной балл, но если он отвечает „зеленое", я потом иногда думаю, что все-таки нам следовало бы завалить его».


[Закрыть].

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

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

Историка же интересует нахождение описаний положения дел в определенных конечных, специфических пространственно-временных областях – то есть то, что я назвал специфическими начальными условиями – и проверка, или испытание, их адекватности и точности. Для такого рода проверок он использует, в дополнение к другим специфическим начальным условиям, всякого рода общие законы – обычно достаточно очевидные, – входящие в его горизонт ожиданий, хотя, как правило, он не осознает, что использует их. В этом он похож на теоретика. [Тем не менее, разница между ними очень заметна: она состоит в различии между их интересами, проблемами, в различии того, что каждый из них считает проблематичным].

В виде логической схемы [подобной использованным нами ранее] образ действий теоретика можно представить следующим образом:

U ₀означает здесь общий закон, общую гипотезу, являющуюся предметом рассмотрения. Она не изменяется в течение всех проверок и используется – вместе с различными законами U ₁, U ₂,...и различными начальными условиями I ₁,I ₂,... – Для вывода различных предсказаний P ₁,P ₂,..., которые можно было бы сопоставлять с актуальными наблюдаемыми фактами.

Образ действий историка можно представить следующей схемой:

Здесь I ₀есть историческая гипотеза, историческое описание, которое должно быть испытано или проверено. Оно остается без изменения в продолжение всех проверок, и оно сочетается с различными (в основном очевидными) законами U ₁, U ₂,...и с соответствующими начальными условиями I ₁,I ₂,...  для вывода различных предсказаний P ₁,P ₂,... и т.д.

Обе эти схемы, конечно, в высшей степени идеализированы и упрощены.

IX

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

Это – методологический принцип, находящийся в прямом противоречии со всякими позитивистскими и наивно эмпиристскими [или индуктивистскими] тенденциями. Это – принцип, требующий, чтобы мы осмеливались выдвигать дерзкие гипотезы, по возможности открывающие новые области для наблюдения, а не те осторожные обобщения «данных» наблюдений, которые [со времен Бэкона] остаются идолом всех наивных эмпириков.

Наша точка зрения, состоящая в том, что задача науки – выдвигать объяснения или (что приводит по существу к той же логической ситуации [333] 333
  (Добавлено при переводе на английский язык). В более поздний период (начиная с 1950 г.) я проводил гораздо более резкое различие между теоретическими, или объяснительными, и практическими, или «инструментальными», задачами науки, и подчеркивал логическую первичность теоретической задачи по отношению к инструментальной. В частности, я старался особо отметить, что предсказания имеют не только инструментальный аспект, но также – и в основном – аспект теоретический, поскольку они играют решающую роль при проверке теории, как было показано ранее в данном Приложении (см. также мою книгу «Conjectures and Refutations», особенно главу 3.)


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

Анализ и сравнение степеней проверяемости различных теорий показывает, что проверяемость теории возрастает вместе со степеньюее определенности или точности (precision).

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

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

X

Хорошим примером из истории науки, иллюстрирующим мою точку зрения, может служить переход от теорий Кеплера и Галилея к теории Ньютона.

Что этот переход не имеет ничего общего с индукцией и что теорию Ньютона нельзя рассматривать как обобщение двух упомянутых предшествовавших ей теорий, можно видеть из того несомненного [и важного] факта, что теория Ньютона противоречитобеим этим теориям. Так, законы Кеплера нельзя дедуктивно вывести из законов Ньютона[хотя часто утверждалось, что их можно таким образом вывести и даже что законы Ньютона можно дедуктивно вывести из законов Кеплера]: законы Кеплера можно получить из законов Ньютона только приближенно,приняв [ложное] допущение, будто массы различных планет пренебрежимо малы по сравнению с массой Солнца. Аналогично, галилеев закон свободного падения тел нельзя дедуктивно вывести из теории Ньютона – напротив, он ей противоречит. Только приняв [ложное] допущение, будто общая длина всех падений пренебрежимо мала по сравнению с земным радиусом, мы сможем приближенновывести закон Галилея из теории Ньютона.

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

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

Теория Ньютона служит примером попытки объяснить некоторые прежние теории меньшей степени общности – попытки, которая не только привела к некоторого рода объединению этих прежних теорий, но в то же время и к их фальсификации (и к их корректировке посредством ограничения или определения той области, в пределах которой они являются верными (valid) с хорошим приближением) [334] 334
  (Добавлено при переводе на английский язык). Несовместимость теорий Ньютона и Кеплера подчеркивал Пьер Дюгем, который писал о ньютоновском «принципе всемирного тяготения»,что «он отнюдь не может быть выведен путем обобщения и индукции из наблюдательных законов Кеплера»,поскольку он «формально противоречит этим законам. Если теория Ньютона верна, то законы Кеплера с необходимостью ложны»(цитирую по с. 193 перевода на английский язык П. П. Винера книги Duhem P.«The Aim and Structure of Physical Theory», 1954). Термин «наблюдательный»,примененный Дюгемом к «законам Кеплера»,надо воспринимать с хорошей «щепоткой соли» (то есть с большими оговорками): законы Кеплера были необузданными (wild) догадками, такими же, как законы Ньютона; их невозможно было вывести по индукции из наблюдений Тихо Браге, так же как законы Ньютона нельзя было вывести из законов Кеплера. Анализ Дюгема основан на том факте, что в нашей Солнечной системе есть много тяжелых планет, взаимное притяжение которых должно рассчитываться в соответствии с ньютоновской теорией возмущений. Однако мы можем пойти дальше Дюгема: даже если мы будем считать, что законы Кеплера выполняются для множества систем двух тел,каждая из которых состоит из центрального тела с массой Солнца и однойпланеты (масса и расстояние до центрального тела которых различны для разных систем, входящих в это множество), даже и в этом случае третий закон Кеплера не выполняется, если верны законы Ньютона, как я показал вкратце в моей книге «Conjectures and Refutations», примечание 28 к главе 1 (р. 62) (русский перевод см. Поппер К.Логика и рост научного знания. М., Прогресс, 1983, примечание 17 на с. 284), и несколько подробнее в моей работе «The Aim of Science»* 1957 (теперь это глава 5 настоящей книги), а также в моей статье «Naturgesetze und Theoretische Systeme» (1949) (см., в частности, сборник «Theorie und Realitat», ed. by Albert Hans,1964, ch. 1, SS.73 ГГ., особенно SS. 82 и след.). В этой последней работе я говорю кое-что по поводу объяснений, которые исправляют свои (казалось бы, «известные» или «данные») объясняемые, объясняя их приближенно.Эту точку зрения я довольно полно разработал в моих лекциях, начиная с 1940 года (впервые это было сделано в курсе лекций, прочитанном в Крайстчерчском отделении Королевского общества Новой Зеландии – ср. сноску на с. 134 моей книги «Poverty of Historicism» (русский перевод – Поппер К.Нищета историцизма. М., 1993, с. 155)).


[Закрыть]. Чаще, пожалуй, встречается другой случай – сначала фальсифицируется старая теория, а затем возникает новая как попытка объяснить как частичный успех старой теории, так и ее неудачу.

XI

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

С этим переходом от механической к абстрактной теории была достигнута та стадия развития науки, на которой от объяснительной теории практически не требуется ничего, кроме возможности ее независимой проверки; мы готовы работать с теориями, которые на интуитивном уровне можно представлять посредством диаграмм, таких как рисунки [или посредством «изобразимых» или «визуализуемых» механических моделей], если их можно получить, – это дает нам «конкретные» теории; если же такие изображения нельзя получить, мы готовы работать с «абстрактными» математическими теориями [которые, однако, могут быть вполне «доступными пониманию» в том смысле, который я рассматривал в другом месте [335] 335
  (Добавлено при переводе на английский язык). Более полный анализ «понимания» дан в главе 4 настоящей книги.


[Закрыть]].

Наш общий анализ понятия объяснения, конечно, не может быть затронут неудачей любого конкретного изображения или модели. Он применим ко всевозможным абстрактным теориям в той же мере, что и к механическим или иным моделям. Собственно говоря, с нашей точки зрения модели – не что иное, как попытки объяснить новые законы в терминах старых законов, которые уже проходили проверку [вместе с допущениями относительно типичных начальных условий, или наличия типичной структуры – то есть модели в более узком смысле]. Модели часто играют важную роль при распространении и совершенствовании теорий, но необходимо отличать новую модель в рамках старых теоретических допущений от новой теории – то есть от новой системы теоретических допущений.

XII

Я надеюсь, что некоторые из моих формулировок, которые в начале этой лекции могли показаться вам надуманными (far-fetched) или даже парадоксальными, уже не кажутся вам такими.

Нет дороги, ни царской и никакой другой, с необходимостью ведущей от «данного» множества конкретных фактов к какому-то общему закону. То, что мы называем «законами» – это просто гипотезы, или предположения, которые всегда образуют часть некоторой более крупной системы теорий [собственно говоря, всего нашего горизонта ожиданий] и которые, следовательно, невозможно проверять по отдельности. Прогресс науки состоит в пробах, в устранении ошибок и в дальнейших пробах, руководимых опытом, приобретенным в ходе предшествующих проб и ошибок. Никакую теорию никогда нельзя считать абсолютно надежной; любая теория может стать проблематичной, сколь бы хорошо подкрепленной она ни казалась сейчас. Никакая научная теория не является священной и неприкосновенной, стоящей выше критики. Это часто забывали, особенно в прошлом столетии, когда на нас производили такое впечатление часто повторявшиеся и действительно великолепные подкрепления некоторых механических теорий, что эти теории в конце концов стали считаться несомненно истинными. Бурное развитие физики в нашем веке научило нас лучше в этом разбираться, и мы теперь увидели, что задача ученого – подвергать свою теорию все новым и новым проверкам и что никакую теорию нельзя объявлять окончательной. Проверка состоит в том, что берут теорию, подлежащую проверке, и комбинируют ее со всевозможными видами начальных условий, а также с другими теориями, а затем сопоставляют получившиеся предсказания с действительностью. Если это приводит к обманутым ожиданиям, к опровержениям, то нам приходится перестраивать нашу теорию.

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

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

Есть способ так формулировать научные теории, чтобы они особенно ясно указывали на возможность своей собственной фальсификации: мы можем формулировать их в виде запретов [или отрицательных высказываний о существовании],например таких, как: «Не существует закрытой физической системы, в одной части которой энергия менялась бы так, что в другой части системы не происходили бы компенсирующие изменения» (первый закон термодинамики), или: «Не существует машины, эффективной на 100 %» (второй закон). Можно показать, что общие высказывания и отрицательные высказывания о существовании логически эквивалентны. Это дает возможность формулировать указанным образом – то есть как запреты – все общие законы. Однако, эти запреты адресованы только технологам, а не ученым. Они говорят технологу, как он должен действовать, если не хочет тратить силы понапрасну. Для ученого же эти запреты – вызов проверить их и попытаться их фальсифицировать; они стимулируют его попытаться открыть такие положения вещей, которые они запрещают или отрицают.

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