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