§ 2. Подтверждение следствий
Дедукция и индукция. В науке, и не только в ней, непосредственное наблюдение того, о чем говорится в проверяемом утверждении, редкость. Обычно эмпирическое подтверждение является индуктивным подтверждением, а эмпирическая аргументация имеет форму индуктивного умозаключения.
В зависимости от того, имеется ли в умозаключении связь логического следования между его посылками и заключением, различаются два вида умозаключений: дедуктивные и индуктивные.
В дедуктивном умозаключении связь посылок заключения опирается на закон логики, в силу чего заключение с логической необходимостью вытекает (логически следует) из посылок. Такое умозаключение всегда ведет от истинных посылок к истинному заключению.
В индуктивном умозаключении посылки и заключение не связаны между собой законом логики и заключение не следует логически из посылок. Достоверность посылок не гарантирует достоверности выводимого из них индуктивно заключения. Оно вытекает из посылок не с необходимостью, а лишь с некоторой вероятностью. Понятие дедукции (дедуктивного умозаключения) не является, как будет показано в дальнейшем, вполне ясным. Индукция (индуктивное умозаключение) определяется, в сущности, как «недедукция» и представляет собой еще менее ясное понятие. Можно тем не менее указать относительно определенное «ядро» индуктивных способов рассуждения. В него входят, в частности, неполная индукция, индуктивные методы установления причинных связей, аналогия, так называемые перевернутые законы логики и др.
Убедительность индуктивных обобщений зависит от числа приводимых в подтверждение случаев. Чем обширнее база индукции, тем более правдоподобно индуктивное заключение. Но иногда и при достаточно большом числе подтверждений индуктивное обобщение оказывается все-таки ошибочным.
Например:
Алюминий — твердое тело. Железо, медь, цинк, серебро, платина, золото, никель, барий, калий, свинец — твердые тела.
Алюминий, железо, медь, цинк, серебро, платина.. золото, никель, барий, калий, свинец — металлы.
Все металлы — твердые тела. Все посылки этого умозаключения истинны, но его общее заключение ложно, поскольку ртуть — единственный из металлов — жидкость.
Обычная ошибка в индуктивных умозаключениях и, соответственно, в эмпирической аргументации — поспешное обобщение, т.е. обобщение без достаточных на то оснований. Индуктивные обобщения всегда требуют известной осмотрительности и осторожности. Их убедительная сила невелика, особенно если база индукции незначительна
Опытная проверка следствий. Наиболее важным и вместе с тем универсальным способом индуктивного подтверждения является выведение из обосновываемого положения логических следствий и их последующая опытная проверка. При этом подтверждение следствий оценивается как свидетельство в пользу истинности самого положения.
Например. 7. «Тот, кто ясно мыслит, ясно говорит». Пробным камнем ясного мышления является умение передать свои знания кому-то другому, возможно, далекому от обсуждаемого предмета. Если человек обладает таким умением и его речь ясна и
убедительна, это можно считать подтверждением того, что его мышление является ясным.
2. Известно, что сильно охлажденный предмет в теплом помещении покрывается капельками росы. Если у человека, вошедшего в дом, запотели очки, можно с достаточной уверенностью заключить, что на улице морозно.
В каждом примере рассуждение идет по схеме: «Из первого вытекает второе; второе истинно; значит, первое также является, по всей вероятности, истинным» (во втором примере: «Если на улице мороз, у человека, вошедшего в дом, очки запотеют; очки и в самом деле запотели; значит, на улице мороз»). Однако истинность посылок не гарантирует здесь истинности заключения. Из посылок «если есть первое, то есть второе» и «есть второе» заключение «есть первое» вытекает только с некоторой вероятностью (продолжим рассматривать предыдущий пример: человек, у которого в теплом помещении запотели очки, мог специально охладить их, скажем, в холодильнике, чтобы затем внушить нам, будто на улице сильный мороз).
Выведение следствий и их подтверждение, взятое само по себе, никогда не в состоянии установить справедливость обосновываемого положения. Подтверждение следствия только повышает его вероятность. Но ясно, что далеко не безразлично, является выдвинутое положение маловероятным или же оно высокоправдоподобно.
Чем большее количество следствий нашло подтверждение, тем выше вероятность проверяемого утверждения. Отсюда рекомендация — выводить из выдвигаемых и требующих надежного фундамента положений как можно больше логических следствий с целью их проверки. При этом значение имеет не только количество следствий, но и их характер. Чем более неожиданные следствия какого-то положения получают подтверждение, тем более сильный аргумент они дают в его поддержку. И наоборот, чем более ожидаемо в свете уже получивших подтверждение следствий новое следствие, тем меньше его вклад в обоснование проверяемого положения.
Подтверждение неожиданных предсказаний, сделанных на основе какого-то положения, существенно повышает его правдоподобность. Неожиданное предсказание всегда связано с риском, что оно может не подтвердиться. Чем рискованней предсказание, выдвигаемое на основе какой-то теории, тем больший вклад в ее обоснование вносит подтверждение этого предсказания.
§ 3. Эмпирическое опровержение
Верификация и фальсификация. Особого внимания требует проблема критики выдвигаемых гипотез и теорий. Если критика, направленная на их опровержение, опирается на эмпирические данные, то, можно сказать, она имеет прямое отношение к теме их эмпирическою обоснования.
Фальсификация, или эмпирическое опровержение, проявляется через процедуру установления ложности или логической проверки.
Интерес к проблеме фальсификации привлек К. Поппер, противопоставивший фальсификацию верификации, эмпирическое опровержение — эмпирическому подтверждению.
Поппер отказался считать обоснованность или эмпирическую подтверждаемость положений науки в качестве отличительной ее черты. Подтвердить опытом можно все что угодно. В частности, астрология подтверждается многими эмпирическими свидетельствами. Но подтверждение теории еще не говорит о ее научности. Испытание гипотезы должно заключаться не в отыскании подтверждающих ее данных, а в настойчивых попытках опровергнуть ее.
Противопоставление Поппером фальсификации и верификации о связи, что выдвигаемые в науке гипотезы должны быть настолько смелыми, насколько это возможно. Но это означает, что они должны быть заведомо неправдоподобными, а потому попытки верифицировать их заведомо обречены на провал.
Принцип фальсификации и фальсификационизм. Исходным пунктом позиции Поппера является очевидная асимметрия между верификацией и фальсификацией.
Согласно современной логике, две взаимосвязанные операции — подтверждение и опровержение — существенно неравноправны. Достаточно одного противоречащего факта, чтобы окончательно опровергнуть общее утверждение, и вместе с тем сколь угодно большое число подтверждающих примеров не способно раз и навсегда подтвердить такое утверждение, превратить его в истину.
Например, даже осмотр миллиарда деревьев не делает общее утверждение «Все деревья теряют зимой листву» истинным. Наблюдение потерявших зимой листву деревьев, сколько бы их ни было, лишь повышает вероятность, или правдоподобие, данного утверждения. Зато всего лишь один пример дерева, сохранившего листву среди зимы, опровергает это утверждение.
Асимметрия подтверждения и опровержения опирается на популярную схему рассуждения, которую можно назвать принципом фальсификации.
Принцип фальсификации является законом классической логики, сформировавшейся в конце XIX — начале XX в. его совершенно не коснулась критика в адрес логики, начавшаяся в 20-е и ставшая особенно активной в 50-е гг. XX в. Этот закон принимается во всех известных неклассических логических системах, претендующих на более адекватное описание отношения логического следования.
Критика фальсификационизма. Фальсификационизм Поппера подвергается очень жесткой и аргументированной критике. В сущности, от этой концепции в ее ортодоксальной форме еще при жизни автора, продолжавшего активно ее защищать, мало что осталось.
Не будем повторять здесь критические замечания, но обратим внимание на один момент: критика фальсификационизма при всей ее эффективности не доводилась, так сказать, до своего «логического конца». Она всегда ограничивалась чисто эпистемологическими соображениями (связанными прежде всего с историей науки и реальными научными теориями) и останавливалась перед попперовским логическим обоснованием фальсификационизма. Она не рисковала подвергнуть сомнению асимметрию подтверждения и опровержения и лежащий в ее фундаменте принцип фальсификации.
Логическая фальсификация и опровержение. Критика фальсифика-ционизма не может быть до конца последовательной, если она не связана с критикой традиционного понятия опровержения и лежащего в его основе логического принципа фальсификации. Если в трактовке этого понятия логика и эпистемология оказываются, как сейчас, в конфликте, оно неминуемо раздваивается. С логической точки зрения общее положение считается .опровергнутым, как только обнаруживается хотя бы одно (важное или третьестепенное) ошибочное следствие. С эпистемологической точки зрения процедура опровержения является не менее сложной, чем процедура подтверждения, и учитывает важность ошибочных следствий, их число, их отношение к «ядру» теории, состояние конкурирующих теорий и множество других факторов. Существованием двух понятий опровержения и объясняются заключения типа: теория опровергнута (в логическом смысле), но она сохраняется, поскольку она не опровергнута (в эпистемологическом смысле).