Принцип замкнутости знания. Если 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), принятие этой дихотомии и репрезентационализм – характеристики философии модерна[22]. Также постановка проблемы Гетье подразумевает теорию истины как соответствия фактам внешнего мира, которая также относится к философии модерна. То есть предполагается концепция метафизического реализма о существовании внешнего мира не зависящих от сознания определённых объектов, их свойств и отношений между ними[23]. В этом смысле можно сказать, что проблема Гетье является симптомом – следствием ложных посылок эпистемологии модерна[24].
Вместо того, чтобы их пересмотреть, традиционная эпистемология, однако, пыталась решить проблему Гетье, то есть определить знание, тем или иным образом модифицируя или усложняя традиционное определение. Некоторые авторы считают, что на этом пути они достигли успеха. Ниже мы рассмотрим, например, так называемую «антислучайную эпистемологию добродетелей»[25], комбинирующую условие отсутствия эпистемической удачи (мнение, которое истинно случайно, не может быть знанием) и условие подходящего применения познавательных способностей субъекта (истинное мнение, которое не является результатом познавательного процесса, не может быть знанием) (см. Главу 2) Д. Притчарда, которая является неплохим кандидатом на