Этот процесс обеспечения причин убеждения может иметь только три возможных структуры:
Фундаментализм: процесс предоставления причин может быть таким, что не каждая из причин должна быть поддержана какой-либо другой, потому что есть основные, базовые причины, которые не имеют необходимости в дальнейших причинах, поддерживающих их.
Когерентизм: процесс предоставления причин может не содержать никакой причины, которая не поддержана другой причиной, но число причин не бесконечно. Таким образом, полагания взаимно поддерживают друг друга.
Инфинитизм: процесс предоставления причин может не содержать никакой причины, которая не поддержана другой причиной, но число причин бесконечно.
Фундаментализм и когерентизм широко обсуждаются, и многие аргументы за и против каждого из этих представлений получили достаточное распространение. И напротив, возражения prima facie инфинитизму представляются настолько неоспоримыми, что этот подход не получил развития. Инфинитизм требует, чтобы у человека было бесконечное число полаганий, что само по себе кажется невероятным, и неизбежно ведет к заключению, что никакое полагание не может быть когда-либо обосновано, так как процесс обоснования никогда не завершится.
Стандартные возражения фундаментализму таковы.
Должно быть какое-то различие между тем, что делает полагание собственно базовым, "основным" и тем, что делает его просто таким полаганием, для которого никакая другая причина фактически не учитывается. Иначе предлагаемая "основная" причина произвольна. Но если есть некоторая дальнейшая причина считать, что предлагаемая причина не произвольна, тогда есть и причина для принятия этого, и таким образом, предлагаемая причина — не основная. Следовательно, не может быть никаких основополагающих пропозиций.
Некоторые кандидаты на роль базовых полаганий перестают быть таковыми при более близком рассмотрении. Прежде всего это относится к перцептуальным утверждениям, являющимся, согласно эмпиризму, основным источником нашего познания внешнего мира. Причина для полагания, что передо мной находится дерево, состоит в том, что я вижу это дерево перед собой. Но последняя пропозиция не может быть базовой, потому что здесь может потребоваться дальнейшее обоснование того, почему я считаю, что вижу именно дерево (а не, скажем, оптическую иллюзию, галлюцинацию и т.п.).
Поэтому некоторые фундаменталисты — например, Дж. Мур и А. Айер — сузили класс базовых пропозиций до полаганий ощущений (так называемые пропозиции чувственных данных — sense - data propositions ): вместо "Я вижу дерево" — "Как мне кажется, я вижу зеленый и коричневый высокий предмет". Но представление чувственных данных также не беспроблемно. Основных возражений здесь также два.
В качестве основных убеждений пропозиции чувственных данных слишком бедны, чтобы обеспечить достаточное основание для множества вещей, которые мы можем знать и фактически знаем. Например, каким образом мое знание о том, что предметы существуют и тогда, когда я не вижу их и не воспринимаю эмпирически другими способами, может быть прослежено до специфических чувственных данных?
Наше знание того способа, которым мы можем характеризовать наши ощущения (частные ощущения, доступные только индивидууму, имеющему их) зависит от нашего социального, интерсубъективного знания, во всяком случае нередуцируемого к пропозициям чувственных данных (см. § 1.1).
Фундаменталистский ответ на эти возражения состоит в смягчении требований как
к тому, какие пропозиции могут быть признаны базовыми, так и
к тому, что может являться приемлемым образцом вывода от основополагающих пропозиций к не-основополагающим.
Последнее представляет собой так называемый вывод к лучшему объяснению[86 (см. подробнее ниже в § 12.2), согласно которому тот факт, что теория объясняет некоторые явления — это часть очевидности, побуждающей нас принять эту теорию. И это означает, что отношение объяснения видно прежде, чем мы полагаем, что теория истинна.
Смягчение требований к тому, какие пропозиции могут быть признаны базовыми, породило т.н. контекстуалистские теории обоснования[87] , которые предполагают, что пропозиция является базовой в том случае, если она принята в качестве таковой релевантным сообществом предполагаемых субъектов познания. Например, в разговоре с другом я могу считать, что моя причина для полагания о существовании второй луны Юпитера состоит в том, что я читал об этом в журнале "Вокруг света" — и напротив, на астрономической конференции такая причина не была бы принята. Следовательно, подобное требование о том, что может считаться базовой причиной, является контекстно-зависимым, и мы снова видим здесь сильную уступку когерентизму, а также молекуляризму.
Фундаменталистский контраргумент здесь будет состоять в следующем. Контекстуализм, возможно, предоставляет точное описание некоторых аспектов наших эпистемических методов, но не снимает фундаментального пирронианского вопроса: что отличает базовую пропозицию от той, которая просто предлагается и принята сообществом предполагаемых субъектов познания? Эпистемологический вопрос, с такой точки зрения, состоит не в том, какие полагания обычно предлагаются и принимаются без дальнейшей причины, а в том, какие полагания должны быть предложены и приняты без дальнейшего обоснования, если таковые вообще имеются. Если бы контекстуалисты были правы, то мы получали бы знание, присоединяясь к любому сообществу, чей эпистемологический статус может быть каким угодно. Иными словами, здесь необходимы дальнейшие ограничения.
Альтернативный фундаментализму когерентистский подход состоит в следующем. Согласно когерентной теории обоснования, полагание делает обоснованным его когерентность с другими полаганиями — где, как и в когерентной теории истины, стандарты того, что составляет когерентность, принадлежат непосредственно самой теории. Когерентисты отрицают, что существуют базовые причины и утверждают, что все полагания получают свое обоснование, по крайней мере частично, от других полаганий. В основе такого подхода — предположение о том, что наши полагания взаимно поддерживают друг друга, образуя структуру, подобную сети (" web of belief " Куайна).
Очевидная проблема для когерентной теории состоит в том, чтобы разъяснить собственно само центральное понятие — отношение когерентности. Интуитивно ясно, что когерентность — это вопрос того, как полагания сочетаются друг с другом или соответствуют друг другу в системе полаганий, составляя организованное и структурированное целое; и ясно, что это сочетание или соответствие зависит от множества логических, инференциальных и объяснительных отношений между компонентами системы. Но разъяснение деталей этой идеи, особенно таким способом, который позволил бы непроблематичные оценки степеней сравнения когерентности, оказывается затруднено из-за ее очевидной зависимости от также непроясненных понятий — таких, как индукция, подтверждение, вероятность и объяснение.
Наиболее сильная и требовательная концепция когерентности, защищаемая британскими идеалистами, определяет когерентную систему полаганий как такую, в которой каждый член имплицирует отношение следования ( entailment ) и сам следует из всех других. Однако эта сильная концепция явно нереализуема в любой действительной системе полаганий, и вряд ли обладает когнитивной ценностью, так как она сделала бы все полагания, кроме одного, избыточными и необязательными. (Правда, идеалисты трактовали отношение следования весьма широко, включая в него, например, отношения номологической необходимости).
Противоположной крайностью является отождествление (например, некоторыми логическими позитивистами) когерентности просто с логической непротиворечивостью, так как полагания логически непротиворечивой системы могут быть полностью несвязанны друг с другом, не давая таким образом никакой очевидной причины предположить, что какое-то из них является истинным. Более того, ошибкой было бы считать полную логическую непротиворечивость даже необходимым условием для любой степени когерентности, как это делали многие когерентисты: в действительности, еще до привлечения аргументов фаллибилизма, это подразумевало бы, что очень немногие, если вообще какие-либо, из существующих систем полагания являются непротиворечивыми вообще до какой-либо степени.
Наиболее надежная концепция когерентности, по-видимому, находится где-то между этими двумя крайностями. Логическая непротиворечивость может быть в таком случае признана высоко релевантным, но не абсолютным критерием. Кроме того, когерентность потребует и наличия инференциальных связей, а также более свободных отношений следования, а также вероятностных связей различного рода. Важный аспект этого — вероятностная непротиворечивость, то есть отсутствие таких отношений между полаганиями в системе, в силу которых те или иные полагания с высокой вероятностью не будут истинны относительно других. Еще один важный компонент когерентности — присутствие объяснительных отношений среди компонентов системы, снижающих степень, до которой полагания системы отображают необъясненные аномалии. (Если в качестве одной из разновидностей вывода принят "вывод к лучшему объяснению", то такие объяснительные отношения могут рассматриваться как разновидность инференциальных.) Например, Харман прямо отождествляет когерентность с присутствием таких объяснительных отношений[88] .
Такая умеренная концепция когерентности оказалась исторически наиболее употребительной и фактически стандартной. Однако некоторые сторонники когерентизма изобрели более специальные концепции когерентности. Например, Решер для некоторых целей употребляет стандартную концепцию когерентности, а для некоторых — весьма отличное понятие, которое вовлекает формирование максимально непротиворечивых подмножеств первоначально противоречивых данных, а затем выбор среди этих подмножеств способами, не требующими обращения к стандартной когерентности[89] . Кит Лерер предложил две различных версии представления, определяющего когерентность относительно собственной субъективной концепции вероятности, которой располагает субъект познания, или относительно вероятности истины. Это подразумевает, что для полагания быть согласованным с личной системой полаганий — это примерно то же, что быть расцененным как более вероятное или более разумное, чем любое релевантное конкурирующее полагание.