Знание в контексте

Для иллюстрации условия безопасности обратимся к известному примеру Элвина Голдмана с Барни [7]. Барни, не зная, что он находится в районе фальшивых (фасадов) амбаров, которые на вид не отличимы от настоящих, по чистой случайности смотрит на один-единственный имеющийся в этом районе подлинный амбар и формирует истинное (и обоснованное) мнение «Передо мною амбар». Он, однако, не знает, что перед ним настоящий амбар, поскольку условие безопасности его истинного мнения нарушается. Его мнение с лёгкостью могло бы оказаться ложным; оно оказалось бы ложным, если бы Барни посмотрел на любой фальшивый амбар (фасад амбара). Заметим, что при тех же начальных условиях и методе формирования мнения – Барни находится в районе фальшивых амбаров и случайно смотрит на находящийся перед ним объект, который он принимает за амбар – в возможных мирах мнение Барни «Передо мною амбар» не варьируется, но его истинность варьируется. То есть мнение Барни истинно в актуальном мире, в котором он смотрит на настоящий амбар, и ложно во всех ближайших возможных мирах. В нашей классификации это случай (В.2).

Данный пример можно незначительно модифицировать. Предположим, что Барни формирует несколько иное мнение, а именно мнение «Этот конкретный объект, который находится передо мною (который я вижу), амбар». Это мнение варьируется в возможных мирах, поскольку варьируется сам объект, на который смотрит (в возможной ситуации) Барни. Это случай (С). При этом мнение варьируется и ложно во всех возможных мирах, за исключением актуального мира (случай (С.2)). Таким образом, если в рамках этой интерпретации принять условие безопасности истинного мнения в слабом смысле, апеллирующее лишь к истинности мнения во всех возможных мирах, в которых формируется то же самое мнение, мы приходим к неверному результату, что мнение Барни «Этот конкретный объект, который находится передо мною (который я вижу), амбар» есть знание. (К возможным ситуациям, в которых это мнение фиксировано, относятся лишь ситуации, в которых Барни смотрит на один и тот же (настоящий) амбар. В этих ситуациях мнение истинно. То есть истинность мнения безопасна в слабом смысле. Но само (истинное) мнение не безопасно)[54].

Эпистемология без риска позволяет опровергнуть эту точку зрения. В случае с Барни, так же, как и в случаях, в которых, в отличие от случая с Барни, имеется когнитивный (причинный) «провал» между истинным мнением и истиной/фактом (см. ниже пример с фермером), риск формирования ложного мнения высок. Поэтому с точки зрения эпистемологии без риска истинное мнение Барни не является знанием.

В другом известном примере фермер при нормальных условиях видит в поле овцеподобную собаку, которую он принимает за овцу, и за которой действительно случайно оказалась овца [67]. Истинное обоснованное (причём обоснование может быть более или менее сильным) мнение фермера «В поле овца» не является знанием, поскольку оно с лёгкостью могло бы оказаться ложным. В ближайших возможных мирах (то есть при тех же (или близких) начальных условиях и том же (или близком) методе наблюдения) мнение фермера не меняется, но оно оказывается ложным. В нашей классификации это случай (В.2). Причём во всех ближайших мирах (за исключением актуального мира) мнение фермера ложно.

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

Таким образом, предыдущие два примера могут быть проанализированы как в терминах слабой формулировки условия безопасности, так и в терминах его сильной формулировки ((В.2) и (С.2) можно преобразовать друг в друга). Как показывает анализ необходимых предложений, это не всегда возможно. Предпочтение следует отдать сильной формулировке условия безопасности.

Предположим, например, что истинное мнение, что 2 + 2 = 4, формируется эпистемически неудовлетворительным образом (например, в результате подбрасывания монеты). Тем не менее, истинность этого мнения является безопасной в слабом смысле. То есть мнение, что 2 + 2 = 4, является истинным во всех (и не только ближайших) возможных мирах. Нельзя, однако, сказать, что сформированное таким образом мнение является знанием. Это эпистемическое явление объясняется в терминах сильного условия безопасности. В самом деле, при тех же начальных условиях и том же методе формирования мнения (подбрасывание монеты), могло бы сформироваться другое мнение, например, мнение, что 2 + 2 = 5, которое является ложным. Именно вследствие этого, исходное мнение не является знанием.