Выше мы сделали различие между условием, что истинное мнение не является случайным и условием, что истинность мнения не является случайной. Во втором случае миры, в которых мнение вообще не формируется, исключаются из рассмотрения автоматически, и в этом смысле различие между безопасной эпистемологией (без везения) и эпистемологией без риска исчезает. Однако, как мы увидим, условие безопасности в узком смысле имеет ограниченную область применимости.
Рассмотрим подробнее вопрос о том, каким могло бы быть в ближайших возможных мирах формирующееся в актуальном мире истинное мнение и как наилучшим образом сформулировать условие его безопасности.
Итак, предположим, что (в актуальном мире) мнение формируется при некоторых начальных условиях в результате применения некоторого метода, которые фиксированы.
В ближайших возможных мирах возможны следующие варианты: (А) Мнение может не сформироваться. (В) Может быть сформировано лишь одно-единственное мнение (мнение фиксировано). (С) Могут быть сформированы разные мнения (мнение варьируется). (Д) Может быть (А) или (В) (мнение в возможных мирах одно и то же, и в некоторых возможных мирах оно может не сформироваться). (Е) Может быть (А) или (С) (мнение в возможных мирах варьируется, и в некоторых возможных мирах оно может на сформироваться).
В случае (В) может быть (В.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) Мнение варьируется в ближайших возможных мирах и ложно в некоторых из них (хотя оно может быть истинным во всех ближайших возможных мирах, в которых оно не варьируется. То есть в этом случае мнение может быть безопасным в слабом смысле, но оно не безопасно в сильном смысле). Таким образом, мнение не безопасно в том смысле, что оно могло бы быть другим и даже другим и ложным (истинность мнения не безопасна). Истинное мнение не безопасно.
Бьерн Страуструп , Бьёрн Страуструп , Валерий Федорович Альмухаметов , Ирина Сергеевна Козлова
Программирование, программы, базы данных / Базы данных / Программирование / Учебная и научная литература / Образование и наука / Книги по IT