что (Н) истинно, даже несмотря на то что (i) (Н) истинно, (ii) Смит убежден в том, что (Н) истинно, и (iii) Смит имеет основания для того, чтобы быть убежденным в истинности (Н).
Комментарий к примеру 2. В этом случае имеет место вывод из ложной посылки, что у Джонса есть «Форд». Тем не менее, убеждение Смита, что либо у Джонса есть «Форд», либо Браун – в Барселоне, истинно, благодаря случайности, что Браун действительно находится в Барселоне.
Отметим также, что в примере 2 Гетье использует предположение, что из обоснованности истинности одного из дизъюнктов следует обоснованность истинности дизъюнкта, то есть предположение, что обоснованность сохраняется при логическом выводе – переходе к дизъюнкту как следствию (см. ниже принцип замкнутости обоснования относительности дедукции)[21].
Замечание 1. Случаи Гетье, – вообще говоря, «мысленные эксперименты», хотя некоторые из них вполне могут быть реализованы в действительности. Знание истинности суждений, основанных на мысленных экспериментах, и, в частности, в случаях Гетье, оспаривается экспериментальными философами (см., например, [10]). В то же время Т. Уильямсон считает, что априорные философские мысленные эксперименты при определённых условиях могут давать знание (в частности, в случаях Гетье мы приобретаем субстанциальное знание).
Принципы замкнутости знания и обоснования
Как уже было сказано, рассуждение Гетье опирается на принцип замкнутости обоснования относительно логического вывода. Этот принцип, а также принцип замкнутости знания относительно логического вывода, считаются в эпистемологии достаточно надёжными принципами, хотя некоторые эпистемологи их оспаривают.
Принцип замкнутости знания. Если S знает, что p, и если S из p компетентным образом выводит q, формируя на этом основании мнение, что q, и при этом удерживая своё знание, что p, то S приобретает знание, что q.
Вариант принципа замкнутости знания. Если S рационально знает, что p, и если S из p компетентным образом выводит q, формируя на этом основании рациональное мнение, что q, и при этом удерживая своё рациональное знание, что p, то S приобретает рациональное знание, что q. Под «рациональным знанием» (знание, строго говоря, всегда рационально) мы понимаем здесь знание, имеющее доступное рефлексии (интроспекции) рациональное обоснование.