11-05-2023
Онтологический аргумент — это одна из категорий аргументов, относящихся к вопросу существования Бога, появившаяся в христианской теологии. Не существует точных критериев для классификации онтологических аргументов, но аргументы типично начинаются с определения Бога, а заканчиваются подведением итогов о необходимости его существования, используя главным образом причины априори и эмпирические наблюдения.
Общепризнано, что первый онтологический аргумент был предложен Ансельмом Кентерберийским в 1078 в его Прослогионе. Ансельм описал Бога, как «нечто, лучше которого ничего нельзя вообразить», аргументируя это тем, что оно существует в нашем разуме. Он предположил, что, если более идеальное существо могло бы существовать в нашем разуме, то оно также должно существовать и в реальности. Если оно присутствует в нашем разуме, то лучшее существо, возможно, одно из тех, что существует в сознании (разуме) и реальности. Французский философ 17 века Рене Декарт выдвинул аналогичные аргументы. Декарт опубликовал несколько вариантов своих аргументов, каждый из которых основаны на том, что существование Бога непосредственно выводится из любой «ясной и отчетливой» идеи о высшем совершенном существе. В начале восемнадцатого века, Готфрид Лейбниц дополнил идеи Декарта в попытке доказать, что «высшее совершенное» существо представляет собой определённую стройную концепцию. Другие онтологические аргументы принадлежат Курту Геделю, который предложил формальный аргумент в пользу существования Бога. Норман Малькольм возродил онтологический аргумент в 1960 году, найдя второй, более сильный, онтологический аргумент в работе Ансельма; Алвин Плантинга оспорил этот аргумент и предложил альтернативный, основанный на модальной логике. Были сделаны попытки для проверки доказательства Ансельма с использованием автоматизированного доказательства теорем. Другие аргументы были классифицированы как онтологические, в том числе сделанные исламским философом Мулла Садра.
Первым критиком онтологического аргумента был современник Ансельма — монах Гаунило из Мармотир. Он использовал аналогию в виде идеального острова, предполагая, что онтология может быть использована, чтобы доказать существование чего-либо. Это была первая попытка доказать, что онтология приводит к абсурдным выводам. Позднее Фома Аквинский отверг аргумент, основываясь на том, что человек не может познать природу Бога. Дэвид Юм описал эмпирический недостаток аргументов, критикуя отсутствие доказательных рассуждений, и несостоятельность идеи обязательного существования чего-либо. Критика Иммануила Канта была основана на его мнении ложности того, что первоначальное условие существования является предикатом. Он рассуждал, что, если ничего не сказано о причине существования, то оно не является предикатом и, таким образом, «высшее совершенное» существо может и не существовать. Наконец, философы, такие как Данбар Брод, отвергли определение абсолютно совершенного существа, предполагая, что некоторые черты, делающие его великим, несовместимы с другими, делая «абсолютно совершенное существо» невозможным.
Традиционное определение онтологического аргумента была дано Иммануилом Кантом.[1] Он противопоставил онтологический аргумент (буквально любой аргумент связанный с Богом)[2] космологическим и физико-теоретическим аргументам.[3] По мнению канта, онтологические аргументы — это те, которые основаны на априорных рассуждениях.[1]
Грэм Оппи, который обычно говорил «нет необходимости» отходить от традиционного определения[1], определил онтологические аргументы как те, которые начинаются с «не нужно ничего, кроме аналитики и априори» и заканчиваются утверждением о существовании Бога. Оппи признал, однако, что не все «традиционные свойства» онтологического аргумента (аналитичность, необходимость и априорность) можно найти во всех онтологических аргументах, и, в его работе Онтологические Аргументы[4] и Вера в Бога 2007 года, предположил, что более точное определение онтологического аргумента будет использоваться только мыслителями.[1]
Оппи классифицировал онтологические аргументы по определению, концепции, модульности, Менонгиан, эмпирике, мереологии, Гегелевским категориям, базовым условиям.[4] Менонгианские аргументы поясняют различие, между «разными способами существования»; эмпирические аргументы используют идею, что Бог существует только для тех, кто знает о нём; и Гегелевские аргументы от Гегеля.[5]
Вильям Лейн Крейнг подверг критике классификацию Оппи, отметив, что она слишком расплывчата, чтобы быть классификацией. Крейг утверждал, что аргумент может быть назван онтологическим, если он пытается вывести существование Бога, используя необходимые факты из определения. Он предположил, что сторонники онтологических аргументов будут утверждать, что если кто-то полностью поймет концепцию Бога, то этот кто-то должен принять его существование.[6] Вильям Л. Роу определил онтологические аргументы как те, что начинают с определения Бога и, используя только априорные принципы, заключают, что Бог существует.[7]
Несмотря на то, что онтологический аргумент можно было встретить в работах греческих философов, таких как Платон и Неоплатонистов,[8] считается, что первый онтологический аргумент был четко сформулирован Ансельмом.[4][9][10][11] Некоторые ученые утверждают, что исламский философ Авиценна (Ибн Сина) сформулировал нечто подобное онтологическому аргументу до Ансельма,[12] но другие ученые сомневаются в этом.[13][14][15] Даниэль Домбровский отметил три основных этапа в развития аргумента: первоначальная явная формулировка Ансельма; критика Канта и Юма в восемнадцатом веке; и определение второго онтологического аргумента в Прослогионе Ансельма философами двадцатого века.[16]
Богослов и философ Ансельм Кентерберский (1033—1109) предложил онтологический аргумент во второй и третьей главах его Прослогиона.[17] Аргумент Ансельма не был представлен для того, чтобы доказать существование Бога; скорее в Прослогионе он показал, как идея о Боге стала для него очевидной.[18]
Во второй главе Прослогиона, Ансельм определил бога, как «нечто совершенное, лучше чего невозможно вообразить».[4] Он предположил, что даже «дурак» сможет понять эту концепцию, а это понимание само по себе является причиной существования идеи «совершенства» в сознании. Концепция, в свою очередь, должна существовать либо только в нашем сознании, или и в нём, и в реальности. Если такое существо существует только в нашем сознании, то лучшее существо — которое будет существовать одновременно и в сознании, и в реальности — имеет место быть. Поэтому, если мы можем представить абсолютно совершенное существо, то оно должно существовать в реальности. Таким образом, идеальное существо, которое Ансельм описал как Бога, должно существовать в реальности.[19] Аргументы Ансельма во второй главе могут быть объединены :[19]
В третьей главе Ансельм описал понятие существа, которое не может быть представлено, как несуществующее. Он утверждал, что если что-то может не существовать, то нечто лучшее может быть воображено, следовательно если нет ничего лучше этого, то оно должно существовать. Данное высказывание является подтверждением другого аргумента во второй главе, хотя Норман Малькольм считает, что это само по себе аргумент.[20]
Рене Декарт (1596—1650) составил ряд онтологических аргументов, которые отличалась от формулировки Ансельма и были менее формальны. Декарт писал в Пятом Размышлении:
Декарт утверждал, что существование Бога может быть выведено из его природы, так же, как геометрические свойства объекта могут быть выведены из его образа — к примеру, он делал выводы о размере треугольника по размерам его углов. Он предположил, что концепция Бога — идеальное существо, состоящее из совершенных черт. Он также предположил, что существование и есть одна из его совершенных черт : было бы более совершенным существовать, чем не существовать. Таким образом, если идея Бога не включает в себя существование, то это нельзя назвать совершенством. Следовательно, как утверждал Декарт, идея идеального Бога, которого нет, неясна. Таким образом, по своей природе, Бог должен существовать.[22]
Готфрид Лейбниц увидел проблему, связанную с онтологическим аргументов Декарта: Декарт не доказывал возможность существования «идеального» существа. Он предположил, что онтологический аргумент не важен до тех пор, пока не будет продемонстрирована возможность существования идеального существа. Лейбниц считал невозможным анализировать совершенство; поэтому было бы невозможно доказать, что все совершенные черты несовместимы. Он считал, что все совершенное может быть собрано в единое целое и что аргумент Декарта по-прежнему в силе.[4]
Мулла Садра (ок. 1571—1640) был исламским философом, который изучал философию Авиценны. Садра опровергал аргументы Авиценны о существовании Бога, утверждая, что они не были априори, отвергая их на том основании, что существование предшествует сущности, и, что существование человека является более фундаментальным, чем их сущность.[23] Садра выдвинул новый аргумент, известный как аргумент Праведников народов мира (арабский: برهان الصديقين — Бурхан аль-Сиддикин. Аргумент пытается доказать существование Бога через реальность существования, и вывести из этого предвечную необходимость в Боге. В аргументе Праведников нет терминов отличных от истины.[24] Его версия онтологического аргумента складывается из следующего:[23]
Мулла Садра описывает этот аргумент в Асфаре следующим образом:
Математик Курт Гёдель предоставил формальные аргументы существования Бога. Его аргументы были опубликованы намного позже, после его смерти. Он привел аргументы, основанные на модальной логике; он использовал концепцию свойств, которые в итоге приводят к существованию Бога.[26]
Гёдель объяснил термин «богоподобный», как имеющий только положительные свойства. Он оставил термин «позитивный» неопределенным. Гёдель считал, что это понимается как эстетическое и нравственное чувство, как противоположность лишения (отсутствие необходимых качеств во Вселенной). Он говорил, что «положительный» не стоит трактовать как эстетически «хорошо», так как понятие «хорошо» растяжимо и включает в себя и негативные характеристики. Вместо этого, он предположил, что «положительный» следует интерпретировать как совершенство или «исключительно хорошо», без отрицательных характеристик.[27]
Гёдель писал теоремы, опираясь на аксиомы, поэтому основная часть критики фокусировалась на его аксиомах и допущениях. Некоторые философы подвергали критике его основы модальной логики, когда другие критиковали его широкое понятие свойств. Оппи говорил, что Гёдель так и не дал определения «положительным свойствам». Он предположил, что если эти положительные свойства образуют множество, то нет причин полагать, что любое такое существующее множество теологически интересно, или, что есть только один набор положительных свойств, которые теологически интересны.[26]
В 1960 году Норман Малькольм опубликовал онтологический аргумент Ансельма. Он стремился разделить два увиденных им онтологических аргумента, предложенных Ансельмом в главах 2 и 3 его Прослогиона. Малкольм поддерживал критику Канта второго аргумента во второй части, что существование не может быть совершенно в чём бы то ни было; однако, он решил, что то, как он видит второй онтологический аргумент в главе 3, нельзя подвергнуть подобного рода критике.[28]
Малкольм выявил два ключевых момента второго онтологического аргумента Ансельма: во-первых, не существующее и логически невозможное существо гораздо более великое, чем не существующее и возможное, и во-вторых, что Бог есть бытие, «которое настолько великое, что мы не можем и вообразить».[28] Малкольм поддержал это определение Бога и предположил, что утверждение о существовании Бога настолько же верно как утверждение о том, что «у квадрата 4 стороны». Хотя Малкольм отвергал идею о существовании самого бытия как совершенства, он утверждал, что необходимость существования является совершенством. Это, по его мнению, и есть доказательство необходимости существования.[29]
Алвин Плантинга подвергал критике аргумент Малькольма, и предлагал свою альтернативу. Он утверждал, что, если Малькольм указывает на обязательность существования высшего существа, то есть существо, которое является высшим во всех мирах, величие которого в остальных мирах так же велико. Но нельзя, как он утверждал, показать непревзойденность существа в конкретном мире.[30]
В попытке решить эту проблему, Плантинга вносит различие между «величайшим» и «совершенным» существом. В конкретном мире совершенное существо зависит от свойств данного мира, а величайшее существо зависит от свойств во всех мирах. Поэтому, самое величайшее существо, которое может существовать, должно иметь максимальное превосходство в каждом возможном мире. Так, Плантинга переформулировал Малькомский аргумент, используя понятие «максимального величия». Он утверждал, что раз существование сверхсущества со сверхвеличием возможно, то сверхсущество со сверхвеличием существует в возможном мире. Если это так, то сверхсущество существует в каждом мире, в том числе и в нашем.[30]
Вывод основан на модальной аксиоме S5, в которой говорится, что если что-то «возможно» верно, то это обязательно возможно. В S5 Плантинга также говорил, что если что-то «обычно верно», то оно обязательно верно (Это верно во всех мирах).[31]
Следующие версии его аргументов выглядели так:[4]
Плантинга подмечал, что, хотя первую предпосылку было сложно понять, но она не противоречила здравому смыслу. Майкл Мартин на это говорил, что если в совершенстве есть что-то противоречащее самому себе, такое как всемогущество и всеведение, то первая предпосылка не укладывается в рамки разумного. Мартин также предложил простой аргумент, что можно предполагать существование чего угодно, и что это можно продемонстрировать аргументами Плантинги, при том условии, что существо должно быть определено в каждом возможном мире как совершенное и особенное.[32]
Ричард Гейл утверждал, что в аргументах присутствует только третья, «возможная предпосылка», вызывающая вопрос. Он заявил, что есть только одна модально верная для восприятия предпосылка, если кто-либо поймет вложенные модальные операторы, что если поймет их в рамках системы S5 — без которой аргументы не имеют право на существование — тогда он поймет, что, «возможно необходимое», это то же самое, что и «обязательное».[33] Отсюда следует недействительность предпосылки, из-за заключения в нём содержащегося.
Хуан Мануэль Корреа заявил, что аргумент может быть использован для доказательства того, что Бога не существует, просто подтвердив эту возможность:
Александр Р. Прусс предпринял попытку поддержать аргумент Плантинги. Представив изречение индийского философа Шанкары 8-9-го века нашей эры, в котором говорилось, что если что-нибудь мы считаем невозможным, то мы, скорее всего, просто не можем это воспринять (у нас нет доказательств), что это на самом деле возможно. Отсюда следует, что если у нас есть понимание о чём-либо, то даже если это вовсе не так, то, по крайней мере, для нас это возможно. Если мистики на самом деле принимают факт существования величайшего существа, то отсюда следует, что это существо, по крайней мере, может быть.[34]
Павел Оппенеймер и Эдвард Зальта использовали автоматизированные доказательства теорем — Prover9 — для проверки онтологического тезиса Ансельма. Prover9 впоследствии обнаружили проще, формально верным онтологическим аргументом из одной не логической предпосылки.[35]
Одним из первых противников аргумента Ансельма был современник Ансельма, Гаунилом из Мармотир. Он пригласил своего читателя представить остров «совершеннее», чем любой другой остров. Он предположил, что согласно Ансельманскому доказательству, этот остров должен обязательно существовать, как и ещё более превосходный остров, чем этот.[36] Критика Гуанила не явно демонстрирует недостаток в аргументе Ансельма.[37] Он предложил следующую критику онтологического аргумента Ансельма, доказывая, что люди не способны понять Бога, как утверждал Ансельм. Он доказывал, что многие верующие согласятся признать, что Бог, по своей природе, не может быть ими полностью понят. Поэтому, если люди не могут полностью представить себе Бога, тогда онтологический аргумент не сможет выполняться в таких условиях.[38]
Ансельм ответил на критику Гаунила, поправляя его, что аргумент применяется только к понятиям с необходимым существованием. Он предположил, что только существо с необходимым существованием может выполнять компетенции «то, величественней которого ничего не может быть». Кроме того, условный объект, такой как остров, всегда может быть улучшен, и поэтому никогда не может достичь состояния совершенства. По этой причине Ансельм отклонял все аргументы, которые не касались существа с необходимым существованием.[36]
Другие пародии были представлены, включая заключение дьявола, никакое заключение дьявола и противоположность никакому заключению дьявола. Заключение дьявола предполагает, что это существо, хуже которого ничего нет, и нельзя даже представить, но существует в понимании (иногда термин «меньший» используется вместо «хуже»). Используя логическую форму Ансельма, пародия утверждает, что если он (дьявол) существует в понимании, тогда хуже этого существа будет то, что существует в реальности, поэтому такое существо существует. Следовательно, это существо было бы единственным худшим и существующим в реальности, поэтому он бы исключал существо в понимании, поэтому такого существа нет. Ну и последнее следствие заключения о дьяволе предполагается в том, что худшее существо всё же то, которое не существует ни в реальности, ни в понимании. Тимоти Чемберс утверждал, что заключение в дьяволе более сильное, чем вызов Гаунила, потому что она выдерживает проблемы, которые могут победить пародию Гаунила. Он также утверждал, что «никакое заключение о дьяволе» является следствием сильного вызова, поскольку оно «подписывает» «никакое заключение дьявола», которое «угрожает аргументу Ансельма в самой его основе».[39]
Святой Фома Аквинский предлагал пять доказательств существования Бога в его Своде «Теология», возражая против аргумента Ансельма. Он предположил, что люди не могут познать природу Бога и, поэтому, не могут себе его представить, как предлагает Ансельм.[40] Онтологический аргумент будет иметь смысл только для тех, кто понимает сущность Бога полностью. Фома Аквинский рассуждал, что поскольку Бог может полностью знать свою сущность, только он мог использовать этот аргумент.[41] Его отказ от онтологического аргумента заставил бы некоторых католических богословов тоже отклонить аргумент.[42]
Шотландский философ и эмпирик Дэвид Юм утверждал, ничто не может быть доказано, как существующее, используя только априорные рассуждения.[43] В его Диалогах о естественной религии, персонаж Клинзэс (игра слов — «Чистейший») предлагает критику:
Он предложил, что любая концепция Бога, которую мы можем себе представить, включает в себя существующих или не существующих Богов. Он считал, что существование — не качество (или совершенство), так что концепция полностью совершенного существа не может существовать. Поэтому, он утверждал, что это не является противоречием, чтобы отрицать существование Бога.[43] Хотя эта критика направлена против космологического аргумента, подобно Сэмюелю Кларку в своей первой книге «лекции Бойля», она также применяется и для онтологических аргументов.[45]
В «Критике чистого разума» Иммануил Кант подверг сомнению онтологический аргумент.[46] Прежде всего, явная критика касалась Декарта, но не остался в стороне и Лейбниц. Опровержение Канта состоит из нескольких отдельных, но взаимосвязанных аргументов, формирующих различие между аналитическими и синтетическими суждениями. В аналитическом суждении, утверждение выражается тем, что уже содержится в определении, что, по сути, является тавтологией. В синтетическом суждении, утверждение связано с чем-то, выходящим за пределы его определения, принципиально не содержащемся в нём. Новые знания полностью состоят из синтетических суждений.[47]
Кант сомневается в однозначности неопровержимого существования. Он считает примером такого существования утверждение «треугольник имеет три угла» и отвергает применение подобной логики к существованию Бога. Он считал, что неопровержимое существование таких утверждений верно только в том случае, если эта сущность действительно существует: например, если треугольник существует, то он должен иметь три угла. Таким образом, Кант считает, что если утверждение «Х существует» верно, то если Х существует, то само утверждение «существует» неопровержимо; это не означает, что оно существует в реальности.[46][48]
Затем Кант предположил, что утверждение «Бог существует» должно быть аналитическим или синтетическим — то есть определение этого понятия должно быть соответственно в нём или выходить за его пределы. Если это предположение считается аналитическим, то оно было бы верно только потому, что значение ему придают просто слова. Кант утверждает, что это просто тавтология. Однако если оно является синтетическим, то здесь онтологический аргумент просто не работает, так как существование Бога не содержится в определении Бога (и, как таковых, свидетельств существование Бога нет).[49]
Далее Кант говорит, что «существование» очевидно нереальное утверждение и не может быть частью определения чего-либо.[46] Он предположил, что существование не является определением или качеством. Это потому, что существование не прибавляет сущности существу, а лишь указывает на его появление в реальности. Он установил, что приняв субъектом Бога и все утверждения о нём, и затем, утверждая, что Бог существует, он не добавляет нового утверждения в понятие «Бог». По мнению Канта, онтологический аргумент работает только тогда, когда существование является утверждением, а если это не так, то можно предположить, что полностью совершенное существо не существует, тем самым опровергнув онтологический аргумент.[19]
Также Кант утверждал, что в понятии Бога нет конкретного смысла, скорее это «объект чистой мысли».[46] Он считает, что Бог существует вне сферы жизни и природы. Мы не можем познать Бога опытным путем, поскольку даже не знаем каким образом можем проверить его существование. В отличие, например, от понимания какого-либо материала органами чувств.[50]
Австралийский философ Дуглас Гаскин разработал свою версию онтологического аргумента с целью доказать, что Бог не существует. Версия не претендовала на серьёзность, скорее её целью была иллюстрация проблем, которые Гаскин видел в онтологическом аргументе.[51][52]
Гаскин утверждает, что сотворение мира является самым чудесным достижением, которое можно себе представить. Степень величия достижения зависит от качества самого достижения и возможностей творца: чем больше ограниченность творца, тем чудеснее выглядит выдающийся результат. Получается, что если Вселенная — творение существующего творца, мы можем представить в разуме ещё более совершенное создание — сотворившего всё несуществующего творца. Таким образом, существующий бог не будет существом, совершеннее которого невозможно представить, потому что несуществующий бог будет ещё более совершенным и могущественным. Выходит, Бога нет.[52] Предположение Гаскина, о том, что наибольшая ограниченность не существует, является ответом на предположение Ансельма, что существование является утверждением и совершенством. Гаскин использует это для предположения, что небытие является неполноценностью.[51]
По мнению Оппи, эти предположения можно рассматривать как слабую пародию на онтологический аргумент. Он говорит, что даже если принято считать, что создание чего-то большего, чем творец, который существует, является большим достижением для несуществующего творца, нет никаких оснований предполагать, что несуществующий создатель был бы большим существом. В продолжении он считает, что нет причин на то, чтобы считать сотворение мира, как «самое чудесное достижение, которое можно себе представить». Также он считает, что создание чего-либо реального немыслимо для несуществующего явления.[4]
В своем исследовании онтологического аргумента, Лейбниц попытался продемонстрировать связность в совершенном существе.[4] Броад возразил, что если две характеристики, необходимые для совершенства Бога, несовместимы с третьей, то понятие совершенного существа становится несогласованным. Онтологический аргумент определения Бога из классического теизма: Бог всемогущий, всеведущий и морально совершенный.[53]
Кеннет Эйнар Химма считает, что всеведение и всемогущество, несовместимы: если Бог всемогущ, то он может создать существо со свободной волей, если он всеведущ, то он должен точно знать, что такое существо будет делать (что делает существа безвольными). Этот анализ представляет онтологический аргумент бессвязным, так как характеристики, необходимые для максимально большого существа, не могут сосуществовать в одном существе, выходит, такое существо не может существовать.[19]
Бертран Рассел однажды сказал «Бог идеален, если он в сапогах — вот вам онтологический аргумент!».[54] Позднее он критиковал аргумент, утверждая, что «аргумент не очень убедителен для современного взгляда, но это проще почувствовать, чем выяснить, где в нём находится ошибка». Он провел различие между сущностью и существованием, положив, что сущность человека, может быть описана, а его существование остается под вопросом.[55]
Онтологический аргумент.