Проблему индукции можно также сформулировать в виде вопроса о верности или истинности универсальных высказываний, основывающихся на опыте, — гипотез и теоретических систем в эмпирических науках. Многие люди убеждены, что истинность таких универсальных высказываний 'известна из опыта'. Однако ясно, что описание любого опыта — наблюдения или результата эксперимента — может быть выражено только сингулярным высказыванием и ни в коем случае не является универсальным высказыванием. Соответственно когда о некотором универсальном высказывании говорят, что истинность его известна нам из опыта, то при этом обычно подразумевают, что вопрос об истинности этого универсального высказывания можно как-то свести к вопросу об истинности сингулярных высказываний, которые признаются истинными на основании имеющегося опыта. Иначе говоря, утверждается, что универсальные высказывания основываются на индуктивных выводах. Поэтому когда мы спрашиваем, истинны ли известные нам законы природы, то это просто иная формулировка вопроса о логической оправданности индуктивных выводов.
Если мы стремимся найти способы оправдания индуктивных выводов, то, прежде всего, нам следует установить принцип индукции. Такой принцип должен иметь вид высказывания, с помощью которого мы могли бы представить индуктивные выводы в логически приемлемой форме. В глазах сторонников индуктивной логики для научного метода нет ничего важнее, чем принцип индукции. «…Этот принцип, — заявляет Рейхенбах, — определяет истинность научных теорий. Устранение его из науки означало бы не более и не менее как лишение науки ее способности различать истинность и ложность ее теорий. Без него наука, очевидно, более не имела бы права говорить об отличии своих теорий от причудливых и произвольных созданий поэтического ума».
Вместе с тем принцип индукции не может иметь характер чисто логической истины типа тавтологии или аналитического высказывания. Действительно, если бы существовало нечто вроде чисто логического принципа индукции, то не было бы никакой проблемы индукции, поскольку в этом случае все индуктивные выводы следовало бы рассматривать как чисто логические, тавтологические преобразования, аналогичные выводам дедуктивной логики. Таким образом, принцип индукции должен быть синтетическим высказыванием, то есть высказыванием, отрицание которого не является самопротиворечивым, а напротив, оно логически возможно. В этой связи и возникает вопрос о том, почему мы вообще должны принимать этот принцип и каким образом, исходя из рациональных оснований, можно оправдать это принятие.
Приверженцы индуктивной логики стремятся заявить вместе с Рейхенбахом, что 'принцип индукции безоговорочно принимается всей наукой, и что в повседневной жизни никто всерьез не выражает сомнений в этом принципе'. И все же, даже предполагая, что приведенное утверждение верно — хотя, конечно, и 'вся наука' может ошибаться, — я заявляю, что принцип индукции совершенно излишен и, кроме того, он неизбежно ведет к логическим противоречиям.
То, что такие противоречия возникают в связи с принципом индукции, совершенно отчетливо показано Юмом. Юм также обнаружил, что устранение этих противоречий, если оно вообще возможно, сталкивается с серьезными трудностями. Действительно, принцип индукции должен быть универсальным высказыванием. Поэтому при любых попытках вывести его истинность из опыта вновь в полном объеме возникнут те же самые проблемы, для решения которых этот принцип был введен. Таким образом, для того чтобы оправдать принцип индукции, нам необходимо применять индуктивные выводы, для оправдания этих последних приходится вводить индуктивный принцип более высокого порядка, и так далее в том же духе. Следовательно, попытка обосновать принцип индукции, исходя из опыта, с необходимостью терпит крушение, поскольку она неизбежно приводит к бесконечному регрессу.
Кант попытался предложить свой способ преодоления этой трудности, утверждая, что принцип индукции (который он сформулировал в виде 'принципа универсальной причинности') является 'верным, общезначимым априори'. Однако его изобретательная попытка построить априорное оправдание синтетических высказываний, как мне кажется, не была успешной.
С моей точки зрения, охарактеризованные трудности, возникающие в индуктивной логике, непреодолимы. То же самое можно сказать и относительно трудностей, встающих в рамках широко распространенной ныне теории, согласно которой индуктивный вывод, хотя он не является 'строго достоверным', тем не менее, может приобретать некоторую степень 'надежности' или вероятности'. В этой теории индуктивные выводы являются 'вероятными выводами'. 'Мы описали, — заявляет Рейхенбах, — принцип индукции как средство, с помощью которого наука распознает истину. Точнее, мы должны были бы сказать, что он служит для определения вероятности, ибо науке не дано полностью обрести ни истины, ни ложности, научные высказывания могут только приобретать степени вероятности, недостижимыми верхним и нижним пределами которых служат истина и ложь'.
На данном этапе моих рассуждений я позволю себе пренебречь тем фактом, что сторонники индуктивной логики пользуются понятием вероятности, которое я позже отвергну ввиду полного его несоответствия их собственным целям. Я могу игнорировать сейчас понятие вероятности в силу того, что упомянутые трудности индуктивной логики никак не связаны с обращением к вероятности. Действительно, если основанным на индуктивном выводе высказываниям следует приписывать некоторую степень вероятности, то это можно оправдать, только введя (конечно, с соответствующими изменениями) новый принцип индукции. Тогда этот новый принцип придется в свою очередь подвергнуть процедуре оправдания и т. д. Более того, мы не сдвинемся с места и в том случае, если будем считать принцип индукции не 'истинными, а всего лишь 'вероятным'. Короче говоря, логика вероятностного вывода, или 'вероятностная логика', подобно любой другой форме индуктивной логики, приводит либо к дурной бесконечности, либо к доктрине априоризма.
Логическая теория, которая будет развита далее, прямо и непосредственно выступает против всех попыток действовать, исходя из идей индуктивной логики. Она могла бы быть определена как теория дедуктивного метода проверки или как воззрение, согласно которому гипотезу можно проверить только эмпирически и только после того, как она была выдвинута.
Прежде чем приступить к разработке и изложению этой концепции (которую можно было бы в противоположность 'индуктивизму' назвать 'дедуктивизмом'), я должен сначала разъяснить различие между психологией познания, которая имеет дело с эмпирическими фактами, и логикой познания, которая рассматривает только логические отношения. Заметим, что вера в индуктивную логику обязана своим происхождением по преимуществу смешению психологических и эпистемологических проблем. Полезно также отметить, между прочим, что такое смешение вызывает затруднения не только в логике познания, но и в самой психологии.
Я уже говорил, что деятельность ученого заключается в выдвижении и проверке теорий.
Начальная стадия этого процесса — акт замысла и создания теории, — по моему глубокому убеждению, не нуждается в логическом анализе, да и не подвластна ему. Вопрос о путях, по которым новая идея — будь то музыкальная тема, драматический конфликт или научная теория — приходит человеку, может представлять существенный интерес для эмпирической психологии, но он совершенно не относится к логическому анализу научного знания. Логический анализ не затрагивает вопросов о фактах (кантовского quid facti?), а касается только вопросов об оправдании или обоснованности (кантовского quid juris?). Вопросы второго типа имеют следующий вид: можно ли оправдать некоторое высказывание? Если можно, то каким образом? Проверяемо ли это высказывание? Зависит ли оно логически от некоторых других высказываний? Или, может быть, противоречит им? Для того чтобы подвергнуть некоторое высказывание логическому анализу, оно должно уже иметься у нас. Оно должно быть уже сформулировано и предъявлено для логического исследования.
В соответствии со сказанным я буду четко различать процесс создания новой идеи, с одной стороны, и методы и результаты ее логического исследования — с другой. Что же касается задачи логики познания — в отличие от психологии познания, — то я буду исходить из предпосылки, что она состоит исключительно в исследовании методов, используемых при тех систематических проверках, которым следует подвергнуть любую новую идею, если мы отнесемся к ней серьезно.
Возможно, мне возразят, что достичь поставленной цели было бы значительно легче, если в качестве задачи эпистемологии рассматривать построение так называемой 'рациональной реконструкции' тех шагов, которые привели ученого к открытию — к обнаружению второй новой истины. Однако в этом
