psilogic: (Default)
psilogic ([personal profile] psilogic) wrote2010-05-17 10:33 pm
Entry tags:

Еще немного об уловке Ансельма

Вся фишка в доказательстве Ансельма заключена в хитрозавернутой пресуппозиции. Так что добавил в статью про уловку Ансельма параграф о "О пресуппозициях" и пояснил, как оно в данном случае устроено.

Вроде бы любую пресуппозицию можно аккуратно расписать как серию:

A and B and C...

- а ее отрицание по де-Моргану:

not A or not B or not C...

Например:

"Второгодник Вася курит Мальборо" = "Его зовут Вася, и он второгодник, и он курит, и он курит именно Мальборо".

Отрицание:

"Его зовут не Вася, или он не второгодник, или он не курит, или он курит не Мальборо".

В нормальном общении люди пресуппозициями не злоупотребляют, так что лишние "или не" отсекаются законами поглощения. Но, если споришь с софистом, придется бдеть ;)

[identity profile] morfizm.livejournal.com 2010-05-17 07:01 pm (UTC)(link)
Слушай, а ты участвуешь в каких-нибудь конкурсах/соревнованиях по софистике, риторике, и т.п.? If you don't, you must! :)

[identity profile] psilogic.livejournal.com 2010-05-17 07:05 pm (UTC)(link)
Что-то не слышал о таких развлекухах...

[identity profile] morfizm.livejournal.com 2010-05-17 07:29 pm (UTC)(link)
Я тоже. Но хотелось бы!

[identity profile] bsivko.livejournal.com 2010-05-17 07:25 pm (UTC)(link)
>Теперь давайте действовать аккуратнее. Что утверждается во фразе: "самый совершенный объект - ненаблюдаемый"? Во-первых, что рассматриваемый объект - самый совершенный, во-вторых, что он ненаблюдаемый.

Тут ещё есть пресуппозиция: "самый совершенный объект существует"

[identity profile] psilogic.livejournal.com 2010-05-17 07:30 pm (UTC)(link)
Точно.

"Даже безумец в сердце своем может представить себе самое большое натуральное число..." :)

[identity profile] alexey-rom.livejournal.com 2010-05-17 09:45 pm (UTC)(link)
Да, это самая важная часть (по-моему).

[identity profile] trueblacker.livejournal.com 2010-05-18 07:10 am (UTC)(link)
зависит от того, как определять существование

философский Бог

[identity profile] falcao.livejournal.com 2010-05-19 04:32 pm (UTC)(link)
Мне кажется, Вы ищете ошибки, которых нет. Рассуждение можно пересказать современным языком. Его лучше воспринимать не на формально-логическом, а на содержательном уровне.

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

Разумеется, говорить о "наблюдаемости" самого Бога нельзя -- наблюдаем мы лишь Его проявления. Это ведь не "старик на облачке", которого так и не посчастливилось увидеть космонавтам? :)

Re: философский Бог

[personal profile] no1u1w1w6c 2010-05-19 09:03 pm (UTC)(link)
— скажите пожалуйста, этот чайник умеет кипятить воду?
— вы понимаете, это очень хороший чайник, его сделала солидная фирма…
— но скажите, а воду он кипятить умеет?
— смотрите, у этого чайника есть ручка и носик, и крышечка…
— а воду-то, воду он умеет кипятить?
— ну как же вы не понимаете? вот я вам битый час толкую: солидная фирма, носик, крышечка, ручка, корпус…

намёк достаточно прозрачен, надеюсь?

экономический атеизЬм

[identity profile] falcao.livejournal.com 2010-05-19 09:09 pm (UTC)(link)
Ну дык ещё бы не прозрачен? Бабла-то он не даёт -- ни в рублях, ни в баксах, ни даже в падающем евро! Значит, Бога нету, потому что бабло-то должно быть -- как без него? :)

Re: экономический атеизЬм

[personal profile] no1u1w1w6c 2010-05-19 09:22 pm (UTC)(link)
скажите, это у вас такое печальное чувство юмора, или ещё весеннее обострение?

просто я очень плохо понимаю шутки, если не сам их придумал.

бес йумора

[identity profile] falcao.livejournal.com 2010-05-19 09:32 pm (UTC)(link)
К счастью, я сам не люблю "йумор", поэтому если Вы хотите что-то обсуждать на серьёзном уровне -- я только "за".

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

Re: бес йумора

[personal profile] no1u1w1w6c - 2010-05-19 21:55 (UTC) - Expand

Re: теологика :)

[personal profile] no1u1w1w6c - 2010-05-20 16:15 (UTC) - Expand

Re: философский Бог

[identity profile] psilogic.livejournal.com 2010-05-20 03:23 pm (UTC)(link)
Я не в курсе, что за философский бог такой

Докинз о религиозности

[identity profile] falcao.livejournal.com 2010-05-20 04:20 pm (UTC)(link)
Если Вы просто не в курсе, что есть такой термин, то это не страшно. Но если Вам не знакома сама идея, то понять рассуждение Ансельма Кентерберийского у Вас не было никаких шансов. Там вся суть в том, как он из "слабой" теологической гипотезы пытается вывести более "сильную". Рассчитано это рассуждение только на того, кто в "слабой" форме (то есть в форме того, что я назвал "философским богом") эту идею уже принял. То есть само это положение там присутствует в виде "аксиомы"; оно вообще не доказывается. Не удивительно, что для того, кто саму идею не принимает, вывод получается тривиальный (существует или не существует).

Я сошлюсь на любимого Вами мистера Докинза -- на первую главу его атеистического сочинения "Бог как иллюзия". Он приводит два высказывания Эйнштейна:

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

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

Далее Докинз говорит уже от себя:

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

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

колбаса из туалетной бумаги

[identity profile] psilogic.livejournal.com 2010-05-20 04:53 pm (UTC)(link)
Бога Спинозы - это как колбаса, на 100% сделанная из туалетной бумаги - одно название.

Эйештейн не понял действительности :)

[identity profile] falcao.livejournal.com 2010-05-20 05:09 pm (UTC)(link)
Ну да, конечно! Эйнштейн был "отсталый", верил во всякую чепуху. То ли дело Китайгородский -- этот всё "прозрел", и верил только в НАУКУ. ТИТАН.

(no subject)

[identity profile] psilogic.livejournal.com - 2010-05-20 18:57 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2010-05-21 06:28 (UTC) - Expand

[personal profile] no1u1w1w6c 2010-05-19 09:04 pm (UTC)(link)
хи. урок булевой алгебры для самых маленьких и прочих манагеров? %-)

[identity profile] psilogic.livejournal.com 2010-05-20 03:33 pm (UTC)(link)
Местами да :)

[identity profile] ritovita.livejournal.com 2010-05-21 04:03 am (UTC)(link)
"В нашем уме есть понятие о существе совершеннее бога. Даже христианин способен представить такое сверхсовершенное существо, хотя и будет отрицать его присутствие в реальном мире. Но, если существо не присутствует в реальном мире, то по этой самой причине оно менее совершенно, чем бог, который в нем присутствует (как было доказано выше). Возникает противоречие, из чего можно сделать вывод, что сверхбог существует!"

Это рассуждение могло бы быть верным, если бы не одно но. В нашем уме не может быть понятия о существе совершеннее бога. Поскольку по Ансельму (а не по Докинзу) Бог - "то, больше чего ничто не мыслимо" ("id, que majus cogitari nequit"). Т.е. если вы мыслите нечто большее "бога", то этот "бог" не Бог.

[identity profile] psilogic.livejournal.com 2010-05-21 06:18 am (UTC)(link)
Я просто следую манере товарища Ансельма: он голословно полагает, что можно представить себе самого совершенного, я голословно полагаю, что можно представить себе еще "более самого" :)

[identity profile] ritovita.livejournal.com 2010-05-21 06:47 am (UTC)(link)
Вы можете представить ещё более совершенный круг, чем совершенный круг или более совершенную прямую, чем совершенная прямая?

[identity profile] psilogic.livejournal.com 2010-05-21 07:28 am (UTC)(link)
А могу ли я представить совершенный круг?

[identity profile] ritovita.livejournal.com 2010-05-21 08:36 am (UTC)(link)
А почему нет? Я могу.

(no subject)

[identity profile] psilogic.livejournal.com - 2010-05-21 08:58 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-05-21 09:13 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2010-05-21 09:37 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-05-21 09:57 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-05-24 13:49 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-05-26 11:36 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-05-26 11:38 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-05-26 14:00 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-05-26 14:03 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-05-26 14:35 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-05-26 14:36 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-05-28 07:59 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-05-28 09:12 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-05-28 09:56 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-05-28 10:36 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-05-28 11:08 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-05-28 11:41 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-05-28 13:07 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-05-28 13:50 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-05-28 15:01 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-05-28 15:55 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-05-30 12:20 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-05-30 17:31 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-05-31 06:48 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-05-31 07:40 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-05-31 08:50 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-05-31 09:42 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-05-31 10:28 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-05-31 11:40 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-05-31 16:48 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-05-31 17:02 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-06-01 07:51 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-06-01 07:56 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-06-01 09:26 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-06-01 09:33 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-06-01 09:52 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-06-01 10:40 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-06-01 12:02 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-06-01 12:27 (UTC) - Expand

(no subject)

[identity profile] ritovita.livejournal.com - 2010-06-01 12:46 (UTC) - Expand

(no subject)

[identity profile] bsivko.livejournal.com - 2010-06-01 12:54 (UTC) - Expand
(deleted comment)

[identity profile] psilogic.livejournal.com 2010-05-27 08:09 am (UTC)(link)
Начать следовало бы с определения: творение - это когда нечто не существовало (в природе), а потом существует (тоже в природе), благодаря усилиям творца.

Шаг 1: Существующее уже существует, а потому продолжение существования не является творением.

Ну да - продолжение существования не доказывает творение, хотя и не отрицает возможность (не существовало -> было сотворено и стало существующим).

Шаг 2: Несуществующее тоже не является творением.

Тоже да - хотя и здесь остается возможность творения: не существовало -> было сотворено и стало существующим -> что-то случилось, и более не существует.

Шаг 3: Наконец-то вводится нормальное определение (подобное тому, что я дал в начале): "Может, он делает несуществующее существующим?"

Шаг 4: Этот вариант отвергается на основе каких-то поэтических разглагольствований про свет и тьму. Нарушение закона достаточного основания.

Шаг 5: Задается вопрос: когда Творец занялся творением - до того, как сам стал существующим (1) или опосля (2)? Для второго варианта рассматриваются подвопросы: 2.1 - сотворил себя сам, 2.2 - кто-то его сотворил, 2.3 - комбинация 2.1+2.2. Все варианты отвергаются на основе аналогий с рождением детей. Аналогия методом доказательства не является, так что и здесь нарушение закона достаточного основания.