лучшем соответствии выска-
зываний фактам? Существует ли такая вещь, как
степе- ни истинности? Не будет ли опасным заблуждением счи-
тать, что истина в понимании Тарского локализована в
некотором виде метрического или по крайней мере то-
пологического пространства, так что о двух теориях —
скажем, более ранней теории
t\ и более поздней теории
• tz — можно осмысленно говорить, что /2
замещает t\ или более прогрессивна, чем
t\, вследствие того, что
h ближе к истине, чем
11? Я не думаю, что такого рода утверждения являют-
•ся всецело ошибочными. Напротив, мне представляет-
ся, что мы просто не можем обойтись без чего-то по-
добного этой идее большего или меньшего приближения
к истине. Без сомнения, мы можем и часто вынуждены
6
Сходные опасения выражает Куайн, когда критикует Пирса за
использование идеи приближения к истине (см. [34, с. 23]).
350
сказать о теории
tz, что она лучше соответствует фак-
там, чем другая теория,
t\, или, точнее, что она, на-
сколько мы знаем, по-видимому, лучше соответствует
фактам, чем теория
t 2 . Я приведу здесь несистематизированный список
шести типов случаев, в которых мы можем сказать, что-
теория /2 превосходит теорию
t\ в том смысле, что
t 2 —
насколько нам известно — лучше соответствует фактам,
чем
t\ (в том или ином смысле) :
(1)
tz делает более точные утверждения, чем f
b
и
эти более точные утверждения выдерживают более
точные проверки;
(2) /а учитывает и объясняет большее количество
фактов, чем
t\ (это включает и предыдущий случай,
когда, при прочих равных условиях, утверждения
tz яв-
ляются более точными) ;
(3)
tz описывает или объясняет факты более по-
дробно, чем это делает
t\; (4)
tz выдержала те проверки, которых не выдер-
жала
t\\ (5)
tz предложила новые экспериментальные про-
верки, не обсуждавшиеся до ее появления (эти провер-
ки не были выдвинуты теорией
t\ и, может быть, даже
неприменимы к
t \ ) , и
t 2 выдержала эти проверки;
(6)
tz объединила или связала различные пробле-
мы, которые до ее появления не имели между собой
связи.
Рассматривая этот список, мы можем заметить, ка-
кую важную роль играет в нем
содержание теорий
t\ и
tz. (Напомним, что
логическим содержанием некоторого
высказывания или теории
α
является класс всех выска-
зываний, логически следующих из a, a
эмпирическим со- держанием а — это класс всех базисных высказываний,
противоречащих а
6
. В нашем списке во всех шести
случаях эмпирическое содержание теории
tz превосхо-
дит эмпирическое содержание теории
/ι).
6
Сформулированное определение логически основано на теоре-
ме, согласно которой, если речь идет об «эмпирической части» логи-
ческого содержания, то сравнение эмпирического и логического со-
держаний всегда будет приводить к одним и тем же результатам. Ин-
туитивно это определение оправдывается тем соображением, что вы-
сказывание
а говорит о мире нашего опыта тем больше, чем больше.·
возможных случаев оно исключает (или запрещает). О базисных вы-
сказываниях см. также [32, приложения].
351
Сказанное приводит нас к мысли о том, что в пред-
шествующем рассуждении мы объединили понятие ис-
тины и понятие содержания в одно понятие лучшего
(или худшего) соответствия истине или большего (или
меньшего) подобия или сходства с истиной. Используя
термин, уже упоминавшийся ранее (и противопостав-
ляемый вероятности), можно сказать, что в данном
случае речь идет о понятии (степени)