La paradoja del cocodrilo , también conocida como sofisma del cocodrilo , es una paradoja de la lógica de la misma familia de paradojas que la paradoja del mentiroso . [1] La premisa establece que un cocodrilo, que ha robado a un niño, promete al padre que su hijo le será devuelto si y solo si predice correctamente lo que hará el cocodrilo a continuación.
La transacción es lógicamente fluida pero impredecible si el padre adivina que el niño será devuelto, pero surge un dilema para el cocodrilo si el padre adivina que el niño no será devuelto. En el caso de que el cocodrilo decida quedarse con el niño, viola sus términos: la predicción del padre ha sido validada y el niño debe ser devuelto. Sin embargo, en el caso de que el cocodrilo decida devolver al niño, todavía viola sus términos, incluso si esta decisión se basa en el resultado anterior: la predicción del padre ha sido falsificada y el niño no debe ser devuelto. La cuestión de qué debe hacer el cocodrilo es, por lo tanto, paradójica y no hay una solución justificable. [2] [3] [4]
El dilema del cocodrilo sirve para exponer algunos de los problemas lógicos que presenta el metaconocimiento . En este sentido, su construcción es similar a la de la paradoja del colgante inesperado , que Richard Montague (1960) utilizó para demostrar que las siguientes suposiciones sobre el conocimiento son inconsistentes cuando se prueban en combinación: [2]
Las fuentes griegas antiguas fueron las primeras en abordar el dilema del cocodrilo. [1]