Введение

Философская концепция
Согласно теории избыточности истины (также известной как дискотационная теория истины), утверждение о том, что высказывание истинно, полностью эквивалентно самому высказыванию. Например, утверждение, что предложение "Снег белый" истинно, эквивалентно утверждению предложения "Снег белый". Философская теория избыточности истины является дефляционной теорией истины.

Обзор

Теоретики избыточности исходят из этого посыла, заключая, что истина – избыточное понятие, иными словами, что "истина" – это лишь слово, которое принято использовать в определенных контекстах, но не указывающее ни на что в реальности. Эта теория обычно приписывается Фрэнку П. Рэмси, который утверждал, что использование слов, таких как "факт" и "истина", – это не что иное, как окольный способ утверждения высказывания, а рассмотрение этих слов как отдельных проблем, оторванных от суждения, – лишь "лингвистическая путаница", хотя точная интерпретация его позиции остаётся предметом дискуссий (Le Morvan 2004). Теоретики избыточности начинают с исследования функции предиката "истинно" в предложениях вроде "Снег белый' истинно". Они рассуждают, что утверждение более длинного предложения эквивалентно утверждению более короткого предложения "Снег белый". Отсюда они заключают, что цитирование предложения "Снег белый", добавление к нему предиката "истинно" и последующее утверждение результата ничего не добавляют к исходному утверждению "Снег белый". Большинство предикатов приписывают свойства своим субъектам, однако теория избыточности отрицает, что предикат "истинно" делает то же самое. Вместо этого она рассматривает предикат "истинно" как пустой, не добавляющий к утверждению ничего, кроме перехода от употребления к упоминанию. То есть, предикат "истинно" лишь повторяет высказывание, содержащееся в предложении, к которому он применяется, но не приписывает этому высказыванию или предложению никаких дополнительных свойств. В британском лексиконе Рэмси "истинно" – избыточно. Таким образом, теория избыточности истины утверждает, что вся проблема истины – это иллюзия, вызванная нашим использованием предиката "истинно", который, как предполагается, избыточен, то есть лишён смысла.

Варианты

Вариантом теории избыточности является дискотирующая теория, использующая модифицированную форму схемы Т Тарского: «Сказать, что P' истинно» – значит сказать, что P. Еще одна версия дефляционизма – процентная теория истины, впервые разработанная Дороти Гровер, Джозефом Кэмпом и Нуэлем Белнапом как развитие идей Рамзи. Они утверждают, что высказывания вроде «Это правда», произнесенные в ответ на «Идет дождь», являются просентенциями (см. проформа), выражениями, которые лишь повторяют содержание других выражений. Подобно тому, как «это» означает то же самое, что и «моя собака» в предложении «Моя собака была голодна, поэтому я ее покормил», «это правда» должно означать то же самое, что и «Идет дождь», – если вы говорите последнее, а я говорю первое. Эти варианты не обязательно следуют Рамзи в утверждении, что истина не является свойством, но их можно понимать так, что, например, утверждение «P» вполне может включать в себя существенную истину, и теоретики в этом случае минимизируют лишь избыточность или процентность, связанную с высказыванием вроде «это правда». Сторонники прагматических, конструктивистских и консенсусных теорий, однако, не согласны с этими выводами и вместо этого утверждают, что второй человек, говорящий «это правда», на самом деле участвует в дальнейшей проверке, конструировании и/или достижении консенсуса относительно предполагаемой истинности утверждения, например, о том, что «идет дождь». Теория избыточности неприменима к представлениям, не аналогичным предложениям, и не распространяется на многие другие вещи, которые обычно считаются истинными или ложными. Рассмотрим аналогию между предложением «Снег белый» и персонажем Белоснежкой, оба из которых могут быть истинными в определенном смысле. Сказать, что «Снег белый» – это правда, значит сказать «Снег белый», но сказать, что «Белоснежка – это правда», очевидно, не значит сказать «Белоснежка».