Заметим, что слово между в замещаюших высказываниях можно интерпретировать так, чтобы оно либо включало, либо не включало любую из границ области ошибки. Если мы интерпретируем его так, чтобы оно включало верхнюю границу, то оба высказывания истинны, и для обоих выполняется равенство ct = ct_T. Они оба истинны, однако первое имеет большую правдоподобность, поскольку истинностное содержание у него больше, чем у второго. Если же мы интерпретируем между так, чтобы исключить верхнюю границу, то оба высказывания становятся ложными (хотя их можно назвать «почти истинными»), но остаются сравнимыми (не в смысле меры), и мы все еще можем — во всяком случае, я так думаю [58] — утверждать, что правдоподобность первого больше, чем второго.

Таким образом, не нарушая исходного принципа двузначной логики («всякое недвусмысленное высказывание либо истинно, либо ложно, и третьего не дано»), мы можем иногда говорить о ложных высказываниях, которые более или менее ложны, дальше от истины или ближе к ней. И эта идея более высокой или более низкой правдоподобности применима как к ложным, так и к истинным высказываниям: существенно здесь их истинностное содержание, а это понятие полностью входит в область двузначной логики.

Другими словами, похоже на то, что мы можем отождествить идею приближения к истине с идеей высокого истинностного содержания при низком «ложностном содержании».

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

Формулировка «цель науки — правдоподобность» имеет важное преимущество перед, возможно, более простой формулировкой «цель науки — истина». Последняя может навести на мысль, что цель науки полностью достигается высказыванием неоспоримой истины, что все столы — столы или что 1+1=2. Очевидно, что оба эти высказывания истинны; столь же очевидно, что ни одно из них не может считаться каким бы то ни было научным достижением.

Более того, ученые имеют целью создание теорий, подобных теориям гравитации Ньютона и Эйнштейна — и хотя нас очень интересует вопрос об истинности этих теорий, последние сохраняют свой интерес, даже если у нас есть основания считать, что они ложны. Ньютон никогда не считал свою теорию действительно последним словом науки, а Эйнштейн свою теорию чем-то кроме как хорошим приближением к истинной теории — единой теории поля, которую он искал с 1916 года до своей смерти в 1955 году. Все это говорит о том, что идея «поиска истины» удовлетворительна только в том случае, если (а) под «истиной» мы понимаем множество всех истинных высказываний (класс в смысле Тарского всех истинных высказываний) и (b) мы готовы допустить в наш поиск истины ложные высказывания, если они не «слишком ложны» («имеют не слишком большое ложностное содержание») и имеют большое истинностное содержание.

Таким образом, поиск правдоподобности — более ясная и более реалистическая цель, чем поиск истины. Вместе с тем я хочу показать не только это. Я хочу показать, что в то время как в эмпирической науке мы никогда не можем иметь достаточно веские аргументы для притязания на то, что мы на самом деле достигли истины, мы можем иметь весомые и достаточно (reasonably) хорошие аргументы в пользу того, что мы, возможно, продвинулись к истине, то есть что теория Т₂ предпочтительнее своей предшественницы Т₁, по крайней мере в свете всех известных нам рациональных аргументов.

Более того, мы можем объяснить метод науки, а также значительную часть истории науки как рациональную процедуру приближения к истине. (Дальнейшее важное разъяснение рассматриваемой проблемы можно получить с помощью идеи правдоподобности в связи с проблемой индукции — см. особенно раздел 32 этой главы).

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

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

Зачем же тогда я пытался показать, что правдоподобность можно определить, или свести к другим терминам (таким как истинностное содержание, ложностное содержание и, в конечном счете, логическая вероятность)?

Некоторые предполагали, что моей целью было что-то вроде точности или строгости, или даже применимости — что я надеялся найти числовую функцию, которую можно применять к теориям и которая говорит нам, в терминах числовых значений, какова их правдоподобность (или по крайней мере их истинностное содержание или, возможно, степень их подкрепления (corroboration)),

На самом деле такая задача как нельзя более далека от моих целей. Я не думаю, что степени правдоподобности, меру истинностного содержания, меру ложностного содержания (или, скажем, степень подкрепления или даже логическую вероятность) можно вообще определить числом, кроме как в исключительных предельных случаях (таких как 0 или 1). И хотя введение числовой функции делает все содержания сравнимыми в принципе или в теории, я думаю, что на практике мы всецело полагаемся на те редкие случаи, которые являются сравнимыми на не-метрических и, так сказать, качественных, или общелогических основаниях, — таких, как случаи логически более сильных или более слабых конкурирующих теорий, то есть теорий, направленных на решение одних и тех же проблем. При фактическом сравнении мы полностью зависим от таких случаев (можно назвать это парадоксальным, поскольку функции меры, такие как вероятность, делают свои аргументы в общем случае в принципе сравнимыми).

Могут спросить: в чем же тогда смысл моих попыток показать, что правдоподобность определима в терминах логической вероятности? Моя цель — добиться для правдоподобности (на более низком уровне точности) того, чего Тарский добился для истинности: реабилитации основанного на здравом смысле понятия, которое попало под подозрение, но которое, по моему мнению, очень нужно для любой формы критического реализма, исходящей из здравого смысла, и для всякой критической теории науки. Я хочу иметь возможность говорить, что целью науки является истина в смысле соответствия фактам, или действительности; и я хочу также иметь возможность говорить (вместе с Эйнштейном и другими учеными), что теория относительности является — или что мы так предполагаем — лучшим приближением к истине, чем теория Ньютона, точно также как эта последняя является лучшим приближением к истине, чем теория Кеплера. И я хочу иметь возможность говорить это, не опасаясь, что понятие близости к истине, или правдоподобности, логически некорректно(misconceived), или «бессмысленно» ("meaningless"). Другими словами, моя цель — реабилитация основанной на здравом смысле идеи, которая нужна мне для описания целей науки и которая, утверждаю я, в качестве регулятивного принципа (пусть даже неосознанно и интуитивно) лежит в основе рациональности всех критических научных дискуссий.