Читать книгу Знание в контексте - Игорь Прись - Страница 9
Часть 1
Традиционная эпистемология и её проблемы
Глава 1
Проблема определения знания
2. Случаи Гетье
ОглавлениеВ своей трёхстраничной статье Эдмунд Гетье привёл два контрпримера, опровергающие классическое определение знания. Это примеры истинных и обоснованных мнений, которые (интуитивно) не являются знанием [4]. Причина в том, что, несмотря на свою обоснованность и истинность, эти мнения истинны, благодаря случаю. Можно сказать, что между их обоснованием (и очевидностью для них[19]) и соответствующей истиной (фактом) имеется эпистемический «провал». В результате дальнейших исследований было выявлено, что существует три основных вида случаев Гетье.[20]
Три вида случаев Гетье
Отсутствие знания может быть обусловлено следующими факторами: 1) выводом из ложной посылки (это собственно случаи Гетье [4]) (поэтому M. Кларк предложил добавить условие отсутствия ложных посылок («no false lemmas») в классическое определение знания [5]); 2) нарушением причинной связи между субъектом и объектом [6]; 3) особенностями окружающей среды [7]. Рассмотрим соответствующие примеры.
Оригинальные примеры Э. Гетье [4]
Пример 1(конъюнкция).
Предположим, что Смит и Джонс пытаются получить одну и ту же должность. Предположим также, что у Смита есть веские основания полагать истинность следующего высказывания: (D) Именно Джонс получит должность, и у Джонса в кармане есть 10 монет. Основания Смита полагать, что (D) истинно, могут заключаться в том, что президент компании уверил его, что из них двоих выберут именно Джонса, и, с другой стороны, Смит сам сосчитал монеты в кармане Джонса всего десять минут назад. Из высказывания (D) следует, что: (Е) У человека, который получит должность, в кармане лежит 10 монет. Предположим, что Смит видит, что из (D) следует (Е), и принимает (Е) как истинное на основании (D), для которого, в свою очередь, у него есть веские основания. В таком случае, Смит обоснованно убежден в истинности (Е). Но представим себе, что, хотя еще и не зная того, сам Смит, а не Джонс, получит должность. И, также сам того не подозревая, Смит имеет в кармане 10 монет. Высказывание (Е) в таком случае по-прежнему остается истинным, хотя высказывание (D), из которого Смит и вывел (Е), оказывается ложным. Следовательно, в данном примере выполнены все условия: (i) (Е) истинно, (ii) Смит убежден в том, что (Е) истинно, и (iii) Смит имеет основания для того, чтобы быть убежденным в истинности (Е). Но настолько же очевидно и то, что Смит не знает, что (Е) истинно, так как (Е) истинно за счет того, что у Смита в кармане лежит 10 монет, в то время как сам Смит не знает, сколько монет у него в кармане, и основывает свое убеждение в истинности (Е), на том, что у Джонса в кармане 10 монет, и на том убеждении, что Джонс получит должность.
Комментарий к примеру 1. В этом случае имеет место вывод из ложной посылки, что должность получит Джонс. Тем не менее, убеждение Смита, что у того, кто получит должность, в кармане 10 копеек, истинно, поскольку ошибка принятия ложной посылки компенсируется случайностью, что у самого Смита в кармане лежит 10 копеек.
Отметим также, что рассуждение Гетье основывается на предположении, что обоснованность конъюнкции «Джонс получит должность, и у Джонса в кармане есть 10 монет», D, следует из обоснованности конъюнктов (если бы число конъюнктов было велико, это предположение могло бы показаться сомнительным См. также ниже принцип замкнутости обоснования относительно вывода из многочисленных посылок), а также на предположении, что из обоснованности конъюнкции следует обоснованность логического следствия, что у того, кто получит должность, в кармане 10 копеек, из D следует E, (см. ниже принцип замкнутости обоснования относительно вывода из посылки).
Пример 2 (дизъюнкция).
Предположим, что у Смита есть веские основания для того, чтобы утверждать следующее: (F) У Джонса есть «Форд». Основания Смита могут состоять в том, что у Джонса всегда, насколько помнит Смит, была машина и всегда – именно «Форд». К тому же Джонс только что предложил подвезти Смита и сидел за рулем «Форда». Теперь представим себе, что у Смита есть еще один друг, Браун, о местонахождении которого в данное время Смиту совершенно ничего неизвестно. Смит выбирает наугад названия трех мест и строит три следующих высказывания: (G) Либо у Джонса есть «Форд», либо Браун – в Бостоне. (Н) Либо у Джонса есть «Форд», либо Браун – в Барселоне. (I) Либо у Джонса есть «Форд», либо Браун – в Брест-Литовске. Каждое из этих высказываний обусловлено (F). Представим себе, что Смит, видя обусловленность построенных им высказываний (F), принимает (G), (Н) и (I) на основании (F). Смит делает правильное заключение о (G), (Н) и (I) из высказывания, для которого у него есть веские основания. Следовательно, Смит совершенно оправданно убежден в каждом из этих трех высказываний. При этом, конечно, Смит не знает, где на самом деле находится Браун. Но теперь представим себе, что имеют силу два следующих условия: во-первых, у Джонса нет «Форда», и в настоящее время он арендовал машину; и во-вторых, по чистой случайности и без ведома Смита, Браун оказался именно в том месте, о котором говорится в высказывании (Н). Если два этих условия действительно имеют место, то Смит не знает, что (Н) истинно, даже несмотря на то что (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. Под «рациональным знанием» (знание, строго говоря, всегда рационально) мы понимаем здесь знание, имеющее доступное рефлексии (интроспекции) рациональное обоснование.
Принцип замкнутости обоснования. Если 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].)
19
Между понятиями обоснования и очевидности имеется тесная связь. Например, согласно эвиденциализму, мнение S, что р, является обоснованным, если и только если у S имеется в пользу р адекватная очевидность. Поэтому контрпримеры Гетье опровергают также следующее определение знания (они опровергают достаточное условие): S знает, что р, если и только если р истинно, и имеется адекватная очевидность в пользу истинности р. Подобно тому, как традиционное понятие обоснования не предполагает, что обоснованность мнения гарантирует его истинность и знание (фаллибилизм), традиционное понятие очевидности не предполагает, что адекватная очевидность в пользу мнения гарантирует его истинность и знание (фаллибилизм). Как мы увидим, в ЭСЗ обоснованное мнение с необходимостью знание, и мнение, в пользу которого имеется адеватная (полная) очевидность, с необходимостью знание. В этом смысле это инфаллибилистская позиция. При этом всякая очевидность в ЭСЗ считается пропозициональной.
20
В русскоязычной литературе употребляется также транслитерация «Геттиер».
21
А. Шрам полагает, что два примера, приведённые Гетье в своей статье, на самом деле, не являются случаями Гетье, поскольку в этих примерах обоснование не замкнуто относительно рассматриваемой дедукции и, следовательно, истинные мнения не являются обоснованными. Другими словами, парадоксальным образом для него примеры самого Гетье не являются контрпримерами для стандартной теории знания как истинного обоснованного мнения, хотя эта теория, как признаёт А. Шрам, действительно ошибочна [8].
Напротив, например, Т. Уильямсон принимает рассуждение Гетье [9, p. 182]). В то же время с точки зрения его ЭСЗ, о которой мы будем говорить ниже, всякое действительно обоснованное мнение истинно и есть знание. С этой точки зрения ни в случае оригинальных примеров Гетье, ни в любых других случаях типа Гетье, в которых истинное обоснованное мнение не является знанием, мнение, строго говоря, не является обоснованным. Строго говоря, если следовать Уильямсону, оно в этих случаях является лишь оправданным.