Lógica coercitiva

La lógica coercitiva es un concepto popularizado por el matemático Raymond Smullyan , según el cual una persona que ha accedido a responder una pregunta con sinceridad se ve obligada a realizar una acción no deseada, ya que no hacerlo implicaría romper su acuerdo. ^{[ 1 ]} Smullyan presenta el concepto como una pregunta:

Supongamos que te ofrezco un millón de dólares por responder con sinceridad a una pregunta de sí o no . ¿Aceptarías la oferta? Si es así, no deberías, porque entonces te preguntaría: ¿Responderás que no a esta pregunta o me pagarás dos millones de dólares? La única forma de responder con sinceridad es respondiendo que sí y luego pagándome dos millones de dólares. ^{[ 2 ]}

La pregunta de Smullyan le pide al lector que determine si al menos una de las dos opciones es verdadera: ^{[ 3 ]}

1. Responderán con sinceridad que no a su pregunta.
2. Le pagarán dos millones de dólares.

El lector no puede responder con sinceridad que no , ya que al hacerlo afirmaría que ambas afirmaciones son falsas: «no, mi respuesta no es no» y «no, no te pagaré dos millones de dólares». La primera de ellas es una afirmación contradictoria.

Si el lector responde que sí , no puede estar afirmando que "responderá sinceramente que no" sea cierto (ya que no respondió que no ). Por lo tanto, debe estar afirmando que "pagará dos millones de dólares" es cierto y, por consiguiente, debe darle a Smullyan dos millones de dólares. ^{[ 3 ]}

Smullyan atribuye a su yerno, Jack Kotik, el nombre del proceso. ^{[ 2 ]}