Tvångslogik

Tvångslogik är ett begrepp som populariserats av matematikern Raymond Smullyan , där en person som har gått med på att besvara en fråga sanningsenligt tvingas utföra en oönskad handling, där att inte göra det skulle innebära att bryta sin överenskommelse. Smullyan presenterar konceptet som en fråga:

Anta att jag erbjuder dig en miljon dollar för att svara sanningsenligt på en ja/nej-fråga , skulle du acceptera erbjudandet? Om så är fallet borde du inte göra det, för jag skulle då fråga: Kommer du antingen svara nej på denna fråga eller betala mig två miljoner dollar? Det enda sättet du kan svara ärligt är genom att svara ja och sedan betala mig två miljoner dollar.

Smullyans fråga frågar läsaren om åtminstone ett av de två alternativen är sant:

1. De kommer sanningsenligt att svara nej på hans fråga.
2. De kommer att betala honom två miljoner dollar.

Läsaren kan inte sanningsenligt ge svaret nej , eftersom det skulle vara att hävda att båda påståendena var falska ("nej, mitt svar är inte nej" och "nej, jag kommer inte att betala dig två miljoner dollar") . Den första av dessa är ett självmotsägande uttalande.

Om läsaren svarar ja , kan de inte säga att "kommer att svara nej" är sant (eftersom de inte svarade nej ), så måste påstå att "kommer att betala två miljoner dollar" är sant. Därför måste de ge Smullyan två miljoner dollar.

Smullyan krediterar namnet på processen till sin svärson Jack Kotik.