Таким образом, определение знания, которое мы предлагаем, имеет следующий вид: Субъект S (в контексте) знает, что р, если и только если (в контексте) очевидность, которой он располагает (соответствующие ПП), исключает возможности, что не-р, за исключением тех возможностей, которые не имеет смысла рассматривать как употребления ПП в данном контексте. В случае атрибутивного контекстуализма речь идёт о контексте атрибутора. В случае инвариантизма речь идёт о контексте самого субъекта (зависимость от контекста атрибутора отсутствует). Говоря ещё короче, субъект S знает, что р, если и только если ПП (очевидность) исключают возможность, что не-р. Возможности, к которым ПП неприменимы (нерелевантные возможности), даже нет нужды упоминать; они, если употребить выражение Льюиса, игнорируются «безмолвно» (silently). Кроме того, поскольку ПП определяются лишь в контексте, подразумевается, что знание, что р, – знание, что р, в контексте. Сам Льюис пишет так: «Скажем, что мы предполагаем (presuppose) Q, если и только если, мы игнорируем все возможности, в которых не-Q. Замкнём круг: мы игнорируем как раз те возможности, которые фальсифицируют наши пресуппозиции (presupositions). Подходящая (proper) пресуппозиция соответствует, конечно, подходящему игнорированию. Тогда S знает, что P, если и только если очевидность S элиминирует каждую возможность, в которой не-Р. – Psst! – за исключением тех возможностей, которые вступают в конфликт с подходящими пресуппозициями» [1, p. 554]. Таким образом, определение Льюиса круговое. «Подходящие пресуппозиции» Льюиса соответствуют ПП в контексте.

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

Контекстуалистский подход Льюиса не решает проблему Гетье и, соответственно, проблему определения знания в виде его определения как убеждения, для которого имеется инфаллибилистская в ограниченном смысле (контекстуальная) очевидность. В нашей трактовке он показывает, что проблемы устраняются тогда и только тогда, когда концепт знания принимается в качестве первичного концепта, а очевидность эквивалентна знанию. Теория Льюиса, опирающаяся на понятие (контекстуально) релевантных возможностей, между которыми имеется подобие, если её подходящим образом интерпретировать, может рассматриваться как одна из возможных экспликаций подхода сначала-знания. В этом смысле она не бесполезна. Релевантные возможности в данном контексте определяются полным знанием-очевидностью в данном контексте или соответствующими петлевыми предложениями. Тогда и только тогда, когда S знает, что р, не существует релевантных возможных сценариев, в которых не-р, поскольку подобие между возможными сценариями (их релевантность) определяется как наличие общего в-правила, роль которого играет очевидность как полное знание или соответствующие этой очевидности ПП. Исходя из (не-)знания, что р, устанавливается, какие сценарии являются релевантными, а какие нет, а не наоборот.[106]

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