Вор-релятивист

May 22, 2007 16:47

- Алик, который час ( Read more... )

Рассуждения

Leave a comment

Крайне важное yurvor May 24 2007, 02:19:31 UTC
Я тут подумал ещё, и вот что придумал.

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

Вам, вероятно, знакомо имя Гёделя. И его теорема, которая гласит, что любая аксиоматическая система либо противоречива, либо не полна. Именно это и происходит постоянно с защитниками "прав человека". Они либо просто постулируют, типа, "права человека должны быть", но не разъясняют, как. Т.е. попадают на неполноту. Либо начинают разъяснять, и тогда явно проступают противоречия, которые либо замалчиваются, либо решаются пристрастно, в одну сторону.

Т.е. из любого правила, из любой аксиомы исключения неизбежны. Как разбираться с исключениями - вопрос забавный. Но в конце концов всё упирается в человеческую волю, т.е. волюнтаризм. Не обойти никак. Такие дела.

Да, большое спасибо Вам за то, что вынудили меня подумать и сформулировать свою точку зрения.

Reply

Re: Крайне важное buddha239 May 24 2007, 05:23:35 UTC
Как-то вы больно нетрадиционно теорему Геделя толкуете.:) Не думаю, что она актуальна в вопросе прав человека.:)

Reply

Re: Крайне важное yurvor May 24 2007, 12:46:48 UTC
Она актуальна при любом формальном (аксиоматическом) подходе/описании. Чем "права человека" особенные, я не очень понимаю.

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

Reply

Re: Крайне важное buddha239 May 24 2007, 15:51:55 UTC
Будем уточнять?:) У Геделя - не ЛЮБАЯ аксиоматическая система; только содержащая арифметику. Далее, отличие матлогики от прав человека как минимум в том, что в логике можно спокойно сделать 1000 логических переходов (и это реально используется в доказательстве!), а в "жизни" каждое рассуждение верно только для "большинства случаях"; соответственно, после десятка логических переходов полны бред получиться может.

Reply

Re: Крайне важное yurvor May 24 2007, 16:27:15 UTC
В том-то всё и дело, что Михаил не делает оговорок о "большинстве случаев"! Это и есть аксиоматический подход. Конечно, как только влезает статистика, всякая аксиоматика улетает нафиг :) Я вот всё пытаюсь показать, что при аксиоматических подходах на практике время от времени получается всякий бред - а мне не верят :))

А насчёт арифметики - ну так добавьте к правам человека арифметику и считайте :)

Reply

Re: Крайне важное buddha239 May 25 2007, 05:18:24 UTC
Есть маленькая разница.:) Теорема Геделя к аксиоматике КОНЕЧНЫХ объектов неприменима В ПРИНЦИПЕ. Если Вы думаете, что добавив к (конечному!) человечеству арифметику Вы непринципиально измените картину, Вы в корне ошибаетесь. Кстати, арифметика - это не совсем то, чему учат в школе :) (не в смысле сложности - просто совсем другой тип объектов).

Reply

Re: Крайне важное yurvor May 25 2007, 15:57:59 UTC
Насчёт конечных объектов - не понял. Мы обсуждаем не множество человеков _в_данный_момент_, а множество ситуаций, прошлых, актуальных и _будущих_. И это множество - бесконечно, между прочим. Просто потому, что будущее время - бесконечно.

Reply

Re: Крайне важное buddha239 May 25 2007, 17:31:57 UTC
"будущее время - бесконечно" - докажите.:) Вы уверены, что человечество будет существовать бесконечно долго?:)

Reply

Re: Крайне важное yurvor May 25 2007, 18:06:38 UTC
Мы вполне можем это предположить без потери общности - мы всё равно этого не знаем :) Если угодно, то это равносильно просьбе доказать, что бесконечные множества существуют :))

Reply

Re: Крайне важное buddha239 May 25 2007, 19:21:09 UTC
Зря Вы логику всуе употребляете. Где Вы тут равносильность увидели? Не говоря уже о том, что существование бесконечных множеств зависит от аксиоматики.

Я думаю, что mike67 вполне удовольствовался бы аксиоматикой прав человека, которая бы работала всего 100 миллиардов лет.:)

Reply

Re: Крайне важное yurvor May 25 2007, 20:09:07 UTC
Гы. У Вас даже существование не такое, как у всех. Аксиомы - это то, что мы придумали. Ваше "существует" означает "можем ли мы придумать". Я же говорю совсем о другом существовании - том, которое дано нам в ощущениях :)

Он бы довольствовался бы, конечно. Но гарантий на будущее ни у кого нет. Суть моих рассуждений состоит в том, что в принципе может встретиться такой факт, который не вкладывается. А раз он в принципе может встретиться, а гарантии на будущее у нас нет, то мы вынуждены подозревать такое в каждом факте, который нам встречается. Я говорю ровно про это - не считать "аксиомы" абсолютными и наперёд заданными, а подвергать их выполняемость проверке - и чем чаще, тем лучше.

Reply

Re: Крайне важное mike67 May 26 2007, 00:41:45 UTC
Да, вполне.

Reply

Re: Крайне важное igorzhukov May 24 2007, 16:52:46 UTC
А народ ее давно так трактует. Как было написано на стенде кафедры по другому поводу, "теорема давно уже утратила математическое содержание, зато ясно виден ее философский смысл". ;)

В общем, есть некая народная "теорема Геделя", и с этим пора смириться...

Reply

Re: Крайне важное mike67 May 24 2007, 23:50:23 UTC
Народная "теорема Геделя" формулируется еще проще: "ни фига ты не докажешь". Широко используется в качестве аргументации.

Reply

Re: Крайне важное yurvor May 25 2007, 16:00:46 UTC
Отлично, кстати.

Я вот когда понял, что в каких-то случаях "нифига не могу доказать" очевидное, а в каких-то могу, начал разбираться, да в чём же дело-то! И как же всё-таки доказать тогда, когда "нифига не доказать".

Не хотите сами задуматься?

Reply

Re: Крайне важное mike67 May 26 2007, 00:35:49 UTC
Большинство очевидных вещей доказать невозможно. Это ставит их существование под некоторое сомнение.
Но неочевидные вещи находятся под еще большим сомнением.

Reply


Leave a comment

Up