Аналитическая философия

... очевидно, что в предложениях формы «p является истинным» или «истинно, что p» указание на истину ничего не добавляет к смыслу. Если я говорю, что истинно, что Шекспир написал «Гамлета», или что пропозиция «Шекспир написал „Гамлета“» является истинной, я говорю не больше, чем то, что Шекспир написал «Гамлета»... И это показывает, что слова «истинный» и «ложный» не используются, чтобы обозначать что-либо, но просто выполняют в предложении функцию знаков отрицания и утверждения. То есть истина и ложь – не самостоятельные понятия. Следовательно, не может быть никакой логической проблемы относительно природы истины484.

Согласно другому варианту этой теории, «истинно, что» есть знак согласия с р – такой же, как произнесение «да», кивок головы и др.; «истинно, что» не столько редуцируется, сколько отождествляется с «утверждаемо, что» таким образом, чтобы устранить из условий утверждаемости случайные и иррелевантные факторы, предположив равенство объемов между

«истинно, что р»

и

«да» в ответ на актуальное или гипотетическое утверждение, что р.

Таким образом, истина не зависит прямо от того или иного отношения к предметам в мире и вообще от какого бы то ни было отношения: это нереляционное свойство.

Дефляционизм оказался чрезвычайно популярен в последние десятилетия в силу своей подчеркнутой антиметафизичности и сравнительно простого объяснения истины как семантического понятия. Его основные версии таковы.

(1) Дисквотационная теория («раскавычивания») развивает следующие замечания Куайна:

Предикат истины напоминает нам, что, несмотря на технический переход к разговору о предложениях, наше внимание направлено на мир. Эта отменяющая сила предиката истины явна в парадигме Тарского:

«Снег белый» истинно, если и только если снег белый.

Кавычки составляют все различие между разговором о словах и разговором о снеге. Закавыченное выражение – имя предложения, которое содержит имя снега, а именно «снег». Называя это предложение истинным, мы называем снег белым. Предикат истины – устройство для раскавычивания485.

С такой точки зрения, истина определяется тем, что предложение, образованное помещением любого данного предложения между кавычками перед выражением 'является истинным', является эквивалентным данному предложению486.

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

Просентенциальная теория488 предлагает считать предложения с предикатом «является истинным» просентенциями, или про-предложениями (prosentences) – аналогами личных местоимений, «местопредложениями». Про-предложения служат для анафорической перекрестной ссылки к предложениям, произнесенным ранее в беседе – так же, как местоимения служат для произведения анафорической перекрестной ссылки к ранее произнесенным именам. Так же, как в «Мэри хотела купить автомобиль, но она могла позволить себе только мотоцикл» мы интерпретируем «она» как местоимение, анафорически зависящее от «Мэри», так же в «Снег бел. Это истинно, но он редко выглядит белым в Питтсбурге» мы интерпретируем «Это истинно» как про-предложение, анафорически зависящее от «Снег бел». Подобно местоимениям, про-предложения имеют двойную анафорическую функцию: они могут быть заменять содержательные предложения выражениями вида «Это истинно», имеющими анафорическую референцию к антецеденту – например, «Председатель Мао умер»; или они могут быть переменными, такими как «Все, что говорил председатель Мао, было истинно», которые интерпретируются как «Что бы Mao ни сказал, это истинно». Последняя функция очень важна, поскольку позволяет обобщения относительно предложений.

Роберт Брэндом предложил существенную модификацию просентенциальной теории, которая трактует предикат «быть истинным» не просто как синкатегорематичную часть про-предложения, а скорее как оператор, формирующий про-предложение489.