подробнее вопрос о том, каким могло бы быть в ближайших возможных мирах формирующееся в актуальном мире истинное мнение и как наилучшим образом сформулировать условие его безопасности.
Итак, предположим, что (в актуальном мире) мнение формируется при некоторых начальных условиях в результате применения некоторого метода, которые фиксированы.
В ближайших возможных мирах возможны следующие варианты: (А) Мнение может не сформироваться. (В) Может быть сформировано лишь одно-единственное мнение (мнение фиксировано). (С) Могут быть сформированы разные мнения (мнение варьируется). (Д) Может быть (А) или (В) (мнение в возможных мирах одно и то же, и в некоторых возможных мирах оно может не сформироваться). (Е) Может быть (А) или (С) (мнение в возможных мирах варьируется, и в некоторых возможных мирах оно может на сформироваться).
В случае (В) может быть (В.1): истинность мнения не варьируется (мнение всегда истинно), либо (В.2): истинность мнения варьируется (мнение либо истинно, либо ложно). В случае (С) может быть (С.1): истинность мнения не варьируется (всякое мнение истинно), либо (С.2): истинность мнения варьируется (мнение может быть либо истинным, либо ложным). В случае (Д) так же, как и в случае (В), так что можно различить между (Д.1) и (Д.2). В случае (Е) так же, как и в случае (С), так что можно различить между (Е.1) и (Е.2).
Соответственно, на языке (ближайших) возможных миров мы имеем:
(В.1) мнение фиксировано и истинно во всех ближайших возможных мирах (истинное мнение является знанием). (В.2) Мнение фиксировано и в некоторых (ближайших) возможных мирах оно ложно (знание отсутствует). (С.1) Мнение варьируется, но во всех возможных мирах оно истинно (знание). (С.2) Мнение варьируется, и в некоторых (ближайших) возможных мирах оно ложно (знание отсутствует). (Д.1) Так же, как и в (В.1), только в некоторых возможных мирах мнение отсутствует (знание). (Д.2) Так же, как и в (В.2), только в некоторых возможных мирах мнение отсутствует (очевидно, знание отсутствует, так как оно отсутствует в случае (В.2). Этот случай не представляет особого интереса). (Е.1) Так же, как и в (С.1), только в некоторых мирах мнение отсутствует (знание. Этот случай не представляет особого интереса). (Е.2) Так же, как и в (С.2), только в некоторых мирах мнение отсутствует (знание отсутствует, поскольку оно отсутствует в случае С.2. Этот случай не представляет особого интереса по сравнению со случаем С.2).
Таким образом, наш анализ сводится к рассмотрению случаев (В.1), (В.2), (С.1), (С.2), (Д.1).
Соответственно, в терминах условия «безопасности» мы имеем:
(B.1) Истинность истинного мнения безопасна в том смысле, что (истинное) мнение не могло бы с лёгкостью быть ложным, и само (истинное) мнение «безопасно» в том смысле, что оно не могло бы с лёгкостью быть другим мнением или вообще не сформироваться. То есть мнение формируется, не варьируется и истинно во всех ближайших возможных мирах. Истинное мнение безопасно. (В данном случае безопасность в слабом смысле совпадает с безопасностью в сильном смысле.)
(Д.1)
