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

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

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

Отрицание наличия самообосновываемых утверждений может принимать форму следующего требования, которое можно рассматривать как верификационистское или анти-скептическое: поскольку мы можем поддерживать утверждения лишь другими утверждениями или критиковать и отклонять утверждения лишь в свете других утверждений, постольку требование о наличии фактов, полностью независимых от этих утверждений – фактов, которым они могут соответствовать или не соответствовать – должно быть отброшено. Это согласуется с представлением о том, что полная структура наших обоснований и наших обоснованных полаганий может не отражать действительность. С подобной точки зрения, если бы существовали такие факты, о которых мы никогда не могли бы что-либо знать, то они не могли бы и иметь никакого значения для нас: по словам Брэдли, они были бы «полностью иррелевантным призраком» и «ложной и пустой абстракцией»552. По мнению Иоахима, корреспондентную идею делает «настолько абсурдной» то, что она разделяет наши утверждения, с одной стороны, и действительность, которой они соответствуют, с другой, как логически различные роды вещей без какой бы то ни было возможности рациональной теории их взаимосвязи. (В самом деле, единственный выход для корреспондентной теории – объявить эту взаимосвязь отношением sui gеneris, так как ее невозможно ни объяснить в терминах чего-либо еще, ни редуцировать к чему-либо.) Однако только в том случае, если такая взаимосвязь доступна интеллектальному постижению, она существует «для сознания» и может быть понята мной и другими людьми. В противном случае истина может быть, вообще говоря, чем угодно, а сам термин «истина» пуст553.

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

Вот как может выглядеть эта последняя позиция. Когерентная теория обоснования отрицает наличие класса утверждений или полаганий, которые некоторым образом обосновывали бы сами себя и которые давали бы нам возможность обосновывать суждения, не принадлежащие к этому классу. Однако было бы вполне совместимо с самой ортодоксальной когерентной теорией истины считать, что такой класс есть. Можно считать, что такой привилегированный классе состоит из наших перцептуальных утверждений, и считать, что они обосновывают сами себя, в том смысле, что всякий раз, когда они вообще высказаны, они могут считаться обоснованными; Умеренная версия такого подхода может состоять в том, что они обладают некоторой презумпцией обоснованности, которая может быть опровергнута очевидными противоречащими свидетельствами в конкретных случаях, но которая в отсутствие такого свидетельства позволяет утверждению считаться не нуждающимся ни в каком дальнейшем обосновании. Высказывание таких утверждений тогда составляло бы требование о характере той когерентной системы, которая здесь составляет истину; это требование будет состоять в том, что для некоторого класса значений p из "S утверждает, что p" следует "S обоснованно утверждает, что p".

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

Представления о таком классе базовых утверждений оказались в центре знаменитой дискуссии о протокольных предложениях, где наличие такого класса отстаивал прежде всего Мориц Шлик554. Согласно Шлику, это – перцептуальные утверждения, выражающие факты непосредственного наблюдения. Они не нуждаются ни в каком обосновании, автоматически обоснованны и истинны в силу самого сделанного утверждения. Всякий раз, когда мы стремимся проверить более сложную гипотезу, мы обращаемся для этого к опыту, а обращение к опыту должно пониматься как обращение к утверждениям этого рода, дающим нам «неоспоримую точку контакта между знанием и действительностью». С такой точки зрения, следует отбросить когерентную теорию истины, потому что утверждения наблюдения дают нам надежную истину, которая не состоит в когерентности, и именно их средствами оцениваются истинностные значения других утверждений.