boldachev (boldachev) wrote,
boldachev
boldachev

Category:

Парадокс мэров

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

В наиболее простом варианте парадокс звучит так:
«Мэры всех городов должны жить не в своем городе, а в специальном Городе мэров». 
Где должен жить мэр Города мэров?
Итак, идем по отработанной схеме: у нас есть множество мэров (включающее в себя и мэра города мэров) и есть два предиката "жить в своем городе" (С) и "жить в городе мэров" (М). Задавая вопрос о месте жительства мэра города мэров, то есть спрашивая какой их двух предикатов следует  приписать этому мэру, нам указывается, что все множество М однозначно разбивается на два подмножества, то есть предикаты С и М являются контрадикторно противоположными (есть отрицание друг друга). На самом деле они таковыми не являются, что и приводит к парадоксу. То есть в случае с множеством всех мэров "не жить в своем городе" не тождественно "жить в городе мэров" - противоположными предикаты С и М являются только на множестве "все мэры минус мэр города мэров".
Tags: логика
Subscribe

  • Истина и истинность

    Итак, прикрепление ярлычка «истина» к высказыванию происходит в момент изменения Понимания, когда скачок Понимания связывается нами с…

  • От блаженного к мудрому

    Согласованность картины мира по разному реализуется на разных уровнях: блаженный - установки не вербализуются и поэтому не могут вступать в…

  • Про интеллект

    Фрагменты обсуждения в ЖЖ serge_gorshkov в записях Логика, искусственный интеллект и договороспособность умных людей и Искусственный…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 11 comments

  • Истина и истинность

    Итак, прикрепление ярлычка «истина» к высказыванию происходит в момент изменения Понимания, когда скачок Понимания связывается нами с…

  • От блаженного к мудрому

    Согласованность картины мира по разному реализуется на разных уровнях: блаженный - установки не вербализуются и поэтому не могут вступать в…

  • Про интеллект

    Фрагменты обсуждения в ЖЖ serge_gorshkov в записях Логика, искусственный интеллект и договороспособность умных людей и Искусственный…