Отсюда вытекает, что все выражения языка L
1
– это часть всех выражений языка
L
2
, и все теоремы теории Т
1
– часть всех теорем теории Т
2
. Следовательно, теория Т
2
полностью «растворяет» в себе теорию Т
1
как свою часть. Все, что можно сказать на
языке L
1
, можно сказать и на языке L
2
. Язык L
1
совершенно не изменяется от своего
вхождения в состав более обширного языка L
2
. Наконец, все теоремы теории Т
1
можно
вывести как теоремы теории Т
2
. Такое понимание отношения теории и ее под-теории
называют еще «соизмеримостью» научных теорий, или «радикальной
переводимостью» языка L
1
средствами языка L
2
. В то же время изучение реальной
истории научного знания показывает, что обычно такая «радикальная переводимость»
между теориями отсутствует. Отличие отношения теории и ее под-теории от идеала
гипотетико-дедуктивной модели часто называют «несоизмеримостью» научных
теорий, или обозначают как невозможность «радикального перевода» между языками
этих теорий, невозможность редукции одной теории к другой.
3. Верификация научной теории. Под верификацией (установлением истинности)
обычно понимают интерпретацию ряда положений научной теории в эмпирическом
познании, подтверждение теории фактами. В гипотетико-дедуктивной модели эта
процедура выражается правилами экстенсиональной семантики по Тарскому, т.е.
выступает как чисто алгоритмическая процедура. Исследование реального процесса
соотнесения теоретического и эмпирического уровней научного познания показывает,
однако, высокую сложность этого процесса, его укорененность в социокультурных
определениях научного знания, что не позволяет свести процессы верификации только
к определениям синтаксической модели научной теории. Более подробно проблемы
верификации и фальсификации научного знания будут нами рассмотрены ниже.
В подходе американского философа науки Стефана Тулмина научная теория
рассматривается как выражение некоторых «идеалов естественного порядка», которые
лежат в основе закономерных отношений реального мира. Одним из таких идеалов
является, например, принцип прямолинейного распространения света. Законы
природы – это как бы инструкции-представления, позволяющие усмотреть идеалы
естественного порядка в эмпирических фактах или объяснить наблюдаемые
отклонения от них (таковым является, например, закон преломления света).
Американский философ Патрик Суппес выдвигает семантическую концепцию
научной теории, в которой теория рассматривается как система аксиом, взятая вместе с
моделью – структурой, на которой происходит интерпретация аксиом. В этом случае
семантика рассматривается как часть научной теории.