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

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

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

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

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

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

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