Карл Р. Поппер

Логика и рост научного знания

М.:Прогрес, 1983 - С.46-63, 73-123, 316-378, 380-391.

Часть 1. ВВЕДЕНИЕ В ЛОГИКУ НАУКИ

Глава 1. ОБЗОР ОСНОВНЫХ ПРОБЛЕМ

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

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

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

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

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

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

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

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

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

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

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

Приверженцы индуктивной логики стремятся заявить вместе с Рейхенбахом, что "принцип индукции безоговорочно принимается всей наукой, и что в повседневной жизни никто всерьез не выражает сомнений в этом Принципе" [74, с. 67]. И все же, даже предполагая, что приведенное утверждение верно - хотя, конечно, и "вся наука" может ошибаться, - я заявляю, что принцип индукции совершенно излишен и, кроме того, он неизбежно ведет к логическим противоречиям.

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

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

С моей точки зрения, охарактеризованные трудности, возникающие в индуктивной логике, непреодолимы. То же самое можно сказать и относительно трудностей, встающих в рамках широко распространенной ныне теории, согласно которой индуктивный вывод, хотя он не является "строго достоверным", тем не менее может приобретать некоторую степень "надежности" или вероятности". В этой теории индуктивные выводы являются "вероятными выводами" (см. [44; 49; 77]). ("Мы описали, - заявляет Рейхенбах, - принцип индукции как средство, с помощью которого наука распознает истину. Точнее, мы должны были бы сказать, что он служит для определения вероятности, ибо науке не дано полностью обрести ни истины, ни ложности... научные высказывания могут только приобретать степени вероятности, недостижимыми верхним и нижним пределами которых служат истина и ложь" [74, с. 186].

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Позитивисты обычно интерпретируют проблему демаркации натуралистически, как если бы она была проблемой, принадлежащей к компетенции естественных наук. Вместо того чтобы считать своей задачей выдвижение приемлемой конвенции, они полагают, что нужно открыть различие между наукой, с одной стороны, и метафизикой - с другой, существующее, так сказать, в самой природе вещей. Они постоянно пытаются доказать, что метафизика по самой своей природе есть не что иное, как бессмысленная болтовня - "софистика и заблуждение", по выражению Юма, - которую правильнее всего было бы "бросить в огонь" [35, с. 169].

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

Такое положение вещей ясно "обнаруживает себя" в воззрениях Витгенштейна, по мнению которого каждое имеющее значение высказывание должно быть логически сводимо [95, утверждение 5] к элементарным (или атомарным) высказываниям, которые он понимает как описания или "образы действительности" [95, утверждения 4.01, 4.03, 2.21] (кстати, такое понимание, по его мнению, призвано охватить все имеющие значение высказывания). Отсюда совершенно очевидно, что витгенштейновский критерий осмысленности совпадает с индуктивистским критерием демаркации, при условии, что мы заменяем используемые в последнем случае слова "научный" или "законный" на "имеющий значение". Таким образом, именно нерешенность проблемы индукции обусловливает полнейший провал попыток позитивистов решить проблему демаркации. В своем стремлении уничтожить метафизику позитивисты вместе с ней уничтожают и естественные науки, так как законы науки точно так же, как и метафизические утверждения, несводимы к элементарным высказываниям о чувственном опыте. При последовательном применении витгенштейновского критерия осмысленности приходится отбрасывать как не имеющие значения те самые законы природы, поиск которых, по словам Эйнштейна, является "высшей задачей физика". Такие законы, по критерию Витгенштейна, ни в коей мере не могут считаться подлинными, или допустимыми, высказываниями. Попытка же Витгенштейна показать, что проблема индукции является пустой псевдопроблемой, была описана Шпиком следующим образом: "Проблема индукции состоит в требовании логического оправдания универсальных высказываний о реальности.. Мы вместе с Юмом признаем, что такого логического оправдания не существует. Его и не может быть просто потому, что универсальные высказывания не являются подлинными высказываниями" [86, с. 156] (курсив мой).

Наш анализ, таким образом, показывает, в каком смысле индуктивистский критерий демаркации неспособен помочь нам провести границу между научными и метафизическими системами и почему он должен приписывать им равный статус. Дело в том, что, согласно вердикту, выносимому на основании позитивистской догмы значения, и наука и метафизика представляют собой системы бессмысленных псевдовысказываний. Поэтому вместо того, чтобы изгнать метафизику из эмпирических наук, позитивизм, наоборот, ведет к внедрению метафизики в сферу науки. (См. разд. 78, а также [61, прим. 46, 51, 52 к гл. II], [66].)

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

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

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

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

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

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

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

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

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

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

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

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

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

6. Третья точка зрения: предположения, истина и реальность

Ни Бэкон, ни Беркли не верили в то, что Земля вращается, но сегодня в этом убежден каждый человек, в том числе и физики. Инструментализм был принят Бором и Гейзенбергом лишь как способ преодоления спе-диальных трудностей, возникающих в квантовой теории. Однако этот мотив едва ли является достаточным. Всегда трудно интерпретировать только что созданные теории, и они иногда ставят в тупик даже своих собственных творцов, как это случилось с Ньютоном. Максвелл вначале склонялся к эссенциалистской интерпретации своей теории, которая, несомненно, внесла наиболь-;ши'й вклад в крушение эссенциализма. А Эйнштейн первоначально был склонен инструменталистски интерпретировать теорию относительности, выдвинув идею операционального анализа понятия одновременности, что больше, чем другое, обусловило современную популярность инструментализма. Позднее он сожалел об этом.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Однако даже и в этом случае мы могли бы понять (как я писал двадцать лет назад), что "в каждом описании используются универсальные имена (символы, понятия); каждое высказывание по своему характеру является теорией, гипотезой. Высказывание "Здесь имеется стакан воды" нельзя опытным путем верифицировать. Причина этого состоит в том, что входящие в это высказывание универсалии не могут быть соотнесены с каким-либо специфическим чувственным опытом. ("Непосредственное восприятие" только однажды дано "непосредственно" оно уникально.) При помощи слова "стакан" мы, к примеру, обозначаем физические тела, демонстрирующие определенное законосообразное поведение; то же самое справедливо и для слова "вода"" ((31, конец разд. 25, см. также прил. *Х, (1).-(4)]).

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

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

Глава 2. О ПРОБЛЕМЕ НАУЧНОГО

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

9. Почему методологические решения необходимы?

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

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

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

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

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

10. Натуралистический подход к теории метода

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

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

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

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

Воззрение, согласно которому методология является эмпирической наукой, то есть изучением действительного поведения ученых или реальной "научной" деятельности, может быть названо "натуралистическим". Натуралистическая методология (которую иногда называют "индуктивной теорией науки" [20; 46]), без сомнения, имеет некоторую ценность. Человек, изучающий такую логику науки, вполне может заинтересоваться ею и даже с пользой ее применять. Однако то, что я называю методологией, нельзя считать эмпирической наукой. Так, я не верю, что использование методов эмпирической науки поможет нам разрешить такие спорные вопросы, как вопрос о том, применяется ли реально в науке принцип индукции или нет. Мои сомнения возрастают, как только я вспоминаю, что вопросу том, что следует считать "наукой" и кого следует называть "ученым", всегда будет зависеть от конвенции или некоторого решения.

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

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

11. Методологические правила как конвенции

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

Приведем два простых примера методологических правил. Их вполне достаточно, чтобы показать, что вряд ли уместно ставить исследование метода науки на одну доску с чисто логическим исследованием.

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

(2) Если некоторая гипотеза была выдвинута, проверена и доказала свою устойчивость, ее нельзя устранять без "достаточных оснований". "Достаточным основанием", к примеру, может быть замена данной гипотезы на другую, лучше проверяемую гипотезу или фальсификация одного из следствий рассматриваемой 'ипотезы. (Понятие "лучше проверяемая" впоследствии зудет рассмотрено более подробно.)

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

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

Одни методологические правила, таким образом, тесно связаны с другими методологическими правилами и с нашим критерием демаркации. Однако эта связь не является строго дедуктивной, или логической (ср. 153, с. 58]), она скорее обусловлена тем, что все правила такого типа конструируются с целью обеспечения применения критерия демаркации. Поэтому формулировка и принятие этих правил происходит в соответствии с практическим правилом более высокого типа. Соответствующий пример был только что приведен-правило (1) : теории, которые мы решили не подвергать дальнейшей проверке, перестают быть фальсифицируемыми. Именно систематическая связь методологических правил позволяет нам говорить о теории метода. Конечно, положения этой теории, как показывают приведенные примеры, по большей части представляют собой конвенции, имеющие достаточно очевидный характер. В методологии вообще не стоит ожидать глубоких истин. Тем не менее во многих случаях она может помочь прояснению логической ситуации и даже решению некоторых далеко идущих проблем, которые оказывались до сих пор трудноразрешимыми. К таким проблемам относится, например, проблема установления приемлемости или неприемлемости вероятностных высказываний (ср. [70, разд. 68]).

Наличие тесной связи между различными проблемами теории познания и возможность систематического рассмотрения этих проблем часто подвергаются сомнению. Я надеюсь показать в этой книге неоправданность таких сомнений. Этот вопрос достаточно важен. Единственным основанием для выдвижения моего критерия демаркации является его плодотворность, то есть возможность прояснения и объяснения на его основе многих вопросов. "Определения догматичны, только выводимые из них следствия могут продвинуть вперед наше понимание", - заявляет Менгер [52, с. 76] . Это, без сомнения, верно и по отношению к понятию "наука". Только исходя из следствий моего определения эмпирической науки и из методологических решений, основывающихся на этом определении, ученый может увидеть, насколько оно соответствует интуитивной идее о цели всех его усилий.

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

Часть 2. НЕКОТОРЫЕ СТРУКТУРНЫЕ КОМПОНЕНТЫ ЭМПИРИЧЕСКОЙ ТЕОРИИ

Глава 3. ТЕОРИИ

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

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

Теории - это сети, предназначенные улавливать то, что мы называем "миром", для осознания, объяснения и овладения им. Мы стремимся сделать ячейки сетей все более мелкими.

12. Причинность, объяснение и дедукция предсказаний

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

Таким образом, для полного каузального объяснения необходимы высказывания двух различных видов: (1) универсальные высказывания, то есть гипотезы, носящие характер естественных законов, и (2) сингулярные высказывания, которые относятся только к специфическому обсуждаемому событию и которые я буду называть "начальными условиями". Из универсальных высказываний в конъюнкции с начальными условиями мы дедуцируем определенное сингулярное высказывание: "Эта нить разорвется". Это высказывание мы называем специфическим, или сингулярным, предсказанием.

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

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

Вместе с тем я предложу методологическое правило, которое настолько хорошо соответствует "принципу причинности", что последний может рассматриваться как его метафизический вариант. Это простое правило состоит в том, что мы не должны отказываться ни от поисков универсальных законов и стройных теоретических систем, ни от попыток каузального объяснения любых событий, которые мы можем описать. Этим правилом ученый-исследователь руководствуется в своей работе. Мнение о том, что новейшие достижения физики требуют отказа от этого правила или что по крайней мере в одной из областей физики бесполезно искать законы, нами здесь не принимается Этот вопрос подробнее рассматривается мною в [70, разд. 78].

13. Строгая и численная универсальность

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

Сравним, например, два следующих высказывания: (а) "Для всех гармонических осцилляторов верно, что их энергия никогда не падает ниже определенного уровня (а именно hv/2)"; (b) "Для всех человеческих существ, живущих ныне на Земле, верно, что их рост не превышает некоторой определенной величины (скажем, 8 футов)". Формальная логика (включая символическую логику), интересующаяся лишь теорией дедукции, оба эти высказывания считает универсальными ("формальными", или "общими", импликациями). Я полагаю, однако, что нужно подчеркнуть различие между ними. Высказывание (а) претендует на истинность всегда- в любом месте и в любое время. Высказывание (b) относится лишь к конечному классу специфических элементов и к конечной, индивидуальной (или отдельной) пространственно-временной области. Высказывания этого последнего рода можно в принципе заменить конъюнкцией сингулярных высказываний, так как при наличии достаточного времени можно пронумеровать все элементы рассматриваемого (конечного) класса. Это объясняет, почему в таких случаях мы говорим о "численной универсальности". В то же время высказывание (а), говорящее об осцилляторах, не может быть заменено конъюнкцией конечного числа сингулярных высказываний, относящихся к конечной пространственно-временной области, или, вернее, такая замена была бы возможной лишь при том предположении, что мир ограничен во времени и в нем существует только конечное число осцилляторов. Однако мы не принимаем этого предположения, в частности мы не принимаем такого рода предположений при определении понятий физики. Напротив, мы рассматриваем высказывания типа (а) как всеобщие высказывания, то есть как универсальные утверждения относительно неограниченного числа индивидов. Ясно, что при такой интерпретации их нельзя заменить конъюнкцией конечного числа сингулярных высказываний.

Мое использование понятия строго универсального высказывания (или "всеобщего высказывания") расходится с той точкой зрения, согласно которой каждое синтетическое универсальное высказывание должно быть в принципе переводимо в конъюнкцию конечного числа сингулярных высказываний. Сторонники этой точки зрения (см. [41, с. 274]) настаивают на том, что высказывания, называемые мною "строго универсальными", никогда не могут быть верифицированы; поэтому они отвергают их, ссылаясь либо на принятый ими критерий значения, требующий верифицируемости, либо на некоторые сходные соображения.

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

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

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

14. Универсальные и индивидуальные понятия

Различие между универсальными и сингулярными высказываниями тесно связано с различием между универсальными и индивидуальными понятиями или именами.

Это различие обычно поясняют с помощью таких примеров: "диктатор", "планета", "H2O" являются универсальными понятиями или именами; "Наполеон", "Земля", "Атлантический океан" - сингулярные, или индивидуальные, понятия или имена. Эти примеры показывают, что для индивидуальных понятий или имен характерно то, что они либо являются собственными именами, либо определяются посредством собственных имен, в то время как универсальные понятия или имена могут быть определены без использования собственных имен.

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

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

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

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

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

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

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

Поэтому различие между универсальными и индивидуальными понятиями нельзя устранить с помощью аргументов, аналогичных следующему аргументу Карнапа: "...Это различие неоправданно", - говорит он, поскольку "... согласно принятой точке зрения, каждое понятие можно рассматривать или как индивидуальное или как универсальное". Карнап пытается обосновать это, утверждая, "что (почти) все так называемые индивидуальные понятия являются классами (именами классов) - аналогично тому, что имеет место для универсальных понятий" [8, с. 213]. Как я показал ранее, последнее утверждение совершенно правильно, однако оно не имеет никакого отношения к обсуждаемому различению.

Другие представители символической логики (которая одно время называлась "логистикой") также смешивают различие между универсальными и индивидуальными именами с различием между классами и их элементами. Можно, конечно, термин "универсальное имя" употреблять как синоним "имя класса" и "индивидуальное имя" - как синоним "имя элемента", но такое употребление мало что дает. Рассматриваемые проблемы не могут быть решены таким образом. Более того, подобное употребление этих понятий мешает увидеть данные проблемы. Эта ситуация совершенно аналогична той, с которой мы встретились при обсуждении различия между сингулярными и универсальными высказываниями. Средства символической логики столь же неадекватны для решения проблемы универсалий, как и для решения проблемы индукции.

15. Строго универсальные и строго экзистенциальные высказывания

Недостаточно, конечно, охарактеризовать универсальные высказывания как высказывания, не содержащие индивидуальных имен. Если слово "ворон" используется в качестве универсального имени, то высказывание "Все вороны черные" будет, очевидно, строго универсальным. Однако многие другие высказывание, такие, как "Многие вороны черные", "Некоторые вороны черные" или "Существуют черные вороны" и т. п., в которые также входят только универсальные имена, мы, безусловно, не будем считать универсальными.

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

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

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

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

Напротив, строго экзистенциальные высказывания не могут быть фальсифицированы. Ни одно сингулярное высказывание (то есть ни одно "базисное высказывание", ни одно высказывание о наблюдаемом событии) не может противоречить экзистенциальному высказыванию "Существуют белые вороны". Это может делать только универсальное высказывание. Поэтому, опираясь на предложенный нами критерий демаркации, я буду рассматривать строго экзистенциальные высказывания как неэмпирические, или "метафизические". Может быть, на первый взгляд такая характеристика покажется сомнительной и не соответствующей практике эмпирической науки. Вполне справедливо можно возразить, что даже в физике существуют теории, имеющие форму строго экзистенциальных высказываний. Примером может служить высказывание, выводимое из периодической системы химических элементов, которое говорит о существовании элементов с определенными атомными числами. Однако если гипотезу о существовании элемента с определенным атомным числом хотят сформулировать так, чтобы она стала проверяемой, то требуется гораздо больше, чем просто утверждение чисто экзистенциального высказывания. Так, например, элемент с атомным числом 72 (гафний) был открыт не только на основе изолированного чисто экзистенциального высказывания. Напротив, все попытки обнаружить его оставались тщетными-до тех пор, пока Бору не удалось предсказать его различные свойства, дедуцировав их из своей теории. При этом теория Бора и те ее следствия, которые имели отношение к этому элементу и помогли открыть его, отнюдь не представляют собой изолированных чисто экзистенциальных высказываний. Они являются строго универсальными высказываниями. То, что мое решение считать строго экзистенциальные высказывания неэмпирическими - поскольку они нефальсифицируемы,-полезно и соответствует обычной практике, станет видно из его последующего приложения к вероятностным высказываниям и к проблеме их эмпирической проверки (см. [70, разд. 66- 681).

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

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

Универсальные и экзистенциальные высказывания формулируются симметрично. Асимметрия возникает только благодаря нашему критерию демаркации.

16. Теоретические системы

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

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

Я полагаю, что именно в этом кроется причина стремления ученых к построению строгой научной системы. Такой системой является так называемая "аксиоматизированная система"-та форма, которую Гильберт смог придать, например, некоторым разделам теоретической физики. При этом стремятся выделить все (но не более) предположения, которые необходимы для формирования оснований такой системы. Обычно их называют "аксиомами" ("постулатами" или "исходными предложениями"; наш способ использования термина "аксиома" не связан с требованием истинности аксиом). Аксиомы выбираются таким образом, чтобы все другие высказывания, принадлежащие к теоретической системе, могли быть выведены из аксиом посредством чисто логических или математических преобразований.

Теоретическую систему можно назвать аксиоматизированной, если сформулировано множество высказываний-аксиом, удовлетворяющее следующим четырем фундаментальным требованиям, (а) Система аксиом должна быть непротиворечивой (то есть в ней не должно иметь места ни самопротиворечивых аксиом, ни противоречий между аксиомами). Это эквивалентно требованию, что не всякое произвольное высказывание выводимо в такой системе (ср. разд. 24). (b) Аксиомы данной системы должны быть независимыми, то есть система не должна содержать аксиом, выводимых из остальных аксиом.