Принудительная логика
Принудительная логика — это концепция, популяризированная математиком Рэймондом Смалльяном , согласно которой человек, согласившийся ответить на вопрос правдиво, вынужден выполнить нежелательное действие, невыполнение которого означало бы нарушение соглашения. [1] Смуллян представляет эту концепцию как вопрос:
Предположим, я предлагаю вам миллион долларов за правдивый ответ на вопрос «да/нет». Примите ли вы это предложение? Если да, то не следует этого делать, потому что тогда я бы спросил: вы либо ответите «нет» на этот вопрос, либо заплатите мне два миллиона долларов? Единственный способ ответить правдиво — это ответить «да» , а затем заплатить мне два миллиона долларов. [2]
Вопрос Смулляна заключается в том, чтобы спросить читателя, верен ли хотя бы один из двух вариантов: [3]
- На его вопрос они честно ответят «нет» .
- Ему заплатят два миллиона долларов.
Читатель не может правдиво ответить « нет », поскольку это означало бы утверждение, что оба утверждения были ложными: «нет, мой ответ не нет» и «нет, я не заплачу вам два миллиона долларов». Первое из них является противоречивым утверждением.
Если читатель ответит «да» , он не может сказать, что «правдиво ответит «нет»» верно (поскольку он не ответил «нет» ), поэтому следует утверждать, что «заплатит два миллиона долларов» является правдой. Поэтому они должны дать Смалляну два миллиона долларов. [3]
Смуллян приписывает название этого процесса своему зятю Джеку Котику. [2]
Ссылки
[ редактировать ]- ^ «Вестник символической логики» . Ассоциация символической логики. 2009 . Проверено 3 марта 2020 г.
{{cite journal}}: Для цитирования журнала требуется|journal=( помощь ) - ^ Перейти обратно: а б Смуллян, Раймонд М. (2012). Загадка Шахерезады: и другие удивительные загадки, древние и современные . Издательская группа Кнопфа Doubleday. ISBN 978-0-307-81983-3 . Проверено 3 марта 2020 г.
- ^ Перейти обратно: а б Розенхаус, Дж. «Принудительная логика» . scienceblogs.com . Проверено 3 марта 2020 г.