В этой главе мы показываем, что контекстуальное определение знания, предложенное Льюисом, не решает проблему Гетье. Проблемы, с которыми сталкивается подход Льюиса, скорее, свидетельствуют в пользу того, что удовлетворительная эпистемологическая теория должна принять первичность знания и эквивалентность знания и очевидности, что приводит к эпистемологии сначала-знания Т. Уильямсона. Правила, которые вводит Льюис для определения релевантных возможных сценариев, которые должны быть приняты во внимание в рамках его подхода к знанию, являются ad hoc. В частности, Льюис признаётся, что он не знает, каким образом переформулировать правило подобия, чтобы исключить сценарий радикального скептицизма не способом ad hoc. В качестве общего принципа для правил Льюиса мы предлагаем принцип семейного сходства, понятый как наличие общего витгенштейновского правила и, в частности, общих петлевых предложений. Скорректированное соответствующим образом льюисовское определение знания совместимо как с витгенштейновской петлевой эпистемологией, так и подходом сначала-знания Уильямсона.
Согласно Т. Уильямсону, проблема Гетье, возникающая в рамках стандартной эпистемологии, плохо поставлена, и поэтому не решаема. Соглашаясь с такой оценкой, мы, тем не менее, полагаем, что предлагаемые решения проблемы, даже если они в конечном итоге оказываются неуспешными, позволяют лучше понять её ложные предпосылки и предпосылки стандартной эпистемологии в целом. Эти решения связаны с поиском успешного определения знания. Ниже мы рассмотрим определение знания и, соответственно, решение проблемы Гетье, предложенные Д. Льюисом [1]. Мы предложим интерпретацию этого определения (с необходимой коррекцией) в терминах витгенштейновской эпистемологии и эпистемологии сначала-знания (далее: ЭСЗ) Уильямсона [2].
В качестве первого примера (мысленного эксперимента) мы рассмотрим версию одного из оригинальных примеров Гетье [3] (о проблеме Гетье см. [4]). Предположим, что Сью верит, что Ногот или Хэвит владеет Фордом. Она верит, что Ногот владеет Фордом на том основании, что она часто видит, как он управляет Фордом. В то же время она никогда не видела, чтобы Хэвит управлял автомобилем, и часто видит, как он пользуется общественным транспортом. Предположим, однако, что Ногот просто арендовал Форд, тогда как Хэвит владеет Фордом, но никогда им не пользуется. Тогда с точки зрения стандартной эпистемологии убеждение Сью, что либо Ногот, либо Хэвит владеет Фордом истинно и обоснованно. И всё-таки это не знание.
Дело в том, что истинность убеждения Сью не имеет отношения к той очевидности, которой она располагает. Более того, эта очевидность вводит её в заблуждение. Она ложно верит, что Ногот владеет Фордом. Исходя из этой ложной посылки, она и приходит к убеждению, что либо Ногот, либо Хэвит владеет Фордом. Это убеждение истинно лишь случайно – благодаря тому, что у Хэвита есть Форд. При этом предполагается, что супервентное на имеющейся очевидности – Сью часто видит, что Ногот управляет Фордом – обоснование её убеждения, что Ногот владеет Фордом, передаётся от посылки к заключению в результате логического вывода следующего вида: если А, то А или В (для любых А и В). Эпистемический принцип замкнутости обоснования гласит, что если посылка логического вывода обоснована, то обосновано и следствие, при условии, что субъект корректно выводит следствие из посылки, удерживая в процессе этого логического вывода обоснование своей посылки. (Аналогичный принцип замкнутости справедлив для знания
