Прагматическая теория истины

В классическом прагматизме Ч.С.Пирса и его последователей носителем истины признается идея — термин, свободно используемый этими философами для обозначения мнений, полаганий, утверждений и тому подобных сущностей (когда Пирс ставит вопрос о носителях истины явно, он признает ими пропозиции[493]; в остальных случаях это полагания и т.п) — прежде всего ментальных, хотя не только. Таким образом, в прагматической теории истины изначально присутствует допущение об интенсиональной эквивалентности.

Идея здесь — инструмент со специфической функцией; истинная идея — та, которая выполняет свою функцию, которая работает; ложная идея — та, которая этого не делает. Универсальность истины состоит именно в ее универсальной достижимости:

Дайте любому человеку достаточно информации и возможность достаточно размышлять над любым вопросом, и результатом будет то, что он достигнет некоторого определенного заключения — того же самого, которого достигнет любое другое сознание[494].

Трудность и в понимании, и в критике прагматической теории истины состоит в том, чтобы выявить это разностороннее понятие функционирования или работы идеи. По мнению прагматистов, они не разделяют обычное представление, что функция идеи — "обнаруживать действительность" и что истинная идея, поэтому — та, которая преуспевает в выполнении этой задачи. Истина, с прагматической точки зрения, в самом деле может быть соглашением идеи с действительностью; в такой трактовке идея — ментальный образ, буквально копирующий некоторые признаки мира. Однако недостатком этого определения для прагматистов была его очевидная неспособность полностью охватить все разнообразные виды вещей, которые мы говорим и думаем и которые прагматисты называли идеями. Прагматистское определение идей функционально, а не сущностно. Так, функция гипотезы в науке состоит не в сообщении нам, чем является действительность, а в создании предсказаний и предложений для исследования, которые являются приемлемыми, пока они работают. В повседневной жизни идея обычно принимает форму плана действия, например, для решения проблемы, а ее истинность состоит в ее успехе в выполнении потребности. Функция идей в системах чистой математики — избежать противоречий, а не копировать мир. Религиозные и метафизические утверждения и системы должны быть оценены не в соответствии с какими бы то ни было критериями копирования действительности или отсутствия формального противоречия, но в соответствии с их способностью дать удовлетворение их сторонникам. Поэтому "истинный" является оценочным словом, которое нужно использовать в том случае и постольку, поскольку утверждение удовлетворяет цели исследования, которому оно обязано своим существованием (или выдвигает эту цель).

Если идеи, значения, концепции, понятия, теории, системы инструментальны по отношению к активной реорганизации данной окружающей среды, к удалению некоторой специфической неясности и неоднозначности, то испытание их валидности и значения состоит в выполнении ими своей работы. Если они преуспевают в своей службе, то они надежны, нормальны, валидны, хороши, истинны[495].

Проблемы здесь таковы:

(1) необходимость различать между принятием чего-либо и принятием чего-либо за истинное;

(2) необходимость различать между принятием чего-либо за истинное и истинным бытием чего-либо.

С ними связаны следующие соображения.

(1) Очень многие вещи (советы, решения, оценки, предложения, планы, приговоры, оправдания и т.д.) могут быть приняты или отклонены по различным причинам именно потому, что они обслуживают различные функции. Так же, как сами эти "идеи" обычно выражаются выражениями различных категорий, так и их принятие или отклонение выражено различными словами, типа "хороший" или "плохой", "правильный" или "неправильный", "разумный" или "неразумный", "подходящий" или "несоответствующий", и сведение всех этих совершенно гетерогенных оценок к одному предикату "истинный" может скорее привести к замешательству, чем "сделать наши идеи ясными". Представление об истинностном операторе здесь оказывается размытым: им может оказаться, с такой точки зрения, практически что угодно — но тогда можем ли мы называть такую теорию теорией истины? Контраргумент здесь может состоять в том, что никакое полагание, кроме полагания, которое соответствует факту — "обнаруживает действительность" — в конечном счете не оказывается целесообразным или удовлетворительным. Но даже и в таком случае это еще не позволяет нам трактовать "удовлетворительный" или "работающий" как синонимы "истинного" — они служат лишь выражением условного и косвенного критерия истины.

(2) В центре внимания прагматизма находится не теоретическая проблема природы истины, а практическая проблема получения и проверки истинных идей — что Пирс назвал "заключительным обязательным полаганием", т.е., как в дефляционизме, не значение предиката "истинный", а его функции и возможные причины называть нечто истинным. Предикат "быть истинным" редуцирован к "быть принятым как истинный". Это, в самом деле, дает некоторый вариант онтологической нейтральности; такой подход разрабатывается в современном прагматизме: например, нечто подобное, как представляется, имеет в виду Рорти, когда разрабатывает идею контраста между отказом от мира как его понимает здравый смысл и отказом от Мира как вещи-в-себе, который мы никогда не могли бы понимать правильно[496]. Однако здесь снова критерии последовательности, целесообразности, выполнения и т.п. являются скорее причинами для принятия чего-либо как истинного, чем частью значения понятия "истинный".

Достигаемая в соответствии с прагматической теорией истина не просто интерсубъективна — она все же влечет за собой требования о внешнем мире по следующим причинам.

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

В конечном счете человеческое мнение универсально стремится к... истине... На каждый вопрос есть истинный ответ, окончательное заключение, к которому постоянно стремится мнение каждого человека[497].

Фактически мы имеем здесь дело с хорошо знакомым по марксистской теории познания представлением о постепенном приближении относительной истины к абсолютной (которым в данном случае и прагматизм, и марксизм обязаны, как представляется, неокантианству[498] — хотя в рамках марксизма это представление разрабатывалось в рамках концепции объективной, т.е. корреспондентной истины; как мы увидим дальше, к этому приходит и прагматизм). Мы постепенно, путем уточнения наших представлений, применяя логику и научные методы, приближаемся к абсолютной истине — "окончательному заключению", которое истинно по определению:

Истина пропозиции, что Цезарь пересек Рубикон, состоит в том факте, что чем дальше мы продвигаем наши археологические и другие исследования, тем более настоятельно это заключение проникает в наши сознания навсегда — или проникало бы, если бы исследования продолжались вечно...

Истина — это соответствие абстрактного утверждения с идеальным пределом, к которому бесконечное исследование стремилось бы привести научное полагание; таким соответствием абстрактное утверждение может располагать на основании признания его погрешности и односторонности, и это признание — необходимый компонент истины[499].

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

Преимущество научного метода состоит именно в том, что он способен воздействовать не просто на индивидуальные полагания, но на полагания сообщества в целом; для этого метод должен использовать нечто публичное и внешнее по отношению к индивидуальным сознаниям членов сообщества[500]. Научный метод отвечает этому требованию, потому что он основан на опыте, исходящем от объективной действительности. Схема Пирса такова: действительность воздействует на нас через наши восприятие; действительность объективна, потому что мы не можем управлять нашим восприятием. В любой данной ситуации, в которой я нахожусь, действительность определяет то, что я вижу и чего не вижу. В идеале каждый, кто посмотрит туда же, что и я, придет к тому же самому заключению о том, что там находится[501]. Возможные различия в данных восприятия будут устраняться путем дальнейшего сравнения индивидуальных полаганий, экспериментов, дополнительных данных и т.д, и для истины дальнейшие данные восприятия будут делать расхождение в полаганиях все менее и менее вероятным. Поэтому то обстоятельство, что объективная действительность определяет наше восприятие, которым мы не можем (в этом отношении) управлять, постепенно приводит нас ближе к заключениям, которые точно отражают эту действительность.

Истинная пропозиция — та, с которой в конечном счете согласился бы каждый, кто имеет достаточный опыт, релевантный этой пропозиции. Но единственные пропозиции, с которыми согласился бы каждый — это именно те, которые точно отражают действительность. Следовательно, "быть истинным" эквивалентно "точно отражать объективную действительность". Тогда прагматическая теория истины фактически сводима к корреспондентной, с теми же вытекающими для концепции значения как условий истинности последствиями. Однако прагматизм вместо этого сосредотачивается на другой, скорее когерентистской по духу эквивалентности между "быть истинным" и "быть (в конечном счете) принятым каждым, кто располагает достаточным релевантным опытом". Причина этого определена самой структурой прагматистского понятия действительности — в том, что касается независимости действительности от сознания. Для прагматистов действительность независима от любого сознания и от любого правильного подмножества сознаний, но она не независима от всех сознаний. Действительность есть то, что утверждается существующим или имеющим место в пропозициях, с которыми согласился бы каждый, кто обладает достаточным релевантным опытом:

Действительность независима — не обязательно от мысли вообще, но только от того, что вы или я, или любое конечное число людей могут думать о ней... С другой стороны, хотя объект окончательного мнения зависит от того, чем является это мнение, все же то, чем это мнение является, не зависит от того, что думаете вы или я, или любой человек[502].

Эта теория привлекает феноменализм. Но это — феноменализм Канта, а не Юма... Сущность философии [Канта] в том, чтобы рассматривать реальный предмет как определенный сознанием,...рассматривать действительность как нормальный результат ментальных действий[503].

Таким образом, в итоге действительность признается не независимой от сознания: она независима от любого индивидуального сознания (и поэтому может считаться "объективной"), но она не независима от сознания человеческого сообщества. Реальность определяется или конституируется сознаниями всех членов сообщества. Контраргумент здесь может состоять в том, что такая онтологическая доктрина не слишком хорошо согласуется с предложенной концепцией действительности, управляющей нашим восприятием. Последняя идея храктерна скорее для реалистической онтологии: независимые от сознания предметы взаимодействуют (через другие виды независимых от сознания объектов подобно световым и звуковым волнам) с нашими органами чувств; эти взаимодействия конституируют наши акты восприятия, и так как мы не можем управлять тем, чем являются предметы — от нас не зависит, каковы они, то мы не можем управлять тем, что мы воспринимаем. Но в прагматической онтологии предметы, которые управляют нашим восприятием — это идеальные предметы специфического вида. Согласно этой модели, идея в сознаниях людей, имеющих достаточный релевантный опыт, так или иначе вынуждает других людей, не имеющих такого опыта, получать некоторые данные восприятия.

Более того, люди, имеющие достаточный релевантный опыт и достигшие "окончательного заключения", должны были бы получить те данные восприятия, которые заставили их прийти к окончательному заключению, в обратном хронологическом направлении — в соответствии с окончательным заключением, к которому они во время получения данных восприятия еще не пришли. Следовало бы признать, что некоторые из данных восприятия, которые у нас есть сейчас, в данный момент, обусловлены для нас идеей, к которой мы придем только в некотором будущем (если это вообще случится)[504]. Аргумент против этой модели может быть усилен и далее: та сущность, которая должна обусловливать наше восприятие в настоящее время — это даже не идея, которая будет фактически существовать в некоторое будущее время. Скорее ей приписывается своего рода гипотетическое существование: "окончательное заключение" — такое заключение, которое было бы достигнуто любым человеком, если бы он имел достаточный релевантный опыт.

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

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

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

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

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

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

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

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

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

Ревизионная теория истины

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

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

(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 — имя предложения

Гупта называет такие предложения "бикондиционалами Тарского"[506]. Хотя эквивалентности Тарского кажутся весьма тривиальными, они, как мы видим, ведут к явным противоречиям, когда применяются к предложениям типа предложения лжеца, потому что предложение (1) — тоже пример именно такой эквивалентности.

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

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

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

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

Некоторые предложения стабилизируются в конечном счете в каждой последовательности пересмотра. Например, пусть S — имя предложения

T (T (F (b))),

где "T" — предикат истины, "F" — произвольный одноместный предикат, и "b" — произвольное имя. Модель М(T) представляет экстенсионал, назначенный предикату T моделью М. Тогда

S находится в М**(T), если и только если T (F (b)) принадлежит модели М*(T).

Но

T (F (b)) находится в М*(T), если и только если F (b) принадлежит М(T).

Таким образом,

S находится в М**(T), если и только если F (b) принадлежит М(T), т.е. если и только если b принадлежит М(F).

Аналогичным образом, от второго пересмотра — "ревизии" (revision) — и далее, S назначается экстенсионалу истины, если и только если b принадлежит экстенсионалу предиката F. Начиная с любой модели М, предложение S стабилизируется как или истинное, или ложное в каждой последовательности пересмотра в зависимости от того, оценивается ли F (b) как истинное или ложное в начальной модели M.

Интуитивно "нормальные", не содержащие противоречий предложения стабилизируются в каждой последовательности; постольку, поскольку теория имеет дело с последовательностями классических моделей, каждая логическая истина стабилизируется как истина в каждой последовательности, а каждая логическая ложь — как ложь в каждой последовательности. В то же время предложения типа предложения лжеца показывают непостоянное поведение в процедуре пересмотра: они изменяют свое значение с истинного на ложное в пересмотрах в каждой последовательности. Возможны и другие классификации предложений относительно их поведения в различных последовательностях пересмотра: некоторые стабилизируются как ложные во всех последовательностях; некоторые стабилизируются как истинные в некоторых, но не во всех последовательностях; некоторые стабилизируются как истинные в некоторых последовательностях и как ложные в остальных. Таким образом, аппарат ревизионной теории дает средства для классификации различных типов предложений по различным семантическим категориям.

Так же, как прагматическая теория истины, ревизионная теория использует идею постепенного приближения к истине, хотя гораздо более полно и явно использует свои математические источники и аналоги — понятие предела, исчисление бесконечных величин и т.д. Однако, в отличие от прагматической, ревизионная теория не включает в себя представления об абсолютной, окончательной, не подлежащей дальнейшему пересмотру истине — что позволяет ей избежать интенсионализма и соблюсти онтологическую нейтральность. Очевидно, что Анил Гупта учел критику теории Тарского Хартри Филдом: ревизионной теории трудно вменить какие-либо онтологические обязательства; при этом она экстенсиональна. Но, как и теория Тарского, ревизионная теория представляет собой не столько самостоятельную теорию истины, сколько надстройку над той или иной теорией. В случае Тарского это корреспондентная интуиция, которую он называет классической аристотелевой концепцией истины. Гупта и Белнап не формулируют таких преференций и, хотя они позиционируют предложенный ими аппарат решения семантических парадоксов как самостоятельную теорию истины, очевидно, что ревизионная теория может быть рассмотрена именно как аппарат для применения той или иной концепции истины, заключающей о ее природе. Ничто не мешает ревизионной теории опереться, например, на дефляционный тезис. Однако сама по себе идея сравнения одних языковых выражений с другими представляет собой, строго говоря, не что иное, как когерентную концепцию истины.