Аргументы в пользу онтологической нейтральности дефляционизма относятся к пропозициональной, но не к сентенциальной его версии. Дальнейший анализ этой дистинкции оказывается значимым для прояснения обоснования условий истинности, нечувствительного к проблемам, связанным с онтологическими требованиями. Возможное рассмотрение в рамках дефляционной теории сталкивается здесь со следующими трудностями.
Так, если в утверждении
«снег бел» истинно ттт снег бел
«снег бел» – пропозиция, то утверждение тривиально, а если же это – предложение, то утверждение в целом ложно, поскольку для того, чтобы «снег бел» было истинно, мало того, чтобы снег был (в некоторой действительности) бел; надо еще, чтобы «снег бел» означало, что снег действительно равно бел. Но дефляционная теория истины не способна предоставить нам никаких фактов относительно языка, поскольку принципиально отклоняет референциальную отсылку к фактическим положениям дел.
В этом отношении дефляционная теория противоположна корреспондентной; но даже если мы не принимаем критерий соответствия фактам за эпистемологически основной в нашем представлении об истинности, то мы тем не менее, как правило, склонны рассматривать тезис эквивалентности как некоторый критерий адекватности – хотя бы в плане алетического реализма. Мы можем попытаться применить этот критерий к дефляционной теории следующим образом. Предположим, что интуиция о том, что некоторое предложение или пропозиция соответствует фактам, является интуицией о том, что это предложение или пропозиция истинно(-а) потому, что мир существует определенным способом; т.е. истинность пропозиции объясняется некоторым контингентным фактом, внешним по отношению к этой пропозиции:
Пропозиция, что снег бел, истинна потому, что снег бел
Но если мы применяем этот критерий к дефляционной теории – постольку, поскольку она имплицирует следование с необходимостью, —
«снег бел» истинно ттт снег бел, —
то из этих двух утверждений следует
снег бел потому, что снег бел.
Последнее утверждение ложно, так как отношение каузальности, вообще говоря, может существовать лишь между отличными друг от друга членами отношения. Это означает, что два предыдущих утверждения несовместимы друг с другом491, а следовательно, интуиция алетического реализма неприменима к дефляционной теории.
Возможно следующее возражение: связь между пропозицией, согласно которой снег бел, и тем фактом, что снег бел, не является контингентной, а следовательно, утверждение
Пропозиция, что снег бел, истинна потому, что снег бел
неудовлетворительно выражает схему эквивалентности. В таком случае она может быть более удачно выражена как
«снег бел» истинно потому, что снег бел.
Такое утверждение, будучи применено к
Пропозиция, что снег бел, истинна потому, что снег бел,
не даст ложного каузального утверждения. Однако такая формулировка исходит из сентенциальной, а не пропозициональной версии дефляционизма – а следовательно, должна быть применена к дефляционному утверждению
«снег бел» истинно ттт снег бел,
что в результате снова даст
снег бел потому, что снег бел.
Еще одно возможное возражение связано с тем, что выражение «потому, что» имплицирует референциально непрозрачный контекст, где кореферентные выражения не могут быть взаимозаменимы salva veritate. В таком случае вывод «снег бел потому, что снег бел» из приведенных пар неправомерен. Однако открытым для дискуссии остается вопрос, какой именно вид непрозрачных контекстов задается выражением «потому, что»: интенсиональный контекст, запрещающий подстановку контингентно кореферентных выражений, но разрешающий подстановку необходимо кореферентных выражений, или так называемый гиперинтенсиональный контекст, запрещающий подстановку и тех, и других. Если нам надо показать, что описанный вывод неправомерен, то мы должны принять, что выражение «потому, что» задает гиперинтенсиональный, а не просто интенсиональный контекст. Однако это недоказуемо.
Таким образом, интуиция алетического реализма оказывается неприменима к дефляционной теории. Собственно, само по себе это еще не означает, что утверждения вида «Пропозиция, что снег бел, соответствует фактам» являются ложными с дефляционной точки зрения; выражение «соответствовать фактам» в составе такого утверждения может, с такой точки зрения, трактоваться как имеющее значение «быть истинным», где истина может пониматься дефляционно. Тем не менее такой ход все же фактически отвергает критерий адекватности. В итоге мы будем вынуждены признать, что дефляционная теория не располагает достаточными средствами для того, чтобы предоставить удовлетворительную теорию истинности высказываний, которая была бы онтологически нейтральной.
Дефляционная истина, разделяя с корреспондентной тезис эквивалентности, отличается от нее как по своей природе, так и по своим целям. В силу своей природы (отношения к действительности) корреспондентная истина может служить объяснительным понятием в теории языка. И напротив, в дефляционном представлении истина «не имеет никакой скрытой структуры, ожидающей нашего открытия»492: нас должна интересовать не столько истина, сколько термины истины, важные для языка. В многих случаях это позволяет сокращение: вместо повторения утверждения «Председатель Мао умер» я могу сказать «Это истинно» или вместо повторения содержания целой статьи я могу сказать: «Все требования статьи являются истинными». Иногда термин истины не только удобен, но и существенен: вряд ли много людей осилили полное собрание сочинений Мао, однако гораздо большее количество людей утверждают: «Все, что сказал председатель Мао, было истинно». Без термина истины последние два утверждения требовали бы длительных конъюнкций. Термин истины – исключительно полезное лингвистическое средство для разговора о внеязыковой действительности путем отсылки к другим предложениям или другим элементам языка, признаваемым нами носителями истины. Такая интерпретация фактически вновь приводит нас к модели когеренции.
Просентенциальная теория отличается от тех версий дефляционизма, которые используют схему эквивалентности. Важное различие здесь касается логической структуры предложений типа «S истинно». Для классического дефляциониста структура таких предложений очень пряма: «S истинно» предицирует свойство «быть истинным» вещи, обозначенной "S". Иными словами, «S истинно» говорит об S, что это истинно – так же, как «яблоко красное» говорит о яблоке, что оно является красным. Согласно просентенциальной теории, хотя «S истинно» имеет субъектно-предикативную структуру, все же нельзя интерпретировать это как характеристику S. Пусть «S истинно» является про-предложением, которое заменяет предложение, обозначенное S, так же, как местоимение «она» заменяет имя «Мэри». Но мы не говорим, что «она» характеризует «Мэри»; точно так же, согласно просентенциальной теории, мы не должны говорить, что «S истинно» характеризует S. Предположить иначе означало бы неверно истолковать природу анафоры. Термин истины – не предикат, и не описывает предложение или говорит о нем что-нибудь большее, чем анафорическая референция, использующая личное местоимение, описывает или говорит что-нибудь об антецеденте – сингулярном термине.
Поскольку дефляционная истинность – не свойство предложения, она не может использоваться, чтобы объяснить что-либо, относящееся к предложению. Ее цель – просто облегчить выражение. Она может выполнять эту роль в теории языка, как в любой другой теории; но она не может играть объяснительную роль в такой теории. «Поэтому за представление, что истина дефляционна, надо платить большую цену: отказ от условие-истинностной семантики»493.