Мышление через кино. Занимаясь философией, смотреть фильмы

Основным конкурентом концепции знания Дрецке (и многих ее разновидностей) является модель обоснованных истинных убеждений. Согласно модели обоснованных истинных убеждений, истинное убеждение считается знанием тогда и только тогда, когда его наличие оправдано. Модель обоснованных истинных убеждений выглядит очень разумно и долгое время была популярна в философии. Однако с ней есть проблема. Рассмотрим следующий случай. Предположим, вы смотрите на часы, висящие на стене вашей спальни, и они показывают 10 часов. Предположим также, что сейчас 10 часов, и вы вполне обоснованно полагаете, что часы работают исправно (они исправно работают, скажем, с тех пор, как вы ими владеете, а батарейку вы заменили всего две недели назад). Увидев часы, вы можете поверить, что на них 10, а если на них 10, то у вас будет обоснованное истинное убеждение, что на них 10. Но знаете ли вы, что это 10? Предположим, что неизвестные Вам часы действительно остановились три дня назад ровно на 10. В этом случае мы бы сказали, что, хотя у вас есть обоснованное убеждение, что сейчас 10, и это действительно так, что сейчас 10 часов, вы, тем не менее, не знаете, что сейчас 10 часов. Вы лишь случайно завладели своим обоснованным истинным убеждением. И это, по-видимому, исключает утверждение о знании. (Подобные контрпримеры называются "контрпримерами Геттье", поскольку впервые они были приведены в знаменитой работе Эдмунда Геттье (1963 г.)). У Дрецке есть готовый ответ на контрпримеры Геттье. Вы не знаете, что сейчас 10 часов, потому что, как выясняется, ваше убеждение в том, что сейчас 10 часов, не было получено надежным путем. Если бы сейчас было не 10 часов, вы бы продолжали верить, что это так? Да, поверили бы. Часы по-прежнему показывали бы 10 часов. Но на этот раз это было бы неправильно. Таким образом, этот случай не проходит тест Дрецке на знание. В данном примере вы не знаете времени. Интуитивно это кажется правильным ответом.

 

Рассмотрим тест Дрецке более подробно. Знает ли Мелина, что она находится на Марсе? Она искренне верит, что это так, но проходит ли она тест? Тест выглядит достаточно просто. Вера Мелины в то, что она находится на Марсе, истинна. Но если бы оно было ложным, продолжала бы она верить в это? Как мы можем оценивать подобный вопрос? В нем нам предлагается оценить истинность особого вида утверждений, называемых контрфактическими условными. В контрфактических утверждениях предлагается чисто гипотетический сценарий (тот, который мы считаем ложным: противоречащим фактам), а затем выдвигается утверждение о том, что могло бы произойти в этом гипотетическом сценарии. Рассмотрим другой пример контрфактического условия: если бы США не бомбили Хиросиму и Нагасаки, они бы все равно победили во Второй мировой войне. Верно это или нет? Как мы должны решить эту проблему? Контрфактическое условие - это утверждение о том, что произошло бы, если бы бомбардировок не было при прочих равных условиях. Не стоит отвечать на это условие, выдумывая причудливые варианты. (США пощадили Хиросиму. На следующий день пришельцы с Юпитера приземляются в Хиросиме и дарят японским военным супер-оружие. Они выигрывают войну и основывают тысячелетнюю династию). Причудливые возможности не имеют значения. Контрфактическое утверждение - это утверждение о том, что произошло бы, если бы изменилась одна вещь (бомбардировки не было), а все остальное осталось бы прежним, за исключением того, что было вызвано этим изменением. Философы называют такую возможную ситуацию ближайшим возможным миром, в котором бомбардировки Хиросимы и Нагасаки не произошли. Это возможный мир, в котором ход войны вплоть до нападения на Хиросиму и Нагасаки остается неизменным. Все факторы, приведшие к поражению Японии, остались бы в силе. Японские вооруженные силы непосредственно перед бомбардировками находились в опасном положении, не имея вероятных путей к победе, и поэтому в свое время Япония была бы разгромлена. Иначе говоря: Япония потерпела поражение в максимально возможном мире, в котором атаки на Хиросиму и Нагасаки не состоялись. Если это верно, то наш контрфактический вариант истинен. Если это неверно, то контрфактуал ложен.