5.3. "Новая астрономия" Кеплера и индуктивная логика Карнапа

Теперь посмотрим, как выглядит теория Кеплера в свете индуктивной логики Карнапа. С помощью этой логики определяется степень подтверждения гипотезы h релевантными данными e. Элементарным ее выражением является поэтому

c (h,e) = r,

где c - степень подтверждения, r - численное значение из интервала (0,1).

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

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

Кажется, что этому противоречит тот факт, что сам Карнап предостерегал от отождествления индуктивно-логических и методологических выводов

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

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

Таким образом, Карнап все же строго разделял индуктивную логику и методологию, в особенности, когда речь шла о принятии практических решений (например, в ситуации пари); однако он не возражал против того, что индуктивная логика и методология тесно связаны между собой в теоретической области Заполнить форму заказа)

5rik.ru

Материалы для учебы и работы

5.3. "Новая астрономия" Кеплера и индуктивная логика Карнапа