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