Различение между истинностью и обоснованностью знания

Мы можем знать некоторый факт только в том случае, если мы имеем истинное полагание о нем. Однако, поскольку не все, а только некоторые истинные полагания являются знанием, то один из центральных вопросов эпистемологии — что обращает просто истинное полагание в полноценное знание?

Как известно, виды знания неоднородны. Я могу знать, как переустановить операционную систему на своем компьютере; я могу знать какого-то человека; я могу знать, что битва при Ватерлоо произошла в 1815 году. В первом случае я обладаю навыком; во втором — я знаком с кем-то; в третьем — я знаю факт. Эти виды знания могут быть разграничены более чем одним способом. С одной стороны, можно считать, что знание человека, места или вещи не должно быть рассмотрено как нечто большее (или меньшее), чем знание некоторых фактов об этом человеке, месте или вещи и обладание навыком отличать этого человека, место или вещь от других. С другой стороны, знание фактов зависит от знакомства со специфическими предметами. Редукция одной формы познания к другой очевидно неоднозначна; наиболее известной (по крайней мере, наиболее важной для нас здесь) в этой связи дистинкцией является восходящее к Расселу различение между знанием по знакомству и знанием по описанию. Именно знание фактов — так называемое пропозициональное знание, в противоположность знанию по знакомству или владению навыками, представляет основной интерес при обсуждении связи условий истинности со значением. Исходный вопрос здесь может быть сформулирован так: при каких условиях мое полагание должно считаться знанием, или — какие из моих полаганий должны считаться знанием?

Этот вопрос предполагает, что знание — разновидность полагания, однако можно предположить и нечто иное — а именно, что знание и полагание взаимно исключительны: например, на вопрос "Ты так считаешь?" мы можем ответить "Нет, не считаю — я просто это знаю". Но аналогичным образом мы можем на вопрос "Ты рад?" ответить "Нет, я не рад — я счастлив", где утверждение о том, что я счастлив, никак не отрицает того, что я рад, а следовательно, этот ответ мог бы быть перефразирован так: я не просто рад, я счастлив. В данном случае произошло сужение экстенсионального значения: не всякая радость — счастье, но всякое счастье — радость. Аналогичным образом утверждение "Я не просто полагаю это; я знаю это" не поддерживает предположение, что полагание и знание взаимно исключительны; скорее напротив, это свидетельствует о том, что знание (по крайней мере, пропозициональное) — разновидность полагания. Каковы же здесь будут критерии сужения? Ясно, что не всякое полагание — знание, но каким именно должно быть полагание, чтобы оно могло считаться знанием?

Очевидно, прежде всего — истинным, но этого так же очевидно недостаточно — по следующим трем причинам.

· Истинное полагание может быть основано на дефектном рассуждении. Предположим, что я полагаю, что курение — главная причина рака легких, потому что я вывожу это из того факта, что я знаю двух курильщиков, которые умерли от рака легких. Обобщение истинно, но моего свидетельства очевидности здесь недостаточно, чтобы считать это мое полагание знанием (выборка из двух человек могла быть статистически нерелевантна, теоретически велика вероятность совпадений, и т.п.).

· Истинное полагание может быть основано на ложном полагании. Воспользовавшись формой известного примера Рассела, предположим, что я истинно полагаю, что фамилия президента России в 2000 году начинается на букву 'П', но при этом это мое истинное полагание основано на ложном полагании, что президент — Алексей Подберезкин. Мое истинное полагание, что имя президента начинается с буквы 'П', не является знанием, потому что оно основано на ложном полагании.

· И наконец, даже некоторые истинные полагания, следующие из правильного рассуждения, основанного на истинном полагании, все же еще не являются знанием. Предположим, что я полагаю (истинно), что мои соседи сейчас находятся дома. Мое полагание основано на правильном рассуждении от моего истинного полагания, что я вижу свет в их окнах и что, в прошлом, свет был только тогда, когда они были дома. Но предположим, далее, что на этот раз свет был включен в отсутствие хозяев гостем, приходящей домработницей или грабителем, а сами соседи только что вошли в дом и еще просто не успели подойти к выключателю. В этом случае, несмотря на совпадение моего истинного в конечном счете полагания с истинным в конечном счете положением дел, я не буду на самом деле знать, что мои соседи дома.

Итак, для того, чтобы быть знанием, истинное полагание должно обладать еще некоторым свойством. Мы можем так и определить его: свойство, которое, будучи добавлено к истинному полаганию, обращает его в знание, назовем обоснованием; тогда знание — это истинное обоснованное полагание. Уточнение понятия обоснования является предметом обширнейших эпистемологических дискуссий, но в наиболее общей форме мы скажем, что полагание обосновано в том случае, когда мы обладаем им в силу доступных нам релевантных причин. В истории философии насчитывается множество подходов к теории обоснования, но их общая отправная точка такова: обоснованное полагание — то, которым мы располагаем не в силу простой когнитивной случайности. Понятие случайности здесь предстает в наиболее общем виде — скорее как не-инференциальность, чем как противопоставление контингентных истин необходимым. Платон обращается к этой интуиции в "Теэтете"; во второй "Аналитике" Аристотеля теория перехода от незнания первооснов науки к их познанию предназначена продемонстрировать, что существуют надежные познавательные механизмы, результаты которых никоим образом не являются случайными; Декарт предлагает методы приобретения полаганий, которые должны с необходимостью вести к истине; Локк подчеркивает, что если люди приходят к своим полаганиям случайно, то они не свободны от критики, даже если эти полагания истинны. Поэтому базисом для понятия обоснованности полагания является представление о его неслучайности. Иными словами, если о пропозиции известно, что она не случайна, а выведена из определенных причин, удовлетворяющих определенным требованиям, то, с когнитивной точки зрения, это означает и то, что она истинна, и то, что она выступает как чье-либо полагание. Следовательно, теория обоснования должна объяснить, что делает полагание не-случайно истинным с когнитивной точки зрения.

Это может подразумевать, что обоснование должно быть определено или проанализировано в отношении или в терминах истины. Можно, например, утверждать, что понятие обоснования предполагает понятие истины.