Витгенштейновское правило применяется корректно тогда и только тогда, когда его применение имеет обоснование пост фактум. Теоретическое обоснование никогда не является полным. В конечном итоге «провал» между ним и знанием закрывается «прагматически». Отсутствие принципиальной возможности обоснования пост фактум истинности истинного мнения означает отсутствие знания. Это можно трактовать как отсутствие достаточной очевидности. Prima facie случаи Гетье суть специфические случаи отсутствия обоснования пост фактум. Они относятся к ситуациям, которые внешне схожи с теми, в которых, как правило, знание присутствует. Парадигматическое «знание» (в отличие от знания логического) может оказаться ложным (в этом смысле мы фаллибилисты), то есть незнанием, и, следовательно, непарадигматическим. Соответственно, парадигматическое «знание» может оказаться незнанием, даже если оно истинно, если оно истинно случайно, и, следовательно, непарадигматическим, а специфическим случаем. Условие аутентичности (удовлетворение норме знания) в этих случаях будет нарушено.

Согласно С. Хетерингтону: «Знание всегда лишь обоснованное истинное мнение. И обоснование включает в себя осознание любого такого обстоятельства (даже если оно единственное), без осознания которого, знание отсутствует» [17, р. 219]. Упомянутое обстоятельство и есть «обстоятельство Гетье». Будучи осознанным, оно перестаёт им быть.

Это «компатибилистский подход», в рамках которого существование «гетьеризованных мнений» не противоречит пониманию знания в терминах истины, мнения и обоснования. Более того, Хетерингтон также утверждает, что иногда «случаи Гетье» могут быть интерпретированы как случаи знания, а не незнания [2, ch. 3; 17; 19–20; 22, ch. 3]. «Гетьеризованное мнение» – это истинное хорошо (но не в совершенстве) обоснованное мнение, которое не есть знание вследствие некоторых специфических обстоятельств – «обстоятельств Гетье». Хетерингтон называет своё определение знания нередуктивным, интерналистским и «файллибилистским» (от слова «failable»). (Термин «файллибилим» (faillibilism) – неологизм.) Определение нередуктивно, поскольку оно предполагает употребление концепта «знание». Тем не менее, определение информативно, так как оно апеллирует к мнению, обоснованию, истинности, а также «осознанию любого такого обстоятельства (…), без осознания которого, знание отсутствует».

Важно отметить, что требуется принять во внимание не все обстоятельства данной эпистемической ситуации относительно предложения р, а лишь те, которые в случае их игнорирования, оказываются обстоятельствами Гетье, то есть «гетьеризуют» мнение. Принятие во внимание всех обстоятельств достаточно, но не необходимо для наличия знания, что р. «Осознание» тех или иных конкретных («специфических») обстоятельств может быть необходимым и достаточным для наличия знания. Поэтому Хетерингтон рассматривает своё определение как интерналистское. Он пишет: «Решение предусматривает, что знание есть истинное и обоснованное мнение. К тому же оно предлагает рассматривать обоснование как включающее в себя некоторую черту, которая сама частично характеризуется в терминах знания. Эта концепция полностью интерналистская, потому что моё описание этой черты полностью интерналистское» [17, р. 215].

Как известно, Гетье рассматривает мнения, которые имеют хорошее, хотя и не совершенное, обоснование [1]. То есть понятие обоснования таково, что обоснованное мнение может оказаться ложным. Это значит, что гетьеризм предполагает фаллибилизм: знание не является абсолютно достоверным. «Файллибилизм» (faillibilism – термин Хетерингтона (см., например, [17; 20; 27]) обобщает фаллибилизм: знание файллибилистское, если и только если существуют эпистемически доступные возможные миры, в которых знание отсутствует (в частности, в случае фаллибилистского знания существуют миры, в которых мнение ложно). В частности, могут существовать миры, в которых знание отсутствует, потому что некоторое конститутивное условие для знания в них не удовлетворяется. И это так, несмотря на истинность соответствующих мнений в этих мирах и почти полную схожесть их с актуальным миром, в котором имеет место знание. В отличие от фаллибилизма, файллибилизм объясняет возможность незнания даже в том случае, если мнение истинно во всех возможных мирах. Фаллибилизм, согласно Хетерингтону, не может объяснить, почему гетьеризованное мнение, будучи всегда истинным, не является знанием.

Определение Хетерингтона имеет сходства с нашим определением знания, согласно которому знание – обоснованное истинное мнение при условии, что, эпистемический «провал» между обоснованием (очевидностью) и фактом/истиной закрыт. Так же, как и определение Хетеренгтона, наше определение является нередуктивным. Упомянутый «провал» закрыт тогда и только тогда, когда есть знание. Тем не менее, оно информативно, то есть позволяет анализировать конкретные случаи знания и незнания. «Осознание любого такого обстоятельства (…), без осознания которого, знание отсутствует», очевидно, соответствует нашему условию «прагматического закрытия провала». Наличие «провала», то есть некорректное применение правила для знания, или отсутствие обоснования post factum для этого применения, означает непринятие во внимание («неосознание») некоторых важных для наличия знания обстоятельств. В случае если мнение истинно и достаточно хорошо эпистемически обосновано, это означает непринятие во внимание («неосознание») «специфических обстоятельств» (или специфического обстоятельства), то есть обстоятельств Гетье. В отличие от Хетерингтона, мы не считаем, однако, наше определение знания интерналистским. Хотя осознание того или иного обстоятельства может быть необходимым и достаточным для наличия знания, в конечном итоге «провал» между обоснованием и знанием закрывается «слепо». Проблема следования правилу не решается чисто интерналистским или чисто экстерналистским образом, а «растворяется».

Хотя Хетерингтон называет обстоятельства Гетье «специфическими обстоятельствами», он в то же время выражает сомнение в том, что различие ними и другими обстоятельствами может быть полностью и независимо описано [17, p. 215]. Мы согласны с ним, поскольку полагаем, что так называемые случаи Гетье имеют прежде всего концептуальный статус. Они указывают на то, что стандартное определение знания как истинного обоснованного мнения что-то упускает из виду. На наш взгляд знание имеет контекстуально-нормативное измерение. В рамках подхода Хетерингтона это проявляется в том, что не все факты имеют одинаковое эпистемическое значение, внимание обращается не на все обстоятельства, а лишь на те, на которые следует обратить внимание. Предположим, например, что субъекты «А» и «В» информированы о 90 процентах всех обстоятельств своих эпистемических ситуаций. Обе ситуации содержат обстоятельства Гетье С_А и С_В. Отличие между субъектами в том, что А информирован об обстоятельстве С_А, тогда как В не информирован об обстоятельстве С_В. В результате А имеет знание, тогда как у В знание отсутствует. Мнение субъекта «В» оказывается гетьеризованным. Если бы А не знал о наличии С_А, его мнение тоже было бы гетьеризовано (обстоятельство С_А было бы обстоятельством Гетье). (Это пример Хетерингтона [17, p. 207].) Таким образом, некоторая незначительная по объёму дополнительная информация может оказаться значительной в эпистемическом смысле и даже (необходимой и) достаточной для закрытия «провала» между знанием и незнанием. Если субъект знает, что некоторое обстоятельство есть обстоятельство Гетье, оно автоматически перестаёт им быть.

Так же, как и Уильямсон, мы считаем, что нормой для мнения является знание, и, следуя Бриану Боллу, интерпретируем это положение следующим образом: Вы должны (ought) верить, что р, тогда и только тогда, когда Вы знаете, что р [12; 28]. В частности, если мнение, что р, ложно, Вы не должны верить, что р. Поэтому знание для нас есть успешное мнение, то есть мнение, удовлетворяющее своей фундаментальной эпистемической норме. Знание имеет место тогда и только тогда, когда правилу/норме «знание» следуют корректно, когда «провал» между знанием и соответствующим мнением закрыт. Концепт знания первичен. Наличие или отсутствие знания в конкретных ситуациях первично и не может быть объяснено, исходя из более фундаментальных условий. (См. также раздел 1 выше.)