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

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

Когерентная концепция истинности отличается от корреспондентной в двух сущностных параметрах: они дают не только различные теории отношения истинности, но и различные теории условий истинности. Согласно когерентной концепции, отношение истинности состоит в когерентности, а не соответствии, а условия истинности утверждений – это определенное множество других утверждений, а не особенности реального мира. Рассмотрим эти критерии по очереди.

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

Поэтому отношение когерентности может пониматься как наличие некоторых вероятностных связей между P и другими утверждениями, полагаемыми S истинными. Как заметил Бонжур, логическая непротиворечивость – печально известный слабый вид когерентности, и теоретик когерентности истины наверняка захочет расширить трактовку когерентности, чтобы включить в нее по крайней мере вероятностные связи529. P будет истинно для S только в том случае, если P логически непротиворечиво с остальными утверждениями, полагаемыми S истинными, и имеются содержательные вероятностные связи между другими утверждениями, полагаемыми S истинными, и P.

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

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

Теперь мы можем вернуться к вопросу о том, из чего состоит наше «определенное привилегированное множество утверждений»; каков, вообще говоря, его эпистемологический статус? Это не может быть множество всех утверждений, так как это множество будет содержать противоречащие пары утверждений и, таким образом, ничто не было бы истинно. И это не может быть подмножество только истинных утверждений, потому что мы еще не располагаем анализом истины, и здесь возник бы порочный круг.

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

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

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

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

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

Итак, в рамках когерентной концепции истины понятие «определенное множество утверждений, полагаемых истинными» все еще требует дальнейшего уточнения. Применительно к концепции значения как условий истинности мы можем рассматривать его как множество всех тривиально истинных утверждений, единственным образом определяющее объем понятия истины для всех членов определенного языкового сообщества. Лингвистическое сообщество понято здесь как множество всех носителей языка L. Если мы соглашаемся с такой трактовкой понятия «определенное множество утверждений», то мы принимаем такую версию когерентной теории истины, которая является более онтологически нейтральной, чем ранее рассмотренные теории.

Как показал У.Элстон, метафизический реализм, в отличие от алетического, подразумевает принятие двух принципов:

принципа бивалентности, согласно которому каждое предложение является или истинным, или