La paradoja de Newcomb (y 3)
Hemos dicho varias veces en este blog que las verdaderas paradojas no existen. Es gratificante pensar que siempre debe existir una explicación de porqué un aparentemente correcto razonamiento nos lleva a dos conclusiones contradictorias. Y es gratificante porque en caso contrario, existe un teorema que afirma que si en un sistema axiomático pueden ser demostradas dos proposiciones contradictorias, entonces puede ser demostrada cualquier afirmación. Lo cual es lo mismo que decir que el sistema no vale un pimiento.Lo que no suele ser tan fácil es encontrar el error en las líneas argumentales. En el caso que nos ocupa, creo que parte de la solución ha sido dada en los comentarios de los post anteriores. Vayamos por partes: estamos hablando de lógica, no de teoría de la decisión.
¿Qué sucede cuando una fuerza irresistible se enfrenta a un cuerpo inamovible?
¿Puede Dios crear una piedra tan pesada que él mismo no la pueda levantar ?
Parece mentira, pero preguntas idiotas como éstas han entretenido ( y preocupado) a mentes de todas las épocas. Hubo una época en la que los intelectuales se preocupaban del sexo de los ángeles.
El nudo gordiano que plantean ambas preguntas se resuelve de la misma manera que Alejandro resolvió el nudo gordiano original: a golpes. Si existiera una fuerza irresistible (una fuerza frente a la cual nada se resistiera), entonces no podría existir cuerpo alguno que fuera inamovible. La lógica no trata de las cosas existentes en nuestro universo, por lo tanto no existe ninguna contradicción lógica en la existencia de una fuerza irresistible, ni tampoco en contra de la existencia de un cuerpo inamovible. Lo que es una contradicción lógica es la existencia simultánea de ambas cosas, pues la mera existencia de una de ellas implica la necesidad lógica de que la otra sea inexistente. La pregunta no se resuelve respondiéndola: se resuelve rechazándola.
A mi me parece que en este caso ocurre lo mismo. No veo ninguna imposibilidad lógica en la existencia de un predictor de nuestro comportamiento. (Entiéndaseme bien: no creo que tal cosa exista, pero por imposibilidades factuales, no de orden lógico). Lo que sucede es que si tal predictor existiera, incluso como posibilidad), esto implica lógicamente que nuestra decisión no es tal, que está prefijada, y que no tenemos libertad en absoluto para decidir. Podemos tener la ilusión de que elegimos, pero no es más que una ilusión.
Si el predictor existe y es infalible, estamos sentenciados. Si no es tal, y su predicción ha sido hecha por un procedimiento de cara y cruz, por ejemplo, debemos tomar la decisión que nos asegure los mil euros (tomar ambas cajas). En los casos intermedios, en los que X es simplemente un buen psicólogo que afina bastante, cuanto más afine menos libres somos para decidir. La teoría de la decisión se ve en aprietos porque la propia decisión se ve comprometida.
Decía en un comentario anterior que es mi solución al problema . Estoy dispuesto a variarla si se me presenta algo mejor.
Que tengan mis lectores un buen fin de semana.
ACTUALIZACION
En la wikipedia he encontrado una buena referencia de lo que aquí se ha tratado, aquí.
25 comentarios
Panic -
Asigan -
TioPetros -
PD: No seguir este simple consejo me ha traído no pocos problemas a lo largo de toda mi vida, por lo que confraternizo completamente contigo. ;-)
Asigan -
Puedes escojer entre llevarte ambas o llevarte la C2, no la C1.
En el primer caso te llevas mil euros y tal vez un millón, en el segundo nada o tal vez un millón.(Si es un poco falible, en el caso infalible, sigue siendo mejor la C2)
En el caso de que escoja C2, la mayor parte d elas veces se llevará un millón. Si elijes llevarte las dos, efectivamente, la mayor parte de las veces te llevarás solo mil. Tienes razón.
Asigan -
Goyo -
Imagina que el juego tiene lugar muchas veces con diferentes decisores. Algunos elegirán una caja y otros las dos. Veremos como en general los que se llevan una sola ganan mucho más que los otros (de lo contrario no se estaría cumpliendo el enunciado). ¿Qué sentido tiene afirmar que los que ganan menos son los que toman la mejor decisión? Yo diría que son los que ganan más los que toman la decisión correcta.
No se trata de que que la decisión está determinada, siquiera parcialmente, por la predicción, sino que existe una correlación entre la predicción y la decisión y no está en nuestra mano modificarla.
Argumentar que haya lo que haya es mejor tomar ambas cajas implica una petición de principio: que la correlación entre la predicción y la decisión puede depender de la estrategia del jugador. Y eso contradice el enunciado.
Carl Philip -
Arthur -
es una pregunta naif, pero seguro a que todos no gustaría tener idea de si existe algún premio instaurado, o algo así. :))
Asigan -
Asigan -
Lo que yo mostraba es mi propia extrañeza de que se asuma la incompatibilidad entre el predictor y el elector, algo en lo que, al parecer, coincidimos.
Granrabo -
Igualmente, me sigue resultando extraña la explicación de Tio Petros: El argumento es demostrar que son incompatibles el predictor y el "concursante", pero yo no veo que problema hay en que la decisión sea aparente. Incluso desde un punto de vista determinista, es que tendría que ser así: si el predictor tiene suficientes datos puede predecir la conducta sin errores y el concursante eligirá aparentemente. Y la paradoja se mantiene, porque tendremos que tomar una decisión, aunque esté determinada. Vamos, yo soy determinista y no por ello dejo de tomar decisiones xD. Incluso creo que aún sin ser determinista, no hay ningún problema en admitir la coexistencia de los dos factores.
Alvaro -
Algo asi diria Emmet Brown :)
Asigan -
No puede decirse que un razonamiento, con la ponderación de las condiciones y la elección de la alternativa más productiva no sea una verdadera elección, haciendola equivalente a la del burro de Buridan. X no determina la elección, ambas están determinadas por el enunciado del problema.
Sigo pillando la caja C2 con el millón, sin posibilidad de fallo, pues el enunciado nos obliga a ambos a esa elección.
Granrabo -
Siendo más rigurosos, voy a argumentarlo mejor:
Si aceptamos el hecho de que el predictor infalible existe, tenemos que aceptar por narices el determinismo del universo, porque de lo contrario habría una pequeña posibilidad de que el predictor fallase, por cualquier tipo de motivo X. Y si aceptamos el determinismo, no hay ningún problema en aceptar que las verdaderas decisiones no existen, porque eso es lo que dice el determinismo. Por el contrario, si no aceptamos el determinismo, entonces la idea de un predictor infalible es imposible.
Sigo diciendo lo mismo: si es realmente infalible, escojería (sea lo que signifique eso) la caja 2 y me llevaría el millón. Y el argumento de la caja transparente lo rechazo por lo que puse en el otro post.
Jose R. Brox López -
Jose Brox
Jose R. Brox López -
Enfrentado a este problema, yo metería la mano en mi bolsillo, tomaría un euro y lo introduciría en el cobre C2 (el método no nos preocupa ahora) donde por supuesto tintinearía contra parte de los otros 999.999 euros (que no pueden estar todos en papel :P) ya que X tuvo que predecir que yo metería un euro y el cofre C2 no estaría vacío antes de que yo decidiera.
Seguidamente elegiría los dos cofres y me llevaría el premio máximo.
Si os parece interesante mi solución agradeceré los comentarios ;-) El enunciado es inamovible, pero no sólo en la parte en la que se establece que X es infalible: X también está sujeto a las reglas del juego.
Jose Brox
Asigan -
El enunciado original, con x infalible, es una descripción de lo que va a ocurrir, no hay lugar a la incertidumbre. En caso de que elijas las dos te llevas 1.000 euros y si eliges C2 te vas a casa con un millón. No hay posibilidad de que ganes 1.001.000, el enunciado lo descarta.
En el caso de que solo se trate de una predicción falible nos encontramos ante un caso distinto, nuestra elección supone despreciar la posibilidad de ganar 1.000.000. Si elegimos C1 ganamos 1.000, si elegimos ambas solo puede ocurrir, en el peor de los casos, justo eso, ganar 1.000. Como solo queda alternativa de que con nuestra elección de ambas salgamos ganando, y no hay posibilidad de perder el contenido de C1, la elección debe consistir en escoger ambas. La única elección perjudicial sería despreciar esa posibilidad, escogiendo cualquiera de las dos alternativas ganamos lo mismo como mínimo y no perdemos nada.
jose -
Creo que la pregunta de Dios y la piedra no es idiota, sino que aparece ante eso de "Dios TODOpoderoso". TODO incluye a cosas autocontradictorias, por lo que es razonable pensar que Dios no es TODOpoderoso. Es lo mismo que preguntar "¿Puede Dios tener los ojos cerrados y abiertos al mismo tiempo?" o "¿Puede caminar a la vez hacia delante y hacia atras?" o cualquier otra cosa así.
En verdad sólo es un detallito semántico. ¿Qué tal?
jose -
Anónimo -
G(A)=1000000p
mientras que si elegimos B (ambas cajas) es:
G(B)=1001000(1-p)+1000p=1001000-1000000p
Si igualamos ambas se obtiene p=0.5005, de modo que:
Si p es menor que 0.5005 conviene elegir B.
Si p=0.5005 es indiferente.
Y sorprendentemente (aunque no sea ninguna paradoja), si realmente el señor X tiene algún poder predictivo, sólo con que sea mayor que 0.5005, conviene elegir A.
Resumiendo, hay que estudiar las predicciones de X, y en función de lo fiables que sean hay que elegir una cosa o la otra.
Goyo -
Sí quiero aclarar que lo que contradice nustro concepto habitual de decisión no es, como equivocadamente he escrito en algún comentario, la correlación entre el contenido de las cajas y la decisión del jugador sino entre ésta decisión y la predicción de X.
Vailima -
¿Para qué jugamos entonces?
El placer de jugar se nos niega antes de que comience el juego mismo. No me gusta. Casi prefiero el desafino del predíctor aunque sólo me lleve mil euros.
Un saludo
TioPetros -
Un saludo.
Goyo -
Mot -
Si el predictor (casi dan ganas de ponerle una tilde) se la juega a cara o cruz, entonces no hay ninguna opción que garantice el millón. Hay una opción que garantiza mil(la de las dos cajas). Pero las posibilidades del millón son del 50% elijas lo que elijas.