Современная эпистемология религии постепенно отходит от абсолютного доказательства или опровержения существования Бога, концентрируясь на аргументах, свидетельствующих о большей или меньшей вероятности Его существования, или на вопросах рациональности веры [Forrest 2014]. Однако поиски абсолютных доказательств и опровержений всё ещё продолжаются. В пример можно привести дискуссии об онтологическом доказательстве существования Бога в современной аналитической философии (см., например, [Kane 1984]) или попытки опровержения Его существования в современной континентальной мысли (см., например, [Watkin 2011]).
В данной работе я постараюсь ответить на вопрос, вынесенный в заглавие статьи. Заранее хотелось бы сделать акцент на том, что в рамках данной работы я буду рассматривать такое доказательство несуществования Бога, которое, как предполагается, невозможно было бы опровергнуть. Я сформулирую три требования, которым должно удовлетворять предполагаемое абсолютно бесспорное опровержение существования Бога. Эти требования многим могут показаться слишком суровыми, однако ожидать другого было бы наивно, ведь речь идёт о таком аргументе, который мог бы опровергнуть существование Бога раз и навсегда.
Выделяемые требования будут сопровождаться примерами опровержений существования Бога. Сначала я рассмотрю пародийное онтологическое опровержение существования Бога, а затем - опровержение, предложенное Квентином Мейясу. После этого я кратко рассмотрю распространённые аргументы против существования Бога, такие как аргумент от зла, аргумент от множественности откровений и т.п. В конце я попытаюсь доказать невозможность существования опровержения, которое удовлетворяло бы сформулированным требованиям.
Онтологическое опровержение существования Бога
Что означает для аргумента опровергнуть что-либо? Начнём с того, что
I. Опровержение должно содержать обоснование своей связи с реальным положением дел.
Такое доказательство, иными словами, должно быть способным прорваться через занавес нашей субъективности к реальности самой по себе (чем бы она ни была). Похоже, что онтологический аргумент против бытия Бога удовлетворяет этому требованию. Рассмотрим пародийное онтологическое опровержение, созданное для того, чтобы сделать проблемы, связанные с онтологическим аргументом, более наглядными (аргумент взят из [Oppy 2016]):
1) Творение мира является самым великим вообразимым достижением.
2) Величие достижения является продуктом либо (а) качества самого мира, либо (б) способностей творца, либо и (а), и (б).
3) Чем бóльшим бессилием или увечьем обладает творец, тем более впечатляют его достижения.
4) Наиболее жутким увечьем для создателя является несуществование.
5) Таким образом, если мы предполагаем, что вселенная создана существующим творцом, то мы можем вообразить и более великое существо - того, кто создал всё, будучи несуществующим.
6) Существующий Бог, таким образом, не является максимально великим существом, потому как максимально великим творцом всего является несуществующий Бог.
7) Таким образом, Бог не существует.
В данной ситуации в понятие величия входит несуществование. Поэтому по определению оказывается, что если Бог велик, а величие предполагает несуществование Бога, то Бог не существует. Есть много возражений в ответ на онтологическое доказательство, они же применимы и к пародийному онтологическому опровержению. Я кратко затрону лишь, с моей точки зрения, два самых существенных.
Первое возражение связано с тем, что данный аргумент не предоставляет убедительных оснований для принятия посылки о том, что несуществование является совершенством. Иными словами, посылки аргумента не являются бесспорными. Например, если у фигуры, образованной прямыми, есть три угла, то мы вынуждены принять и то, что у неё есть только три стороны, в противном случае мы получим противоречие. В ситуации с онтологическим опровержением я могу просто не согласиться с тем понятием совершенства, которое предлагается в аргументе. То же самое справедливо и для онтологического доказательства существования Бога. Таким образом,
II. Посылки аргумента должны быть бесспорными.
Несмотря на то, что данное требование кажется неподъёмным, не все философы считают, что этому требованию невозможно удовлетворить; мы ещё затронем это в дальнейшем.
Но допустим, что мы принимаем посылку, в которой конкретизируется понятие совершенства. В этом случае у нас остаётся ещё одно возражение.
Второе возражение связано с первым требованием. Онтологическое опровержение, как и онтологическое доказательство, не предоставляет обоснования своей способности делать заключения о реальном положении дел. Рассмотрим это возражение подробнее.
Допустим, я решил определять понятие "стол" как нечто, что существует и у чего есть четыре ножки, на которых располагается горизонтальная поверхность. Это определение можно представить в виде бланка под названием "стол", в котором справа от надписи "обладает четырьмя ножками, на которых располагается горизонтальная поверхность" стоит квадратик для галочки, как и напротив надписи "существует". Теперь представим, что я сталкиваюсь с объектом и хочу понять, является ли этот объект столом. Я сравниваю объект с пунктами в бланке и ставлю галочку напротив "обладает четырьмя ножками, на которых располагается горизонтальная поверхность" и напротив надписи "существует". Получается, что передо мной стоит то, что я определил как "стол". Теперь я беру бланк для понятия "Бог". В бланке будет два пункта: "обладает всеми совершенствами" и "существует". Если, столкнувшись с определённым объектом, я поставлю галочки напротив всех пунктов в бланке под названием "Бог", то я признаю, что передо мной - то, что я решил называть Богом. Но возможно ли на основании одного лишь бланка говорить о том, что происходит в реальном мире? Следует ли из одного только наличия бланка то, что я могу столкнуться с объектом, который я называю "Бог"?
Бланк - это метафора нашего языка, мышления и т.д. Если мы хотим лишь из определений получать существование или отсутствие реальных объектов, то нам требуется дополнительное обоснование возможности таких утверждений, описание принципов их работы, а также критерии, с помощью которых мы можем отличить утверждения такого рода от обычных утверждений. Именно этого не предоставляет нам онтологическое доказательство существования Бога или его онтологическое опровержение. Таким образом, пародийное онтологическое опровержение не соответствует требованиям (I) и (II).
Опровержение, предложенное К. Мейясу
Тот факт, что онтологическое опровержение не удовлетворяет требованиям (I) и (II), не означает, что удовлетворение этим требованиям невозможно - по крайней мере, по мнению К. Мейясу. Мейясу считает, что он обосновал способность нашего мышления делать истинные утверждения о реальном положении дел, и посылки его аргумента кажутся бесспорными. Предвосхищая события, сформулируем третье требование:
III. Опровержение должно быть логически когерентным.
Мейясу является одним из самых значимых представителей современной континентальной философии. В своей работе "После конечности. Эссе о необходимости контингентности", он доказывает абсолютную необходимость контингентности, то есть невозможность существования необходимого сущего [Мейясу 2015, 86].
Проект Мейясу заключается не столько в том, чтобы опровергнуть существование Бога, сколько в доказательстве обоснованности некоторых наших утверждений о реальном мире.
Перед тем, как перейти к аргументу Мейясу и критике этого аргумента, необходимо разобраться с его основными идеями, релевантными нашей теме. Заранее стоит предупредить, что я сознательно опущу некоторую терминологию Мейясу, сконцентрировавшись на передаче сути его размышлений (для более глубокого погружения в его терминологию см. недавно выпущенный словарь [Gratton 2014]).
Конечность, с точки зрения Мейсу, - это интуиция всей посткантианской философии, согласно которой невозможно достичь сферы в-себе. Такую позицию он также называет корреляционизмом. Корреляционизм формулируется следующим образом: "Не существует Х без данности Х. <...> Если Вы говорите о чём-то, Вы говорите о том, что дано Вам и утверждается Вами. В результате предложение "Х есть" означает: "Х есть коррелят мышления" в картезианском смысле" ([Meillasoux 2008, 409] цит. по: [Gratton 2014, 47]).
Таким образом, корреляционизм становится универсальной критикой любого утверждения, претендующего на абсолютность. Например, если бы онтологическое доказательство действительно работало и доказывало, что существует Бог, то корреляционист всегда смог бы возразить, что это только мы вынуждены считать, что Бог существует, но мы не знаем, существует ли Он в сфере в-себе [Мейясу 2015, 39]. С другой стороны, корреляционист может сказать, что наше мышление ограничено, а потому в области в-себе может оказаться и Бог. Именно это, с точки зрения Мейясу, легитимирует фидеизм или то, что он называет иррациональным дискурсом. С точки зрения иррационального религиозного дискурса, Богу не обязательно быть логически непротиворечивым, как того требует наше мышление, Его существование не обязательно обосновывать в терминах свидетельств или доказательств. Именно поэтому откровение и вера, в фидеистическом смысле, становятся по-своему обоснованными в современной философии [Watkin 2011, 136].
Однако, с точки зрения Мейясу, корреляционизм внутренне противоречив. Корреляционист считает, что ничего нельзя утверждать наверняка. В области в-себе может оказаться противоречивое, необходимое или контингентное сущее, но невозможно установить, какое именно. Мейясу называет это в том числе возможностью по незнанию. Но когда корреляционист предполагает возможность по незнанию, он на самом деле утверждает, что есть реальная возможность существования необходимого, контингентного или противоречивого сущего в реальности самой по себе. Утверждение реальной возможности существования любого сущего в в-себе - это и есть утверждение необходимости контингентности.
Корреляционист, таким образом, не может помыслить возможность по незнанию без имплицитного предположения необходимости контингентности [Мейясу 2015, 87]. Утверждая возможность по незнанию, корреляционист утверждает как необходимость контингентности, так и возможность существования необходимого сущего, что противоречиво. Корреляционистская позиция в целом отрицает возможность познания абсолютной необходимости, одновременно с этим утверждая абсолютную необходимость контингентности.
Таким образом, тезис о необходимости контингентности невозможно опровергнуть. ""Всё в равной степени возможно" - является таким абсолютом, который нельзя деабсолютизировать, не помыслив его снова как абсолют" [Мейясу 2015, 82]. С помощью корреляционистского аргумента мы можем опровергнуть онтологическое доказательство (даже согласившись, что оно не является софизмом; корреляционист всегда может сказать, что существование Бога доказано для нас, но не для сферы в-себе), но когда мы пытаемся опровергнуть необходимость контингентности, этот аргумент уже не работает. Корреляционист утверждает, что это только мы мыслим необходимость контингентности, но никто не знает реального положения дел. Но утверждая это, он должен допустить реальную возможность существования в в-себе контингентного, необходимого или противоречивого сущего, что уже предполагает необходимость контингентности. Каждый раз, когда корреляционист будет опровергать необходимость контингентности, он будет её предполагать. Мейясу называет это принципом фактуальности.
На основании необходимости контингентности Мейясу доказывает невозможность существования не только необходимого сущего, но и противоречивого сущего. Противоречивое сущее, с точки зрения Мейясу, не может быть уничтожено, так как является одновременно своим собственным отрицанием, существующим и несуществующим. Иными словами, противоречивое сущее не перестанет оставаться тем, что оно есть, даже если его не станет, так как его отсутствие входит в то, чем оно является. Если противоречивое сущее не может не быть, то оно является необходимым сущим, что противоречит тезису о необходимости контингентности. Поэтому противоречивое сущее невозможно. Именно на этом базисе Мейясу в дальнейшем легитимирует математический дискурс о в-себе.
Можно схематично представить аргумент Мейясу в следующем виде:
1) Если опровержение некоторой пропозиции немыслимо, то пропозиция является необходимо истинной.
2) Опровержение пропозиции о том, что контингентность необходима, немыслимо.
Следовательно
3) Контингентность необходима.
Далее:
4) Контингентный Бог не является истинным Богом (так как может исчезнуть в любой момент без всякой причины).
5) Следовательно, Бога нет.
На мой взгляд, есть серьёзные основания согласиться с посылкой (1). В ней имеется в виду то, что для обсуждаемой пропозиции немыслима непротиворечивая альтернатива. Например, можно непротиворечиво помыслить, что Бога нет, но нельзя непротиворечиво помыслить, что контингентность не необходима. Мы также можем согласиться с (2), так как если мы мыслим возможность по незнанию, то мы мыслим реальную возможность, что приводит нас к выводу (3). Мы соглашаемся с тезисом (4), так как едва ли кто согласится с тем, что существо, которое может исчезнуть в любой момент, является Богом (классический Бог теизма является необходимым). Всё это приводит нас к выводу (5).
Проблема аргумента Мейясу заключается в том, что он доказывает необходимость контингентности, но не необходимость логико-математических форм, которые он использует для доказательства [Watkin 2011, 157]. Мейясу говорит о контингентности как о реальной возможности всех инвариантов мира быть иными [Мейясу 2015, 54]. Среди этих инвариантов есть законы природы, но его рассуждение также применимо и к законам логики. Если бы законы логики радикально поменялись, имели бы понятия "необходимость", "контингентность", "противоречивость", "мыслимость" и т.д. тот же смысл, что они имеют сейчас? И как бы мы вообще узнали о том, что произошло изменение[Watkin 2011, 154]?
Именно необходимость логико-математических форм утверждается в посылке (1), которая может быть переформулирована следующим образом: 1.1) наше мышление (логико-математические формы) способно делать истинные утверждения о реальности самой по себе, 1.2) если нечто является необходимо мыслимым, то оно необходимо и для реальности самой по себе. Теперь нам вовсе не обязательно соглашаться с этим, мы можем возразить, что посылка сомнительна и не обосновывает своей связи с реальностью, а лишь утверждает существование этой связи.
Однако проблема аргумента Мейясу заключается не столько в возможности не принять посылку (1), сколько в логической невозможности сохранить её после вывода (3). Ведь после того, как мы доказали необходимость контингентности и, допустим, согласились с посылками аргумента, мы уже не можем принять никакой необходимости, в том числе и необходимости логико-математических форм, которая утверждается в посылке (1). Выходит, что мы просто логически не можем согласиться с выводом, сохранив при этом структуру аргумента. Мы не просто можем как согласиться, так и не согласиться с Мейясу, мы не можем с ним согласиться, не впадая в противоречие [1.].
Опровержение, предложенное Мейясу, не соответствует требованию (III), так как является логически противоречивым. Некоторые из посылок аргумента не вынуждают нас их принимать (посылка (1)), что не соответствует требованию (II). В результате аргумент не обосновывает своей связи с реальностью, что не соответствует требованию (I).
Перед тем как я перейду к финальной части данной работы, следует отметить, что требование (I) является частным случаем требования (II), когда речь идёт о доказательствах, претендующих на неопровержимость. Каждый аргумент, претендующий на абсолютность своих выводов, должен содержать в посылках обоснование своей способности отражать реальное положение дел. Если этого обоснования нет, то эта способность просто вводится как допущение, а следовательно, эта неявная посылка о наличии у доказательства такой способности не является бесспорной. Если посылка не является бесспорной, то это не соответствует критерию (II). В начале я выделил первый критерий в отдельный пункт, так как считаю, что предположение наличия связи между мышлением и реальностью является особой предпосылкой. Хотя первый критерий может быть редуцирован ко второму.
Дополнительные примеры опровержений
Помимо рассмотренных аргументов, многие другие также не удовлетворяют указанным требованиям. В данном разделе я кратко рассмотрю самые популярные из них для демонстрации работы установленных критериев и продемонстрирую причину, по которой, с моей точки зрения, невозможно возникновение аргумента, неоспоримо опровергающего существование Бога.
Аргументы будут взяты в их "сильной" версии, то есть мы представим, что они призваны не просто снижать вероятность существования Бога или свидетельствовать в пользу метафизического натурализма, но опровергать Его существование. Я рассчитываю на то, что читатель уже знаком с этими аргументами, поэтому я сразу же сконцентрируюсь на их опровержении, только при необходимости затрагивая ключевые посылки.
Аргумент бритвы Оккама против существования Бога в его сильной версии имплицитно предполагает способность этого аргумента отражать реальное положение дел, чего не следует из самого аргумента. То есть аргумент не соответствует требованию (I).
Аргумент от зла в некоторых своих версиях предполагает, что в мире существует такое зло, которое не может быть оправдано никаким большим благом. На это можно возразить, что, возможно, существует такое благо, которое превышает любое зло и делает его оправданным. То есть аргумент как минимум не соответствует требованию (II) - не вынуждает нас согласится с некоторыми своими посылками.
Аргумент от неконсистентных откровений предполагает, что если невозможно установить, какое из конфликтующих откровений является истинным (так как все они основываются на авторитете священных писаний, на вере и т.д.), то истинного откровения нет. Аргумент не соответствует требованию (I), так как не обосновывает того, что на основании нашего мышления мы можем делать выводы о реальном положении дел.
Парадокс всемогущества и остальные парадоксы, связанные с противоречивостью определений понятия "Бог", осуществляют (в их сильной версии) переход от противоречивости понятия "Бог" к невозможности реального Бога, что требует отдельной демонстрации их соответствия требованию (I): тот факт, что противоречивое сущее немыслимо, не означает, что такое сущее невозможно. Более того, если мы примем невозможность Бога философов, из этого не следует, что невозможен реальный Бог.
Подобный список можно продолжить. Аргумент от божественной сокрытости, аргумент от существования ада, аргумент от несовместимости всеведения и свободы Бога и т.д. так или иначе могут быть опровергнуты в их сильных версиях ссылкой на их несоответствие выделенным критериям.
В данный момент мне не известно удовлетворяющего всем требованиям аргумента. Более того, у меня есть серьёзные основания считать, что такой аргумент невозможен, в силу следующей трудности: для обоснования того, что аргумент отражает реальное положение дел, требуется ещё один аргумент, который, в свою очередь, даже если и будет убедительным, будет основываться на логике. Тогда возникнет вопрос: почему логика является надёжным эпистемическим инструментом? Обосновать надёжность логики можно либо с помощью этой же логики, либо с помощью металогики. Эта металогика также будет требовать метаметалогического обоснования и т.д. Таким образом, мы впадаем либо в предвосхищение основания (с помощью логики доказываем необходимость логики), либо в бесконечный регресс (каждый раз для обоснования логики мы будем использовать логику более высокого порядка, и так - до бесконечности). Таким образом, невозможно обосновать эпистемическую надёжность логики. Из этого следует, что невозможно абсолютное доказательство или опровержение чего бы то ни было в принципе [2.], в том числе и существования или отсутствия Бога. Скептический вывод о невозможности неопровержимых доказательств может показаться крайне неутешительным, однако он, по крайней мере, полностью легитимирует философский фидеизм и, более того, создает пространство для его рационального обоснования (см., например,[Bishop 2007], [Evans 1998]).
Примечания:
[1.] В процессе работы над аргументом Мейясу я выяснил, что указанное противоречие является более тонким и неоднозначным. В рамках данной статьи у меня нет возможности уделить этому достаточное количество внимания. Стоит отметить, что написанное в данной статье в целом отражает точку зрения исследователей философии Мейясу. В любом случае, этого более чем достаточно для целей данной статьи - демонстрации работы критериев на реальных аргументах.
[2.] Я отдаю себе отчёт в том, что есть вещи, которые существуют в качестве фактов, а именно - данности опыта. Я не могу усомниться в том, что вижу дерево, но я не могу доказать, стоит ли за этим опытом реальное дерево или нет. Таким образом, невозможно доказать или опровергнуть метафизические пропозиции, утверждающие о чём-то, что лежит за пределами непосредственных данностей сознания.
Библиография:
1. Bishop 2007 - Bishop J. Believing by Faith: An Essay in the Epistemology and Ethics of Religious Belief. Oxford University Press, 2007.
2. Evans 1998 - Evans C.S. Faith Beyond Reason: A Kierkegaardian Account. Grand Rapids, MI: William B. Eerdmans Publishing Company, 1998.
3. Forrest 2014 - Forrest P. The Epistemology of Religion // The Stanford Encyclopedia of Philosophy (Spring 2014 Edition). URL: https://plato.stanford.edu/archives/spr2014/entries/religion-epistemology/ [на русском: Форрест П. Эпистемология религии // Стэнфордская философская энциклопедия: переводы избранных статей. URL: http://philosophy.ru/epistemology_of_religion/]
4. Gratton 2014 - Gratton P., Ennis P.J. (eds.). The Meillassoux Dictionary. Edinburgh University Press, 2014.
5. Kane 1984 - Kane R. The modal ontological argument // Mind. New Series. 1984. Vol. 93. No. 371. P. 336-350.