не-р. Во-вторых, ПП не являются независимыми от очевидности. Эксплицируя ПП, мы одновременно обращаемся к очевидности, в основании которой они лежат, и к оценке и элиминированию альтернатив, в которых не-р. Знание, таким образом, первично. Оно не выводится, а просто круговым образом реконструируется как закрытие провала между ПП, очевидностью и истинным убеждением, что р (фактом). Льюис тоже рассматривает своё определение знания как круговое [1, р. 554].
Как было сказано, для Льюиса к очевидности относятся опыт и память субъекта S (в актуальной ситуации). Речь идёт о концептуализированном опыте, так как Льюис говорит о пропозициональном содержании опыта, а не апеллирует к «безошибочным протокольным предложениям» и языку sense-data. Для Льюиса вопрос о том, характеризуется ли полностью опыт Е своим содержанием Р, является открытым. Во всяком случае те возможности, которые по опытному содержанию отличаются от Р (а не только противоречат ему), исключаются. В частности, так же, как и в случае суждений о прошлом, основанных на памяти, в случае кинестезических опыта и соответствующих спонтанных суждений не исключаются лишь те возможности, которые в точности сходны с этими суждениями. Отметим, что для Льюиса пропозициональное содержание опыта субъекта может быть ложным. Это значит, что в качестве очевидности он рассматривает не знание, а всё-таки видимость. Любой концептуализированный (истинным или ложным образом) опыт считается очевидностью. На наш взгляд, очевидность, о которой говорит Льюис, лучше всего трактовать как опытное (перцептивное) знание и память как знание. В основании этой очевидности лежат ПП. Поскольку ПП относятся к контексту атрибутора, очевидность, в частности, опыт субъекта S, также зависит от контекста атрибутора. Именно эта очевидность (опыт и память субъекта S) позволяет исключить (релевантные) ситуации не-р [1, p. 553]. «Данное» для Льюиса состоит в соответствии возможностей (match between possibilities), то есть в их подобии. Для нас это семейное сходство. «Данным» также являются соответствующие ПП, в-правило и форма жизни. Как говорит Витгенштейн, если вы хотите иметь данное – нечто вроде фундамента, – то это форма жизни.
Таким образом, определение знания, которое мы предлагаем, имеет следующий вид: Субъект S (в контексте) знает, что р, если и только если (в контексте) очевидность, которой он располагает (соответствующие ПП), исключает возможности, что не-р, за исключением тех возможностей, которые не имеет смысла рассматривать как употребления ПП в данном контексте. В случае атрибутивного контекстуализма речь идёт о контексте атрибутора. В случае инвариантизма речь идёт о контексте самого субъекта (зависимость от контекста атрибутора отсутствует). Говоря ещё короче, субъект S знает, что р, если и только если ПП (очевидность) исключают возможность, что не-р. Возможности, к которым ПП неприменимы (нерелевантные возможности), даже нет нужды упоминать; они, если употребить выражение Льюиса, игнорируются «безмолвно» (silently). Кроме того, поскольку ПП определяются лишь в контексте, подразумевается, что знание,