От логики открытия к логике подтверждения

В первой половине XX в. одной из наиболее популярных становится гипотетико‑дедуктивная модель научного познания.

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

Складывалось следующее представление о процессе научного познания.

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

– Те гипотезы, которые противоречат опытным данным, отбрасываются, а подтвержденные утверждаются в качестве научного знания.

– Эмпирическое содержание любого обобщения и определяет его подлинный смысл.

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

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

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

Поэтому основной задачей методологии науки становится разработка индуктивной логики.

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

«Никогда нельзя достигнуть полной верификации закона, – пишет Р.Карнап. – Фактически мы вообще не должны говорить о «верификации», – если под этим словом мы понимаем окончательное установление истинности, – а только о подтверждении».

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

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

«Я согласен, – замечает Р.Карнап, – что не может быть создана индуктивная машина, если цель машины состоит в изобретении новых теорий. Я верю, однако, что может быть построена индуктивная машина со значительно более скромной целью. Если даны некоторые наблюдения E и гипотеза h (в форме, скажем, предсказания или даже множества законов), тогда я уверен, что во многих случаях путем чисто механической процедуры возможно определить логическую вероятность, или степень подтверждения h на основе E».

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

Реализация этой программы предполагало прежде всего построение вероятностной логики, применимой к реальным высказываниям науки. Однако дело до этого не дошло.

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

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

«Я не думаю, что имеется такая вещь, как «индуктивная логика» в карнаповском или в любом ином смысле».

Дело здесь не только в том, что такого рода логику трудно построить. Как показали дальнейшие исследования, степень подтверждения гипотезы в процессе научного познания не представляется столь значимой, как это казалось Р.Карнапу.

«Наука похожа на детективный рассказ, – писал Ф.Франк. – Все факты подтверждают определенную гипотезу, но правильной оказывается в конце концов совершенно другая гипотеза».