обладанию критерием истины. На самом же деле отсутствие критерия истины не в большей степени лишает понятие истины смысла, чем отсутствие критерия здоровья делает бессмысленным понятие здоровья. Больной может жаждать здоровья, не имея его критерия. Заблуждающийся человек может жаждать истины, не обладая ее критерием.
Больной и заблуждающийся могут просто стремиться к здоровью или к истине, не слишком заботясь о точном значении этих терминов и, подобно другим людям, довольствуясь той степенью точности, которой достаточно для достижения их целей.
Одним из непосредственных результатов предпринятого А. Тарским исследования понятия истины является следующая логическая теорема: универсальный критерий истины невозможен (исключением являются некоторые искусственные языковые системы, обладающие чрезвычайно бедными выразительными средствами).
Этот результат можно точно обосновать, причем такое обоснование использует понятие истины как соответствия фактам.
Названная теорема Тарского является весьма интересной и важной с философской точки зрения (особенно в связи с проблемой авторитарной теории познанияD.4). Существенно, что этот результат был установлен при помощи понятия истины, для которого у нас нет критерия. Мы никогда не получили бы этот логический результат, представляющий большой философский интерес, если бы придерживались неразумного требования философии критериев, состоящего в том, что мы не должны серьезно относиться к понятию до тех пор, пока не будет установлен критерий его использования. Между прочим, утверждение о невозможности универсального критерия истины является непосредственным следствием еще более важного результата (полученного А. Тарским путем соединения теоремы К. Геделя о неразрешимостиD.ah с его собственной теорией истины), согласно которому универсального критерия истины не может быть даже для относительно узкой области теории чисел, а значит — и для любой науки, использующей арифметику. Естественно, что этот результат применим a fortiori к понятию истины в любой нематематической области знания, в которой, тем не менее, широко используется арифметика.
4. Учение о погрешимости знания (fallibilism)
Упомянутые в конце предыдущего раздела логические результаты наглядно демонстрирует не только ошибочность некоторых все еще модных форм скептицизма и релятивизма, но и их безнадежную отсталость. В основе таких форм релятивизма лежит логическое недоразумение — смешение значения термина и критерия его правильного использования, хотя средства для устранения этого недоразумения доступны нам вот уже тридцать лет.
Следует, однако, признать, что и в скептицизме, и в релятивизме имеется зерно истины — это отрицание существования универсального критерия истины. Это, конечно, не означает, что выбор между конкурирующими теориями произволен. Смысл отрицания существования универсального критерия истины предельно прост: мы всегда можем ошибиться при выборе теории — пройти мимо истины или не достигнуть ее, иначе говоря — люди подвержены ошибкам, и достоверность не является прерогативой человечества (это относится и к знанию, обладающему высокой вероятностью, что я доказывал неоднократно)D.5.
Сказанное, как мы хорошо знаем, — очевидная истина. В сфере человеческой деятельности имеется не так уж много областей, если они вообще есть, свободных от человеческой погрешимости. То, что в некоторый момент представляется нам твердо установленным и даже достоверным, в следующий миг может оказаться не совсем верным (а значит — ложным) и потребовать исправления.
Весьма впечатляющим примером такой ситуации может служить открытие тяжелой воды и тяжелого водорода (дейтерия, впервые выделенного Гарольдом К. Юри в 1931 году). До этого открытия нельзя было вообразить в химии ничего более достоверного и точно установленного, чем наше знание о воде (Н2О) и тех элементах, из которых она состоит. Вода использовалась даже для «операционального» определения грамма — единого стандарта массы «абсолютной» метрической системы. Таким образом, при помощи воды определялась одна из основных единиц экспериментальных физических измерений. Это свидетельствует о том, что наше знание о воде считалось достаточно хорошо установленным для того, чтобы служить прочным основанием остальных физических измерений.
Однако после открытия тяжелой воды стало ясно, что вещество, представлявшееся до этого химически чистым, в действительности является смесью химически неразличимых, но физически существенно различных соединений. Эти соединения различаются удельным весом, точками кипения и замерзания, хотя ранее «вода» использовалась в качестве эталона для определения всех этих свойств.
