La paradoja del ahorcamiento inesperado o paradoja de la prueba sorpresa es una paradoja sobre las expectativas de una persona acerca del momento en que se producirá un evento futuro que se le dice que ocurrirá en un momento inesperado. La paradoja se aplica de diversas maneras al ahorcamiento de un prisionero o a una prueba escolar sorpresa. Se presentó por primera vez al público en la columna Mathematical Games de Martin Gardner de marzo de 1963 en la revista Scientific American .
No hay consenso sobre su naturaleza precisa y, en consecuencia, no se ha llegado a un acuerdo sobre una resolución canónica. [1] Los análisis lógicos se centran en los "valores de verdad", por ejemplo, identificándola como una paradoja de autorreferencia. Los estudios epistemológicos de la paradoja, en cambio, se centran en cuestiones relacionadas con el conocimiento ; [2] por ejemplo, una interpretación la reduce a la paradoja de Moore . [3] Algunos la consideran un "problema significativo" para la filosofía. [4]
La paradoja ha sido descrita de la siguiente manera: [5]
Un juez le dice a un preso condenado que será ahorcado al mediodía de un día laborable de la semana siguiente, pero que la ejecución será una sorpresa para el preso. No sabrá el día del ahorcamiento hasta que el verdugo llame a la puerta de su celda al mediodía de ese día.
Tras reflexionar sobre su sentencia, el preso llega a la conclusión de que se librará de la horca. Su razonamiento consta de varias partes. Empieza por concluir que el "ahorcamiento sorpresa" no puede tener lugar el viernes, ya que si no lo han ahorcado el jueves, sólo queda un día, por lo que no será una sorpresa que lo ahorquen el viernes. Como la sentencia del juez estipula que el ahorcamiento sería una sorpresa para él, concluye que no puede tener lugar el viernes.
Entonces razona que el ahorcamiento sorpresa tampoco puede tener lugar el jueves, porque el viernes ya ha sido eliminado y si no lo han ahorcado para el mediodía del miércoles, el ahorcamiento debe tener lugar el jueves, por lo que un ahorcamiento en jueves tampoco es una sorpresa. Por un razonamiento similar, concluye que el ahorcamiento tampoco puede tener lugar el miércoles, el martes o el lunes. Alegremente se retira a su celda confiado en que el ahorcamiento no tendrá lugar en absoluto.
La semana siguiente, el verdugo toca a la puerta del preso el miércoles a mediodía, lo que, a pesar de todo lo anterior, fue una auténtica sorpresa para él. Todo lo que dijo el juez se cumplió.
Otras versiones de la paradoja sustituyen la sentencia de muerte por un simulacro de incendio sorpresa, un examen, un examen sorpresa, el lanzamiento de una prueba A/B , un león detrás de una puerta o una propuesta de matrimonio. [1]
La formulación del anuncio del juez en una lógica formal se ve dificultada por el significado vago de la palabra "sorpresa". [1] Un intento de formulación podría ser:
Dado este anuncio, el prisionero puede deducir que el ahorcamiento no ocurrirá el último día de la semana. Sin embargo, para reproducir la siguiente etapa del argumento, que elimina el penúltimo día de la semana, el prisionero debe argumentar que su capacidad para deducir, a partir del enunciado (A), que el ahorcamiento no ocurrirá el último día, implica que un ahorcamiento en el penúltimo día no sería sorprendente . [1] Pero dado que el significado de "sorprendente" se ha restringido a no deducible a partir del supuesto de que el ahorcamiento ocurrirá durante la semana en lugar de no deducible a partir del enunciado (A) , el argumento está bloqueado. [1]
Esto sugiere que una mejor formulación sería de hecho:
Fitch ha demostrado que esta afirmación todavía puede expresarse en lógica formal. [6] Utilizando una forma equivalente de la paradoja que reduce la duración de la semana a sólo dos días, demostró que si bien la autorreferencia no es ilegítima en todas las circunstancias, lo es en este caso porque la afirmación es autocontradictoria.
Se han propuesto varias formulaciones epistemológicas que muestran que las suposiciones tácitas del prisionero sobre lo que sabrá en el futuro, junto con varias suposiciones plausibles sobre el conocimiento, son inconsistentes.
Chow (1998) [7] ofrece un análisis detallado de una versión de la paradoja en la que se va a producir un ahorcamiento inesperado en uno de dos días. Aplicando el análisis de Chow al caso del ahorcamiento inesperado (de nuevo con la semana acortada a dos días para simplificar), comenzamos con la observación de que el anuncio del juez parece afirmar tres cosas:
Como primer paso, el prisionero razona que un escenario en el que el ahorcamiento ocurre el martes es imposible porque conduce a una contradicción: por un lado, por S3 , el prisionero no podría predecir el ahorcamiento del martes el lunes por la tarde; pero por otro lado, por S1 y un proceso de eliminación, el prisionero podría predecir el ahorcamiento del martes el lunes por la tarde.
El análisis de Chow señala una falla sutil en el razonamiento del prisionero. Lo que es imposible no es un ahorcamiento el martes, sino una situación en la que el ahorcamiento ocurre el martes a pesar de que el prisionero sabe el lunes por la noche que las afirmaciones del juez S1 , S2 y S3 son todas ciertas.
El razonamiento del prisionero, que da lugar a la paradoja, puede despegar porque el prisionero supone tácitamente que el lunes por la noche sabrá (si aún está vivo) que S1 , S2 y S3 son verdaderas. Esta suposición parece injustificada por varios motivos diferentes. Se puede argumentar que el pronunciamiento del juez de que algo es verdad nunca puede ser motivo suficiente para que el prisionero sepa que es verdad. Además, incluso si el prisionero sabe que algo es verdad en el momento presente, factores psicológicos desconocidos pueden borrar este conocimiento en el futuro. Finalmente, Chow sugiere que debido a que la afirmación que se supone que el prisionero "sabe" que es verdadera es una afirmación sobre su incapacidad para "saber" ciertas cosas, hay razones para creer que la paradoja inesperada del ahorcamiento es simplemente una versión más intrincada de la paradoja de Moore . Se puede llegar a una analogía adecuada reduciendo la duración de la semana a solo un día. Entonces la sentencia del juez es: Os ahorcarán mañana, pero no lo sabéis .