Объективное знание. Эволюционный подход
Шрифт:
На этом можно было бы считать мой анализ формальной схемы объяснения законченным, но я добавлю еще несколько замечаний по поводу очерченной мной общей схемы объяснения.
Прежде всего выскажу одно соображение по поводу понятий причины и действия. Положение вещей, описываемое единичными начальными условиями,можно назвать «причиной»,а положение вещей, описываемое объясняемым — «действием».Мне кажется, однако, что этих терминов, обремененных ассоциациями, связанными с историей их употребления, стоило бы избегать. Если же мы все-таки хотим употреблять их, нам следует помнить, что они приобретают смысл только по отношению к некоторой теории или общему закону. Именно эта теория или этот закон образуют логическую связьмежду причиной и действием, так что высказывание "A есть причина B "надо анализировать следующим образом: «Существует теория T, которая могла и была независимо проверена, и из которой — вместе с независимо проверенным описанием Анекоторой специфической ситуации — мы можем дедуктивно вывести описание Вдругой специфической ситуации». (То обстоятельство, что существование такой логическойсвязи между «причиной» и «действием» предполагается самим использованием этих терминов, не учитывалось многими философами,
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] . В конце концов достаточно очевидно, что успешная сдача экзамена может дать представление о качествах студента, только если этот экзамен достаточно серьезен, и что можно устроить такой экзамен, который легко выдержит даже самый слабый студент [332] .
331
Релевантное предсказание в некотором смысле соответствует «испытанию кислотой», или experimentum crucis:чтобы предсказание P могло быть релевантным испытанию теории T ,мы должны иметь возможность сформулировать
такое предсказание P',которое не противоречит начальным условиям и остальной части нашего горизонта ожиданий (допущениям, теориям и т. п.) на данный момент, не считая T и которое в сочетании с начальными условиями и с остальной частью нашего горизонта ожиданий противоречит P.Вот что мы имеем в виду, когда говорим, что Р(= Е)должно быть (в отсутствии T )«неожиданным».332
Опытные экзаменаторы могут счесть, что слово «легко» здесь несколько нереалистично. Как сказал однажды, размышляя вслух, председатель государственной экзаменационной комиссии в Вене: «Если студент на экзамене на вопрос „Сколько будет 5 плюс 7?" отвечает „восемнадцать", мы ставим ему проходной балл, но если он отвечает „зеленое", я потом иногда думаю, что все-таки нам следовало бы завалить его».
В добавление ко всему этому наша логическая схема позволяет нам, напоследок, проанализировать разницу между задачами теоретическогои историческогообъяснения.
Теоретик заинтересован в том, чтобы находить и проверять общие законы. В ходе их проверки он использует другие законы самого разного рода (многие из них — совершенно неосознанно), так же как и разнообразные начальные условия.
Историка же интересует нахождение описаний положения дел в определенных конечных, специфических пространственно-временных областях — то есть то, что я назвал специфическими начальными условиями — и проверка, или испытание, их адекватности и точности. Для такого рода проверок он использует, в дополнение к другим специфическим начальным условиям, всякого рода общие законы — обычно достаточно очевидные, — входящие в его горизонт ожиданий, хотя, как правило, он не осознает, что использует их. В этом он похож на теоретика. [Тем не менее, разница между ними очень заметна: она состоит в различии между их интересами, проблемами, в различии того, что каждый из них считает проблематичным].
В виде логической схемы [подобной использованным нами ранее] образ действий теоретика можно представить следующим образом:
U 0означает здесь общий закон, общую гипотезу, являющуюся предметом рассмотрения. Она не изменяется в течение всех проверок и используется — вместе с различными законами U 1, U 2,...и различными начальными условиями I 1,I 2,... — Для вывода различных предсказаний P 1,P 2,..., которые можно было бы сопоставлять с актуальными наблюдаемыми фактами.
Образ действий историка можно представить следующей схемой:
Здесь I 0есть историческая гипотеза, историческое описание, которое должно быть испытано или проверено. Оно остается без изменения в продолжение всех проверок, и оно сочетается с различными (в основном очевидными) законами U 1, U 2,...и с соответствующими начальными условиями I 1,I 2,... для вывода различных предсказаний P 1,P 2,... и т.д.
Обе эти схемы, конечно, в высшей степени идеализированы и упрощены.
IX
Ранее я попытался показать, что объяснение будет удовлетворительным,только если входящие в него общие законы, его теорию, можно проверять независимо от объясняемого.Это означает, что любая удовлетворительная объяснительная теория должна всегда утверждать нечто большее,чем то, что уже содержится в объясняемых,которые первоначально побудили нас ее выдвинуть. Другими словами, удовлетворительные теории должны в принципе выходить за пределы тех эмпирических ситуаций, которые их породили, в противном случае они, как мы видели, будут давать только объяснения, содержащие логический круг.
Это — методологический принцип, находящийся в прямом противоречии со всякими позитивистскими и наивно эмпиристскими [или индуктивистскими] тенденциями. Это — принцип, требующий, чтобы мы осмеливались выдвигать дерзкие гипотезы, по возможности открывающие новые области для наблюдения, а не те осторожные обобщения «данных» наблюдений, которые [со времен Бэкона] остаются идолом всех наивных эмпириков.
Наша точка зрения, состоящая в том, что задача науки — выдвигать объяснения или (что приводит по существу к той же логической ситуации [333] ) создавать теоретические основы для предсказаний и других приложений теорий, эта наша точка зрения привела нас к методологическому требованию, чтобы наши теории были проверяемыми. Однако существуют степени проверяемости.Некоторые теории проверяемылучше, чем другие. Если мы ужесточим наше методологическое требование и будем стремиться к все лучше и лучше проверяемымтеориям, то мы придем к следующему методологическому принципу — или формулировке задачи науки — [неосознанное] принятие которого в прошлом может рациональным образом объяснить очень многие события в истории науки: оно объяснит их как шаги в сторону выполнения задачи науки. (В то же самое время оно дает нам формулировку задачи науки, которая определяет, что в науке следует считать прогрессом,ибо в противоположность большинству других видов человеческой деятельности — в том числе искусству и музыке — в науке действительно есть такая вещь, как прогресс.
333
(Добавлено при переводе на английский язык). В более поздний период (начиная с 1950 г.) я проводил гораздо более резкое различие между теоретическими, или объяснительными, и практическими, или «инструментальными», задачами науки, и подчеркивал логическую первичность теоретической задачи по отношению к инструментальной. В частности, я старался особо отметить, что предсказания имеют не только инструментальный аспект, но также — и в основном — аспект теоретический, поскольку они играют решающую роль при проверке теории, как было показано ранее в данном Приложении (см. также мою книгу "Conjectures and Refutations", особенно главу 3.)
Анализ и сравнение степеней проверяемости различных теорий показывает, что проверяемость теории возрастает вместе со степеньюее определенности или точности (precision).
Ситуация достаточно проста. Вместе со степенью общности теории расширяется область тех событий, относительно которых теория может делать предсказания, а тем самым и область возможных фальсификаций теории. Однако теория, которую легче фальсифицировать, является в то же время и лучше проверяемой.