также, что в примере 2 Гетье использует предположение, что из обоснованности истинности одного из дизъюнктов следует обоснованность истинности дизъюнкта, то есть предположение, что обоснованность сохраняется при логическом выводе – переходе к дизъюнкту как следствию (см. ниже принцип замкнутости обоснования относительности дедукции)[21].
Замечание 1. Случаи Гетье, – вообще говоря, «мысленные эксперименты», хотя некоторые из них вполне могут быть реализованы в действительности. Знание истинности суждений, основанных на мысленных экспериментах, и, в частности, в случаях Гетье, оспаривается экспериментальными философами (см., например, [10]). В то же время Т. Уильямсон считает, что априорные философские мысленные эксперименты при определённых условиях могут давать знание (в частности, в случаях Гетье мы приобретаем субстанциальное знание).
Принципы замкнутости знания и обоснования
Как уже было сказано, рассуждение Гетье опирается на принцип замкнутости обоснования относительно логического вывода. Этот принцип, а также принцип замкнутости знания относительно логического вывода, считаются в эпистемологии достаточно надёжными принципами, хотя некоторые эпистемологи их оспаривают.
Принцип замкнутости знания. Если S знает, что p, и если S из p компетентным образом выводит q, формируя на этом основании мнение, что q, и при этом удерживая своё знание, что p, то S приобретает знание, что q.
Вариант принципа замкнутости знания. Если S рационально знает, что p, и если S из p компетентным образом выводит q, формируя на этом основании рациональное мнение, что q, и при этом удерживая своё рациональное знание, что p, то S приобретает рациональное знание, что q. Под «рациональным знанием» (знание, строго говоря, всегда рационально) мы понимаем здесь знание, имеющее доступное рефлексии (интроспекции) рациональное обоснование.
Принцип замкнутости обоснования. Если S обоснованно верит, что p, и S корректно выводит r из p, то S обоснованно верит, что r.
Принцип замкнутости знания для случая многочисленных посылок. Если S знает, что p, и знает, что q, и S приходит к мнению, что r, корректным образом выводя его из p и q, то S знает, что r. (См., например, энциклопедическую статью Джона Колинса [11].)
Принцип замкнутости обоснования для случая многочисленных посылок. Если S обоснованно верит, что p, и обосновано верит, что q, и S корректно выводит r из p и q, то S обоснованно верит, что r. (См., например, статью Колинса [11].)
3. Интернализм и теория истины как соответствия
Понятие обоснования у Гетье интерналистское. Интернализм утверждает «внутренний» (ментальный) характер обоснования или его доступность рефлексии/интроспекции, что предполагает дихотомию субъекта и объекта, внутреннего и внешнего, ментального и материального, а также репрезентационализм. Как уже было сказано во Введении (раздел 2), принятие этой дихотомии и репрезентационализм
А. Шрам полагает, что два примера, приведённые Гетье в своей статье, на самом деле, не являются случаями Гетье, поскольку в этих примерах обоснование не замкнуто относительно рассматриваемой дедукции и, следовательно, истинные мнения не являются обоснованными. Другими словами, парадоксальным образом для него примеры самого Гетье не являются контрпримерами для стандартной теории знания как истинного обоснованного мнения, хотя эта теория, как признаёт А. Шрам, действительно ошибочна [8].
Напротив, например, Т. Уильямсон принимает рассуждение Гетье [9, p. 182]). В то же время с точки зрения его ЭСЗ, о которой мы будем говорить ниже, всякое действительно обоснованное мнение истинно и есть знание. С этой точки зрения ни в случае оригинальных примеров Гетье, ни в любых других случаях типа Гетье, в которых истинное обоснованное мнение не является знанием, мнение, строго говоря, не является обоснованным. Строго говоря, если следовать Уильямсону, оно в этих случаях является лишь оправданным.
