Английская Википедия:Coercive logic
Шаблон:Short description Coercive logic is a concept popularised by mathematician Raymond Smullyan, by which a person who has agreed to answer a question truthfully is forced to perform an undesired action, where not doing so would mean breaking their agreement.[1] Smullyan presents the concept as a question:
Smullyan's question is asking the reader whether at least one of the two options is true:[2]
- They will truthfully answer no to his question.
- They will pay him two million dollars.
The reader is unable to truthfully give an answer of no, as doing so would be to assert that both of the statements were false: "no, my answer is not no" and "no, I will not pay you two million dollars". The first of these is a self-contradictory statement.
If the reader answers yes, they cannot be saying that "will truthfully answer no" is true (as they did not answer no), so must be asserting that "will pay two million dollars" is true. Therefore, they must give Smullyan two million dollars.[2]
Smullyan credits the name of the process to his son-in-law Jack Kotik.[3]
References
- ↑ Шаблон:Cite journal
- ↑ 2,0 2,1 Шаблон:Cite web
- ↑ Ошибка цитирования Неверный тег
<ref>; для сносокrosне указан текст
