Блинов А.К.
В рамках концепции значения как условий истинности может предполагаться, что T -теории трактуются дефляционным способом — так, чтобы они не отсылали к объекту (предмету) или состоянию дел. Дефляционные теории (или теории избыточности — redundancy ) истины основаны на следующем допущении: утверждать, что предложение истинно, значит просто утверждать само это предложение (' p ' истинно = p ), а утверждать, что оно не истинно, значит просто отрицать его (' p ' ложно = ~ p ). Тезис эквивалентности — р истинно тогда и только тогда когда р — валиден для дефляционного понятия истины настолько же, насколько для корреспондентного, но здесь он превращен в определение истинности – "истинно, что р" не содержит ничего, кроме утверждения р. Истина, с такой точки зрения, состоит не более, чем в соблюдении тезиса эквивалентности, т.е. сказать "истинно, что р" — не сказать ничего больше, чем просто утверждать р; понятие истинности само по себе избыточно. "Истинно, что р" значит р, "ложно, что р" – не-р. Концепция "избыточности" была явно сформулирована Ф.Рамсеем[21] и часто, но не всегда обоснованно атрибутируется позднему Витгенштейну: согласно интерпретаторам последнего, "р истинно" эквивалентно "р утверждаемо", а "р ложно" — "р отрицаемо". Это снимает, например, проблемы, связанные в корреспондентной теории с применением предиката "истинно" прямо (т.е. так, чтобы им можно было прямо пренебречь) к модальным высказываниям, контрфактуалам и т.д., а не только к высказываниям определенной формы — повествовательным предложениям изъявительного наклонения.
По версии этой теории, отстаиваемой Айером, "истинно" и "ложно" функционируют в предложении "как знаки утверждения и отрицания", а традиционные теории истины на самом деле исследуют вовсе не понятие истины, а условия, при которых то, что сказано, может быть истинным, т.е. условия утверждаемости р.
... очевидно, что в предложениях формы " p является истинным" или "истинно, что p " указание на истину ничего не добавляет к смыслу. Если я говорю, что истинно, что Шекспир написал "Гамлета", или что пропозиция "Шекспир написал "Гамлета"" является истинной, я говорю не больше, чем то, что Шекспир написал "Гамлета"... И это показывает, что слова "истинный" и "ложный" не используются, чтобы обозначать что-либо, но просто выполняют в предложении функцию знаков отрицания и утверждения. То есть истина и ложь — не самостоятельные понятия. Следовательно, не может быть никакой логической проблемы относительно природы истины[22] .
Согласно другому варианту этой теории, "истинно, что" есть знак согласия с р — такой же, как произнесение "да", кивок головы и др.; "истинно, что" не столько редуцируется, сколько отождествляется с "утверждаемо, что" таким образом, чтобы устранить из условий утверждаемости случайные и иррелевантные факторы, предположив равенство объемов между
"истинно, что р"
и
"да" в ответ на актуальное или гипотетическое утверждение, что р.
Таким образом, истина не зависит прямо от того или иного отношения к предметам в мире и вообще от какого бы то ни было отношения: это нереляционное свойство.
Дефляционизм оказался чрезвычайно популярен в последние десятилетия в силу своей подчеркнутой антиметафизичности и сравнительно простого объяснения истины как семантического понятия. Его основные версии таковы.
(1) Дисквотационная теория ("раскавычивания") развивает следующие замечания Куайна:
Предикат истины напоминает нам, что, несмотря на технический переход к разговору о предложениях, наше внимание направлено на мир. Эта отменяющая сила предиката истины явна в парадигме Тарского:
"Снег белый" истинно, если и только если снег белый.
Кавычки составляют все различие между разговором о словах и разговором о снеге. Закавыченное выражение — имя предложения, которое содержит имя снега, а именно "снег". Называя это предложение истинным, мы называем снег белым. Предикат истины — устройство для раскавычивания[23] .
С такой точки зрения, истина определяется тем, что предложение, образованное помещением любого данного предложения между кавычками перед выражением 'является истинным', является эквивалентным данному предложению[24] .
Пол Хорвиц предложил "минималистскую" теорию, подобную дисквотационной, за исключением того, что первичными носителями истины в ней признаются пропозиции [25] .
Просентенциальная теория[26] предлагает считать предложения с предикатом "является истинным" просентенциями, или про-предложениями ( prosentences ) — аналогами личных местоимений, "местопредложениями". Про-предложения служат для анафорической перекрестной ссылки к предложениям, произнесенным ранее в беседе — так же, как местоимения служат для произведения анафорической перекрестной ссылки к ранее произнесенным именам. Так же, как в "Мэри хотела купить автомобиль, но она могла позволить себе только мотоцикл" мы интерпретируем "она" как местоимение, анафорически зависящее от "Мэри", так же в "Снег бел. Это истинно, но он редко выглядит белым в Питтсбурге" мы интерпретируем "Это истинно" как про-предложение, анафорически зависящее от "Снег бел". Подобно местоимениям, про-предложения имеют двойную анафорическую функцию: они могут быть заменять содержательные предложения выражениями вида "Это истинно", имеющими анафорическую референцию к антецеденту — например, "Председатель Мао умер"; или они могут быть переменными, такими как "Все, что говорил председатель Мао, было истинно", которые интерпретируются как "Что бы Mao ни сказал, это истинно". Последняя функция очень важна, поскольку позволяет обобщения относительно предложений.
Роберт Брэндом предложил существенную модификацию просентенциальной теории, которая трактует предикат "быть истинным" не просто как синкатегорематичную часть про-предложения, а скорее как оператор, формирующий про-предложение[27] .
Относительно применения дефляционных теорий в концепции значения как условий истинности возможны следующие возражения. Не во всех случаях "истинно" может быть устранено из предложения без последствий для постулируемой эквивалентности: так, в предложении "То, что говорит председатель Мао, истинно", убрав "истинно", мы получим "то, что говорит председатель Мао…" — т.е. фрагмент предложения. Таким образом, для этого случая эквивалентность формы "р истинно тогда и только тогда, когда р" не сохраняется. По замечанию Даммита, избыточность понятия еще не означает, что оно лишено содержания; теория избыточности истины концентрируется на внешних условиях нашего употребления слова "истинно" (что мы говорим так, когда утверждаем что-то), но есть еще и внутренние условия, а именно, что наши суждения нацелены на истину. Даммит сравнивает истинность и ложность с выигрышем и проигрышем игры. Описывать игру только по ее результату значит упускать из виду существенный момент: в игру играют, чтобы победить; также и суждения выносятся, чтобы достигнуть истины. А чтобы такая задача могла реально стоять для суждений, выносящие суждения должны иметь понятие истины, поэтому вывод о его бессодержательности не следует из утверждения его избыточности]28] .
Дефляционные теории не преодолевают основной трудности на пути отображения значения в концепции значения как условий истинности. Фундаментальная проблема здесь состоит в следующем: при использовании языкового выражения (например, русского языка) с правой стороны T -предложения то, что утверждается с правой стороны, не может быть ни больше ни меньше (в том числе по объему), чем то, что утверждается этим языковым выражением. Поэтому эта проблема свойственна не исключительно определенным видам T -теорий, в которых полагается, что правая сторона T -предложений отсылает к определенному состоянию дел; скорее она вытекает из того факта, что для установления истинностных условий используется некоторый язык, и поэтому T -теория может отображать не более, чем то, что сообщается выражением этого языка, используемым для установления истинностных условий.
В этой связи важно, принимаем ли мы за носители истинности пропозициии или предложения. Дефляционная трактовка истинности допускает и то, и другое. Различие относится к схеме эквивалентности левой и правой частей утверждения: мы можем предположить, что эти части являются предложениями. В таком случае именем предложения является само это предложение — так, «"Снег бел"» является именем предложения "Снег бел". В такой — сентенциальной, т.е. фактически любой, кроме пропозициональной — версии дефляционизма утверждение условий истинности будет выглядеть так:
"Снег бел" истинно ттт снег бел;
а схема эквивалентности, соответственно, так:
Предложение " s " истинно ттт s .
В пропозициональной ("минималистской") версии дефляционизма части утверждения являются пропозициями, а именами пропозиций являются выражения вида "утверждение, что р" или "пропозиция, что р" — так, "пропозиция, что снег бел" будет именем пропозиции, утверждающей, что снег бел. Утверждение условий истинности будет выглядеть так:
Пропозиция, что снег бел, истинна ттт снег бел;
а схема эквивалентности — так:
Пропозиция, что р, истинна ттт р.
Аргументы в пользу онтологической нейтральности дефляционизма относятся к пропозициональной, но не к сентенциальной его версии. Дальнейший анализ этой дистинкции оказывается значимым для прояснения обоснования условий истинности, нечувствительного к проблемам, связанным с онтологическими требованиями. Возможное рассмотрение в рамках дефляционной теории сталкивается здесь со следующими трудностями.
Так, если в утверждении
"снег бел" истинно ттт снег бел
"снег бел" — пропозиция, то утверждение тривиально, а если же это — предложение, то утверждение в целом ложно, поскольку для того, чтобы "снег бел" было истинно, мало того, чтобы снег был (в некоторой действительности) бел; надо еще, чтобы "снег бел" означало, что снег действительно равно бел. Но дефляционная теория истины не способна предоставить нам никаких фактов относительно языка, поскольку принципиально отклоняет референциальную отсылку к фактическим положениям дел.