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

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

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

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

Экстерналистский подход к проблеме обоснованности наших убеждений опирается на точку зрения, в соответствии с которой невозможно достичь такого рода обоснования, не выходя за пределы самих убеждений или состояний сознания познающего субъекта. В частности, должны приниматься во внимание специфические характеристики самого когнитивного процесса, в ходе которого мы приходим к нашим убеждениям. Некоторые разновидности экстернализма подчеркивают, что этот процесс должен быть надежным. То есть, убеждения могут считаться обоснованными, если они получены в ходе надежного когнитивного процесса. Слабость такого подхода заключается в том, что надежность процесса приобретения убеждений часто зависит от случайных обстоятельств. Например, обычно данные наших органов чувств считаются вполне надежным источником познания. Однако известно, что в тех или иных конкретных обстоятельствах эти данные вполне могут вводить нас в заблуждение. Таким образом, ссылка на надежность когнитивного процесса превращает обоснованность наших убеждений в случайное обстоятельство. Более предпочтительным выглядит реализация экстерналистской стратегии через использование понятия вероятности. Здесь учитывается, что истинность наши убеждений часто имеет ту или иную степень вероятности. В свою очередь, оценка вероятности убеждений (например, их физической вероятности), как правило, требует привлечения «объективных факторов», выходящих за пределы сознания познающего субъекта. Такого рода теория, которую иногда обозначают как «Бейесианская эпистемология» (по имени английского математика Томаса Бейеса (1702-1761), который занимался теорией вероятностей), получила широкое распространение в философии науки.

В общем виде условие обоснованности принимается подавляющим большинством теоретико-познавательных концепций аналитической философии. Если субъект обоснованно убежден в истинности высказывания А, то он должен располагать адекватными свидетельствами в пользу того, что А имеет место. Рассмотренные выше направления различаются прежде всего трактовкой того, что может быть принято в качестве такого рода адекватных свидетельств. Важно, однако, иметь ввиду, что убеждение, даже будучи хорошо обоснованным, может, тем не менее, оказаться ложным (принцип фаллибилизма, или погрешимости). Так, например, геоцентрическая модель Птолемея располагала многочисленными свидетельствами в свою пользу (включая данные органов чувств), но все же была ложной. Поэтому было бы некорректно утверждать, что Птолемей и его последователи знали, что Солнце вращается вокруг Земли. Существенным условием знания остается истинность соответствующего убеждения.

Итак, традиционное определение знания выделяет в качестве его необходимых и достаточных условий: (1) наличие соответствующего убеждения, (2) истинность этого убеждения и (3) его обоснованность. Эта точка зрения считалась общепринятой и практически не подвергалась сомнению влоть до появления в 1963 году статьи Эдмунда Гетье под весьма примечательным названием «Является ли обоснованное истинное убеждение знанием?»432 Эта небольшая статья (всего 3 страницы!) оказала существенное влияние на ход развития аналитической теории познания в ХХ столетии. Можно даже утверждать, что она решающим образом изменила характер и содержание дискуссий по проблеме знания. Вот как описывает эту ситуацию Джон Поллок:

«В период, непосредственно предшествовавший публикации поворотной статьи Гетье „Является ли обоснованное истинное убеждение знанием?“, этот анализ <знания как обоснованного истинного убеждения> принимался фактически каждым исследователем в области эпистемологии. Затем Гетье опубликовал свою статью и в одночастье изменил направление развития эпистемологии».433

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