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

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

Если P истинно, то не-P не истинно

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

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

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

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

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

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

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