Онлайн чтение книги Логика научного исследования The Logic of Scientific Discovery
Глава I. Обзор основных проблем

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

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

Что же это такое «методы эмпирических наук»? И что вообще мы называем «эмпирической наукой»?

1. Проблема индукции

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

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

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

Вопрос об оправданности индуктивных выводов, или, иначе говоря, о тех условиях, при которых такие выводы оправданны, известен под названием «проблема индукции».

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

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

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

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

1 Reichenbach Н. Kausalitt und Wahrscheinlichkeit // Erkenntnis, 1930, Bd. 1, H. 2–4, S. 186 (см. также S. 64 и далее). Ср. также предпоследний абзац главы XVII [в оригинале опечатка: указана глава XII. — Прим. ред. ] книги Б. Рассела «История западной философии» ( Russell В. The History of Western Philosophy. New York, Simon and Schuster, 1946, p. 699 [русский перевод: Рассел Б. История западной философии. М.: ИЛ, 1959, с. 691–692; Новосибирск, 1994. Кн. 3, с. 171–172. Во всех ссылках на источник страницы приводятся по изданию, на которое ссылается автор; все ссылки на русские переводы указаны редактором русского издания. — Прим. ред. ]) .

2 Reichenbach H. Kausalitt und Wahrscheinlichkeit // Erkenntnis, 1930, Bd. 1, H. 2–4, S. 67.

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

Кант попытался предложить свой способ преодоления этой трудности, утверждая, что принцип индукции (который он сформулировал в виде «принципа универсальной причинности») является «верным, общезначимым (valid) a priori». Однако его изобретательная попытка построить априорное оправдание синтетических высказываний, как мне кажется, не была успешной.

С моей точки зрения, охарактеризованные трудности, возникающие в индуктивной логике, непреодолимы. То же самое можно сказать и относительно трудностей, встающих в рамках широко распространенной ныне теории, согласно которой индуктивный вывод, хотя он и не является «строго достоверным, общезначимым», тем не менее может приобретать некоторую степень «надежности» (reliability) или «вероятности». В этой теории индуктивные выводы являются «вероятностными выводами»3. «Мы описали, — заявляет Рейхенбах, — принцип индукции как средство, с помощью которого наука распознает истину. Точнее, мы должны были сказать, что он служит для определения вероятности, ибо науке не дано полностью обрести ни истины, ни ложности... научные высказывания могут только приобретать степени вероятности, недостижимыми верхним и нижним пределами которых служат истина и ложь»4.

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

*1 Наиболее выразительные места из юмовской критики индукции цитируются в Приложении *VII в тексте, к которому относятся примечания 4, 5 и 6; см. также примечание 2 к разделу 81.

3 См.: Keynes J. M. Treatise on Probability. London, Macmillan, 1921; Klpe O. Vorlesungen ber Logik (ed. by Selz О.). Leipzig, Hirzel, 1923; Reichenbach H. Axiomatik der Wahrscheinlichkeitsrechnung // Mathematische Zeitschrift, 1931–1932, Bd. 34, H. 4, S. 568–619 (Рейхенбах, кстати, использует термин «вероятностная импликация») и другие работы.

4 Reichenbach H. Kausalitt und Wahrscheinlichkeit // Erkenntnis, 1930, Bd. 1, H. 2–4, S. 186.

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

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

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

2. Устранение психологизма

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

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

*2 Более полное изложение этой критики см. также далее, в главе X, особенно в примечании 2 к разделу 81, и в главе II моего Postscript. [Для облегчения ориентации читателей в многочисленных ссылках Поппера на Postscript надо иметь в виду следующее. В трех томах Postscript имеется общая нумерация разделов этого попперовского сочинения. Она приведена в круглых скобках (используются арабские числа со звездочкой) только в Содержаниях всех трех томов, причем помещена она в Содержаниях после нумерации разделов каждой из двух частей тома I и томов II и III и всего включает 120 пунктов (от *1 и до *120). В текстах же трех томов Postscript она не используется. В «Логике научного исследования» во всех случаях, когда Поппер ссылается на Postscript, он всегда указывает на общую нумерацию его разделов, и, исходя из этой информации, читатель легко обнаружит соответствующий фрагмент Postscript. — Прим. ред.]

5Либих ( Liebig J. Induction und Deduktion. Mnchen, Akademie der Wissenschaften, 1865), по всей вероятности, был первым, кто отверг индуктивный метод с позиций естественных наук; его полемика была направлена против Ф. Бэкона. Дюгем ( Duhem P. La theorie physique, son objet et sa structure, 1906 (английский перевод: Duhem P. The Aim and Structure of Physical Theory. Translated by Wiener P. P. Princeton, 1954 [русский перевод: Дюгем П. Физическая теория, ее цель и строение. СПб., 1910]) также явно защищал дедуктивистские взгляды. (««Однако в книге Дюгема можно найти и индуктивистские воззрения, например, в главе III части I, где говорится, что только эксперимент, индукция и обобщение дали возможность Декарту сформулировать закон преломления света ( Duhem P. The Aim and Structure of Physical Theory. Princeton, 1954, p. 34). Такие же взгляды высказывал В. Крафт ( Kraft V. Die Grundformen der wissenschaftlichen Methoden. Wien und Leipzig, Holder-Pichler-Tempsky, 1925; см. также: Carnap R. Die physikalishe Sprache als Universalsprache der Wissenschaft // Erkenntnis, Bd. 2, 1932, S. 440).

теория — приходит человеку, может представлять существенный интерес для эмпирической психологии, но он совершенно не относится к логическому анализу научного знания. Логический анализ не затрагивает вопросов о фактах (кантовского quid facti?), а касается только вопросов об оправдании или обоснованности (кантовского quid juris?). Вопросы второго типа имеют следующий вид: можно ли оправдать некоторое высказывание? Если можно, то каким образом? Проверяемо ли это высказывание? Зависит ли оно логически от некоторых других высказываний? Или, может быть, противоречит им? Для того чтобы некоторое высказывание можно было подвергнуть такого рода логическому анализу, оно должно уже иметься у нас. Оно должно быть уже сформулировано и предъявлено для логического исследования.

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

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

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

3. Дедуктивная проверка теорий

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

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

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

1 Эйнштейн А. Речь по случаю шестидесятилетия Планка (1918 г.). Цитируемый отрывок начинается словами: «Высшей задачей физика является поиск таких в высшей степени универсальных законов...» (Einstein А. Mein Weltbild. Amsterdam, Querido Verlag, 1934, S. 168 (английский перевод: Einstein A. The World as I See It. London. Lane, 1935, p. 125). Подобные идеи ранее высказывал также Либих (Liebig J. Induction und Deduktion. Mnchen, Akademie der Wissenschaften, 1865); см. также: Mach E. Die Prinzipien der Wrmelehre: Historischekritisch entwickelt. Leipzig, Barth, 1896, S. 443 и след. *Немецкое слово «Einfhlung» с трудом поддается переводу. Хэррис перевел его как «сочувственное понимание опыта» («sympathetic understanding of experience»).

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

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

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

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

4. Проблема демаркации

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

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

*1 По поводу этого термина см. примечание *1 перед разделом 79 настоящей книги и раздел *29 моего Postscript.

2Ср. со сказанным (и вообще с содержанием разделов 1–6 и 13–24) мою статью: Popper K. R. Ein Kriterium des empirischen Charakters theoretischer Systeme // Erkenntnis, 1933, Bd. 3, H. 4/6, S. 426. * Эта статья в переводе на английский язык опубликована в Приложении *I «The Logic of Scientific Discovery» [русский перевод — в настоящем издании. — Прим. ред.].

Эта проблема была известна уже Юму, который предпринял попытку решить ее2. Со времени Канта она стала центральной проблемой теории познания. Если, следуя Канту, мы назовем проблему индукции «проблемой Юма», то проблему демаркации мы вполне можем назвать «проблемой Канта».

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

Позитивисты прежних времен склонялись к признанию научными или законными только тех понятий (представлений или идей), которые, как они выражались, «выводимы из опыта», то есть тех понятий, которые, как они считали, логически сводимы к элементам чувственного опыта — ощущениям (или чувственным данным), впечатлениям, восприятиям, элементам визуальной или слуховой памяти и так далее. Современным позитивистам удалось выработать более ясный взгляд на науку. Для них наука — не система понятий, а система высказываний*1. В соответствии с этим они склонны признавать научными или законными только высказывания, сводимые к элементарным (или «атомарным») высказываниям об опыте — «суждениям восприятия», «атомарным высказываниям», «протокольным предложениям» или еще чему-либо подобному*2. Очевидно, что подразумеваемый при этом критерий демаркации тождествен требованию построения индуктивной логики.

2 См. последний абзац книги: Hume D. Enquiring Concerning Human Understanding [Юм Д. «Исследование о человеческом познании»]. *Со следующим абзацем (и моим упоминанием эпистемологов) ср., к примеру, цитату из Рейхенбаха, приведенную в тексте перед примечанием 1 к разделу 1 этой главы.

*1Как я теперь понимаю, при написании этого абзаца я переоценил «современных позитивистов». Мне следовало бы помнить, что в интересующем нас аспекте многообещающее начало витгенштейновского «Трактата»: «Мир есть совокупность фактов, а не вещей» {Wittgenstein L. Tractatus Logico-Philosophicus. London, Routledge and Kegan Paul, 1922 [русский перевод: Витгенштейн Л. Логико-философский трактат. М., ИЛ, 1958, с. 31]) — было совершенно перечеркнуто в конце его, где осуждается человек, который «не дал никакого значения некоторым знакам в своих предложениях» (там же, с. 97). См. также: Popper K. R.. The Open Society and Its Enemies. London, Routledge, 1945, глава 11, раздел II [русский перевод: Поппер K.P. Открытое общество и его враги. Тома 1–2. Под ред. В. Н. Садовского. М.: Культурная инициатива, 1992, т. 2, с. 16–31], а также главу I моего Postscript, в частности разделы *2 (примечание 5), *24 (последние пять абзацев) и *25.

*2Конечно, ничто не зависит от названий. Когда я впервые вводил новый термин «базисное высказывание» (или «базисное суждение» — см. далее разделы 7 и 28), я сделал это только потому, что нуждался в термине, не обремененном смысловым оттенком, которым обладает термин «высказывание восприятия». Но, к несчастью, этот термин вскоре был принят другими философами и использован как раз в том смысле, которого я так стремился избежать. Ср. также мой Postscript, раздел *29.

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

Позитивисты обычно интерпретируют проблему демаркации натуралистически, как если бы она была проблемой, принадлежащей к компетенции естественных наук. Вместо того чтобы считать своей задачей выдвижение приемлемой конвенции, они полагают, что нужно провести различие между наукой, с одной стороны, и метафизикой — с другой, существующее, так сказать, в самой природе вещей. Они постоянно пытаются доказать, что метафизика по самой своей природе есть не что иное, как бессмысленная болтовня — «софистика и заблуждение», по выражению Юма, — которую правильнее всего было бы «бросить в огонь»*3.

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

*3Ните D. Inquiry Concerning the Human Understanding and Concerning the Principles of Morals, 1748–1751. Oxford, Clarendon Press, 1902 [русский перевод: Юм Д. Соч. в двух томах, т. 2. М.: Мысль, 1965, с. 169]. Таким образом, Юм, подобно Сексту Эмпирику, осудил свое «Исследование о человеческом познании» на последней его странице точно так же, как впоследствии Витгенштейн на последней странице своего «Трактата» осудил свое собственное сочинение (см. примечание 2 к разделу 10).

3Carnap R. Die physikalishe Sprache als Universalsprache der Wissenschaft // Erkenntnis, 1932, Bd. 2, H. 5, S. 219 и далее. Ранее сходным образом слово «бессмысленный» употреблялось Миллем, * без сомнения, под влиянием О. Конта (Comte A. Early Essays on Social Philosophy. Ed. by H. D. Hutton. London, 1911, p. 223). См. также мою книгу: Popper K. R. The Open Society and Its Enemies, v. 1–2. London, Routledge, 1945, примечание 51 к главе 11 [русский перевод: Поппер К. Р. Открытое общество и его враги. Тома 1–2. М.: Культурная инициатива, 1992, т. 2, с. 345–348].

псевдопредложения»), которое просто повторяет критерий демаркации, свойственный отстаиваемой ими индуктивной логике.

Такое положение вещей ясно «обнаруживает себя» в воззрениях Витгенштейна, по мнению которого каждое имеющее значение высказывание должно быть логически сводимо4 к элементарным (или атомарным) высказываниям, которые он понимает как описания или «образы действительности»5 (кстати, такая характеристика, по его мнению, относится ко всем имеющим значение высказываниям). Отсюда совершенно очевидно, что витгенштейновский критерий осмысленности совпадает с индуктивистским критерием демаркации, при условии, что мы заменяем используемые в последнем случае слова «научный» или «законный» на «имеющий значение». Таким образом, именно нерешенность проблемы индукции обусловливает полнейший провал попыток позитивистов решить проблему демаркации. В своем стремлении уничтожить метафизику позитивисты вместе с ней уничтожают и естественные науки, так как законы науки точно так же, как и метафизические утверждения, несводимы к элементарным высказываниям о чувственном опыте. При последовательном применении витгенштейновского критерия осмысленности приходится отбрасывать как не имеющие значения те самые законы природы, поиск которых, по словам Эйнштейнаб, является «высшей задачей физика». Эти законы, по критерию Витгенштейна, ни в коей мере не могут приниматься в качестве подлинных, или правильных, высказываний. Попытка же Витгенштейна показать, что проблема индукции является пустой псевдопроблемой, была описана Шликом*4

4 Wittgenstein L. Tractatus Logico-Philosophicus. London, Routledge and Kegan Paul, 1922 [русский перевод: Витгенштейн Л. Логико-философский трактат. М., ИЛ, 1958, утверждение 5].* Поскольку все сказанное было написано в 1934 году, я, конечно, рассматриваю здесь только «Логико-философский трактат» Витгенштейна.

5 Wittgenstein L. Tractatus Logico-Philosophicus. London, Routledge and Kegan Paul, 1922 [русский перевод: Витгенштейн Л. Логико-философский трактат. М., ИЛ, 1958, утверждения 4.01, 4.03, 2.21].

6 Ср. примечание 1 к разделу 2.

*4Идею трактовки законов науки как псевдосуждений и решение на этой основе проблемы индукции Шлик приписывает Витгенштейну (ср. мою книгу: Popper К. R. The Open Society and Its Enemies, London, Routledge, 1945, примечания 46, 51 и след. к главе 11 [русский перевод: Поппер K.P. Открытое общество и его враги. Тома 1–2. М.: Культурная инициатива, 1992, т. 2, с. 340–342, 345–348 и след.]). Однако эта идея значительно старше. Она органически связана с инструменталистской традицией в философии, которую можно проследить уже у Беркли и даже ранее (см., например, мои работы: Popper K. R. Three Views Concerning Human Knowledge // Lewis H. D. (ed.). Contemporary British Philosophy: Personal Statements, v. 3. New York, Macmillan, 1956, p. 355–388; опубликовано также в: Popper K. R. Conjectures and Refutations. The Growth of Scientific Knowledge. London, Routledge and Kegan Paul, 1963, глава 3 [русский перевод: Поппер К. Логика и рост научного знания. М., Прогресс, 1983] и Popper K. R. A Note on Berkeley as a Precursor of Mach // The British Journal for the Philosophy of Science, 1953, v. 4, N 13, p. 26 и далее, перепечатанную также в: Popper K. R. Conjectures and Refutations. The Growth of Scientific Knowledge. London, Routledge and Kegan Paul, 1963. Другие ссылки можно найти в примечании *1 перед разделом 12 настоящей книги. Эта проблема также рассматривается в моем Postscript, разделы *11 -*14и*19- *26.)

следующим образом: «Проблема индукции состоит в требовании логического оправдания универсальных высказываний о реальности... Мы вместе с Юмом признаем, что никакого логического оправдания не существует. Его и не может быть просто потому, что универсальные высказывания не являются подлинными высказываниями»1.

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

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

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

7 Schlick M. Die Kausalitt in der gegenwrtigen Physik // Naturwissenschaften, 1931, Bd. 19, H. 7, S. 156 (курсив мой. — К. П.). Рассматривая законы природы, Шлик пишет: «Часто отмечают, что, строго говоря, не может идти речи об абсолютной верификации некоторого закона, поскольку мы всегда неявно допускаем, что он может быть модифицирован в свете нового опыта. Если мне позволят, — продолжает Шлик как бы в скобках, — добавить несколько слов о возникающей в этой связи логической ситуации, то упомянутый факт означает, что закон природы в принципе не имеет логической формы высказывания, а представляет собой предписание для образования высказываний» (Schlick M. Die Kausalitt in der gegenwrtigen Physik // Naturwissenschaften, 1931, Bd. 19, H. 7, S. 151). *(Без сомнения, при этом предполагается, что «образование высказываний» включает в себя и их преобразование, или выведение.) Шлик указывает, что он познакомился с этой теорией в частной беседе с Витгенштейном. См. также раздел *12 моего Postscript.

8 Ср. раздел 78 (например, примечание 1). *См. также: Popper KR. The Open Society and Its Enemies, v. 1–2. London, Routledge, 1945, примечания 46, 51, 52 к главе 11 [русский перевод: Поппер K.P. Открытое общество и его враги. Тома 1–2. М.: Культурная инициатива, 1992, т. 2, с. 340–342, 345–349] и мою статью: Popper K. R. Demarcation between Science and Metaphysics // Schilpp P. (ed.). The Philosophy of Rudolf Carnap. La Salle, Illinois, The Open Court, 1955, которая была моим вкладом в посвященный Р. Карнапу том, вышедший в «Library of Living Philosophers»; эта статья перепечатана в: Popper K. R. Conjectures and Refutations. The Growth of Scientific Knowledge. London, Routledge and Kegan Paul, 1963.

должен быть делом решения, выходящего за пределы рациональных доводов*5.

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

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

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

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

*5Я считаю, что между сторонами, заинтересованными в обнаружении истины и готовыми прислушиваться к аргументам друг друга, всегда возможна разумная дискуссия (ср. Popper K.R. The Open Society and Its Enemies, v. 2. London, Routledge, 1945, ch. 24 [русский перевод: Поппер K.P. Открытое общество и его враги. Т. 2, гл. 24, с. 259–298]).

9Такова, например, позиция Г. Динглера (ср. примечание 1 к разделу 19).

10Таковы взгляды О. Шпанна ( Spann О. Kategorienlehre. Jena, Fischer, 1924).

с точки зрения науки и в этом отношении являющейся «метафизической»11.

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

5. Опыт как метод

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

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

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

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

11 Ср. Planck M. Positivismus und reale Aussenwelt. Leipzig, Akademische Verlagsgesellschaft, 193Ь и Einstein A. Die Religiositt der Forschung // Einstein A. Mein Weltbild. Amsterdam, Querido Verlag, 1934 (английский перевод: Einstein А. The World as I See It. London. Lane, 1935, p. 43). * См. также раздел 85 настоящей книги и мой Postscript.

*1Ср. Приложение *Х.

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

6. Фальсифицируемость как критерий демаркации

Критерий демаркации, присущий индуктивной логике, то есть позитивистская догма значения, равносилен требованию, что все высказывания в эмпирической науке (или все высказывания, «имеющие значение») должны обладать качеством, которое давало бы возможность определить их истинность или ложность. Мы будем говорить, что этот критерий требует их «полной разрешимости». А это означает, что рассматриваемые высказывания должны быть таковы, чтобы было логически возможным их и верифицировать, и фальсифицировать. В соответствии с этим Шлик заявляет: «...подлинное высказывание должно допускать полную верификацию»1. Вайсман еще более четко формулирует эту позицию: «Если не существует никакого возможного способа определить, истинно ли данное высказывание, то это высказывание вообще не имеет значения, так как значение высказывания есть не что иное, как метод его верификации»2.

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

1 Schlick M. Die Kausalitt in der gegenwrtigen Physik // Naturwissenschaften, 1931, Bd. 19, H. 7, S. 150.

2 Waismann F. Logische Analyse der Wahrscheinlichkeitsbegriff // Erkenntnis, 1930/1931, Bd. 1, H. 3, S. 229.

*l Конечно, при этом я не имею в виду так называемую «математическую индукцию». Я отрицаю лишь существование индукции в так называемых «индуктивных науках», иначе говоря, отрицаю существование «индуктивных процедур» и «индуктивных выводов».

*2 В своей книге «Логический синтаксис языка» Р. Карнап признал (со ссылкой на мою критику), что именно в этом позитивистами допущена ошибка (см.: Carnap R. Logische Syntax der Sprache. Wien, Springer, 1934; английский перевод: The Logical Syntax of Language. London, Paul Trench, 1937, p. 321). В другой своей публикации он пошел еще дальше, согласившись с тем, что универсальные законы не только «удобны», но и «существенны» для науки (Carnap R. Testability and Meaning // Philosophy of Science, 1937, v. 4, N 1, p. 27). Однако в своей индуктивистской книге (Carnap R. Logical Foundations of Probability. Chicago, University of Chicago Press, 1950) он возвращается к позиции, весьма сходной с той, которая послужила объектом моей критики. Установление нулевой вероятности универсальных законов (Carnap R. Logical Foundations of Probability, p. 511) заставляет его заявить (ibid., p. 575), что, хотя их и не обязательно изгонять из науки, тем не менее наука вполне может обходиться без них.

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

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

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

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

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

*3 Обращаю внимание на то, что я предлагаю считать фальсифицируемость критерием демаркации, а не критерием значения. Идею использования значения в качестве критерия демаркации я резко критиковал уже в разделе 4 и буду вновь это делать — в еще более резкой форме — в разделе 9. Поэтому мнение, что я предлагаю фальсифицируемость в качестве критерия значения, является чистейшим мифом (в то же время некоторые попытки опровержения моей теории основываются именно на этом мифе). Критерий фальсифицируемости выделяет два вида полностью осмысленных высказываний: фальсифицируемые и нефальсифицируемые. Она проводит, таким образом, разделительную линию внутри осмысленного языка, а не вне его. См. также Приложение *1 к настоящей книге и главу I моего Postscript, в частности разделы *17 и *19, и мою книгу: Popper K. R. Conjectures and Refutations. The Growth of Scientific Knowledge. London Routledge and Kegan Paul, 1963, ch. 1 и 11.

3 Сходные идеи можно также найти, например, у Ф. Франка (Frank Ph. Das Kausalitt und ihre Grenzen. 1931, ch. I, § 10, S. 15 и след.) и у В. Дубислава (Dubislav W. Die Definition. Leipzig, Meiner, 1931, S. 100 и след.). См. также примечание 1 к разделу 4.

из логической формы универсальных высказываний*4. Дело в том, что универсальные высказывания никогда не выводимы из сингулярных высказываний, но последние могут противоречить им. Следовательно, посредством чисто дедуктивных выводов (с помощью modus tollens классической логики) возможно переходить от истинности сингулярных высказываний к ложности универсальных. Такое рассуждение, приводящее к утверждению ложности универсальных высказываний, представляет собой единственный вид выводов чисто дедуктивного типа, который идет, так сказать, в «индуктивном направлении», то есть от сингулярных высказываний к универсальным.

Третье возражение может показаться более серьезным. Мои критики могут заявить, что даже при признании указанной асимметрии по разным причинам невозможно добиться полной фальсификации теоретической системы. Всегда имеется возможность как-то избежать фальсификации, например, с помощью введения дополнительной гипотезы ad hoc или изменения ad hoc некоторого определения. Можно даже просто встать в позицию отказа признать какой бы то ни было фальсифицирующий опыт, не допуская при этом логического противоречия. Конечно, ученые обычно не поступают таким образом, но логически такая процедура вполне возможна, и, как могут мне заявить, это обстоятельство делает логическую ценность выдвигаемого критерия демаркации по крайней мере весьма сомнительной.

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

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

*4 Более подробное обсуждение этой асимметрии можно найти в разделе *22 моего Postscript.

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

7. Проблема «эмпирического базиса»

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

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

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

4По этому поводу см. также мою работу: Popper KR. Ein Kriterium des empirischen Charakters theoretischer Systeme // Erkenntnis, 1933, Bd. 3, H. 4/6, S. 426–427, публикуемую также как часть Приложения *1 к настоящей книге, а также мой Postscript, в частности раздел *2.

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

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

Проблемы, связанные с эмпирическим базисом, детально обсуждаются далее, в разделах 25–30. Теперь же целесообразно обратиться к рассмотрению проблемы научной объективности, поскольку использованные мною термины «объективный» и «субъективный» требуют некоторого прояснения.

8. Научная объективность и субъективная уверенность

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

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

Я считаю, что научные теории никогда не могут быть полностью оправданы и верифицированы, но тем не менее они проверяемы. Следо-

lKant I. Kritik der reinen Vernunft. Methodenlehre, 2. Hauptstck, 3. Abschnitt. 2nd edition. Riga, 1787, S. 848 (английский перевод Н. Кемп Смита: Kant I. Critique of Pure Reason. The Transcendental Doctrine of Method, chapter ii, section 3, p. 645 [русский перевод: Кант И. Критика чистого разума // Соч. в шести томах, т. 3. М.: Мысль, 1964, с. 672]).

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

Слово «субъективный» применяется Кантом к нашему чувству субъективной уверенности, которая может изменяться по степени2. Исследование происхождения этого чувства представляет собой дело психологии. Уверенность, к примеру, может возникать «согласно законам ассоциации»3. Объективные основания также могут служить «субъективными причинами суждения»4, поскольку мы можем раздумывать об этих основаниях и в конце концов убедиться в их неоспоримости.

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

*1 Позже я несколько обобщил эту формулировку. Интерсубъективная проверка является только самым важным аспектом более общей идеи интерсубъективной критики или, иначе говоря, идеи взаимного рационального контроля при помощи критической дискуссии. Эта более общая идея критики достаточно подробно рассматривается в моих книгах: Popper K.R. The Open Society and Its Enemies, v. 1–2. London, Routledge, 1945, ch. 23, 24 [русский перевод: Поппер K.P. Открытое общество и его враги. Тома 1–2. М.: Культурная инициатива, 1992, т. 2, гл. 23, 24]; Popper K. R. The Poverty of Historicism. London, Routledge and Kegan Paul, 1957, раздел 32 [русский перевод: Поппер K.P. Нищета историцизма. М.: Издательская группа «Прогресс» VIA, 1993], а также обсуждается в моем Postscript, в частности в главах I, II и VI.

2 Kant I. Ibid.

3Ср. Kant I. Kritik der reinen Vernunft. Transzendentale Elementarlehre, § 19, 2nd edition, S. 142; английский перевод Н. Кемп Смита, 1933: Critique of Pure Reason, Transcendental Doctrine of Elements, § 19, p. 159 [русский перевод: Кант И. Критика чистого разума // Соч. в шести томах, т. 3. М.: Мысль, 1964, с. 198].

4Ср. Kant I. Kritik der reinen Vernunft. Methodenlehre, 2. Haupstck, 3. Abschnitt. 2nd edition, S. 849; английский перевод — глава II, раздел 3, с. 646 [русский перевод: Кант И. Критика чистого разума // Соч. в шести томах, т. 3. М.: Мысль, 1964, с. 673].

5 Кант понимал, что из требования объективности научных высказываний следует, что они должны допускать интерсубъективную проверку в любое время и поэтому должны иметь форму универсальных законов или теорий. Он, однако, несколько неясно сформулировал это свое открытие в виде «основоположения о временной последовательности по закону причинности» (причем он верил в возможность доказать это основоположение a priori, используя приведенное нами рассуждение). Я не постулирую никакого принципа такого рода (ср. раздел 12), но вполне согласен с тем, что научные высказывания, поскольку они должны быть интерсубъективно проверяемы, всегда должны иметь вид универсальных гипотез. * См. также примечание *1 к разделу 22.

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

Теперь мы можем вернуться к выдвинутому в предыдущем разделе положению о том, что субъективный опыт или чувство уверенности ни в коем случае не могут оправдать научного высказывания и в рамках науки не способны играть никакой роли, за исключением разве что роли объекта эмпирического (психологического) исследования. Чувство уверенности, сколь бы интенсивным оно ни было, никогда не сможет оправдать некоторое высказывание. Действительно, я могу быть настолько сильно уверенным в истинности некоторого высказывания, убежден в очевидности моих восприятий, покорен силой моего опыта, что каждое сомнение по этому поводу покажется мне абсурдным. Но является ли это хотя бы малейшим основанием для принятия моего высказывания в качестве научного? Можно ли оправдать какое-либо высказывание тем, что К.Р.П. бесповоротно уверен в его истинности? Единственным ответом на это является «нет», и любой другой ответ был бы несовместим с идеей научной объективности. Таким образом, то, что я испытываю чувство уверенности, которое является для меня твердо установленным фактом, не может быть охвачено сферой объективной науки, кроме как в форме психологической гипотезы, которая, конечно, требует интерсубъективной проверки. Из предположения о том, что

6 В литературе по физике известны примеры сообщений, сделанных серьезными исследователями, об имевших место эффектах, которые не могли быть воспроизведены, поскольку дальнейшие проверки привели к отрицательным результатам. Широкоизвестным таким примером из недавнего прошлого является так и оставшийся необъясненным положительный результат опыта Майкельсона, полученный Миллером (1921–1926) в Маунт-Вилсоновской обсерватории, после того как он сам (так же как и Морли) перед этим воспроизвел отрицательный результат Майкельсона. Поскольку последующие проверки снова дали отрицательные результаты, ныне принято рассматривать их в качестве решающих и объяснять расходящийся с ними результат Миллера как полученный «в результате воздействия неизвестного источника ошибки».* См. также раздел 22, особенно примечание *1.

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

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

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

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

Можно подумать, что такое воззрение приводит к бесконечному регрессу и потому несостоятельно. В разделе 1, критикуя индукцию, я излагал возражение, согласно которому индукция приводит, как представляется, к бесконечному регрессу. Читателю может показаться теперь, что то же самое возражение можно выдвинуть и против процедуры дедуктивной проверки, которую я отстаиваю. Тем не менее это не так. (45:)

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