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