La lógica coercitiva es un concepto popularizado por el matemático Raymond Smullyan , mediante el cual una persona que ha aceptado responder una pregunta con sinceridad se ve obligada a realizar una acción no deseada, donde no hacerlo supondría romper su acuerdo. [1] Smullyan presenta el concepto como una pregunta:
Supongamos que le ofrezco un millón de dólares por responder sinceramente a una pregunta de sí o no , ¿aceptaría la oferta? Si es así, no debería hacerlo, porque entonces le preguntaría: ¿Contestará no a esta pregunta o me pagará dos millones de dólares? La única manera de responder sinceramente es respondiendo que sí y luego pagándome dos millones de dólares. [2]
La pregunta de Smullyan es preguntarle al lector si al menos una de las dos opciones es cierta: [3]
El lector no puede dar una respuesta sincera de no , ya que hacerlo sería afirmar que ambas afirmaciones eran 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 diciendo que "con sinceridad responderá que no" sea cierto (ya que no respondió que no ), por lo que debe estar afirmando que "pagará dos millones de dólares" es cierto. Por tanto, deben darle a Smullyan dos millones de dólares. [3]
Smullyan atribuye el nombre del proceso a su yerno Jack Kotik. [2]
{{cite journal}}: Citar diario requiere |journal=( ayuda )