Индуктивное подтверждение как степень логической выводимости.
з' Barker S. Induction and Hypotheses. A study on the logic of 192 conformation. N.Y., 1957. P. 148.
Методы научного исследования
ством, тогда вероятность гипотезы есть 0. Между ними имеется континиум случаев, о которых дедуктивная логика не говорит нам ничего, кроме отрицательного утверждения, что ни гипотеза, ни ее отрицание не могут быть выведены из свидетельства. В этом континиуме должна занять свое место индуктивная логика.
Но индуктивная логика, подобно дедуктивной, имеет отношение исключительно к рассматриваемым утверждениям, а не к фактам природы. С помощью логического анализа установленной гипотезы h и свидетельства е мы заключаем, что JI не логически имплицируется, а, так сказать, частично имплицируется е в такой-то степени. В этом пункте, по моему мнению, мы имеем основание приписывать численные значения вероятности»32.Что удалось реализовать из заявленной Р. Карна- пом программы вероятностной индуктивной логики? В общем немного. Да, Карнап построил такую логику для очень простых языков, содержащих только одноместные предикаты (термины, означающие свойства предметов, но не отношения между ними). Ясно, что такая логика недостаточна для применения к реальной науке, подавляющее место в языке которой составляют предикаты отношений. Попытки разработать индуктивную логику для более сложных языков столкнулись с трудностями принципиального логического и методологического характерам оказались непреодолимыми.
В результате Карнап был вынужден отказаться от дальнейшей работы над своей программой. К числу принципиальных трудностей методологического характера относятся следующие.
Первая. Предложенный Карнапом метод количественного определения значения функции подтверждения существенно зависит от конкретный языковой системы L и числа ее исходных предикатов. Степень подтверждения гипотезы h на основе данных е будет в общем различной для языковых систем L\ и Z2, если они содержат различное качество предикатов. Это означает: а) необходимость каждый раз точно фиксировать языковую систему, полное число ее исходных
32
Карнап Р. Философские основания физики. М., 1971. С. 76.
А Лебедев С. А.
терминов, что вряд ли возможно по отношению к реально фунционирующим научным языкам; б) необходимость признания того, что истины индуктивной логики не являются, подобно утверждениям дедуктивной логики, истинами во всех возможных мирах, никак не зависящими от содержания последних, но тогда являются ли они логическими истинами вообще; в) непонятны рациональные основания, по которым можно предпочесть одну языковую систему (Li), в которой встречаются термины, входящие в h и е, другой языковой системе (1_2), в которой эти термины тоже имеют место.
Вторая принципиальная методологическая трудность индуктивной логики карнаповского типа состоит в том, что непонятно, где мы могли бы использовать на практике точные значения степени подтверждения h на основе е, даже если бы они не зависели от языковых систем и могли бы быть точно вычислены. Дело в том, что степень индуктивного подтверждения h на основе е есть просто указание на силу логической связи Лией абсолютно ничего не говорит о степени истинности h, если е истинно. Гипотеза h может иметь сколь угодно большую степень подтверждения по отношению к е (например 0,99) и быть при этом ложным высказыванием. И, наоборот, гипотеза h может иметь сколь угодно малое подтверждение по отношению к е (например 0,001) и при этом быть истинной. Одним словом, мы никак не можем использовать на практике значения степеней силы логической связи между высказываниями, кроме крайних случаев 0.и 1, но в этих случаях между ними имеют место не индуктивные, а дедуктивные отношения. Таким образом, количественное определение степени индуктивного подтверждения, даже если бы оно было возможно, никак не могло бы послужить инструментом рационального выбора наиболее предпочтительной гипотезы. Проблема индукции таким образом остается нерешенной. В этой связи нельзя не согласиться с остроумным замечанием американского физика и философа Ф. Франка: «Наука похожа на детективный рассказ. Все факты подтверждают определенную гипотезу, но правильной оказывается в конце концов совершенно другая гипотеза».
Вывод: видимо, в реальной науке предпочтение одной гипотезы другой не решается только путем оценки их объяснительной силы, но есть результат более сложной, многофакторной оценки роли и места этих гипотез в структуре и динамике научного знания.