Джим Холт - Почему существует наш мир? Экзистенциальный детектив

Во-первых, оно может пойти по кругу: А верно, потому что B, а B верно, потому что А. (Круг можно расширить за счет множества промежуточных истин: А потому что B, B потому что С… Y потому что Z, Z потому что A.) Однако такое доказательство по кругу не годится. Сказать, что «А, потому что B, потому что А», – это окольный способ сказать «А, потому что А», а ни одна истина сама себя не объясняет.

Во-вторых, объяснение может идти бесконечно: А1 верно, потому что А2, А2 верно, потому что А3, А3 верно, потому что А4, и так далее, до бесконечности. Но и такой способ не годится, ибо бесконечное углубление не дает фундаментального объяснения знанию.

Остается только третий способ – доказательство, имеющее конечное число шагов: А1 – потому что А2, А2 – потому что А3, и так далее, до некой конечной истины Х. Какого же рода истиной является Х?

Видимо, есть две возможности. Во-первых, Х может быть просто фактом, не имеющим какого-либо объяснения. Однако если истина Х не имеет объяснения, заметил Аристотель, то она вряд ли может служить основанием для других истин. Вторая возможность состоит в том, что Х является логически очевидной истиной, чем-то, что не может быть иначе. Согласно Аристотелю, это и есть единственный удовлетворительный способ завершить цепь объяснений – единственная альтернатива доказательству по кругу, бесконечной цепи доказательств и ни на чем не основанному, свободно висящему объяснению.

Однако, при всем уважении к Аристотелю, как может что-то объяснить логически очевидная истина? В особенности как она может объяснить нечто логически произвольное – например, факт существования мира? Если бы существование мира можно было вывести из логически очевидной истины, то оно бы тоже было логически очевидно – а оно таковым не является. Хотя мир существует, его могло бы и не быть. Нельзя исключить Ничто как логическую возможность. Даже самая многообещающая попытка вывести бытие чисто логически (онтологическое доказательство существования Бога) в конце концов ни к чему не приводит.

Таким образом, пытаясь достичь полного понимания, мы не можем завершить цепь объяснения логически очевидной истиной, и нам остается выбирать между тремя видами зол: доказательство по кругу, бесконечная цепь объяснений или просто установленный факт. Из этой троицы установленный факт выглядит наименее предосудительным. А есть ли какой-нибудь способ сделать висящий в воздухе установленный факт в конце цепочки доказательств менее произвольным?

Гарвардский философ Роберт Нозик внес интересное предложение по этому поводу. Единственный способ получить доказательство, которое ничего не оставляет необъясненным, – это использовать в цепочке доказательства самоочевидную истину. Но как может истина быть самоочевидной? «Х, потому что Х» – это не объяснение, а уход от него. Ни один ребенок, задав вопрос «Почему небо голубое?», не удовлетворится ответом «потому что голубое». Мы снова вернулись к доказательству по кругу. Именно поэтому философы, от Аристотеля до Ричарда Суинберна, твердо стояли на том, что ничто не может быть самоочевидным, что доказательство, говоря математически, «нерефлексивно».

Тем не менее Нозик заглянул глубже. Он признал, что «Х, потому что Х» непригодно в качестве удовлетворительного доказательства, но увидел другой способ вывести истину из самой себя. Допустим, что наш самый фундаментальный принцип – тот, который объясняет все законы природы, – оказался таким: «Любой закон, имеющий свойство С, является истинным». Давайте назовем этот самый глубокий принцип «принцип Р». Принцип Р объясняет, почему остальные законы верны: потому что они обладают свойством С. Однако что доказывает истинность самого принципа Р? Допустим, что принцип Р тоже обладает свойством С – тогда истинность Р логически следует из самого Р! В этом случае принцип Р является, по выражению Нозика, «самокатегоризированным».

«Самокатегоризация – это способ, которым принцип обращается на себя, производит себя, применяется к себе, ссылается на себя» 81, – пишет Нозик. Он признает, что использование самокатегоризации для доказательства – это ловкость рук. Однако по сравнению с альтернативами – доказательством по кругу, бесконечной цепью и висящим в воздухе установленным фактом – она выглядит не так уж плохо.

Разумеется, доказательство, что принцип обладает свойством самокатегоризации, не доказывает истинность этого самого принципа. Рассмотрим вот такое высказывание: «Каждое предложение, состоящее из семи слов, истинно». Назовем его «предложение S». Поскольку S состоит ровно из семи слов, то истинность S вытекает из него самого, делая его самокатегоризированным. Однако очевидно, что S ложно. (Доказательство этого я предоставлю читателю.) Предложение «Все обобщения истинны» – это еще один пример самокатегоризированного утверждения, являющегося ложным. Тем не менее в случае, когда самокатегоризированный принцип истинен, он в некотором смысле действительно объясняет, почему он истинен. (В конце концов, что такое это объяснение, как не категоризация по определенному закону?)

«Я предполагаю, что фундаментальный принцип, являющийся верным, объясняет себя путем самокатегоризации, – пишет Нозик. – Будучи глубоким фактом, достаточно глубоким, чтобы самокатегоризировать себя и произвести самого себя, этот принцип не останется висеть в воздухе без какого-либо объяснения» 82.

Таким образом, в качестве конечного звена доказательства самокатегоризированный принцип явно предпочтительнее, чем установленный факт. Тем не менее самокатегоризация сама по себе не убирает все «хвосты» доказательства. Рассмотрим еще раз самокатегоризируемое утверждение S: «Каждое предложение, состоящее из семи слов, истинно». Хотя S ложно, мы можем вообразить себе мир, в котором оно истинно. Но даже в этом мире S не удовлетворит нас в качестве фундаментального объяснения. Во-первых, оно выглядит произвольным. Почему должно быть истинно именно S, а не, например, «Каждое предложение, состоящее ровно из восьми слов, истинно»? Во-вторых, S не выглядит фундаментальным, первичным объяснением. Если оно верно, то мы будем искать более глубокое объяснение того, почему оно верно: почему мир и язык устроены именно таким образом? Хотя самокатегоризация не гарантирует первичность, она хотя бы может быть признаком первичности объяснения. Допустим, говорит Нозик, что мы обнаружили «самокатегоризированное утверждение, которое достаточно глубоко, чтобы произвести все остальное в данной области, в то время как многократные усилия найти более глубокую истину, объясняющую это утверждение, не увенчались успехом» 83. В таком случае, настаивает Нозик, «было бы разумно предположить, не считая это предположение окончательным, что мы достигли фундаментальной истины». Другими словами, мы нашли нашу суперчерепаху.