путем определения отношений этих утверждений к вещам, которые обычно сами не являются утверждениями, либо

рассматривая их отношения к другим утверждениям.

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

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

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

Светоний говорит мне, что Нерон одно время намеревался убрать римские легионы из Британии. Я отвергаю это свидетельство Светония не потому, что какой-нибудь более совершенный источник противоречит ему, ибо, конечно, у меня нет таких источников. Я отвергаю его, ибо, реконструируя политику Нерона по сочинениям Тацита, я не могу считать, что Светоний прав... я могу включить то, о чем поведал Тацит, в собственную связную и цельную картину событий и не могу этого сделать с рассказами Светония.

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

По мнению Р.Уокера, основных предпосылок, приводящих к когерентизму, три.

Когерентная теория дает способ избежать картезианского скептицизма. Если истина зависит не от отношений между нашей мыслью и потенциально непостижимой действительностью, но конституируется в пределах нашего мышления, то не остается никаких оснований для скептицизма в духе Декартова malin genie – никаких опасений, что мир не будет совпадать с нашим представлением о нем.

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

К когерентной теории ведет антропоцентризм относительно понятий и правил, восходящий к Канту и твердо связанный в современном философском сознании с поздним Витгенштейном.

Как представляется, можно добавить еще минимум одну – возможно, наиболее важную:

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

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

Наиболее общие проблемы, связанные с пониманием истинности как когерентности, вытекают из фундаментального аргумента против когерентизма (в версии, соответственно, британских идеалистов), сформулированного Расселом:

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

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

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

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

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

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

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