Дело в том, что истинность убеждения Сью не имеет отношения к той очевидности, которой она располагает. Более того, эта очевидность вводит её в заблуждение. Она ложно верит, что Ногот владеет Фордом. Исходя из этой ложной посылки, она и приходит к убеждению, что либо Ногот, либо Хэвит владеет Фордом. Это убеждение истинно лишь случайно – благодаря тому, что у Хэвита есть Форд. При этом предполагается, что супервентное на имеющейся очевидности – Сью часто видит, что Ногот управляет Фордом – обоснование её убеждения, что Ногот владеет Фордом, передаётся от посылки к заключению в результате логического вывода следующего вида: если А, то А или В (для любых А и В). Эпистемический принцип замкнутости обоснования гласит, что если посылка логического вывода обоснована, то обосновано и следствие, при условии, что субъект корректно выводит следствие из посылки, удерживая в процессе этого логического вывода обоснование своей посылки. (Аналогичный принцип замкнутости справедлив для знания[94]).

Таким образом, традиционное определение знания как обоснованного истинного убеждения (belief) опровергается контрпримерами[95]. Причина, как известно, в фаллибилизме традиционного подхода, в котором обоснование (обоснованность) не гарантирует истинность убеждения. То есть сколь угодно хорошо обоснованное убеждение может оказаться ложным. Отсюда следует, что сколь угодно хорошо обоснованное убеждение может также оказаться истинным лишь случайно, благодаря, как говорят, эпистемической удаче. Истинность такого убеждения не обусловлена его обоснованием. Скажем, что между тем и другим имеется эпистемический и онтологический (между ними нет подходящей причинной связи, контакта) «провал».

Напротив, в рамках ЭСЗ Т. Уильямсона обоснование фактивно, то есть с необходимостью влечёт наличие соответствующего факта – обоснованное убеждение с необходимостью истинно. Провал закрыт как на эпистемическом, так и онтологическом уровнях (для Уильямсона знание – наиболее общее фактивное ментальное состояние). В этом смысле его подход является инфаллибилистским [2]. Знание, таким образом, – обоснованное истинное убеждение. Но эта формулировка лишь формально совпадает со стандартным определением знания. В рамках ЭСЗ первичным эпистемическим концептом, в терминах которого объясняются все другие эпистемические понятия, является знание, а не убеждение.

Ещё до создания Т. Уильямсоном альтернативной радикально экстерналистской ЭСЗ, Д. Льюис отказался от традиционного фаллибилистского определения знания как истинного убеждения с обоснованием. Для него наличие обоснования в традиционном смысле не является ни достаточным, ни необходимым условием для того, чтобы истинное убеждение было знанием. Например, в случае лотереи сколь угодно хорошо обоснованное истинное убеждение в том, что билет (будет) невыигрышный, не является знанием, а в случае знания, приобретаемого в результате непосредственного перцептивного восприятия, воспоминания или от свидетеля, истинное убеждение не имеет обоснования[96]. Вместо стандартного фаллибилистского определения знания Льюис предлагает экстерналистское инфаллибилистское определение знания в рамках своей версии атрибуторного эпистемического контекстуализма. Но это ограниченный (контекстуальный) инфаллибилизм, не ведущий к скептицизму.

Согласно определению Льюиса, знание приписывается субъекту атрибутором (таковым может быть сам рассматриваемый субъект) в контексте. То есть в зависимости от контекста атрибутора высказывание «S знает, что p» может быть истинным или ложным, несмотря на то что с чисто эпистемической точки зрения ситуация одна и та же. Контекст определяется практическими потребностями и целями атрибутора. Например, с точки зрения Льюиса, в зависимости от практического контекста субъект может не знать или знать (если стандарты для знания невысоки), что он вытянет невыигрышный лотерейный билет.

Точное определение знания в рамках контекстуального подхода Льюиса таково: высказывание «S знает, что p» истинно в контексте атрибутора, если и только если имеющаяся у S очевидность в пользу истинности р позволяет исключить, что р ложно, то есть исключить, что р ложно во всех возможных относительно имеющейся очевидности релевантных сценариях (далее мы будем также говорить о «возможных мирах», или возможностях). Нерелевантные возможности просто игнорируются. Он пишет: «S знает, что P, если и только если очевидность S исключает всякую возможность, в которой не-Р – Psst! – за исключением тех возможностей, которые мы должным образом игнорируем» [1, p. 553–554]. Релевантные возможности (сценарии) – возможности, которые не игнорируются. Множество релевантных возможностей, то есть смысл и область действия квантификатора «всякая» (релевантная возможность), зависит от контекста атрибутора. Таким образом, от контекста атрибутора зависят и смысл слова «знает», и, соответственно, пропозициональное содержание и истинностные условия «S знает, что p».

Это семантический контекстуализм.[97]

Льюис предлагает набор из семи правил, позволяющих определить релевантные возможности (сценарии, миры). Как представляется, основным правилом релевантности является правило подобия. К релевантным возможностям Льюис относит актуальность (актуальный мир) и все подобные ей в данном контексте возможности, совместимые с очевидностью.

К очевидности Льюис относит перцептивный опыт и память, а также всё то, что действительно могло бы быть очевидностью. То есть никаких ограничений на то, что принимать за очевидность, не делается. В то же время понятие очевидности, на наш взгляд, остаётся достаточно расплывчатым (см. также раздел 7 ниже). Это контрастирует с подходом Уильямсона, в рамках которого имеет место эквивалентность между очевидностью и полным знанием (в контексте). Ниже мы посмотрим на подход Льюиса именно с этой точки зрения.

Итак, у Льюиса подобные возможности (возможные сценарии (миры)) – это контекстуально релевантные возможности относительно той же самой очевидности и, соответственно, обоснования. Концепты очевидности и обоснования при таком порядке рассмотрении предшествуют концепту знания, если только не приравнивать очевидность к знанию, как это делает Уильямсон. С одной стороны, подход Льюиса инфаллибилистский, так как в случае знания, что р, имеющаяся очевидность исключает ложность р. С другой стороны, это ограниченный инфаллибилизм, так как игнорируются нерелевантные возможные миры. Нерелевантные возможные миры, как уже было сказано, – это возможные миры, у которых в данном контексте атрибутора нет сходства с актуальным миром и, соответственно, с релевантными возможными мирами.

Правило подобия неприменимо к сценарию радикального скептицизма. Льюис пишет: «Похоже, что у нас есть ad hoc исключение из Правила, хотя оно разумно в связи с функцией атрибуции знания. Однако лучше было бы найти способ переформулировать Правило таким образом, чтобы получить необходимое исключение не ad hoc. Я не знаю, как это сделать» [1, р. 556–557]. Мы попытаемся устранить эту проблему.

Прежде всего отметим, что, на наш взгляд, в конечном итоге подход Льюиса, как и многие другие подходы, принимающие основные положения стандартной эпистемологии, не решает проблему Гетье, а фактически переформулируют её таким образом, что становится ясно, что проблема не имеет решения и должна быть устранена путём устранения её ложных предпосылок, переформулировки основных эпистемических понятий и изменения направления объяснения в эпистемологии. Несмотря на то, что, как известно, предложенное Льюисом определение знания оказалось проблематичным, оно, на наш взгляд, указывает на существенные структурные элементы знания, и, как мы полагаем, может быть преобразовано в определение, совместимое как с подходом сначала-знания, так и витгенштейновской петлевой эпистемологией.