Остающиеся здесь проблемы таковы.

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

полагания относительно условий;

общее полагание относительно надежности когнитивно непроизвольного полагания рассматриваемого рода; и

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

При этом к ним применимы следующие аргументы.

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

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

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

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

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

Обсуждение утверждений наблюдения приводит нас к рассмотрению общих возражений когерентной теории обоснования.

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

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

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

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

Бонжур дает априорный «метаобосновательный» аргумент, опирающийся на рационалистическую и фундаменталистскую концепцию априорного знания и заключающий, что система полаганий, которая остается когерентной на протяжении относительно долгого времени, при получении очевидного ввода наблюдательной информации, вероятно, будет приблизительно истинна (снова в смысле корреспондентной истины). Главная причина этого состоит в том, что только приблизительная истина может объяснить длительную когерентность при поступлении новых наблюдений. В дополнение к защите общей теории априорного предполагаемого обоснования, такой подход должен также показать, что скептические объяснения полаганий (например, их создание Декартовым демоном) априорно менее вероятны, чем корреспондентное объяснение соответствия действительности559.

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

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