компонент двух осмысленных выражений: «это истинно, что…» и «это неистинно, что…». Эти выражения трактуются таким образом, как если бы они были единым словом, не имеющим никаких органических частей. Приписываемое им значение таково, что они могут быть немедленно элиминированы из любого предложения, в котором они встречаются. Например, вместо того, чтобы говорить: «это истинно, что все коты чёрные», — мы можем просто сказать: «все коты чёрные». Или вместо «это не истинно, что все коты чёрные», мы можем сказать: «не все коты чёрные».
В других контекстах слово «истинное», по мнению сторонников этой точки зрения, не имеет смысла. В частности, оно не может быть использовано как реальный вещественный предикат. Пользуясь терминологией средневековой логики, мы можем сказать, что слово «истинное» возможно употреблять синкатегориматически в некоторых специальных ситуациях, но нельзя употреблять категориматически. В частности, с «нигилистической» точки зрения предложения, приводящие к антиномии лжеца, не могут рассматриваться как осмысленные, и антиномия просто исчезает.
К сожалению, многие случаи использования слова «истинное», которые в других отношениях кажутся вполне разумными и законными, также должны быть поставлены под сомнение.
Легко показать, что «нигилизм» в теории истины признает только на словах некоторые популярные формы человеческой речи, а на самом деле устраняет понятие истины из концептуального строя человеческого разума.
Поэтому мы рассмотрим другой выход из затруднения и попытаемся найти решение, которое, по существу, сохранит в целостности классическую концепцию истины. Для этой цели подвергнем анализу те свойства обыденного языка, которые являются реальными источниками антиномии лжеца. В этом плане внимание привлекает прежде всего такое свойство естественных (разговорных) языков, как их универсальный характер. Предполагается, что обыденный язык должен обеспечить адекватные средства для выражения всего того, что может быть выражено вообще в каком бы то ни было языке. Он непрерывно расширяется для того, чтобы удовлетворить этому требованию. В частности, он семантически универсален в следующем смысле: совместно с лингвистическими объектами, такими, как предложения и термины, которые являются компонентами этого языка, в него включаются также и имена этих объектов; кроме того, обыденный язык содержит семантические термины — «истина», «имя», «обозначение» которые прямо или косвенно связаны с отношениями между лингвистическими объектами и некоторой внелингвистической реальностью. Следовательно, для каждого предложения, сформулированного в обыденном языке, мы можем сформулировать на том же самом языке другое предложение относительно того, истинно оно или ложно. Используя дополнительный «трюк», мы можем даже построить в языке то, что иногда называется самореферентным высказыванием, то есть высказывание, утверждающее своё собственное значение истинности. В том случае, если S утверждает свою собственную ложность, мы можем доказать, что S как истинно, так и ложно, и тем самым прийти к антиномии лжеца.
Однако нет никакой необходимости использовать универсальные языки во всех возможных ситуациях. Такие языки, вообще говоря, вовсе не необходимы для целей науки (под наукой я понимаю здесь всю сферу интеллектуального исследования). В частной области науки, скажем, в химии, мы рассматриваем некоторые специальные объекты, такие, как химические элементы, молекулы и т. д., а не лингвистические объекты, например, предложения или термины. Язык, который столь хорошо подходит для этого рассмотрения, является ограниченным языком, его словарь имеет пределы. Он должен содержать наименования химических объектов, термины, подобные терминам «элемент» или «молекула», а не имена лингвистических объектов и, следовательно, не должен быть семантически универсальным. То же самое справедливо и для большинства других областей науки. Ситуация становится до некоторой степени запутанной, когда мы обращаемся к лингвистике. Язык лингвистики, несомненно, должен быть насыщен именами лингвистических объектов, однако не следует отождествлять язык лингвистики с языком или какими либо языками, которые являются объектами лингвистических дискуссий. Язык лингвистики должен содержать имена лингвистических компонент обсуждаемых языков, но не имена своих собственных компонент, и, таким образом, он опять-таки не должен быть универсальным в семантическом плане. То же самое справедливо и по отношению к языку логики или, скорее, той части логики, которая известна как металогика и метаматематика. В этом случае мы опять-таки интересуемся определёнными языками, прежде всего языками логических и математических теорий (хотя, конечно, мы обсуждаем эти языки с иной точки зрения, чем это имеет место в случае лингвистики).
Теперь возникает вопрос: при каких условиях может быть установлено непротиворечивое и адекватное употребление понятия истины для семантически ограниченных языков научных рассуждений? Главные условия, которым должен удовлетворять язык, состоят, во-первых, в строго однозначном и исчерпывающем описании словаря языка и, во-вторых, в формулировании синтаксических правил относительно составления осмысленных выражений из слов, перечисленных в словаре. Более того, синтаксические правила должны быть чисто формальными, то есть относиться только к форме (виду) высказываний; функция и значение некоторого выражения должны зависеть исключительно от его формы. В частности, рассматривая некоторое выражение, мы должны иметь возможность в каждом случае определить, является ли данное выражение предложением, или нет. Недопустимо, чтобы некоторое выражение выполняло в одном месте функцию предложения, а выражение точно такой же формы не выполняло этой функции в другом месте или чтобы некоторое предложение утверждалось в одном контексте, тогда как предложение точно такой же формы отрицалось в другом. (Отсюда, в частности, следует, что указательные местоимения и наречия, такие, как «это» и «здесь», не должны включаться в словарь языка). Языки, которые отвечают этим условиям, рассматриваются как формализованные. Когда обсуждаются формализованные языки, нет никакой необходимости проводить различие между выражениями одной и той же формы, написанными или высказанными в различных местах; мы часто говорим о них так, как если бы они были одним и тем же выражением.
Формализованные языки полностью адекватны для представления структуры логических и математических теорий. Я не вижу никаких оснований, почему бы их нельзя было приспособить для использования и в других научных дисциплинах, в частности для развития теоретических разделов эмпирических наук. Мне бы хотелось подчеркнуть, что, когда я использую термин «формализованные языки», я отнюдь не имею в виду исключительно лингвистические системы, формулируемые преимущественно в символах, и ничего по существу противоположного естественным языкам. Напротив, реальный интерес представляют только такие формализованные языки, которые являются фрагментами естественных языков (фрагментами, снабженными полными словарями и точными синтаксическими правилами), или такие, которые по крайней мере могут быть адекватно переведены на естественные языки.
Существуют также некоторые другие дополнительные условия, от которых зависит возможность построения формального правильного и материально адекватного определения множества истинных предложений языка. Следует, например, проводить строгое различие между языком, который является предметом обсуждения и для которого мы намереваемся сформулировать дефиницию истины, и языком, на котором эта дефиниция должна быть сформулирована и изучены её приложения. Первый называется языком-объектом, а второй — метаязыком. Метаязык должен быть достаточно богатым и, в частности, он должен включать в себя язык-объект как свою часть. В самом деле, согласно условию материальной адекватности, дефиниция истины должна включать в качестве следствий все частные дефиниции истины для конкретных предложений языка-объекта. Поскольку все эти следствия сформулированы в метаязыке, можно сделать вывод, что каждое предложение языка-объекта должно также быть и предложением метаязыка. Более того, метаязык должен содержать имена предложений (и другие выражения) языка- объекта. Он должен также содержать некоторые дополнительные термины, необходимые для обсуждения свойств языка-объекта, а именно термины, обозначающие некоторые специальные множества выражений, отношения между выражениями и операции над выражениями. Например, мы должны иметь возможность говорить о множестве всех предложений или об операции соединения, посредством которой, ставя одно из двух данных выражений непосредственно после другого, мы получаем новое выражение. Таким образом, метаязык, содержащий достаточные средства для определения множества истинных предложений какого- либо языка, должен быть существенно богаче языка-объекта; он не может совпадать с последним или быть переводимым в него, поскольку в противном случае оба языка окажутся семантически универсальными, и антиномию лжеца можно будет реконструировать в обоих.
