Соотношение эмпирии и теории

В общем виде схема взаимосвязи теории и опыта может быть символически записана следующим образом: Т1 + I1 |—Е1,гдеТ1—проверяемая на опыте теория, И — ее эмпирическая интерпретация, |--операция логического следования, Е1 — эмпирические следствия из системы «Т1 + I1». Рассмотрим возможные варианты действия по этой схеме. Первый. Допустим, что в результате сопоставления Е1 с данными наблюдения и эксперимента установлена истинность высказывания Е1. Что отсюда следует? Только то, что система «Т1 + I1» в целом, возможно, истинна, ибо из истинности следствий логически не следует истинность посылок, из которых они были выведены (это элементарный закон дедуктивной логики). Более того, согласно определению материальной импликации, являющейся формальной моделью отношения выводимости, следует, что истинные высказывания могут быть получены и из ложных посылок. Примером может служить элементарный правильный силлогизм: «Все тигры — травоядные. Все травоядные — хищники. Следовательно, все тигры — хищники».

Таким образом, строго логически истинность эмпирических следствий теории не только не служит доказательством истинности теорий, но даже — подтверждением ее истинности. Конечно, если заранее допустить (предположить) истинность теории, тогда независимое установление (например, с помощью эмпирического опыта) истинности выведенных из них следствий подтверждает (хотя и не доказывает) сделанное допущение об истинности теории. Важно также подчеркнуть, что установление истинности Е1 подтверждает не истинность Т1 самой себе, а только истинность всей системы «Т1 + I1» в целом. Таким образом, не только доказательство, но даже подтверждение опытом истинности теории самой по себе (т. е. взятой отдельно от присоединенной к ней интерпретации) — невозможно. Рассмотрим второй вариант. Установлена ложность Е1. Что отсюда следует с логической необходимостью? Только ложность всей системы «Т1 + I1» в целом, но отнюдь не ложность именно Т1. Ложной (неудачной, некорректной) может быть объявлена как раз ее конкретная эмпирическая интерпретация (I1) и тем самым ограничена сфера предполагавшейся эмпирической применимости теории. Таким образом, опыт не доказывает однозначно и ложность теории.

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

Яндекс.Метрика