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

Но если мы применяем этот критерий к дефляционной теории – постольку, поскольку она имплицирует следование с необходимостью, —

«снег бел» истинно ттт снег бел, —

то из этих двух утверждений следует

снег бел потому, что снег бел.

Последнее утверждение ложно, так как отношение каузальности, вообще говоря, может существовать лишь между отличными друг от друга членами отношения. Это означает, что два предыдущих утверждения несовместимы друг с другом491, а следовательно, интуиция алетического реализма неприменима к дефляционной теории.

Возможно следующее возражение: связь между пропозицией, согласно которой снег бел, и тем фактом, что снег бел, не является контингентной, а следовательно, утверждение

Пропозиция, что снег бел, истинна потому, что снег бел

неудовлетворительно выражает схему эквивалентности. В таком случае она может быть более удачно выражена как

«снег бел» истинно потому, что снег бел.

Такое утверждение, будучи применено к

Пропозиция, что снег бел, истинна потому, что снег бел,

не даст ложного каузального утверждения. Однако такая формулировка исходит из сентенциальной, а не пропозициональной версии дефляционизма – а следовательно, должна быть применена к дефляционному утверждению

«снег бел» истинно ттт снег бел,

что в результате снова даст

снег бел потому, что снег бел.

Еще одно возможное возражение связано с тем, что выражение «потому, что» имплицирует референциально непрозрачный контекст, где кореферентные выражения не могут быть взаимозаменимы salva veritate. В таком случае вывод «снег бел потому, что снег бел» из приведенных пар неправомерен. Однако открытым для дискуссии остается вопрос, какой именно вид непрозрачных контекстов задается выражением «потому, что»: интенсиональный контекст, запрещающий подстановку контингентно кореферентных выражений, но разрешающий подстановку необходимо кореферентных выражений, или так называемый гиперинтенсиональный контекст, запрещающий подстановку и тех, и других. Если нам надо показать, что описанный вывод неправомерен, то мы должны принять, что выражение «потому, что» задает гиперинтенсиональный, а не просто интенсиональный контекст. Однако это недоказуемо.

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

Дефляционная истина, разделяя с корреспондентной тезис эквивалентности, отличается от нее как по своей природе, так и по своим целям. В силу своей природы (отношения к действительности) корреспондентная истина может служить объяснительным понятием в теории языка. И напротив, в дефляционном представлении истина «не имеет никакой скрытой структуры, ожидающей нашего открытия»492: нас должна интересовать не столько истина, сколько термины истины, важные для языка. В многих случаях это позволяет сокращение: вместо повторения утверждения «Председатель Мао умер» я могу сказать «Это истинно» или вместо повторения содержания целой статьи я могу сказать: «Все требования статьи являются истинными». Иногда термин истины не только удобен, но и существенен: вряд ли много людей осилили полное собрание сочинений Мао, однако гораздо большее количество людей утверждают: «Все, что сказал председатель Мао, было истинно». Без термина истины последние два утверждения требовали бы длительных конъюнкций. Термин истины – исключительно полезное лингвистическое средство для разговора о внеязыковой действительности путем отсылки к другим предложениям или другим элементам языка, признаваемым нами носителями истины. Такая интерпретация фактически вновь приводит нас к модели когеренции.