psilogic: (Default)
psilogic ([personal profile] psilogic) wrote2006-04-10 07:38 pm

Классика: парадокс про камень

Очень широко известный, практически классический аргумент против бытия Бога.

Может ли Бог создать камень, который не сможет поднять? Если сможет создать, то не сможет поднять. Если сможет поднять, тогда тоже не сможет создать. В любом случае Бог оказывается не всемогущим. Почему-то приводить этот аргумент считается чуть ли не неуместным. Но ведь аргумент до сих пор толком не опровергнут.

Довольно простой выход из этого противоречия состоит в том, чтобы признать: Бог не совсем всемогущ, он не может выполнить действия. Однако он всемогущ по-сравнению со смертными, так как его возможности несопоставимы с возможностями его творений. Похожая ситуация с утверждением Бог-любовь вроде бы не вызывает проблем (?), в конце-концов его любовь распространялась не на всех и не всегда: бывало, он кого-то гнал или наказывал.

Однако по каким-то причинам многие верующие не согласны идти по этому простому пути, и выискивают различные оправдания. Возможно, причина кроется в том, что в этом парадоксе Бог фактически оказывается ограничен человеческой логикой, а это, так сказать, моветон.

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

Пример толкования: Бог создает камень, не может его поднять, но в следующее мгновение преодолевает свою немощь, и все-таки может. Достаточно заметить, что какое-то мгновение он все-таки "не мог", а значит, не был всемогущ. Если толковать слово "всемогущий", как "всемогущий, но не всегда", то это вряд ли лучше, чем "всемогущий, но не во всем". Фактически первое есть частный случай второго.

Другой пример: Бог разделяется на две ипостаси, одна из которых может поднять (но не создать), а вторая - создать (но не поднять). Здесь будет проблема во-первых, с единством. Во-вторых, это означает, что Бог "всемогущ только по частям". Опять толкование в более легкую сторону.

Еще вариант: Бог создает камень, который не может поднять, потом возвращается назад во времени и поднимает камень. Один из "клонов" Бога снова на какое-то время демонстрирует невсемогущество.

Здесь можно заметить проблему с перемещением во времени, т.к. иногда говорят, что Бог существует "вне времени". Этот аргумент тоже не годится. Человек вовсе не "вне", человек существует во времени. Вводим в задачу наблюдателя - смертного человека, движущегося во времени как обычно. Задача Бога - продемонстрировать этому смертному, находящемуся во времени, как он (не) может создать камень, который (не) может поднять. Если Бог пасует, не может продемонстрировать, значит он, опять-таки, не всемогущ.

Тут можно отмазаться, сказав, что Бог то всемогущ, но человек - нет, так что человек не сможет воспринять, "как это". Ну так это проблемы Бога. Раз он всемогущ, значит, сможет каким-то образом преодолеть ограниченность человека и все-таки объяснить ему, как разрешается противоречие.

Наконец, утверждение "верую, ибо абсурдно" разбивается простым вопросом: "во что?" В то, что не может поднять, или не может создать? Простое утверждение "верую" - это просто пустой звук, слова - до тех пор, пока человек не осознает, не представит себе, во что же он верует, пока не поймет, что же продемонстрировал бы ему Бог, если бы хотел показать свое всемогущество в этом вопросе. А осознать, представить верующие это не могут. Так что "верую, ибо абсурдно" - просто неправда.

P.S. В качестве компромисса между чувствами верующих и атеистов здесь и далее я пишу Бог с большой буквы, а "он", "его" и т.п. - с маленькой.

[identity profile] mi-24d.livejournal.com 2006-04-10 04:24 pm (UTC)(link)
О как. Извини, вопрос можно?

А что побудило настолько подробно анализировать именно эту проблему?

предлагаю развить тему :))

[identity profile] tbapb-xl.livejournal.com 2006-04-10 04:39 pm (UTC)(link)
итак классика - что было раньше яйцо или курица.
как найти ответ, если отвергнуть теорию творца который сотворил изначальную курицу или яйцо?

[identity profile] ex-yomen426.livejournal.com 2006-04-10 04:41 pm (UTC)(link)
Я тут погуглил, нашел этот не особо вразумительный диалог, но понравилась одна фраза: "Может ли Всемогущий создать деревянное железо или четырехугольный треугольник?".
Есть также продолжение указанного парадокса: может ли всемогущий и бессмертный Бог убить себя? В Евангелиях об этом говорится.
Д. Андрей Кураев признавал существование несколько иного, но совершенно аналогичного парадокса: Бог не может "поднять камень" свободной человеческой воли. Парадокс есть, но христианство не стремится его преодолеть. Просто признает его неразрешимость, из которой никак не вытекает несуществование Бога. Скорее это просто несовершенство наших определений.
Подобно: невозможность создать непротиворечивые основания математики никак ее (математику) не отменяют.

[identity profile] leyb.livejournal.com 2006-04-10 05:46 pm (UTC)(link)
Классический ответ верующего - "Бог не захочет создавать/поднимать такой камень". Несмотря на бредовость подобного ответа (хе-хе), сам подход несет в себе зерно здравого смысла, так как данная задача попросту некорректна: http://yoshke.livejournal.com/2683.html

[identity profile] eugenebo.livejournal.com 2006-04-10 05:51 pm (UTC)(link)
По-моему, разрешение очевидно. Из Аксиомы №1 (Бог всемогущ) прямо следует, что он это всё сможет. А результирующее противоречие имеет место быть исключительно в наших головах, а не в "реальности" :)

http://tung-sten.no-ip.com/Texts/Thoughts/Omnipotence.htm

[identity profile] benni72.livejournal.com 2006-04-10 05:54 pm (UTC)(link)
"Ничто внутренне противоречивое не входит во всемогущество Бога" (с) Фома Аквинский.

[identity profile] alex-smirnov.livejournal.com 2006-04-10 06:10 pm (UTC)(link)
Можно посмотреть шире: может ли Бог не быть?

[identity profile] eugenebo.livejournal.com 2006-04-10 06:20 pm (UTC)(link)
Если придерживаться аксиомы о том, что Он -- всемогущ, то, очевидно, может :)

[identity profile] trojanlostrun.livejournal.com 2006-04-10 06:46 pm (UTC)(link)
А зачем богу заниматься подобной херней. У него что других дел нет?

[identity profile] psilogic.livejournal.com 2006-04-10 07:03 pm (UTC)(link)
парадоксы - мое хобби :)

Re: предлагаю развить тему :))

[identity profile] psilogic.livejournal.com 2006-04-10 07:03 pm (UTC)(link)
с этим просто: одни яйца были раньше других куриц и наоборот :)

[identity profile] psilogic.livejournal.com 2006-04-10 07:04 pm (UTC)(link)
из парадокса вытекает несуществование всемогущего
а кто такой всемогущий?

[identity profile] psilogic.livejournal.com 2006-04-10 07:08 pm (UTC)(link)
если из аксиомы следует противоречие, то из этого в свою очередь следует отрицание аксиомы
простейший вывод:
A => B & ~B
B & ~B = false (закон исключенного третьего)
A => false
~false => ~A (обращаем импликацию)
true => ~A
true, true => ~A (modus ponens)
~A
Проще говоря, из аксиомы о всемогуществе следует, что бог не всемогущ

[identity profile] psilogic.livejournal.com 2006-04-10 07:09 pm (UTC)(link)
это примерно то, что я писал в начале - что всемогуществоБога ограничено
цитату запомню, пригодится :)

[identity profile] eugenebo.livejournal.com 2006-04-10 07:26 pm (UTC)(link)
...что, однако, в силу первой аксиомы всё равно не помешает ему оставаться одновременно всемогущим :) Рассмотренный парадокс всего лишь показывает, что человек не может корректно помыслить себе всемогущество. Может ли оно, однако, "реально" существовать "в природе", независимо от нашей способности понять его -- вопрос по-прежнему открытый :)

[identity profile] eugenebo.livejournal.com 2006-04-10 08:29 pm (UTC)(link)
Впрочем, это я, конечно, ёрничаю. Говоря же серьёзно, из приведённого примера просто видно, что подобная ситуация не может адекватно описываться используемой логикой. Из этого, однако, вроде бы не следует, что: а) не существует какой-либо другой логики, которая позволяла бы конструктивно и с пользой порассуждать о всемогуществе; б) не существует всемогущих природных объектов.

[identity profile] psilogic.livejournal.com 2006-04-10 09:00 pm (UTC)(link)
вопрос не в том, зачем, а в том, может ли

к тому же о целях бога говорить вроде как не полагается? (пути неисповедимы... типа)

[identity profile] psilogic.livejournal.com 2006-04-10 09:06 pm (UTC)(link)
"подобная ситуация не может адекватно описываться используемой логикой"

Ну почему же. Все требования двузначной логики удовлетворены, следовательно, она применима. Вот если бы там были слова не "всемогущ, а "почти всемогущ", тогда пришлось бы думать о нечеткой логике. А если бы были слова "может быть всемогущ" - тогда о теории вероятностей. А там однозначно: всемогущ и все и никаких компромиссов. А бескомпромиссная логика - двузначная.

[identity profile] psilogic.livejournal.com 2006-04-10 09:12 pm (UTC)(link)
По ссылочке увидел парадокс Рассела. Не могу уловить связь между парадоксом Рассела и камнем. :)

Что касается того вашего поста, могу пояснить, в чем загвоздка. Первоначально (в наивной теории множеств) договариваются, что каждое множество характеризуется признаком попадания в него. Причем, признак однозначно отвечает на вопрос, входит/не входит. Другими словами, наличие признака у нечта равносильно утверждению о том, что это нечто есть множество.

Далее делается предположение, что "множество всех множеств, которые не являются элементами самого себя" есть множество. Вот тут и спрятана ошибка. Мы пока не знаем, множество ли оно. Правильнее будет написать так:

"Нечто, куда входят все множеств, которые не являются элементами самого себя, есть множество". Это гипотеза, допущение. Из него начинаем выводить следствия. Приходим к противоречию. Противоречие есть false. Отсюда по modus tollens получаем, что исходная гипотеза неверна, т.е.

"Нечто, куда входят все множеств, которые не являются элементами самого себя, НЕ есть множество"

что и требовалось доказать

а чем это нечто является? Рассел ввел понятие "класс". Нечто, для чего есть критерий принадлежности, но не всегда срабатывающий.

[identity profile] eugenebo.livejournal.com 2006-04-11 03:54 am (UTC)(link)
Э-эээ, у меня тут, похоже, пробел в образовании... Существует список "требований двузначной логики", по которому можно определить, описывается ли ситуация ею?

Но даже из соображений "на пальцах" кажется вот что. Мы ведь не знаем, является ли класс всех вообразимых объектов собственным или нет. Скорее нет :) Значит, мы не можем знать, является ли собственным класс его пересечений с конечным набором каких-либо множеств. Например, множеств объектов познания, каждое из которых удовлетворяет какому-либо требованию применимости выбранной логики. Следовательно, возможно, существуют классы вообразимых объектов, формально удовлетворяющие всем требованиям применимости любой выбранной логики, но по-прежнему несобственные, т.е. слишком большие и эквивалентные "множеству всех множеств". Поскольку, однако, последнее множеством не является, его объекты по-прежнему не будут корректно описываемы никакой строгой логикой, базирующейся на фундаменте теории множеств :)

Из этого, конечно, не следует, что Бог является таким объектом. Но вроде бы следует, что конечный набор свойств описывающих его аксиом может и не гарантировать применимости бинарной логики?

[identity profile] raspad.livejournal.com 2006-04-11 05:44 am (UTC)(link)
> Бог не совсем всемогущ, он не может выполнить действия. Однако он всемогущ по-сравнению со смертными, так как его возможности несопоставимы с возможностями его творений.

Ха. А может ли Бог суициднуться? Тоже нет? А ведь любой человек способен. Или может, Бог это давно сделал? Быть может, сразу после создания мира Бог суициднулся.

P.S. Вы всё токи решили набрать себе кучу читателей, френдя всех пудрят и расфрендивая через некоторое время. А старые френды у вас тоже могут пойти в оборот? :)

[identity profile] trojanlostrun.livejournal.com 2006-04-11 06:26 am (UTC)(link)
Ну ладно.Если не полагается, тогда зачем пытаться выяснить что он может. Если надо верить в бога, тогда в него надо верить,не пытаясь проверить. А если ты в него не веришь, то зачем в этой вере разубеждать других.Многим вера сильно помогает жить.Не покончить с собой, не опуститься, добиться чего то в жизни.

В тему

[identity profile] http://users.livejournal.com/sharper_/ 2006-04-11 06:34 am (UTC)(link)
Как-то именно по этому парадоксу с одним молодым священником спорил. Веровал он искренно и смущал его парадокс (ну что делать, электронщиком он в миру был:) Пришлось научить, как от сомнений избавляться и верующих залечивать:) Сошлись на том, что вопрос, конечно, не от диавола послан, но по-попустительству господню в головы сия мирян крамола проникает. И делит на верующих и неверующих. Первые и вопрос этот задавать не должны, ибо не дело это всуе бога и его свойства поминать, а верить и молиться дело их.
А, вторые, неверующие, на то и есть, чтобы собственные слабости к всевышнему примерять:) Не страшно, Господь всех любит, глядишь, от неразрешимости часть и уверует.:)
А парадокс сей разрешается просто - и всемогущ ОН и всесилен, но неодновременно, а волею своей.:)
Что же делать, если принцип неопределенности вместе с миром создан был:)

простой вывод -

[identity profile] alisarin.livejournal.com 2006-04-11 07:11 am (UTC)(link)
- принципы религиозных доктрин относятся к классу интуитивных высказываний, относительно качества которых можно сказать, что они являются примером здравосмысленной интуиции.

Подобные высказывания допускают применение к ним ограниченного числа претензий ...
Собственно не требуется доказывать абсурдность религиозных догм, как просто требуется определение "объема претензий", на которые они "рассчитаны". :))

Re: простой вывод -

[identity profile] psilogic.livejournal.com 2006-04-11 07:27 am (UTC)(link)
они являются примером здравосмысленной интуиции

а почему не больномысленной? :)

Page 1 of 6