Игорь Прись - Знание в контексте

В ближайших возможных мирах возможны следующие варианты: (А) Мнение может не сформироваться. (В) Может быть сформировано лишь одно-единственное мнение (мнение фиксировано). (С) Могут быть сформированы разные мнения (мнение варьируется). (Д) Может быть (А) или (В) (мнение в возможных мирах одно и то же, и в некоторых возможных мирах оно может не сформироваться). (Е) Может быть (А) или (С) (мнение в возможных мирах варьируется, и в некоторых возможных мирах оно может на сформироваться).

В случае (В) может быть (В.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) Истинность истинного мнения безопасна, но само (истинное) мнение не «безопасно» в том смысле, что оно могло бы не сформироваться. То есть мнение не варьируется и истинно во всех ближайших возможных мирах, в которых оно формируется. Истинное мнение безопасно .

(B.2) Мнение «безопасно» в том смысле, что оно фиксировано, но его истинность не безопасна, то есть зависит от возможного мира. Мнение могло бы быть ложным. В целом, истинное мнение не безопасно .

(С.1) Истинность мнения безопасна. Само мнение не «безопасно» в том смысле, что оно могло бы быть другим и безопасно в том смысле, что хотя оно и могло бы быть другим, оно не могло бы быть ложным (то есть истинность мнения безопасна). Мнение формируется, варьируется и истинно в ближайших возможных мирах. Истинное мнение безопасно. (Оно безопасно как в слабом, так и в сильном смыслах.)

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

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