мой мозг сломался

суббота, 13 марта 2010

00:25

trulyalya

Я никогда не умру, обещанья - мой профиль

Парадокс пьяницы

Этот парадокс формулируется следующим образом:

В любом кабаке существует по крайней мере один человек - такой, что если он пьет, то пьют все.

читать дальшеПри этом рассуждения ведутся следующим образом:

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

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

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

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

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

@темы: то, что я люблю

URL

которая испортилась - начались по новой желтые ветры с ки... Чем дальше в лес, тем больше сюра. :roll: Вчера поздно н... http://www.esu.lt/andrius/10/go.htm Хих...

Страна, говорю, своебразная, так что и духовность у них с... велик соблазн был! мне сегодня в институт позволено было ... Продолжают травить Билла Гейтса. А за что спрашивается ?

Комментарии

13.03.2010 в 02:24

iamar

Но от этого эти люди не становятся счастливее и не живут дольше.

петин кот всегда чихает перед дождем
сегодня петин кот чихнул - будет ли завтра дождь?

то что у тебя описано - оооочень странное.

URL

13.03.2010 в 02:42

trulyalya

Я никогда не умру, обещанья - мой профиль

Это с википедии. Читала там статейку про разные мат. парадоксы. Конкретно этот сломал мой моск

URL

13.03.2010 в 02:52

iamar

Но от этого эти люди не становятся счастливее и не живут дольше.

это плохо для википедии, к сожалению )

URL

13.03.2010 в 03:11

trulyalya

Я никогда не умру, обещанья - мой профиль

что плохо?

URL

13.03.2010 в 03:19

iamar

Но от этого эти люди не становятся счастливее и не живут дольше.

там нет парадокса, совсем.
и то, что пытались в статье показать, показывается простой задачей про Петиного кота, которая примерно в 10 раз короче и понтянее

ты всерьез спрашиваешь?

URL

13.03.2010 в 03:22

trulyalya

Я никогда не умру, обещанья - мой профиль

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

URL

13.03.2010 в 03:23

iamar

Но от этого эти люди не становятся счастливее и не живут дольше.

ок

URL

13.03.2010 в 15:29

а я знаю задачу о пьянице
это откуда то из теорвира вроде...

URL

Добавить комментарий

Расширенная форма

Редактировать

Использовать аватар

Изображения

Подписаться на новые комментарии

Получать уведомления о новых комментариях на E-mail


Запомнить

мой мозг сломался

Перепутье