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

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

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

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

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

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

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

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

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

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

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

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

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

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

Re: В тему

[identity profile] psilogic.livejournal.com 2006-04-11 07:28 am (UTC)(link)
если неодновременно, то не всемогущ, когда всесилен, а значит не всегда всемогущ

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

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

Что такое "здравый смысл" есть у меня такое нудное рассуждение:
http://nounivers.narod.ru/ofir/csens.htm

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

Даже много списков - смотря по тому, какой вариант двузначной логики применяется. Все варианты аксиоматизирваны явно или неявно. Например, булева алгебра при интерпретции ее величин как истинности/ложности высказываний неявно предполагает, что все рассматриваемые высказывания всегда либо истинны, либо ложны, но не то и другое вместе, и не в промежуточных состояниях. Иначе просто интерпретация не получится.

По поводу дальнейшего: всякое конечное множество несобственное, так что пересечение с ним тоже будет конечным и несобственным :P

[identity profile] psilogic.livejournal.com 2006-04-11 07:40 am (UTC)(link)
Быть может, сразу после создания мира Бог суициднулся.

Да, есть и такой вариант...

А старые френды у вас тоже могут пойти в оборот?

Однозначно нет. Скорее наоборот: некоторые из тех, кого я нафрендил автоматом, как оказалось, сами пишут в своих ЖЖ интересные вещи, так что перейдут в разряд постоянных френдов.

[identity profile] psilogic.livejournal.com 2006-04-11 07:41 am (UTC)(link)
Если не полагается, тогда зачем пытаться выяснить что он может.

Ну всяким безбожникам то не возбраняется :)

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

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

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

[identity profile] alisarin.livejournal.com 2006-04-11 08:03 am (UTC)(link)
дикари выживают ... от наук далеки ..., тем не менее им свойственен некий полезный опыт ... в смысле когнитивной классификации эта сфера опыта требует выделения собственной ниши, что и делает научный объективизм, вводя норму "здравый смысл" ...

Я просто против смешения проблемы "рациональности знания" с его "функциональностью". Здесь же было одно замечание, религия, автор просто не доразвил мысль, и в когнитивном смысле в некоторой мере ... функциональна. Ну как не бывает ... :)

[identity profile] eugenebo.livejournal.com 2006-04-11 10:37 am (UTC)(link)
Мда... Во-первых, видимо, в силу необщепринятости терминов в этой области у нас возникло явное непонимание. В привычных мне терминах "несобственным классом" является как раз такой класс, который может входить в себя как элемент. Например, "множество" всех множеств. Очевидно тогда, что "всякое конечное множество несобственное" не есть true. Контрпример: пустое множество.

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

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

Ясно, что из самой по себе аксиомы "Q всемогущ" противоречие ещё не следует. Чтобы его получить, требуется втянуть в игру многие "бытовые" понятия, например, что "могущество" подразумевает способность "делать" какие-то "дела". И даже из этого максимум, что можно "выжать", это что для любого "дела" X Q может сделать как X, так и ~X. Противоречие возникает лишь тогда, когда мы осознаём X и ~X как несовместные друг с другом или с аксиомой.

То есть хочется думать, что противоречие обусловлено не столько булевой логикой, сколько неявно привнесёнными нашей интуицией дополнительными высказываниями о свойствах таких понятий как "делать" и т.п. То есть виновата всё-таки логика, но понимаемая шире как "двузначная логика плюс ещё элементы бытовой интуиции (возможно даже, не двузначной; от это штуки всего можно ожидать)".

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

Другой вопрос: означает ли это противоречие, что всемогущие существа не могут "физически" существовать? Вероятно, нет. Это было бы сродни утверждению папуаса, умеющего считать лишь до 10, о несуществовании пальм с 11-ю бананами в силу отсутствия у него описывающих это мысленных конструкций :))

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

Мне кажется, противоречие обусловлено в 1 очередь аксиомой повышенной хреновости :)

Аналогии (с папуасами) лгут. Чтобы папуас смог утверждать про 11 бананов, у него должно появиться такое понятие как "11". Понятие "всемогущий" у папуасов есть, и смысл вполне определен.

[identity profile] psilogic.livejournal.com 2006-04-11 11:31 am (UTC)(link)
Xочу добавить, что если введено некое словесное понятие "всемогущ", то человек, произносящий это слово, должен, как минимум, понимать, о чем он говорит, представлять, как это выглядит, как это должно проявляться. Если же он не может представить, значит, он говорит бессмыслицу.

Скажем, представить себе существо, которое может и по воде ходить, и слепца излечить, и воскреснуть - наверное, при достаточной фантазии можно. А вот представить себе существо, которое может сделать все, что ни скажешь, похоже, невозможно. Сказать то можно и бессмыслицу.

Тут парадокс можно упростить еще.
Например, некто спрашивает:
- Может ли Бог сделать мыхмыбр?
Законный вопрос:
- А что такое мыхмыбр?
- Не скажу (не знаю, не дано понять)
- Тогда как я тебе отвечу?

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

[identity profile] benni72.livejournal.com 2006-04-11 01:05 pm (UTC)(link)
Я не могу (и даже Фейнман не мог) представить себе многих эффектов квантовой механики. Значит ли это, что она бессмысленна?

[identity profile] psilogic.livejournal.com 2006-04-11 01:24 pm (UTC)(link)
Фейнман кокетничал. Эффекты к.м. нельзя представить через мысленные манипуляции с привычными объектами. Но эффекты к.м. можно рассчитать математически, после чего получим предсказания конкретных показаний приборов. А показания приборов - движение стрелок, линии на осциллографах - легко себе представить. Как и взрыв атомной бомбы, и гудение ядреного реактора.

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

[identity profile] kelavrik-0.livejournal.com 2006-04-11 02:03 pm (UTC)(link)
Кстати. С точки зрения СТЭ, сначало яйцо. Ведь мутации то в половых клетках. (При всём разнообразии критериев о границе между курами и не курами)

На самом деле решений много

[identity profile] kelavrik-0.livejournal.com 2006-04-11 02:11 pm (UTC)(link)
На самом деле решений много, но не на все согласны верующие. Так, можно рассмотреть понятие всё, оно же неопределённое. Можно ограничить его настоящим, а над прошлым и боги не властны, как говорили древние греки.

[identity profile] eugenebo.livejournal.com 2006-04-11 04:29 pm (UTC)(link)
...но вполне возможно, что у папуаса вместо "11" используется понятие "бесконечность". Как и вместо "12". Что, очевидно, вызовет противоречия, т.к. у него получается, что 11=12 :)

Ну а мы, возможно, всё ещё находимся на уровне развития папуаса в отношении понимания всемогущества.

[identity profile] eugenebo.livejournal.com 2006-04-11 04:43 pm (UTC)(link)
По-моему, как раз-таки понятие "всемогущ" определяется до предела просто и ясно. "Всемогущ" -- это такой, что отвечает "да" на вопрос "может ли сделать X?", где вместо X можно подставить что угодно. В том числе и мыхымбыр :)

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

Мысленный эксперимент №1. Экспериментатор общается с Богом 1 минуту и 100%-но, без тени сомнений, убеждается, что Тот -- всемогущ :)

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

Собственно, что далеко ходить? Вот логика, описывающая всемогущество:

Аксиома: "Господь всемогущ"

Правило вывода: отвечать "да" на вопрос "может ли Бог сделать X?".

Грамматика: X -- любое

Никаких других элементов алфавита, аксиом, правил вывода и грамматических правил в ней нет. По-моему, непротиворечиво по построению? :))

[identity profile] psilogic.livejournal.com 2006-04-11 06:05 pm (UTC)(link)
А чего это у вас папуас такой тупой, что распространяет операцию сравнения на бесконечности? ;)

[identity profile] psilogic.livejournal.com 2006-04-11 06:11 pm (UTC)(link)
По-моему, как раз-таки понятие "всемогущ" определяется до предела просто и ясно. "Всемогущ" -- это такой, что отвечает "да" на вопрос "может ли сделать X?"

Ну значит не всемогущ, так как чего-то не может.

Проблемы не с термином "всемогущ" а с сочетанием "всемогущ"+"невсемогущ".

Но с равным успехом их можно объяснить и несовершенством бытовых представлений о понятиях "делать" и т.п.

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

По-моему, непротиворечиво по построению?

Для противоречивости нужно операция отрицание или другой метод получения опровержения.
Аксиоматика то бедная получается: ради одного утверждения придется жертвовать кучей других способов рассуждений. Даже фанатики христиане на это не идут, пытаются еще рассуждать "тварь я дрожащая или право имею" :)

[identity profile] eugenebo.livejournal.com 2006-04-11 06:30 pm (UTC)(link)
Да, проблемы с сочетанием "всемогущ" + "невсемогущ" имеются. И аксиоматика убогая, да. Из чего, правда, вроде бы не следует, что нельзя построить менее убогую.

Я же не спорю, что возникает противоречие. Я не согласен с тем, что из этого противоречия выводится несуществование всемогущего Господа.

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

[identity profile] trojanlostrun.livejournal.com 2006-04-12 01:57 am (UTC)(link)
А если они безбожники, то какое им дело вообще до бога? Повыёбываться? Тогда нахуй их всех. Это не их дело.:)

разделение на онтологию и гносеологию

[identity profile] alisarin.livejournal.com 2006-04-12 06:24 am (UTC)(link)
Если же говорить о Едином Б-ге, то вопрос попросту некорректен, ибо исходит из неверной предпосылки раздельного существования Б-га и камня.

Все точно, все верно в Ареопагитовом смысле, об онтологии действительности "бог" мы не говорим.

А говорим мы о другом - о гносеологии понятия "бог". Ну откуда вязлось это понятие (возможно, сконструированное без ссылки на объект, хотя бы рефлексивный; ведь и рефлексивное познание "бога",
подобно познанию "Евклидова треугольника", все равно невозможно.

[identity profile] psilogic.livejournal.com 2006-04-12 07:29 am (UTC)(link)
Из чего, правда, вроде бы не следует, что нельзя построить менее убогую.

Ну вот когда свинья опоросится, тогда и будем говорить о цене за поросят ;)

Я же не спорю, что возникает противоречие. Я не согласен с тем, что из этого противоречия выводится несуществование всемогущего Господа.

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


Раз не можешь помыслить, то о чем разговор? Слова без мыслей - это по определению бред ;)

Re: разделение на онтологию и гносеологию

[identity profile] alisarin.livejournal.com 2006-04-12 08:04 am (UTC)(link)
1. Вы говорите: в отнологическом смысле Б-г всеобъемлющ и пребывает всюду. -

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

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

На основании этих достаточно внятно верифицируемых возможностей я могу говорить об онтологии объекта "стул".

А здесь же мне, строго говоря, неизвестны посылки, ведущие к онтологии объекта "бог", хотя предпосылочная оценка возможна не только для онтологии физических, но и идеальных объектов, например, геометрических фигур ...

"commonsense"

[identity profile] alisarin.livejournal.com 2006-04-12 10:14 am (UTC)(link)
ну мы здесь влетели в несколько проблем - проблему многозначности языка разбирать не будем - взвешивал ли мясник наш язык, не важно :)

А проблемку -

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

стоит пояснить. Во-первых, вся эта теория "наивного сознания" возникла в философии недавно, ее стимулировало развитие антропологии, Леви-Стросс, например, называл представления примитивных людей столь же совершенными, как и наши, хотя это не совсем так. В английском есть слово "commonsense", и в философии весьма уже развита теория о "наивных" (naive) всякого рода представлениях. У Барри Смита есть на английском, а у меня в переводе его текст о "наивной физике" (плохо читается, очень тяжело продираться).

Так что не вижу причин видеть трудности в объяснении сущности "здравый смысл", кроме одной - еще младенческий возраст (достигнуты 100 лет, не достигнуты 100 лет, не знаю) такого представления философии.

Спасибо за лестный отзыв о некоторых опусах ...

материализм-идеализм

[identity profile] alisarin.livejournal.com 2006-04-12 10:29 am (UTC)(link)
Я не зря привязываюсь именно к словам: в своей трехглавой характеристике "плана содержания" Вы игнорируете четвертую голову, возможно, самую важную - творчество. Заметьте, это отличается от "физической активности", которая представляет собой фабрикацию при помощи уже существующих компонентов. Язык же творит, создавая новые сущности - слова и устанавливая связи между ними. Б-гоподобность Адама заключается в его способности давать имена предметам и сущностям. Почему? Да потому что до получения имени (слова) они не существовали вовсе в качестве отдельности - в точности, как и Ваш треугольник.

Даже если вы правы и именно ЯЗЫК является исходным творческим началом, этот процесс наблюдаем, поскольку мы-то не божественны, и по нему мы можем судить об эпистемологии таких представлений. Может ДАЖЕ ТАК говорить откуда они, почему они ...

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

А это и есть отличие материализма и идеализма: в частности, по проблеме НАШИХ рефлексивно полученных идеализмов он думает, что они не транслируются в сферу эмпирической верификации, а это не так. Закон Ома - идеализм, но это эффективно действующий инструмент пропорционального нормирования условий некоторых явлений.

А если я совсем не понимаю о чем идет речь, просьба мне объяснить ... :)

Я просто о том, что и трансцендентное, вступив на дорожку вербальности, подчиняет себя эпистемологическим правилам и это и есть еще один логический способ проверки того же самого трансцендентного ... ну вот такая неприятная штука ... :( :)

Page 2 of 6