должны были бы получить те данные восприятия, которые заставили их прийти к окончательному заключению, в обратном хронологическом направлении – в соответствии с окончательным заключением, к которому они во время получения данных восприятия еще не пришли. Следовало бы признать, что некоторые из данных восприятия, которые у нас есть сейчас, в данный момент, обусловлены для нас идеей, к которой мы придем только в некотором будущем (если это вообще случится)505. Аргумент против этой модели может быть усилен и далее: та сущность, которая должна обусловливать наше восприятие в настоящее время – это даже не идея, которая будет фактически существовать в некоторое будущее время. Скорее ей приписывается своего рода гипотетическое существование: «окончательное заключение» – такое заключение, которое было бы достигнуто любым человеком, если бы он имел достаточный релевантный опыт.

Таким образом, каузальное действие окончательного заключения на наше нынешнее действительное восприятие предполагается не только действием в обратном хронологическом направлении, но также и действием, оказываемым из области гипотетического на область действительного. Поэтому прагматическая теория истины неприменима в концепции значения как условий истинности в объеме сверх редуцируемого к корреспондентной.

В стандартной форме прагматическая теория выглядит так:

(х) (x истинно, если и только если каждый, кто имеет достаточный релевантный опыт, будет вынужден согласиться с х)

Единственное условие является здесь и необходимым, и достаточным для истины любой пропозиции: она должна быть такой, что с ней будет согласен каждый, у кого есть достаточные и релевантные данные восприятия. При этом не имеет значение, действительно ли x выражает некоторый факт в независимом от сознания мире. Однако прагматическая теория не является онтологически нейтральной, поскольку в ней то, по поводу чего достигнуто всеобщее согласие, определяет то, каковы факты. Т.е., ее требование в концепции значения как условий истинности было бы таково:

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

Следовательно, поскольку в прагматической теории истина приравнивается к тому, по поводу чего достигнуто всеобщее согласие, это требование редуцируется к

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

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

Соответственно, теория значения классического прагматизма не связывает напрямую значение с истиной (хотя она во многом изоморфна прагматической теории истины). Современные философы, заявлявшие о своей приверженности прагматизму – например, Куайн, Решер – могут использовать достаточно отличающиеся формы теории истины. В своих теориях значения они также не склонны связывать значение с истиной: это либо инструментальная семантика (Куайн, Гудмен), следующая скорее Джеймсу, чем Пирсу, либо интенсиональная (К.И.Льюис).

Ревизионная теория истины506 призвана анализировать парадоксы типа парадокса лжеца (или парадокса Эпименида), которые показывают, что полагания здравого смысла относительно истины могут быть непоследовательны и противоречивы.

Рассмотрим следующее «предложение лжеца»:

(L) Предложение (L) не истинно.

Предложение (L) утверждает о себе, что оно не истинно; его противоречивость следует из очевидно тривиальных принципов. Применение базовой («аристотелевой») интуиции относительно истины – предложение является истинным, если и только если то, что оно утверждает, имеет место – к предложению (L) дает:

(1) Предложение (L) истинно, если и только если предложение (L) не истинно.

При этом предложение (L) утверждает именно то, что оно не истинно; поэтому в силу корреспондентной интуиции оно истинно, если и только если оно не истинно.

Другое явное противоречие следует из принципа бивалентности:

(2) Предложение (L) либо истинно, либо нет.

Противоречие, заложенное в (1), может быть развито рассмотрением двух случаев, которые допускает (2): что (L) истинно или что (L) не истинно.

Случай 1. Предложение (L) истинно. Тогда в силу (1) предложение (L) не истинно. Таким образом, оно и истинно, и не истинно одновременно, что невозможно.

Случай 2. Предложение (L) не истинно. Тогда в силу (1) предложение (L) истинно. Снова оно и истинно, и не истинно одновременно, что невозможно.

Поэтому любой из этих двух случаев делает невозможным (1). Это подразумевает, что по крайней мере одна из этих основных интуиций, выраженных в (1) и (2), неправильна.

Ревизионная теория истины отталкивается от семантической теории истины Тарского, в которой значение истины для множества предложений («языка») дается условными предложениями вида:

S истинен если и только если P,

где P – предложение языка, а S – имя предложения

Гупта называет такие предложения «бикондиционалами Тарского»507. Хотя эквивалентности Тарского кажутся весьма тривиальными, они, как мы видим, ведут к явным противоречиям, когда применяются к предложениям типа предложения лжеца, потому что предложение (1) – тоже пример именно такой эквивалентности.

Согласно ревизионной теории, эквивалентности Тарского дают значение истины, но нам необходимы далее специальные семантические инструменты, чтобы показать, как они производят понятие истины. В частности, эта теория принимает, что истина – циркулярное понятие, и обеспечивает специальные средства для понимания циркулярных (приводящих к кругу в объяснении) понятий типа истины. Таким образом, полученное выше противоречие должно быть рассмотрено как неправильное употребление информации, выраженной в предложении (1), эквивалентности для предложения лжеца.

В ревизионной теории эквивалентность типа (1) понимается как имеющий гипотетический характер. эквивалентности Тарского полностью определяют понятие истины, но только в силу специальной роли, отведенной им в соответствии с ревизионной теорией – а именно, они дают метод для получения все лучших и лучших приближений экстенсионала предиката истины. Таким образом, они не просто дают экстенсионал предиката истины, но обеспечивают усовершенствование любого временного экстенсионала, который мог бы быть предложен.

Пусть М – обычная модель первого порядка, которая назначает предикату истины произвольный экстенсионал. Эквивалентности Тарского обеспечивают метод получения улучшенной модели M* для любого предложения P, имеющего имя S следующим образом. S назначается экстенсионалу предиката истины в M*, если P истинно в М и при этом не назначено другому истинному экстенсионалу. Тогда для любой данной модели М с любым начальным экстенсионалом предиката истины, эквивалентности дают ряд моделей М*, М**, М*** и т.д., которые построены использованием эквивалентностей, оценивающих предложения в предыдущем члене ряда. При этом ряд может быть продлен до бесконечности путем обобщения значений предыдущих элементов последовательности. Один из методов такого обобщения состоит в том, чтобы принять экстенсионал истины в верхнем схождении последовательности за состоящий из (имен) всех предложений, стабилизировавшихся на том этапе, когда последовательность приблизилась к пределу – иными словами, если на некоторой стадии последовательности предложение объявлено истинным в каждой подпоследовательности ниже стадии предела, то оно входит в экстенсионал истины в пределе.

«Последовательность пересмотра» является любой последовательностью моделей, начинающейся с произвольной модели М, которая произведена эквивалентностями Тарского согласно ревизионной теории истины.