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