Выше уже было сказано, что обоснование и очевидность в общем случае не доступны рефлексии/интроспекции. Мнение может быть обоснованным, то есть быть знанием, но мы можем не быть в состоянии это знать. И наоборот, мы можем быть уверенными, что мнение обосновано, то есть мы имеем знание и, соответственно, очевидность, но это может быть иллюзия. Знание, очевидность, обоснование не транспарентны. В этом смысле ЭСЗ принимает фаллибилизм, состоящий в том, что мы можем ошибаться относительно нашей очевидности, обоснованности наших мнений, нашего знания. (В то же время вместе с К. Литлджоном можно говорить об «инфаллибилизме» ЭСЗ в том смысле, что обоснованное убеждение всегда истинно (и даже является знанием). (См. Главу 7 Части 5.)) И это относится к большинству ментальных состояний (см. ниже принцип несветимости). Состояния, которые полностью доступны интроспекции и полностью операционны, иллюзия. В частности, оказывается неверным известный принцип «Если Kp (знает), то KKp (знает, что знает)».

ЭСЗ Уильямсона – неоперационная эпистемология, то есть эпистемология с точки зрения третьего лица (объективная эпистемология). Эпистемический статус агента оценивается со стороны, внешним наблюдателем, а не интроспективно, рефлексивно. Не только вопрос знания, но и вопросы обоснования, рациональности, очевидности, относятся к неоперационной эпистемологии. Одним из аргументов в пользу неоперационной эпистемологии является аргумент о несветимости ментальных состояний (anti-luminosity argument).

Согласно Уильямсону, у нас не всегда есть доступ к нашим ментальным состояниям. В частности, вообще говоря, из Kp (знание, что р) не следует K˥Kp (а из ˥Kp (отрицание знания, что р) не следует K˥Kp. Например, мозг-вбаке не знает, что он ничего не знает о внешнем мире), хотя довольно часто без наблюдения (исследования) со стороны мы находимся в положении, в котором мы имеем доступ к нашим ментальным состояниям: мы знаем, во что мы верим, что мы желаем, чувствуем и знаем, что мы знаем [9]. Аргумент неосвещённости Уильямсона имеет следующий вид: «Ответ от имени эпистемологии сначала-знания состоит в том, что состояния полностью открытые интроспекции и полностью операционным правилам, иллюзия. Всякое нетривиальное состояние таково, что можно в нём находиться, не будучи в положении знать, что в нём находишься. Аргумент в пользу этого заключения имеет следующий вид. Назовём состояние светящимся (luminous), если, когда бы мы в нём ни находились, мы всегда в положении знать, что мы находимся в этом состоянии. Для каждого нетривиального состояния можно перейти из этого состояния в другое состояние посредством очень постепенного процесса. Поскольку наши дискриминационные способности ограничены, в последние моменты этого процесса, в которые мы все ещё находимся в исходном состоянии, мы не можем сделать различие между тем, каким образом мы есть (в релевантных отношениях) и тем, каким образом мы есть в самые первые моменты, в которые мы уже не в этом состоянии. Как следствие, состояние есть не светящееся (luminous) (…). Таким образом, каждое светящееся состояние – тривиальное. В частности, состояния верования, желания и ощущения (feeling sensations) не являются светящимися, потому что они не тривиальны. Можно ощущать боль, не будучи в положении знать, что ощущаешь боль. Можно во что-то верить, не находясь в положении знать, что в это веришь. Равным образом, поскольку знание (knowing) – нетривиальное состояние, можно знать что-либо, не будучи в положении знать, что это знаешь» [24, р. 212]. Таким образом, можно не знать, веришь ли, что что-то имеет место быть, знаешь ли что-то, испытываешь ли некоторое ощущение и так далее. Более того, как показал Уильямсон, можно знать что-то, и при этом очевидность в пользу того, что знаешь это, может быть сколько угодно незначительной. Обоснование этого утверждения требует введения понятия очевидностной вероятности.

В рамках своей неоперационной эпистемологии Уильямсон вводит новое понятие очевидностной вероятности. Это вероятность, условная на очевидности, понятой как знание. Для самого знания она равна единице, поскольку она условна на самой себе. Чем выше очевидностная вероятность, что р, тем более полным является обоснование мнения, что р. Таким образом, существуют степени обоснованности мнения [9, ch. 10]. Имеет также смысл также говорить об очевидности очевидности. Следствием условия несветимости является то, что можно знать, что p, даже если очевидностная вероятность, что знаешь, что p, сколь угодно близка к нулю. То есть истинное мнение, что мы знаем что-то, может иметь сколь угодно низкую степень обоснованности [41] Уильямсон пишет: «В том смысле, в котором только знание даёт полное обоснование, можно также определить градуированный смысл обоснования, употребляя формулу E= K. Вероятность истинности предложения при данной очевидности становится условной вероятностью на полном содержании знания. Вероятность может быть интерпретирована как степень обоснования веры в это предложение. Структура таких очевидностных вероятностей может быть исследована посредством математических моделей эпистемической логики, иногда с неожиданными результатами. Например, можно что-то знать, даже если на имеющейся очевидности вероятность, что знаешь, близка к нулю» [24, р. 215]. Таким образом, можно знать что-то, не имея почти никакой очевидности (никакого обоснования), что знаешь это.

Выше мы уже говорили, что следует различать концепты вероятности и модальности (см., например, раздел 2.4 Главы 2 Части 1). Пример с лотереей показывает, что вероятностная близость и модальная близость к актуальному миру не одно и то же. Случай 1. Моё истинное и обоснованное мнение, что я не выиграл в лотерею, – не знание, хотя объективная вероятность, что я не выиграл очень высока. Очевидностная вероятность в смысле Уильямсона, то есть условная на очевидности/знании вероятность, тоже высока, но меньше 1. Случай 2. Моё истинное и обоснованное мнение, что напечатанный в газете результат розыгрыша лотереи правилен, то есть не допущена ошибка или опечатка, есть знание, хотя объективная вероятность, что ошибка и опечатка отсутствуют, меньше, чем в предыдущем случае.

Асимметрия между двумя случаями объясняется тем, что очевидностная вероятность во втором случае равна 1 (моё знание есть очевидность. Вероятность, условная на этой очевидности, равна 1). В терминах возможных миров наличие знания в втором случае объясняется тем, что возможные миры, в которых допущена ошибка, не имеют достаточного сходства с актуальным миром, то есть они не являются близкими (релевантными) мирами. Другими словами, модальная близость отличается от вероятностной близости, если принять концепцию объективной вероятности. Напротив, концепты модальности и очевидностной вероятности не расходятся[83].

Согласно нормативной концепции обоснования, обоснованное мнение удовлетворяет некоторому «должно» («ought» или «should»). Как уже было сказано выше, а рамках теории Уильямсона, обоснованное мнение должно быть знанием[84]. В частности, обоснованное мнение не может быть ложным. Необоснованное мнение, однако, может удовлетворять более слабой норме, чем норма знания. Оно может иметь хорошее оправдание. Например, в случаях Гетье истинное мнение не является знанием. Поэтому оно не является обоснованным. В то же время оно является оправданным. Так же и ложное мнение мозга-в-баке не является обоснованным, но имеет хорошее оправдание.

Знание – конститутивная (подобно правилам игры), а не телеологическая, норма для мнения (убеждения) и утверждения, выявляющая реальную сущность (природу) мнения и утверждения[85]: «Верь (утверждай), что p, тогда и только тогда, когда знаешь, что p». Это не операционное правило, так как мы не всегда знаем, что мы знаем. Аргумент Уильямсона в пользу того, что знание есть норма для мнения, имеет следующий вид: «Если никогда не желали рассматривать “Р” как рациональное основание, чтобы что-то делать, даже когда верили “Если Р, то в доме пожар”, то принятие (commitment) “Р” будет слишком слабым, чтобы его считать убеждением (belief). Принимая во внимание связь между знанием и основаниями для действия, отсюда следует, что если верите, что Р, желаете принять решения недефектным образом только в том случае, если знаете, что Р. Это подсказывает простую когнитивную норму: верьте, что Р, только если знаете, что Р. Назовём это правилом знания для убеждения (KRB)» [24, p. 214]. Другими словами, можно говорить об убеждении, если есть готовность принять решение, действовать, исходя из этой посылки. В противном случае это не настоящее убеждение. Но безупречно действовать можно только на основании знания. Следовательно, знание должно быть нормой для убеждения.